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