XG1:REF(C,1)>REF(O,1) AND REF(C,2)>REF(O,2) AND REF(C,3)>REF(O,3)
AND REF(C,1)>REF(C,2) AND REF(C,2)>REF(C,3) AND REF(C,1)>REF(C,2) AND REF(C,2)>REF(C,3) AND REF(MA(C,10),1)>REF(MA(C,5),1)
AND MA(C,5)>MA(C,10) AND C
XG1:REF(C,1)>REF(O,1) AND REF(C,2)>REF(O,2) AND REF(C,3)>REF(O,3)
AND REF(C,1)>REF(C,2) AND REF(C,2)>REF(C,3) AND REF(C,1)>REF(C,2) AND REF(C,2)>REF(C,3) AND REF(MA(C,10),1)>REF(MA(C,5),1)
AND MA(C,5)>MA(C,10) AND C