X1:=REF(C,2)>REF(C,3)*1.03 ANDC>REF(C,1)*1.04 ANDO>REF(O,2) ANDC>REF(C,2) ANDREF(L,1)>(2/3*REF(O,2)+1/3*REF(C,2)) ANDREF(H,1)<(2/3*C+1/3*O) ANDV>REF(V,2);X2:=REF(C,3)>REF(C,4)*1.03 ANDC>REF(C,1)*1.04 ANDO>REF(O,3) ANDC>REF(C,3) ANDREF(L,1)>(2/3*REF(O,3)+1/3*REF(C,3)) ANDREF(H,1)<(2/3*C+1/3*O) ANDREF(L,2)>(2/3*REF(O,3)+1/3*REF(C,3)) ANDREF(H,2)<(2/3*C+1/3*O) ANDV>REF(V,3);X3:=REF(C,4)>REF(C,5)*1.03 ANDC>REF(C,1)*1.04 ANDO>REF(O,4) ANDC>REF(C,4) ANDREF(L,1)>(2/3*REF(O,4)+1/3*REF(C,4)) AND