D:=[];
G:=[];
R:=[];
RG:=[];
# Design 1: 3 resolution(s), autom. group order 128
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,10],[2,7,8,10],[2,7,15,16],[2,9,13,16],[2,11,12,13],[2,12,14,15],[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,13],[3,10,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)(7,11)(9,14)(12,16)(13,15),(5,12)(6,13)(8,15)(10,16)(11,14),(2,3)(6,7)(8,9)(10,12)(11,13)(14,15),(1,2)(3,4)(7,14)(9,11)(13,15),(1,5)(2,10)(3,12)(4,16)(11,14)(13,15)]);
R[1]:=[];
RG[1]:=[];
# Design 1 / Resolution 1: autom. group order 32
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),(5,10)(7,11)(9,14)(12,16)(13,15),(1,4)(2,3)(5,16)(10,12),(1,2)(3,4)(7,14)(9,11)(13,15),(1,5)(2,10)(3,12)(4,16)(11,14)(13,15)]);
# Design 1 / Resolution 2: autom. group order 16
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,12,16,10)(6,14,8,11)(7,15,9,13),(1,5,4,16)(2,12,3,10)(6,14,8,11)(7,13,9,15)]);
# Design 1 / Resolution 3: autom. group order 32
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,12,16,10)(6,7,13,14,8,9,15,11),(1,4)(5,12,16,10)(6,14,15,7,8,11,13,9),(1,2)(3,4)(7,14)(9,11)(13,15)]);