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(C,1)*1.092,3);
VAR3:=(REF(L,1)<=REF(L,2) OR REF(H,1)REF(C,1)*1.092,4);
VAR4:=(REF(L,1)<=REF(L,2) OR REF(H,1)REF(C,1)*1.092,5);
VAR5:=(REF(L,1)<=REF(L,2) OR REF(H,1)REF(C,1)*1.092,6);
VAR6:=(REF(L,1)<=REF(L,2) OR REF(H,1)REF(C,1)*1.092,7);
VAR7:=(REF(L,1)<=REF(L,2) OR REF(H,1)REF(C,1)*1.092,8);
VAR14:=(REF(L,1)<=REF(L,2) OR REF(H,1)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;