1F
a3:=ref(c,3)<ref(o,3)and(ref(c,4)>ref(o,4)orref(c,3)>ref(c,4))andref(c,2)>ref(o,2);a6:=ref(c,6)<ref(o,6)and(ref(c,7)>ref(o,7)orref(c,6)>ref(c,7))andref(c,5)>ref(o,5);a11:=ref(c,11)<ref(o,11)and(ref(c,12)>ref(o,12)orref(c,11)>ref(c,12))andref(c,10)>ref(o,10);a24:=ref(c,24)<ref(o,24)and(ref(c,25)>ref(o,25)orref(c,24)>ref(c,25))andref(c,23)>ref(o,23);a35:=ref(c,35)<ref(o,35)and(ref(c,36)>ref(o,36)orref(c,35)>ref(c,35))andref(c,34)>ref(o,34);every(c<ref(c,1),2)anda3anda6anda11anda24anda35;
