TJ1:= COUNT(V=HHV(V,20),3) AND V>REF(V,1);
TJ2:=(EVERY(C>O,3) OR (REF(C,2)>REF(O,2) AND REF(C,1)O)) AND C>REF(C,2);
TJ3:=BETWEEN(C/REF(C,3),1.07,1.1);
TJ4:=REF(C,3)/REF(C,4)<1.07 AND REF(C,3)/REF(C,6)<1.1;
TJXG: TJ1 AND TJ2 AND TJ3 AND TJ4;
TJ1:= COUNT(V=HHV(V,20),3) AND V>REF(V,1);
TJ2:=(EVERY(C>O,3) OR (REF(C,2)>REF(O,2) AND REF(C,1)O)) AND C>REF(C,2);
TJ3:=BETWEEN(C/REF(C,3),1.07,1.1);
TJ4:=REF(C,3)/REF(C,4)<1.07 AND REF(C,3)/REF(C,6)<1.1;
TJXG: TJ1 AND TJ2 AND TJ3 AND TJ4;