A2:=REF(C,3) REF(O,3) AND REF(C,3) REF(C,4);
A3:=REF(C,2) REF(C,3) AND REF(C,2) REF(O,2);
A4:=REF(C,1) REF(O,1) AND REF(C,1) REF(C,2);
A5:=REF(V,1) REF(V,2) REF(V,3);
A6:=H =MA(C,5);
XG:A1 AND A2 AND A3 AND A4 AND A5 AND A6;