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