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