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