HH:=(O C)*(1.02-1)/3 H;
AB:=C>REF(C,4);
X9:=EVERY(AB,9);
X8:=EVERY(AB,8);
X7:=EVERY(AB,7);
X6:=EVERY(AB,6);
X5:=EVERY(AB,5);
X4:=EVERY(AB,4);
X3:=EVERY(AB,3);
X2:=EVERY(AB,2);
X1:=EVERY(AB,1);
Y9:=REF(X9,1)=0;
Y8:=REF(X8,1)=0;
Y7:=REF(X7,1)=0;
Y6:=REF(X6,1)=0;
Y5:=REF(X5,1)=0;
Y4:=REF(X4,1)=0;
Y3:=REF(X3,1)=0;
Y2:=REF(X2,1)=0;
Y1:=REF(X1,1)=0;
Z81:=REFX(X8,1)=0;
Z71:=REFX(X7,1)=0;
Z72:=REFX(X7,2)=0;
Z61:=REFX(X6,1)=0;
Z62:=REFX(X6,2)=0;
Z63:=REFX(X6,3)=0;
Z51:=REFX(X5,1)=0;
Z52:=REFX(X5,2)=0;
Z53:=REFX(X5,3)=0;
Z54:=REFX(X5,4)=0;
Z41:=REFX(X4,1)=0;
Z42:=REFX(X4,2)=0;
Z43:=REFX(X4,3)=0;
Z44:=REFX(X4,4)=0;
Z45:=REFX(X4,5)=0;
Z31:=REFX(X3,1)=0;
Z32:=REFX(X3,2)=0;
Z33:=REFX(X3,3)=0;
Z34:=REFX(X3,4)=0;
Z35:=REFX(X3,5)=0;
Z36:=REFX(X3,6)=0;
Z21:=REFX(X2,1)=0;
Z22:=REFX(X2,2)=0;
Z2