Path: blob/main/GeneratingDiagonalsViaShift/counterexample.txt
1017 views
0112233445567('countLA', 127)8('countSU', 129)9('in LA but not in SU', 26)10('in SU but not in LA', 28)11In SU and reordering of blocks is not in LA12[[[1, 2], [3], [4, 5]], [[2, 5], [1, 3], [4]]]13[[[2], [1, 3], [4, 5]], [[2, 5], [3], [1, 4]]]14[[[1, 2, 5], [3, 4]], [[5], [4], [2], [1, 3]]]15[[[1, 2], [3, 4, 5]], [[5], [4], [2], [1, 3]]]16In LA and reordering of blocks is not in SU17[[[1, 2], [3], [4, 5]], [[2], [3, 5], [1, 4]]]18[[[1, 2], [3, 5], [4]], [[2, 5], [3], [1, 4]]]192021All LA22[[[1], [2], [3], [4], [5]], [[1, 2, 3, 4, 5]]]23[[[1], [2], [3], [4, 5]], [[1, 2, 3, 5], [4]]]24[[[1], [2], [3], [4, 5]], [[2, 3, 5], [1, 4]]]25[[[1], [2], [3], [4, 5]], [[1, 2, 5], [3, 4]]]26[[[1], [2], [3], [4, 5]], [[2, 5], [1, 3, 4]]]27[[[1], [2], [3], [4, 5]], [[1, 5], [2, 3, 4]]]28[[[1], [2], [3], [4, 5]], [[5], [1, 2, 3, 4]]]29[[[1], [2], [3, 4], [5]], [[4], [1, 2, 3, 5]]]30[[[1], [2], [3, 5], [4]], [[1, 2, 5], [3, 4]]]31[[[1], [2], [3, 5], [4]], [[2, 5], [1, 3, 4]]]32[[[1], [2], [3, 5], [4]], [[1, 5], [2, 3, 4]]]33[[[1], [2], [3, 5], [4]], [[5], [1, 2, 3, 4]]]34[[[1], [2], [3, 4, 5]], [[5], [4], [1, 2, 3]]]35[[[1], [2, 3], [4], [5]], [[3], [1, 2, 4, 5]]]36[[[1], [2, 3], [4, 5]], [[3], [1, 2, 5], [4]]]37[[[1], [2, 3], [4, 5]], [[3], [2, 5], [1, 4]]]38[[[1], [2, 3], [4, 5]], [[3], [5], [1, 2, 4]]]39[[[1], [3], [2, 4], [5]], [[3, 4], [1, 2, 5]]]40[[[1], [2, 3], [4], [5]], [[3, 4], [1, 2, 5]]]41[[[1], [3], [2, 4, 5]], [[5], [3, 4], [1, 2]]]42[[[1], [2, 3], [4, 5]], [[5], [3, 4], [1, 2]]]43[[[1], [2, 3, 4], [5]], [[4], [3], [1, 2, 5]]]44[[[1], [2, 5], [3], [4]], [[1, 5], [2, 3, 4]]]45[[[1], [2, 5], [3], [4]], [[5], [1, 2, 3, 4]]]46[[[1], [2, 5], [3, 4]], [[5], [4], [1, 2, 3]]]47[[[1], [2, 3, 5], [4]], [[5], [3], [1, 2, 4]]]48[[[1], [2, 3, 5], [4]], [[5], [3, 4], [1, 2]]]49[[[1], [2, 3, 4, 5]], [[5], [4], [3], [1, 2]]]50[[[1, 2], [3], [4], [5]], [[2], [1, 3, 4, 5]]]51[[[1, 2], [3], [4, 5]], [[2], [1, 3, 5], [4]]]52[[[1, 2], [3], [4, 5]], [[2], [3, 5], [1, 4]]]53[[[1, 2], [3], [4, 5]], [[2], [1, 5], [3, 4]]]54[[[1, 2], [3], [4, 5]], [[2], [5], [1, 3, 4]]]55[[[1, 2], [3, 4], [5]], [[2], [4], [1, 3, 5]]]56[[[1, 2], [3, 5], [4]], [[2], [1, 5], [3, 4]]]57[[[1, 2], [3, 5], [4]], [[2], [5], [1, 3, 4]]]58[[[2], [1, 3], [4], [5]], [[2, 3], [1, 4, 5]]]59[[[1, 2], [3], [4], [5]], [[2, 3], [1, 4, 5]]]60[[[2], [1, 3], [4, 5]], [[2, 3], [1, 5], [4]]]61[[[2], [1, 3], [4, 5]], [[2, 3], [5], [1, 4]]]62[[[1, 2], [3], [4, 5]], [[2, 3], [1, 5], [4]]]63[[[1, 2], [3], [4, 5]], [[2, 3], [5], [1, 4]]]64[[[2], [3], [1, 4], [5]], [[2, 3, 4], [1, 5]]]65[[[2], [1, 3], [4], [5]], [[2, 3, 4], [1, 5]]]66[[[1, 2], [3], [4], [5]], [[2, 3, 4], [1, 5]]]67[[[2], [3], [4], [1, 5]], [[2, 3, 4, 5], [1]]]68[[[2], [3], [1, 4], [5]], [[2, 3, 4, 5], [1]]]69[[[2], [1, 3], [4], [5]], [[2, 3, 4, 5], [1]]]70[[[1, 2], [3], [4], [5]], [[2, 3, 4, 5], [1]]]71[[[2], [3], [1, 5], [4]], [[2, 3, 5], [1, 4]]]72[[[2], [1, 3], [5], [4]], [[2, 3, 5], [1, 4]]]73[[[1, 2], [3], [5], [4]], [[2, 3, 5], [1, 4]]]74[[[2], [3], [1, 4, 5]], [[2, 3, 5], [4], [1]]]75[[[2], [3], [1, 4, 5]], [[2, 5], [3, 4], [1]]]76[[[2], [3], [1, 4, 5]], [[5], [2, 3, 4], [1]]]77[[[2], [1, 3], [4, 5]], [[2, 3, 5], [4], [1]]]78[[[2], [1, 3], [4, 5]], [[2, 5], [3, 4], [1]]]79[[[2], [1, 3], [4, 5]], [[5], [2, 3, 4], [1]]]80[[[1, 2], [3], [4, 5]], [[2, 3, 5], [4], [1]]]81[[[1, 2], [3], [4, 5]], [[2, 5], [3, 4], [1]]]82[[[1, 2], [3], [4, 5]], [[5], [2, 3, 4], [1]]]83[[[2], [1, 3, 4], [5]], [[4], [2, 3], [1, 5]]]84[[[1, 2], [3, 4], [5]], [[4], [2, 3], [1, 5]]]85[[[2], [3, 4], [1, 5]], [[4], [2, 3, 5], [1]]]86[[[2], [1, 3, 4], [5]], [[4], [2, 3, 5], [1]]]87[[[1, 2], [3, 4], [5]], [[4], [2, 3, 5], [1]]]88[[[2], [1, 5], [3], [4]], [[2, 5], [1, 3, 4]]]89[[[1, 2], [5], [3], [4]], [[2, 5], [1, 3, 4]]]90[[[2], [1, 3, 5], [4]], [[2, 5], [3], [1, 4]]]91[[[2], [1, 3, 5], [4]], [[5], [2, 3], [1, 4]]]92[[[1, 2], [3, 5], [4]], [[2, 5], [3], [1, 4]]]93[[[1, 2], [3, 5], [4]], [[5], [2, 3], [1, 4]]]94[[[2], [3, 5], [1, 4]], [[2, 5], [3, 4], [1]]]95[[[2], [3, 5], [1, 4]], [[5], [2, 3, 4], [1]]]96[[[2], [1, 3, 5], [4]], [[2, 5], [3, 4], [1]]]97[[[2], [1, 3, 5], [4]], [[5], [2, 3, 4], [1]]]98[[[1, 2], [3, 5], [4]], [[2, 5], [3, 4], [1]]]99[[[1, 2], [3, 5], [4]], [[5], [2, 3, 4], [1]]]100[[[2], [1, 3, 4, 5]], [[5], [4], [2, 3], [1]]]101[[[1, 2], [3, 4, 5]], [[5], [4], [2, 3], [1]]]102[[[1, 2, 3], [4], [5]], [[3], [2], [1, 4, 5]]]103[[[1, 2, 3], [4, 5]], [[3], [2], [1, 5], [4]]]104[[[1, 2, 3], [4, 5]], [[3], [2], [5], [1, 4]]]105[[[2, 3], [1, 4], [5]], [[3], [2, 4], [1, 5]]]106[[[1, 2, 3], [4], [5]], [[3], [2, 4], [1, 5]]]107[[[2, 3], [4], [1, 5]], [[3], [2, 4, 5], [1]]]108[[[2, 3], [1, 4], [5]], [[3], [2, 4, 5], [1]]]109[[[1, 2, 3], [4], [5]], [[3], [2, 4, 5], [1]]]110[[[2, 3], [1, 5], [4]], [[3], [2, 5], [1, 4]]]111[[[1, 2, 3], [5], [4]], [[3], [2, 5], [1, 4]]]112[[[2, 3], [1, 4, 5]], [[3], [2, 5], [4], [1]]]113[[[2, 3], [1, 4, 5]], [[3], [5], [2, 4], [1]]]114[[[1, 2, 3], [4, 5]], [[3], [2, 5], [4], [1]]]115[[[1, 2, 3], [4, 5]], [[3], [5], [2, 4], [1]]]116[[[3], [1, 2, 4], [5]], [[3, 4], [2], [1, 5]]]117[[[2, 3], [1, 4], [5]], [[3, 4], [2], [1, 5]]]118[[[1, 2, 3], [4], [5]], [[3, 4], [2], [1, 5]]]119[[[3], [2, 4], [1, 5]], [[3, 4], [2, 5], [1]]]120[[[2, 3], [4], [1, 5]], [[3, 4], [2, 5], [1]]]121[[[3], [1, 2, 4], [5]], [[3, 4], [2, 5], [1]]]122[[[2, 3], [1, 4], [5]], [[3, 4], [2, 5], [1]]]123[[[1, 2, 3], [4], [5]], [[3, 4], [2, 5], [1]]]124[[[3], [1, 2, 4, 5]], [[5], [3, 4], [2], [1]]]125[[[2, 3], [1, 4, 5]], [[5], [3, 4], [2], [1]]]126[[[1, 2, 3], [4, 5]], [[5], [3, 4], [2], [1]]]127[[[1, 2, 3, 4], [5]], [[4], [3], [2], [1, 5]]]128[[[2, 3, 4], [1, 5]], [[4], [3], [2, 5], [1]]]129[[[1, 2, 3, 4], [5]], [[4], [3], [2, 5], [1]]]130[[[1, 5], [2], [3], [4]], [[5], [1, 2, 3, 4]]]131[[[1, 5], [2], [3, 4]], [[5], [4], [1, 2, 3]]]132[[[1, 5], [2, 3], [4]], [[5], [3], [1, 2, 4]]]133[[[1, 5], [2, 3], [4]], [[5], [3, 4], [1, 2]]]134[[[1, 5], [2, 3, 4]], [[5], [4], [3], [1, 2]]]135[[[1, 2, 5], [3], [4]], [[5], [2], [1, 3, 4]]]136[[[2, 5], [1, 3], [4]], [[5], [2, 3], [1, 4]]]137[[[1, 2, 5], [3], [4]], [[5], [2, 3], [1, 4]]]138[[[2, 5], [3], [1, 4]], [[5], [2, 3, 4], [1]]]139[[[2, 5], [1, 3], [4]], [[5], [2, 3, 4], [1]]]140[[[1, 2, 5], [3], [4]], [[5], [2, 3, 4], [1]]]141[[[2, 5], [1, 3, 4]], [[5], [4], [2, 3], [1]]]142[[[1, 2, 5], [3, 4]], [[5], [4], [2, 3], [1]]]143[[[1, 2, 3, 5], [4]], [[5], [3], [2], [1, 4]]]144[[[2, 3, 5], [1, 4]], [[5], [3], [2, 4], [1]]]145[[[1, 2, 3, 5], [4]], [[5], [3], [2, 4], [1]]]146[[[2, 3, 5], [1, 4]], [[5], [3, 4], [2], [1]]]147[[[1, 2, 3, 5], [4]], [[5], [3, 4], [2], [1]]]148[[[1, 2, 3, 4, 5]], [[5], [4], [3], [2], [1]]]149150151All SU152[[[1], [2], [3], [4], [5]], [[1, 2, 3, 4, 5]]]153[[[1], [2], [3], [4, 5]], [[1, 2, 3, 5], [4]]]154[[[1], [2], [3], [4, 5]], [[2, 3, 5], [1, 4]]]155[[[1], [2], [3], [4, 5]], [[1, 2, 5], [3, 4]]]156[[[1], [2], [3], [4, 5]], [[2, 5], [1, 3, 4]]]157[[[1], [2], [3], [4, 5]], [[1, 5], [2, 3, 4]]]158[[[1], [2], [3], [4, 5]], [[5], [1, 2, 3, 4]]]159[[[1], [2], [3, 4], [5]], [[4], [1, 2, 3, 5]]]160[[[1], [2], [3, 5], [4]], [[1, 2, 5], [3, 4]]]161[[[1], [2], [3, 5], [4]], [[2, 5], [1, 3, 4]]]162[[[1], [2], [3, 5], [4]], [[1, 5], [2, 3, 4]]]163[[[1], [2], [3, 5], [4]], [[5], [1, 2, 3, 4]]]164[[[1], [2], [3, 4, 5]], [[5], [4], [1, 2, 3]]]165[[[1], [2, 3], [4], [5]], [[3], [1, 2, 4, 5]]]166[[[1], [2, 3], [4, 5]], [[3], [1, 2, 5], [4]]]167[[[1], [2, 3], [4, 5]], [[3], [2, 5], [1, 4]]]168[[[1], [2, 3], [4, 5]], [[3], [5], [1, 2, 4]]]169[[[1], [3], [2, 4], [5]], [[3, 4], [1, 2, 5]]]170[[[1], [2, 3], [4], [5]], [[3, 4], [1, 2, 5]]]171[[[1], [3], [2, 4, 5]], [[5], [3, 4], [1, 2]]]172[[[1], [2, 3], [4, 5]], [[5], [3, 4], [1, 2]]]173[[[1], [2, 3, 4], [5]], [[4], [3], [1, 2, 5]]]174[[[1], [2, 5], [3], [4]], [[1, 5], [2, 3, 4]]]175[[[1], [2, 5], [3], [4]], [[5], [1, 2, 3, 4]]]176[[[1], [2, 5], [3, 4]], [[5], [4], [1, 2, 3]]]177[[[1], [2, 3, 5], [4]], [[5], [3], [1, 2, 4]]]178[[[1], [2, 3, 5], [4]], [[5], [3, 4], [1, 2]]]179[[[1], [2, 3, 4, 5]], [[5], [4], [3], [1, 2]]]180[[[1, 2], [3], [4], [5]], [[2], [1, 3, 4, 5]]]181[[[1, 2], [3], [4, 5]], [[2], [1, 3, 5], [4]]]182[[[1, 2], [3], [4, 5]], [[2], [3, 5], [1, 4]]]183[[[1, 2], [3], [4, 5]], [[2], [1, 5], [3, 4]]]184[[[1, 2], [3], [4, 5]], [[2], [5], [1, 3, 4]]]185[[[1, 2], [3, 4], [5]], [[2], [4], [1, 3, 5]]]186[[[1, 2], [3, 5], [4]], [[2], [1, 5], [3, 4]]]187[[[1, 2], [3, 5], [4]], [[2], [5], [1, 3, 4]]]188[[[2], [1, 3], [4], [5]], [[2, 3], [1, 4, 5]]]189[[[1, 2], [3], [4], [5]], [[2, 3], [1, 4, 5]]]190[[[2], [1, 3], [4, 5]], [[2, 3], [1, 5], [4]]]191[[[2], [1, 3], [4, 5]], [[2, 3], [5], [1, 4]]]192[[[1, 2], [3], [4, 5]], [[2, 3], [1, 5], [4]]]193[[[1, 2], [3], [4, 5]], [[2, 3], [5], [1, 4]]]194[[[2], [3], [1, 4], [5]], [[2, 3, 4], [1, 5]]]195[[[2], [1, 3], [4], [5]], [[2, 3, 4], [1, 5]]]196[[[1, 2], [3], [4], [5]], [[2, 3, 4], [1, 5]]]197[[[2], [3], [4], [1, 5]], [[2, 3, 4, 5], [1]]]198[[[2], [3], [1, 4], [5]], [[2, 3, 4, 5], [1]]]199[[[2], [1, 3], [4], [5]], [[2, 3, 4, 5], [1]]]200[[[1, 2], [3], [4], [5]], [[2, 3, 4, 5], [1]]]201[[[2], [3], [1, 5], [4]], [[2, 3, 5], [1, 4]]]202[[[2], [1, 3], [5], [4]], [[2, 3, 5], [1, 4]]]203[[[1, 2], [3], [5], [4]], [[2, 3, 5], [1, 4]]]204[[[2], [3], [1, 4, 5]], [[2, 3, 5], [4], [1]]]205[[[2], [3], [1, 4, 5]], [[2, 5], [3, 4], [1]]]206[[[2], [3], [1, 4, 5]], [[5], [2, 3, 4], [1]]]207[[[2], [1, 3], [4, 5]], [[2, 3, 5], [4], [1]]]208[[[2], [1, 3], [4, 5]], [[2, 5], [3, 4], [1]]]209[[[2], [1, 3], [4, 5]], [[5], [2, 3, 4], [1]]]210[[[1, 2], [3], [4, 5]], [[2, 3, 5], [4], [1]]]211[[[1, 2], [3], [4, 5]], [[2, 5], [3, 4], [1]]]212[[[1, 2], [3], [4, 5]], [[5], [2, 3, 4], [1]]]213[[[2], [1, 3, 4], [5]], [[4], [2, 3], [1, 5]]]214[[[1, 2], [3, 4], [5]], [[4], [2, 3], [1, 5]]]215[[[2], [3, 4], [1, 5]], [[4], [2, 3, 5], [1]]]216[[[2], [1, 3, 4], [5]], [[4], [2, 3, 5], [1]]]217[[[1, 2], [3, 4], [5]], [[4], [2, 3, 5], [1]]]218[[[2], [1, 5], [3], [4]], [[2, 5], [1, 3, 4]]]219[[[1, 2], [5], [3], [4]], [[2, 5], [1, 3, 4]]]220[[[2], [1, 3, 5], [4]], [[2, 5], [3], [1, 4]]]221[[[2], [1, 3, 5], [4]], [[5], [2, 3], [1, 4]]]222[[[1, 2], [3, 5], [4]], [[2, 5], [3], [1, 4]]]223[[[1, 2], [3, 5], [4]], [[5], [2, 3], [1, 4]]]224[[[2], [3, 5], [1, 4]], [[2, 5], [3, 4], [1]]]225[[[2], [3, 5], [1, 4]], [[5], [2, 3, 4], [1]]]226[[[2], [1, 3, 5], [4]], [[2, 5], [3, 4], [1]]]227[[[2], [1, 3, 5], [4]], [[5], [2, 3, 4], [1]]]228[[[1, 2], [3, 5], [4]], [[2, 5], [3, 4], [1]]]229[[[1, 2], [3, 5], [4]], [[5], [2, 3, 4], [1]]]230[[[2], [1, 3, 4, 5]], [[5], [4], [2, 3], [1]]]231[[[1, 2], [3, 4, 5]], [[5], [4], [2, 3], [1]]]232[[[1, 2, 3], [4], [5]], [[3], [2], [1, 4, 5]]]233[[[1, 2, 3], [4, 5]], [[3], [2], [1, 5], [4]]]234[[[1, 2, 3], [4, 5]], [[3], [2], [5], [1, 4]]]235[[[2, 3], [1, 4], [5]], [[3], [2, 4], [1, 5]]]236[[[1, 2, 3], [4], [5]], [[3], [2, 4], [1, 5]]]237[[[2, 3], [4], [1, 5]], [[3], [2, 4, 5], [1]]]238[[[2, 3], [1, 4], [5]], [[3], [2, 4, 5], [1]]]239[[[1, 2, 3], [4], [5]], [[3], [2, 4, 5], [1]]]240[[[2, 3], [1, 5], [4]], [[3], [2, 5], [1, 4]]]241[[[1, 2, 3], [5], [4]], [[3], [2, 5], [1, 4]]]242[[[2, 3], [1, 4, 5]], [[3], [2, 5], [4], [1]]]243[[[2, 3], [1, 4, 5]], [[3], [5], [2, 4], [1]]]244[[[1, 2, 3], [4, 5]], [[3], [2, 5], [4], [1]]]245[[[1, 2, 3], [4, 5]], [[3], [5], [2, 4], [1]]]246[[[3], [1, 2, 4], [5]], [[3, 4], [2], [1, 5]]]247[[[2, 3], [1, 4], [5]], [[3, 4], [2], [1, 5]]]248[[[1, 2, 3], [4], [5]], [[3, 4], [2], [1, 5]]]249[[[3], [2, 4], [1, 5]], [[3, 4], [2, 5], [1]]]250[[[2, 3], [4], [1, 5]], [[3, 4], [2, 5], [1]]]251[[[3], [1, 2, 4], [5]], [[3, 4], [2, 5], [1]]]252[[[2, 3], [1, 4], [5]], [[3, 4], [2, 5], [1]]]253[[[1, 2, 3], [4], [5]], [[3, 4], [2, 5], [1]]]254[[[3], [1, 2, 4, 5]], [[5], [3, 4], [2], [1]]]255[[[2, 3], [1, 4, 5]], [[5], [3, 4], [2], [1]]]256[[[1, 2, 3], [4, 5]], [[5], [3, 4], [2], [1]]]257[[[1, 2, 3, 4], [5]], [[4], [3], [2], [1, 5]]]258[[[2, 3, 4], [1, 5]], [[4], [3], [2, 5], [1]]]259[[[1, 2, 3, 4], [5]], [[4], [3], [2, 5], [1]]]260[[[1, 5], [2], [3], [4]], [[5], [1, 2, 3, 4]]]261[[[1, 5], [2], [3, 4]], [[5], [4], [1, 2, 3]]]262[[[1, 5], [2, 3], [4]], [[5], [3], [1, 2, 4]]]263[[[1, 5], [2, 3], [4]], [[5], [3, 4], [1, 2]]]264[[[1, 5], [2, 3, 4]], [[5], [4], [3], [1, 2]]]265[[[1, 2, 5], [3], [4]], [[5], [2], [1, 3, 4]]]266[[[2, 5], [1, 3], [4]], [[5], [2, 3], [1, 4]]]267[[[1, 2, 5], [3], [4]], [[5], [2, 3], [1, 4]]]268[[[2, 5], [3], [1, 4]], [[5], [2, 3, 4], [1]]]269[[[2, 5], [1, 3], [4]], [[5], [2, 3, 4], [1]]]270[[[1, 2, 5], [3], [4]], [[5], [2, 3, 4], [1]]]271[[[2, 5], [1, 3, 4]], [[5], [4], [2, 3], [1]]]272[[[1, 2, 5], [3, 4]], [[5], [4], [2, 3], [1]]]273[[[1, 2, 3, 5], [4]], [[5], [3], [2], [1, 4]]]274[[[2, 3, 5], [1, 4]], [[5], [3], [2, 4], [1]]]275[[[1, 2, 3, 5], [4]], [[5], [3], [2, 4], [1]]]276[[[2, 3, 5], [1, 4]], [[5], [3, 4], [2], [1]]]277[[[1, 2, 3, 5], [4]], [[5], [3, 4], [2], [1]]]278[[[1, 2, 3, 4, 5]], [[5], [4], [3], [2], [1]]]279280281