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