VAR1:=O>REF(L,1) AND L>REF(L,1)AND C>O;
VAR16:=REF(L,1)<=REF(L,2)AND REF(H>REF(C,1)*1.092,3);
VAR2:=(REF(L,1)<=REF(L,2)OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(H>REF(C,1)*1.092,3);
VAR3:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(H>REF(C,1)*1.092,4);
VAR4:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(L,3)<=REF(L,4) AND REF(H>REF(C,1)*1.092,5);
VAR5:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(L,3)<=REF(L,4)AND REF(L,4)<=REF(L,5)AND REF(H>REF(C,1)*1.092,6);
VAR6:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(L,3)<=REF(L,4)AND REF(L,4)<=REF(L,5) AND REF(L,5)<=REF(L,6)AND REF(H>REF(C,1)*1.092,7);
VAR7:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(L,3)<=REF(L,4)AND REF(L,4)<=REF(L,5) AND REF(L,5)<=REF(L,6) AND REF(L,6)<=REF(L,7)AND REF(H>REF(C,1)*1.092,8);
VAR14:=(REF(L,1)<=REF(L,2) OR REF(H,1)<REF(H,2))AND (REF(L,2)<=REF(L,3) OR REF(H,2)<REF(H,3)) AND REF(L,3)<=REF(L,4)AND REF(L,4)<=REF(L,5) AND REF(L,5)<=REF(L,6) AND REF(L,6)<=REF(L,7) AND REF(L,7)<=REF(L,8)AND REF(H>REF(C,1)*1.092,9);
VAR8:=VAR1 AND VAR2;
VAR9:=VAR1 AND VAR3;
VAR10:=VAR1 AND VAR4;
VAR11:=VAR1 AND VAR5;
VAR12:=VAR1 AND VAR6;
VAR13:=VAR1 AND VAR7;
VAR15:=VAR1 AND VAR14;
VAR17:=VAR1 AND VAR16;
XG:VAR7 OR VAR8 OR VAR9 OR VAR10 OR VAR11 OR VAR12 OR VAR13 OR VAR14 OR VAR17;