T1:=REF(C,4)/REF(C,5)>1.06 ;
T2:=REF(O,4)>REF(O,3);
T3:=REF(O,4)>REF(O,2);
T4:=REF(O,4)>REF(O,1);
T5:=REF(V,4)>REF(V,5)*2;
T6:=REF(V,4)>REF(V,3);
T7:=REF(V,4)>REF(V,2);
T8:=REF(V,4)>REF(V,1);
XG:T1 AND T2 AND T3 AND T4 AND T5 AND T6 AND T7 AND T8;
