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