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