D:=[]; G:=[]; R:=[]; RG:=[]; # Design 1: 2 resolution(s), autom. group order 64, simple D[1]:=[[1,2,3,4],[1,2,5,6],[1,3,7,8],[1,4,9,10],[1,5,7,11],[1,6,12,13],[1,8,12,14],[1,9,14,15],[1,10,13,16],[1,11,15,16],[2,3,11,12],[2,4,7,14],[2,5,9,16],[2,6,8,10],[2,7,9,15],[2,8,11,16],[2,10,13,14],[2,12,13,15],[3,4,5,13],[3,5,10,16],[3,6,8,9],[3,6,11,15],[3,7,10,15],[3,9,13,14],[3,12,14,16],[4,5,7,12],[4,6,9,16],[4,6,11,13],[4,8,10,15],[4,8,11,14],[4,12,15,16],[5,6,14,15],[5,8,9,12],[5,8,13,15],[5,10,11,14],[6,7,10,12],[6,7,14,16],[7,8,13,16],[7,9,11,13],[9,10,11,12]]; G[1]:=Group([(2,3)(5,7)(6,8)(9,10)(13,14)(15,16),(2,9)(3,10)(5,15)(6,14)(7,16)(8,13),(1,2,5,6)(3,16,14,12)(4,9,15,13)(7,8,11,10)]); R[1]:=[]; RG[1]:=[]; # Design 1 / Resolution 1: autom. group order 16 R[1][1]:=[[1,32,38,40],[2,25,29,39],[3,18,27,35],[4,11,34,37],[5,14,24,31],[6,13,23,30],[7,15,20,28],[8,16,19,36],[9,12,22,33],[10,17,21,26]]; RG[1][1]:=Group([(1,11)(2,9)(3,10)(4,12)(5,7)(6,13)(8,14)(15,16),(1,5)(2,6)(3,14)(4,15)(7,11)(8,10)(9,13)(12,16),(1,15)(2,8)(3,13)(4,5)(6,10)(7,12)(9,14)(11,16),(1,2,5,6)(3,16,14,12)(4,9,15,13)(7,8,11,10)]); # Design 1 / Resolution 2: autom. group order 16 R[1][2]:=[[1,32,38,40],[2,25,29,39],[3,18,27,35],[4,11,34,37],[5,14,24,31],[6,15,20,30],[7,13,23,28],[8,16,19,36],[9,12,22,33],[10,17,21,26]]; RG[1][2]:=Group([(1,11)(2,9)(3,10)(4,12)(5,7)(6,13)(8,14)(15,16),(1,5)(2,6)(3,14)(4,15)(7,11)(8,10)(9,13)(12,16),(1,15)(2,8)(3,13)(4,5)(6,10)(7,12)(9,14)(11,16),(1,2,7,13)(3,15,8,12)(4,9,16,6)(5,14,11,10)]); # Design 2: 9 resolution(s), autom. group order 64, simple D[2]:=[[1,2,3,4],[1,2,5,6],[1,3,7,8],[1,4,9,10],[1,5,7,11],[1,6,8,12],[1,9,13,14],[1,10,15,16],[1,11,13,15],[1,12,14,16],[2,3,11,12],[2,4,7,16],[2,5,9,13],[2,6,10,14],[2,7,9,15],[2,8,10,16],[2,8,11,13],[2,12,14,15],[3,4,5,14],[3,5,10,13],[3,6,9,14],[3,6,11,15],[3,7,10,15],[3,8,9,16],[3,12,13,16],[4,5,7,12],[4,6,8,11],[4,6,10,13],[4,8,9,15],[4,11,14,16],[4,12,13,15],[5,6,15,16],[5,8,10,12],[5,8,14,15],[5,9,11,16],[6,7,9,12],[6,7,13,16],[7,8,13,14],[7,10,11,14],[9,10,11,12]]; G[2]:=Group([(2,3)(5,7)(6,8)(9,10)(13,15)(14,16),(2,6)(3,8)(4,12)(9,16)(10,14)(13,15),(2,9)(3,10)(5,13)(6,14)(7,15)(8,16),(1,4)(5,7)(6,16)(8,14)(11,12)(13,15),(1,5)(3,9)(4,13)(7,11)(8,16)(12,15)]); R[2]:=[]; RG[2]:=[]; # Design 2 / Resolution 1: autom. group order 16 R[2][1]:=[[1,32,38,40],[2,24,31,39],[3,18,28,35],[4,11,34,37],[5,14,25,29],[6,13,23,30],[7,12,22,33],[8,17,19,36],[9,16,21,26],[10,15,20,27]]; RG[2][1]:=Group([(2,6)(3,8)(4,12)(9,16)(10,14)(13,15),(1,5)(3,9)(4,13)(7,11)(8,16)(12,15),(1,7)(2,14)(3,8)(4,13)(5,11)(6,10)(9,16)(12,15),(1,13,11,15)(2,3,10,9)(4,5,12,7)(6,16,14,8)]); # Design 2 / Resolution 2: autom. group order 32 R[2][2]:=[[1,32,38,40],[2,25,29,39],[3,18,28,35],[4,11,34,37],[5,14,24,31],[6,13,23,30],[7,12,22,33],[8,17,19,36],[9,16,21,26],[10,15,20,27]]; RG[2][2]:=Group([(2,6)(3,8)(4,12)(9,16)(10,14)(13,15),(2,3)(5,7)(6,8)(9,10)(13,15)(14,16),(1,5)(3,9)(4,13)(7,11)(8,16)(12,15),(1,13,11,15)(2,3,10,9)(4,5,12,7)(6,16,14,8)]); # Design 2 / Resolution 3: autom. group order 32 R[2][3]:=[[1,32,38,40],[2,25,29,39],[3,18,28,35],[4,11,34,37],[5,14,24,31],[6,15,20,30],[7,12,22,33],[8,17,19,36],[9,16,21,26],[10,13,23,27]]; RG[2][3]:=Group([(2,3)(5,7)(6,8)(9,10)(13,15)(14,16),(2,16,3,14)(4,12)(5,15,7,13)(6,10,8,9),(1,11)(2,9)(3,10)(4,12)(6,16)(8,14),(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13)]); # Design 2 / Resolution 4: autom. group order 32 R[2][4]:=[[1,34,37,40],[2,25,29,39],[3,18,28,35],[4,11,32,38],[5,16,21,31],[6,13,23,30],[7,12,22,33],[8,17,19,36],[9,14,24,26],[10,15,20,27]]; RG[2][4]:=Group([(2,3)(5,7)(6,8)(9,10)(13,15)(14,16),(2,16,3,14)(4,12)(5,15,7,13)(6,10,8,9),(1,11)(2,9)(3,10)(4,12)(6,16)(8,14),(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13)]); # Design 2 / Resolution 5: autom. group order 32 R[2][5]:=[[1,34,37,40],[2,25,29,39],[3,18,28,35],[4,11,32,38],[5,16,21,31],[6,15,20,30],[7,12,22,33],[8,17,19,36],[9,14,24,26],[10,13,23,27]]; RG[2][5]:=Group([(2,6)(3,8)(4,12)(9,16)(10,14)(13,15),(2,8)(3,6)(4,12)(5,7)(9,14)(10,16),(1,11)(2,9)(3,10)(4,12)(6,16)(8,14),(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13),(1,15)(3,9)(4,7)(5,12)(6,14)(11,13)]); # Design 2 / Resolution 6: autom. group order 8 R[2][6]:=[[1,32,38,40],[2,24,31,39],[3,18,28,35],[4,11,34,37],[5,14,25,29],[6,13,23,30],[7,12,22,33],[8,17,21,26],[9,16,19,36],[10,15,20,27]]; RG[2][6]:=Group([(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13),(1,7)(2,14)(3,8)(4,13)(5,11)(6,10)(9,16)(12,15),(1,12)(2,3)(4,11)(5,13)(6,16)(7,15)(8,14)(9,10)]); # Design 2 / Resolution 7: autom. group order 16 R[2][7]:=[[1,32,38,40],[2,25,29,39],[3,18,28,35],[4,11,34,37],[5,14,24,31],[6,13,23,30],[7,12,22,33],[8,17,21,26],[9,16,19,36],[10,15,20,27]]; RG[2][7]:=Group([(2,8)(3,6)(4,12)(5,7)(9,14)(10,16),(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13),(1,13)(2,16)(3,6)(4,7)(5,12)(8,10)(9,14)(11,15)]); # Design 2 / Resolution 8: autom. group order 8 R[2][8]:=[[1,32,38,40],[2,24,31,39],[3,18,28,35],[4,11,34,37],[5,14,25,29],[6,15,20,30],[7,12,22,33],[8,17,19,36],[9,16,21,26],[10,13,23,27]]; RG[2][8]:=Group([(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13),(1,11)(2,10)(3,9)(4,12)(5,7)(6,14)(8,16)(13,15),(1,15)(2,8)(3,14)(4,5)(6,9)(7,12)(10,16)(11,13)]); # Design 2 / Resolution 9: autom. group order 8 R[2][9]:=[[1,32,38,40],[2,24,31,39],[3,18,28,35],[4,11,34,37],[5,14,25,29],[6,15,20,30],[7,12,22,33],[8,17,21,26],[9,16,19,36],[10,13,23,27]]; RG[2][9]:=Group([(1,5)(2,6)(3,16)(4,15)(7,11)(8,9)(10,14)(12,13),(1,7)(2,14)(3,8)(4,13)(5,11)(6,10)(9,16)(12,15),(1,15)(2,8)(3,14)(4,5)(6,9)(7,12)(10,16)(11,13)]); # Design 3: 2 resolution(s), autom. group order 64, simple D[3]:=[[1,2,3,4],[1,2,5,6],[1,3,7,8],[1,4,9,10],[1,5,7,11],[1,6,12,13],[1,8,12,14],[1,9,13,15],[1,10,14,16],[1,11,15,16],[2,3,11,12],[2,4,7,14],[2,5,9,16],[2,6,10,14],[2,7,9,15],[2,8,10,13],[2,8,12,15],[2,11,13,16],[3,4,5,13],[3,5,10,16],[3,6,9,14],[3,6,12,16],[3,7,10,15],[3,8,9,13],[3,11,14,15],[4,5,7,12],[4,6,10,15],[4,6,11,13],[4,8,9,16],[4,8,11,14],[4,12,15,16],[5,6,8,15],[5,8,10,11],[5,9,12,14],[5,13,14,15],[6,7,8,16],[6,7,9,11],[7,10,12,13],[7,13,14,16],[9,10,11,12]]; G[3]:=Group([(2,3)(5,7)(6,8)(9,10)(13,14)(15,16),(2,9)(3,10)(5,15)(6,13)(7,16)(8,14),(1,2,6,5)(3,14,15,11)(4,10,8,7)(9,13,16,12)]); R[3]:=[]; RG[3]:=[]; # Design 3 / Resolution 1: autom. group order 16 R[3][1]:=[[1,32,39,40],[2,25,29,38],[3,18,27,34],[4,11,35,36],[5,14,24,31],[6,13,23,30],[7,15,20,28],[8,12,22,33],[9,17,19,37],[10,16,21,26]]; RG[3][1]:=Group([(1,12)(2,10)(3,9)(4,11)(5,7)(6,13)(8,14)(15,16),(1,6)(2,5)(3,15)(4,8)(7,10)(9,16)(11,14)(12,13),(1,8)(2,16)(3,7)(4,6)(5,9)(10,15)(11,13)(12,14),(1,5,6,2)(3,11,15,14)(4,7,8,10)(9,12,16,13)]); # Design 3 / Resolution 2: autom. group order 16 R[3][2]:=[[1,32,39,40],[2,25,29,38],[3,18,27,34],[4,11,35,36],[5,16,21,31],[6,13,23,30],[7,15,20,28],[8,12,22,33],[9,17,19,37],[10,14,24,26]]; RG[3][2]:=Group([(1,12)(2,10)(3,9)(4,11)(5,7)(6,13)(8,14)(15,16),(1,6)(2,5)(3,15)(4,8)(7,10)(9,16)(11,14)(12,13),(1,8)(2,16)(3,7)(4,6)(5,9)(10,15)(11,13)(12,14),(1,5,13,10)(2,4,7,14)(3,12,16,6)(8,9,11,15)]); # Design 4: 1 resolution(s), autom. group order 64 D[4]:=[[1,2,3,4],[1,2,3,4],[1,5,6,7],[1,5,8,9],[1,6,8,10],[1,7,9,11],[1,10,12,13],[1,11,14,15],[1,12,14,16],[1,13,15,16],[2,5,6,14],[2,5,7,12],[2,6,11,13],[2,7,10,15],[2,8,10,12],[2,8,15,16],[2,9,11,14],[2,9,13,16],[3,5,12,14],[3,5,13,15],[3,6,7,16],[3,6,8,11],[3,7,9,10],[3,8,9,16],[3,10,14,15],[3,11,12,13],[4,5,8,15],[4,5,9,13],[4,6,10,13],[4,6,14,16],[4,7,11,15],[4,7,12,16],[4,8,11,12],[4,9,10,14],[5,10,11,16],[5,10,11,16],[6,9,12,15],[6,9,12,15],[7,8,13,14],[7,8,13,14]]; G[4]:=Group([(6,7)(8,9)(10,11)(12,14)(13,15),(5,16)(6,13)(7,15)(8,12)(9,14),(2,4)(6,8)(7,9)(12,13)(14,15),(1,2)(3,4)(5,10,16,11)(6,8,15,14)(7,12,13,9),(1,5,2,10)(3,16,4,11)(6,7,12,8)(9,14,15,13)]); R[4]:=[]; RG[4]:=[]; # Design 4 / Resolution 1: autom. group order 32 R[4][1]:=[[1,35,37,39],[2,36,38,40],[3,18,25,33],[4,14,26,30],[5,17,20,32],[6,16,19,29],[7,11,24,31],[8,15,21,28],[9,13,23,27],[10,12,22,34]]; RG[4][1]:=Group([(1,3)(2,4)(5,16)(10,11),(1,2,3,4)(5,11,16,10)(7,13)(8,14),(1,4,3,2)(5,11,16,10)(6,15)(9,12),(1,3)(6,12)(7,14)(8,13)(9,15)(10,11),(1,16,4,10)(2,11,3,5)(6,13,12,14)(7,9,8,15)]); # Design 5: 2 resolution(s), autom. group order 64 D[5]:=[[1,2,3,4],[1,2,3,4],[1,5,6,7],[1,5,8,9],[1,6,10,11],[1,7,12,13],[1,8,12,14],[1,9,10,15],[1,11,14,16],[1,13,15,16],[2,5,6,8],[2,5,7,9],[2,6,10,15],[2,7,12,14],[2,8,12,13],[2,9,10,11],[2,11,13,16],[2,14,15,16],[3,5,11,13],[3,5,14,15],[3,6,7,16],[3,6,11,12],[3,7,10,14],[3,8,9,16],[3,8,10,13],[3,9,12,15],[4,5,11,14],[4,5,13,15],[4,6,8,16],[4,6,12,15],[4,7,9,16],[4,7,10,13],[4,8,10,14],[4,9,11,12],[5,10,12,16],[5,10,12,16],[6,9,13,14],[6,9,13,14],[7,8,11,15],[7,8,11,15]]; G[5]:=Group([(6,9)(7,8)(11,15)(13,14),(5,10)(7,11)(8,15)(12,16)(13,14),(3,4)(5,12)(6,13)(9,14)(10,16)(11,15),(1,2)(5,12)(6,13)(7,8)(9,14)(10,16),(1,3)(2,4)(5,12)(7,11)(8,15)(10,16),(1,7)(2,8)(3,11)(4,15)(10,16)]); R[5]:=[]; RG[5]:=[]; # Design 5 / Resolution 1: autom. group order 32 R[5][1]:=[[1,35,37,39],[2,36,38,40],[3,18,25,34],[4,17,23,30],[5,15,20,31],[6,13,24,27],[7,16,21,28],[8,14,19,29],[9,11,26,32],[10,12,22,33]]; RG[5][1]:=Group([(6,9)(7,8)(11,15)(13,14),(5,10)(7,11)(8,15)(12,16)(13,14),(1,3)(2,4)(5,12)(7,11)(8,15)(10,16),(1,4)(2,3)(5,12)(7,15)(8,11)(10,16),(1,15,2,11)(3,7,4,8)(6,13)(9,14)(10,16)]); # Design 5 / Resolution 2: autom. group order 32 R[5][2]:=[[1,35,37,39],[2,36,38,40],[3,17,26,33],[4,18,22,32],[5,15,20,31],[6,13,24,27],[7,16,21,28],[8,14,19,29],[9,12,25,30],[10,11,23,34]]; RG[5][2]:=Group([(1,2)(3,4)(7,8)(11,15),(1,3,2,4)(6,13)(7,11,8,15)(9,14),(1,2)(3,4)(6,9)(13,14),(1,7,3,11)(2,8,4,15)(5,16,12,10)(13,14)]);