XG:REF(V,3) =REF(V,4)*1.9 AND REF(C,3) REF(O,4) AND LLV(C,3) REF(C,3) AND COUNT(C =O,4)=4 AND (MIN(MIN(L,REF(L,1)),REF(L,2)) =REF(C,3) OR (C+REF(C,1)+REF(C,2))/3 =REF(C,3)) AND ((REF(V,2) REF(V,1) AND V REF(V,1)) OR MAX(V,REF(V,1)) REF(V,2));
XG:REF(V,3) =REF(V,4)*1.9 AND REF(C,3) REF(O,4) AND LLV(C,3) REF(C,3) AND COUNT(C =O,4)=4 AND (MIN(MIN(L,REF(L,1)),REF(L,2)) =REF(C,3) OR (C+REF(C,1)+REF(C,2))/3 =REF(C,3)) AND ((REF(V,2) REF(V,1) AND V REF(V,1)) OR MAX(V,REF(V,1)) REF(V,2));