WH01:=CROSS(MA(C,N1),MA(C,N2)) AND MA(C,N1) REF(MA(C,N1),1);
WH02:=CROSS(MA(C,N1),MA(C,N3)) AND MA(C,N1) REF(MA(C,N1),1);
WH03:=CROSS(MA(C,N2),MA(C,N3)) AND MA(C,N2) REF(MA(C,N2),1);
EXIST(WH01,16) AND EXIST(WH02,16) AND WH03;
WH01:=CROSS(MA(C,N1),MA(C,N2)) AND MA(C,N1) REF(MA(C,N1),1);
WH02:=CROSS(MA(C,N1),MA(C,N3)) AND MA(C,N1) REF(MA(C,N1),1);
WH03:=CROSS(MA(C,N2),MA(C,N3)) AND MA(C,N2) REF(MA(C,N2),1);
EXIST(WH01,16) AND EXIST(WH02,16) AND WH03;