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