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