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;