tj1:=ref(C,2)/ref(C,3)>=1.065 and ref(v,2)/ref(v,3)>=1.01; tj2:=tj1 and ref(o,1)/ref(c,2)>=1.03 and ref(o,1)/ref(c,1)<=1.025 and ref(isdown,1); xg: tj2 and isdown and c>ref(c,2) and v