VARE:=(REF(VARD,1) AND C>=REF(C,1) AND C<=REF(C,2)); VARF:=(REF(VARE,1) AND C<=REF(C,1) AND C>=REF(C,2)); VAR10:=(REF(VARF,1) AND C>=REF(C,1) AND C<=REF(C,2)); VAR11:=(REF(VAR10,1) AND C<=REF(C,1) AND C>=REF(C,2)); VAR12:=(REF(VAR11,1) AND C>=REF(C,1) AND C<=REF(C,2)); VAR13:=(REF(VAR12,1) AND C<=REF(C,1) AND C>=REF(C,2)); VAR14:=(REF(VAR13,1) AND C>=REF(C,1) AND C<=REF(C,2));
|