VAR1:=(C>REF(C,1) AND C>REF(C,2));VAR2:=(REF(VAR1,1) AND C<=REF(C,1) AND C>=REF(C,2));VAR3:=(REF(VAR2,1) AND C>=REF(C,1) AND C<=REF(C,2));VAR4:=(REF(VAR3,1) AND C<=REF(C,1) AND C>=REF(C,2));VAR5:=(REF(VAR4,1) AND C>=REF(C,1) AND C<=REF(C,2));VAR6:=(REF(VAR5,1) AND C<=REF(C,1) AND C>=REF(C,2));VAR7:=(REF(VAR6,1) AND C>=REF(C,1) AND C<=REF(C,2));VAR8:=(REF(VAR7,1) AND C<=REF(C,1) AND C>=REF(C,2));VAR9:=(REF(VAR8,1) AND C>=REF(C,1) AND C<=REF(C,2));VARA:=(REF(VAR9,1) AND C&l