| |
| | res1642ao16.txt |
 | | group order 8 R[30][4]:=[[1,36,38,39],[2,32,37,40],[3,17,26,35],[4,18,25,31],[5,16,19,33],[6,12,24,29],[7,13,23,28],[8,14,20,30],[9,11,22,34],[10,15,21,27]]; RG[30][4]:=Group([(4,5)(6,7)(8,15)(9,16)(12,13),(2,3)(6,7)(8,15)(9,13)(10,11)(12,16),(1,14)(2,15)(3,8)(6,10)(7,11)(12,16)]); # Design 31: 13 resolution(s), autom. |
 | | group order 16 R[31][5]:=[[1,36,38,39],[2,32,37,40],[3,17,26,35],[4,18,25,31],[5,14,19,34],[6,12,22,30],[7,15,21,28],[8,16,20,29],[9,13,24,27],[10,11,23,33]]; RG[31][5]:=Group([(4,5)(6,7)(8,16)(9,15)(11,14),(2,3)(6,7)(8,16)(9,14)(10,12)(11,15),(2,7,3,6)(8,10,16,12)(9,15,14,11),(1,13)(2,12)(3,10)(4,5)(6,16)(7,8)]); # Design 31 / Resolution 6: autom. |
 | | group order 16 R[31][3]:=[[1,36,37,40],[2,32,38,39],[3,18,25,35],[4,17,26,31],[5,14,19,34],[6,12,22,30],[7,13,24,28],[8,16,20,29],[9,15,21,27],[10,11,23,33]]; RG[31][3]:=Group([(4,5)(6,7)(8,16)(9,15)(11,14),(2,3)(6,7)(8,16)(9,14)(10,12)(11,15),(1,13)(2,12)(3,10)(6,8)(7,16)(9,15)(11,14),(1,13)(2,16)(3,8)(6,12)(7,10)(11,15)]); # Design 31 / Resolution 4: autom. |
| www.tcs.hut.fi /~pkaski/desdata/res1642ao16.txt (2910 words) |
|