N:=1.75; N1:=1.25; AA:=HHV(H,20); ZF:=HHV(H,20)/LLV(L,30)<=N; ZF1:=C/LLV(L,10)(H-C)*5 AND REF(ZF,1) AND ZF1;