a1:=ma(c,5)>ma(c,10);a2:=ref(c,2)>ref(o,2);a3:=ref(c,1)(o,1);a4:=c;a5:=ref(c,1)>ref(o,2);a6:=c>ref(o,2);a7:=ref(v,1)(v,2);a8:=v(v,1);xg:a1 and a2 and a3 and a4 and a5 and a6 and a7 and a8;...
a1:=zig(3,72)>ref(zig(3,72),1) and ref(zig(3,72),1)<=ref(zig(3,72),2) and ref(zig(3,72),2)<=ref(zig(3,72),3);a2:=zig(3,22)>ref(zig(3,22),1) and ref(zig(3,22),1)<=ref(zig(3,22),2) and re...