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