VARE:=(REF(VARD,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VARF:=(REF(VARE,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR10:=(REF(VARF,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR11:=(REF(VAR10,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR12:=(REF(VAR11,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR13:=(REF(VAR12,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR14:=(REF(VAR13,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR15:=(REF(VAR14,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR16:=(REF(VAR15,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR17:=(REF(VAR16,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
VAR18:=(REF(VAR17,1) AND C =REF(C,1) AND C =REF(C,2) and y ref(y,1));
短买:((REF(VARD OR VARE OR VARF OR VAR10 OR VAR11 OR VAR12
OR VAR13 OR VAR14 OR VAR15 OR VAR16 OR VAR17 OR VAR18,1)) AND VAR1);
