# WARNING: The designs listed may have additional resolutions with a trivial
# automorphism group.
#
# Design 1991: 14 resolution(s), autom. group order 18
D1991:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,3,4],[1,3,7],[1,3,8],[1,4,5],[1,4,7],[1,4,9],[1,5,6],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,6],[2,3,8],[2,3,9],[2,4,5],[2,4,7],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,8],[2,6,7],[2,6,9],[2,7,8],[2,7,9],[2,8,9],[3,4,5],[3,4,6],[3,4,7],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,9],[3,6,7],[3,6,9],[3,7,8],[3,8,9],[4,5,7],[4,5,8],[4,6,7],[4,6,8],[4,6,8],[4,6,9],[4,8,9],[5,6,8],[5,6,9],[5,7,9],[5,7,9],[6,7,8],[7,8,9]];
G1991:=Group([(2,3)(5,7)(6,8),(1,2)(4,6)(7,9),(1,4,9)(2,6,7)(3,8,5)]);
R1991_1:=[[1,51,57],[2,52,58],[3,43,59],[4,47,50],[5,36,60],[6,33,56],[7,28,54],[8,29,53],[9,32,46],[10,23,55],[11,31,42],[12,35,38],[13,34,37],[14,26,44],[15,30,39],[16,27,41],[17,22,48],[18,24,45],[19,21,49],[20,25,40]];
RG1991_1:=Group([(1,2,3)(4,6,8)(5,9,7),(1,5,6)(2,9,8)(3,7,4)]);
R1991_2:=[[1,51,57],[2,52,58],[3,43,59],[4,46,53],[5,41,54],[6,28,60],[7,26,56],[8,32,48],[9,33,45],[10,23,55],[11,31,42],[12,25,47],[13,34,37],[14,22,50],[15,35,36],[16,29,39],[17,30,38],[18,27,40],[19,21,49],[20,24,44]];
RG1991_2:=Group([(1,3)(4,8)(5,9)]);
R1991_3:=[[1,51,57],[2,52,58],[3,43,59],[4,46,53],[5,41,54],[6,28,60],[7,26,56],[8,32,48],[9,31,47],[10,23,55],[11,30,44],[12,35,38],[13,34,37],[14,22,50],[15,27,42],[16,29,39],[17,33,36],[18,24,45],[19,21,49],[20,25,40]];
RG1991_3:=Group([(1,3)(4,8)(5,9)]);
R1991_4:=[[1,51,57],[2,52,58],[3,43,59],[4,46,53],[5,41,54],[6,28,60],[7,26,56],[8,32,48],[9,35,44],[10,23,55],[11,31,42],[12,33,39],[13,25,45],[14,22,50],[15,24,47],[16,34,36],[17,30,38],[18,27,40],[19,21,49],[20,29,37]];
RG1991_4:=Group([(1,3)(4,8)(5,9)]);
R1991_5:=[[1,51,57],[2,52,58],[3,43,59],[4,46,53],[5,41,54],[6,28,60],[7,26,56],[8,32,48],[9,31,47],[10,23,55],[11,33,40],[12,35,38],[13,27,44],[14,22,50],[15,30,39],[16,34,36],[17,25,42],[18,24,45],[19,21,49],[20,29,37]];
RG1991_5:=Group([(1,3)(4,8)(5,9)]);
R1991_6:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,33,45],[10,35,40],[11,30,44],[12,25,47],[13,31,39],[14,22,50],[15,27,42],[16,23,48],[17,24,46],[18,32,36],[19,21,49],[20,28,38]];
RG1991_6:=Group([(2,3)(5,7)(6,8),(1,2)(4,6)(7,9)]);
R1991_7:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,33,45],[10,32,42],[11,30,44],[12,25,47],[13,31,39],[14,22,50],[15,35,36],[16,23,48],[17,24,46],[18,27,40],[19,21,49],[20,28,38]];
RG1991_7:=Group([(1,2)(4,6)(7,9)]);
R1991_8:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,33,45],[10,32,42],[11,28,46],[12,25,47],[13,31,39],[14,22,50],[15,35,36],[16,23,48],[17,30,38],[18,27,40],[19,21,49],[20,24,44]];
RG1991_8:=Group([(1,3)(4,8)(5,9)]);
R1991_9:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,32,46],[10,35,40],[11,30,44],[12,25,47],[13,31,39],[14,22,50],[15,27,42],[16,23,48],[17,33,36],[18,24,45],[19,21,49],[20,28,38]];
RG1991_9:=Group([(1,2,3)(4,6,8)(5,9,7)]);
R1991_10:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,32,46],[10,28,47],[11,31,42],[12,33,39],[13,25,45],[14,22,50],[15,35,36],[16,23,48],[17,30,38],[18,27,40],[19,21,49],[20,24,44]];
RG1991_10:=Group([(2,3)(5,7)(6,8),(1,2)(4,6)(7,9)]);
R1991_11:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,32,46],[10,35,40],[11,31,42],[12,25,47],[13,27,44],[14,22,50],[15,30,39],[16,23,48],[17,33,36],[18,24,45],[19,21,49],[20,28,38]];
RG1991_11:=Group([(1,2,3)(4,6,8)(5,9,7)]);
R1991_12:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,32,46],[10,28,47],[11,30,44],[12,35,38],[13,31,39],[14,22,50],[15,27,42],[16,23,48],[17,33,36],[18,24,45],[19,21,49],[20,25,40]];
RG1991_12:=Group([(2,3)(5,7)(6,8),(1,2)(4,6)(7,9)]);
R1991_13:=[[1,51,57],[2,52,58],[3,43,59],[4,37,60],[5,41,54],[6,34,55],[7,26,56],[8,29,53],[9,32,46],[10,28,47],[11,31,42],[12,35,38],[13,27,44],[14,22,50],[15,30,39],[16,23,48],[17,33,36],[18,24,45],[19,21,49],[20,25,40]];
RG1991_13:=Group([(2,3)(5,7)(6,8),(1,2)(4,6)(7,9),(1,5,6)(2,9,8)(3,7,4)]);
R1991_14:=[[1,51,57],[2,52,58],[3,46,56],[4,39,59],[5,41,54],[6,34,55],[7,30,53],[8,32,48],[9,21,60],[10,28,47],[11,31,42],[12,35,38],[13,27,44],[14,22,50],[15,23,49],[16,25,43],[17,33,36],[18,24,45],[19,26,40],[20,29,37]];
RG1991_14:=Group([(1,2,3)(4,6,8)(5,9,7),(1,4,9)(2,6,7)(3,8,5)]);
# Design 3450: 24 resolution(s), autom. group order 18, simple
D3450:=[[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,2,7],[1,3,4],[1,3,5],[1,3,6],[1,3,8],[1,4,5],[1,4,7],[1,4,9],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,4],[2,3,5],[2,3,6],[2,3,9],[2,4,6],[2,4,7],[2,4,8],[2,5,7],[2,5,8],[2,5,9],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[2,8,9],[3,4,7],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,6,7],[3,6,9],[3,7,8],[3,7,9],[3,8,9],[4,5,6],[4,5,7],[4,5,8],[4,5,9],[4,6,7],[4,6,8],[4,6,9],[4,8,9],[5,6,7],[5,6,8],[5,6,9],[5,7,9],[6,7,8],[7,8,9]];
G3450:=Group([(2,3)(4,5)(7,8),(1,2)(5,6)(8,9),(1,4,9,3,6,7)(2,5,8)]);
R3450_1:=[[1,47,60],[2,46,55],[3,44,53],[4,45,49],[5,38,56],[6,33,57],[7,34,52],[8,35,48],[9,30,51],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,22,54],[16,21,58],[17,28,37],[18,23,50],[19,25,41],[20,26,39]];
RG3450_1:=Group([(2,3)(4,5)(7,8)]);
R3450_2:=[[1,47,60],[2,44,57],[3,45,52],[4,46,48],[5,38,56],[6,35,55],[7,33,53],[8,34,49],[9,30,51],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,22,54],[16,21,58],[17,28,37],[18,23,50],[19,25,41],[20,26,39]];
RG3450_2:=Group([(2,3)(4,5)(7,8)]);
R3450_3:=[[1,50,59],[2,45,56],[3,42,54],[4,46,48],[5,37,57],[6,31,58],[7,35,51],[8,34,49],[9,28,53],[10,23,60],[11,32,41],[12,33,39],[13,26,43],[14,25,44],[15,29,38],[16,30,36],[17,27,40],[18,24,47],[19,22,52],[20,21,55]];
RG3450_3:=Group([(2,3)(4,5)(7,8)]);
R3450_4:=[[1,47,60],[2,44,57],[3,46,51],[4,45,49],[5,39,54],[6,35,55],[7,34,52],[8,33,50],[9,25,58],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,22,53],[19,21,56],[20,23,48]];
RG3450_4:=Group([(1,3)(4,6)(7,9)]);
R3450_5:=[[1,52,58],[2,44,57],[3,46,51],[4,45,49],[5,39,54],[6,35,55],[7,25,60],[8,33,50],[9,34,47],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,22,53],[19,21,56],[20,23,48]];
RG3450_5:=Group([(1,3)(4,6)(7,9)]);
R3450_6:=[[1,47,60],[2,46,55],[3,44,53],[4,45,49],[5,39,54],[6,34,56],[7,35,51],[8,33,50],[9,25,58],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,21,57],[19,22,52],[20,23,48]];
RG3450_6:=Group([(1,2)(5,6)(8,9)]);
R3450_7:=[[1,54,55],[2,39,60],[3,44,53],[4,45,49],[5,46,47],[6,34,56],[7,35,51],[8,33,50],[9,25,58],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,21,57],[19,22,52],[20,23,48]];
RG3450_7:=Group([(1,2)(5,6)(8,9)]);
R3450_8:=[[1,47,60],[2,46,55],[3,45,52],[4,44,50],[5,39,54],[6,30,59],[7,35,51],[8,34,49],[9,26,57],[10,33,43],[11,24,56],[12,31,40],[13,32,36],[14,27,42],[15,29,38],[16,21,58],[17,28,37],[18,22,53],[19,25,41],[20,23,48]];
RG3450_8:=Group([(1,2)(5,6)(8,9)]);
R3450_9:=[[1,47,60],[2,46,55],[3,44,53],[4,45,49],[5,38,56],[6,33,57],[7,34,52],[8,35,48],[9,30,51],[10,24,59],[11,32,41],[12,29,42],[13,26,43],[14,31,36],[15,22,54],[16,21,58],[17,28,37],[18,23,50],[19,27,39],[20,25,40]];
RG3450_9:=Group([(2,3)(4,5)(7,8)]);
R3450_10:=[[1,52,58],[2,46,55],[3,44,53],[4,45,49],[5,39,54],[6,33,57],[7,25,60],[8,35,48],[9,34,47],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,30,37],[16,28,38],[17,29,36],[18,23,50],[19,21,56],[20,22,51]];
RG3450_10:=Group([(1,4,9,3,6,7)(2,5,8)]);
R3450_11:=[[1,52,58],[2,46,55],[3,44,53],[4,45,49],[5,39,54],[6,33,57],[7,25,60],[8,35,48],[9,34,47],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,29,38],[16,30,36],[17,28,37],[18,23,50],[19,21,56],[20,22,51]];
RG3450_11:=Group([(1,3)(4,6)(7,9)]);
R3450_12:=[[1,47,60],[2,46,55],[3,44,53],[4,45,49],[5,39,54],[6,33,57],[7,34,52],[8,35,48],[9,25,58],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,29,38],[16,30,36],[17,28,37],[18,23,50],[19,21,56],[20,22,51]];
RG3450_12:=Group([(2,3)(4,5)(7,8),(1,2)(5,6)(8,9)]);
R3450_13:=[[1,52,58],[2,45,56],[3,44,53],[4,46,48],[5,39,54],[6,35,55],[7,25,60],[8,33,50],[9,34,47],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,30,37],[16,28,38],[17,29,36],[18,21,57],[19,23,49],[20,22,51]];
RG3450_13:=Group([(1,3)(4,6)(7,9)]);
R3450_14:=[[1,47,60],[2,44,57],[3,45,52],[4,46,48],[5,39,54],[6,35,55],[7,33,53],[8,34,49],[9,25,58],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,29,38],[16,30,36],[17,28,37],[18,23,50],[19,21,56],[20,22,51]];
RG3450_14:=Group([(2,3)(4,5)(7,8)]);
R3450_15:=[[1,54,55],[2,39,60],[3,44,53],[4,45,49],[5,46,47],[6,33,57],[7,34,52],[8,27,58],[9,30,51],[10,35,42],[11,32,41],[12,22,59],[13,26,43],[14,31,36],[15,29,38],[16,24,48],[17,28,37],[18,23,50],[19,21,56],[20,25,40]];
RG3450_15:=Group([(1,2)(5,6)(8,9)]);
R3450_16:=[[1,52,58],[2,45,56],[3,44,53],[4,46,48],[5,39,54],[6,35,55],[7,25,60],[8,33,50],[9,34,47],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,21,57],[19,23,49],[20,22,51]];
RG3450_16:=Group([(1,3)(4,6)(7,9)]);
R3450_17:=[[1,47,60],[2,44,57],[3,45,52],[4,46,48],[5,39,54],[6,34,56],[7,35,51],[8,33,50],[9,25,58],[10,24,59],[11,29,43],[12,31,40],[13,32,36],[14,27,42],[15,30,37],[16,28,38],[17,26,41],[18,22,53],[19,23,49],[20,21,55]];
RG3450_17:=Group([(1,2,3)(4,6,5)(7,9,8)]);
R3450_18:=[[1,52,58],[2,44,57],[3,46,51],[4,40,54],[5,43,49],[6,35,55],[7,25,60],[8,33,50],[9,34,47],[10,31,45],[11,24,56],[12,29,42],[13,32,36],[14,21,59],[15,30,37],[16,28,38],[17,26,41],[18,22,53],[19,27,39],[20,23,48]];
RG3450_18:=Group([(1,3)(4,6)(7,9)]);
R3450_19:=[[1,50,59],[2,46,55],[3,42,54],[4,45,49],[5,41,53],[6,31,58],[7,34,52],[8,35,48],[9,26,57],[10,23,60],[11,29,43],[12,33,39],[13,32,36],[14,25,44],[15,30,37],[16,28,38],[17,27,40],[18,24,47],[19,21,56],[20,22,51]];
RG3450_19:=Group([(2,3)(4,5)(7,8)]);
R3450_20:=[[1,47,60],[2,45,56],[3,44,53],[4,46,48],[5,39,54],[6,35,55],[7,34,52],[8,33,50],[9,25,58],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,30,37],[16,28,38],[17,29,36],[18,21,57],[19,23,49],[20,22,51]];
RG3450_20:=Group([(1,3)(4,6)(7,9)]);
R3450_21:=[[1,47,60],[2,44,57],[3,45,52],[4,46,48],[5,39,54],[6,34,56],[7,35,51],[8,33,50],[9,25,58],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,30,37],[16,28,38],[17,29,36],[18,22,53],[19,23,49],[20,21,55]];
RG3450_21:=Group([(1,2,3)(4,6,5)(7,9,8),(1,6,9)(2,5,8)(3,4,7)]);
R3450_22:=[[1,47,60],[2,46,55],[3,44,53],[4,45,49],[5,39,54],[6,33,57],[7,34,52],[8,35,48],[9,25,58],[10,24,59],[11,32,41],[12,31,40],[13,26,43],[14,27,42],[15,30,37],[16,28,38],[17,29,36],[18,23,50],[19,21,56],[20,22,51]];
RG3450_22:=Group([(2,3)(4,5)(7,8),(1,2)(5,6)(8,9),(1,6,9)(2,5,8)(3,4,7)]);
R3450_23:=[[1,47,60],[2,46,55],[3,44,53],[4,40,54],[5,37,57],[6,31,58],[7,34,52],[8,35,48],[9,30,51],[10,33,43],[11,32,41],[12,22,59],[13,25,45],[14,27,42],[15,24,49],[16,28,38],[17,29,36],[18,23,50],[19,21,56],[20,26,39]];
RG3450_23:=Group([(1,2,3)(4,6,5)(7,9,8),(1,6,9)(2,5,8)(3,4,7)]);
R3450_24:=[[1,47,60],[2,46,55],[3,38,59],[4,45,49],[5,41,53],[6,33,57],[7,34,52],[8,28,54],[9,32,48],[10,35,42],[11,24,56],[12,31,40],[13,26,43],[14,25,44],[15,30,37],[16,21,58],[17,29,36],[18,23,50],[19,27,39],[20,22,51]];
RG3450_24:=Group([(1,7,5)(2,9,4)(3,8,6),(1,9,6)(2,8,5)(3,7,4)]);
# Design 8314: 1 resolution(s), autom. group order 18
D8314:=[[1,2,3],[1,2,3],[1,2,4],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,3,6],[1,4,7],[1,4,7],[1,5,8],[1,5,8],[1,5,9],[1,5,9],[1,6,7],[1,6,8],[1,6,8],[1,7,9],[1,7,9],[1,8,9],[2,3,5],[2,3,5],[2,3,6],[2,4,8],[2,4,9],[2,4,9],[2,5,8],[2,5,8],[2,6,7],[2,6,7],[2,6,9],[2,6,9],[2,7,8],[2,7,8],[2,7,9],[3,4,7],[3,4,7],[3,4,8],[3,4,8],[3,5,7],[3,5,7],[3,5,9],[3,6,9],[3,6,9],[3,7,8],[3,8,9],[3,8,9],[4,5,6],[4,5,6],[4,5,7],[4,5,9],[4,5,9],[4,6,8],[4,6,8],[4,6,9],[5,6,7],[5,6,7],[5,6,8],[7,8,9],[7,8,9]];
G8314:=Group([(2,5)(3,8)(4,9),(1,2,3)(4,5,6)(7,8,9)]);
R8314_1:=[[1,48,59],[2,49,60],[3,46,56],[4,47,57],[5,45,55],[6,35,58],[7,33,51],[8,34,52],[9,27,43],[10,28,44],[11,31,36],[12,32,37],[13,29,38],[14,30,39],[15,24,42],[16,25,40],[17,26,41],[18,21,53],[19,22,54],[20,23,50]];
RG8314_1:=Group([(2,5)(3,8)(4,9),(1,4)(2,7)(6,8),(1,7,6)(2,8,4)(3,9,5)]);
# Design 12219: 4 resolution(s), autom. group order 18
D12219:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,5],[1,4,8],[1,4,8],[1,5,9],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,6,9],[1,7,8],[1,7,8],[1,7,9],[2,3,8],[2,3,9],[2,4,5],[2,4,6],[2,4,6],[2,4,7],[2,5,6],[2,5,7],[2,5,7],[2,6,9],[2,6,9],[2,7,8],[2,7,8],[2,8,9],[2,8,9],[3,4,6],[3,4,6],[3,4,8],[3,4,8],[3,4,9],[3,5,7],[3,5,7],[3,5,8],[3,5,9],[3,5,9],[3,6,7],[3,6,7],[3,8,9],[4,5,6],[4,5,7],[4,7,9],[4,7,9],[4,7,9],[4,8,9],[5,6,8],[5,6,8],[5,6,8],[5,8,9],[6,7,8],[6,7,9]];
G12219:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,7,5,9,6),(1,4,3,7,2,9)(5,8,6)]);
R12219_1:=[[1,51,55],[2,52,56],[3,53,57],[4,44,59],[5,46,54],[6,26,58],[7,34,49],[8,21,60],[9,35,47],[10,30,41],[11,31,42],[12,32,36],[13,33,37],[14,23,48],[15,22,50],[16,28,38],[17,29,39],[18,24,45],[19,27,40],[20,25,43]];
RG12219_1:=Group([(1,6)(2,5)(3,8)]);
R12219_2:=[[1,51,55],[2,52,56],[3,53,57],[4,46,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,47],[10,30,41],[11,31,42],[12,32,36],[13,33,37],[14,23,48],[15,29,40],[16,21,50],[17,26,43],[18,24,44],[19,25,45],[20,27,39]];
RG12219_2:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R12219_3:=[[1,51,55],[2,52,56],[3,53,57],[4,46,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,47],[10,30,41],[11,31,42],[12,32,36],[13,33,37],[14,23,48],[15,26,44],[16,21,50],[17,29,39],[18,24,45],[19,27,40],[20,25,43]];
RG12219_3:=Group([(1,3,2)(4,7,9)(5,6,8),(1,7,6)(2,4,5)(3,9,8)]);
R12219_4:=[[1,51,55],[2,52,56],[3,53,57],[4,43,60],[5,40,59],[6,26,58],[7,27,54],[8,34,46],[9,35,47],[10,30,41],[11,31,42],[12,32,36],[13,33,37],[14,23,48],[15,22,50],[16,28,38],[17,29,39],[18,24,44],[19,25,45],[20,21,49]];
RG12219_4:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,9,7)(5,8,6),(1,4,3,7,2,9)(5,8,6)]);
# Design 13187: 5 resolution(s), autom. group order 18
D13187:=[[1,2,3],[1,2,3],[1,2,4],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,3,6],[1,4,7],[1,4,7],[1,5,8],[1,5,8],[1,5,9],[1,5,9],[1,6,8],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,7,9],[2,3,8],[2,3,9],[2,3,9],[2,4,8],[2,4,8],[2,4,9],[2,5,6],[2,5,6],[2,5,7],[2,5,7],[2,6,7],[2,6,9],[2,6,9],[2,7,8],[2,7,8],[3,4,8],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,7],[3,5,8],[3,5,8],[3,6,7],[3,6,7],[3,7,9],[4,5,6],[4,5,6],[4,5,7],[4,5,9],[4,5,9],[4,6,7],[4,6,7],[4,6,8],[5,8,9],[6,8,9],[6,8,9],[7,8,9],[7,8,9]];
G13187:=Group([(3,4)(6,7)(8,9),(1,2,5)(3,6,9,4,7,8),(1,3,5,9,2,7)(4,6,8)]);
R13187_1:=[[1,48,59],[2,53,56],[3,40,60],[4,41,57],[5,47,55],[6,29,58],[7,34,51],[8,35,52],[9,32,43],[10,33,44],[11,22,54],[12,31,38],[13,24,45],[14,25,46],[15,26,42],[16,30,39],[17,21,50],[18,23,49],[19,27,36],[20,28,37]];
RG13187_1:=Group([(1,9)(2,3)(5,7)]);
R13187_2:=[[1,50,57],[2,53,56],[3,40,59],[4,41,58],[5,47,55],[6,27,60],[7,34,51],[8,35,52],[9,32,43],[10,33,44],[11,22,54],[12,31,38],[13,24,45],[14,25,46],[15,26,42],[16,29,39],[17,30,36],[18,23,48],[19,21,49],[20,28,37]];
RG13187_2:=Group([(1,7,4)(2,9,6)(3,8,5)]);
R13187_3:=[[1,48,59],[2,53,56],[3,40,60],[4,41,57],[5,47,55],[6,29,58],[7,34,51],[8,35,52],[9,32,43],[10,33,44],[11,22,54],[12,31,38],[13,24,45],[14,25,46],[15,23,50],[16,26,42],[17,30,36],[18,27,39],[19,21,49],[20,28,37]];
RG13187_3:=Group([(1,7,4)(2,9,6)(3,8,5)]);
R13187_4:=[[1,48,59],[2,49,60],[3,41,57],[4,42,58],[5,47,55],[6,31,56],[7,34,51],[8,35,52],[9,32,43],[10,33,44],[11,22,53],[12,23,54],[13,24,45],[14,25,46],[15,29,38],[16,30,39],[17,21,50],[18,26,40],[19,27,36],[20,28,37]];
RG13187_4:=Group([(3,4)(6,7)(8,9),(1,9)(2,3)(5,7),(1,5,2)(3,9,7)(4,8,6)]);
R13187_5:=[[1,48,59],[2,53,56],[3,40,60],[4,41,57],[5,47,55],[6,29,58],[7,34,51],[8,35,52],[9,32,43],[10,33,44],[11,22,54],[12,26,45],[13,24,46],[14,31,36],[15,23,50],[16,30,38],[17,25,42],[18,27,39],[19,21,49],[20,28,37]];
RG13187_5:=Group([(1,9,8)(2,3,4)(5,7,6),(1,5,2)(3,9,7)(4,8,6)]);
# Design 17028: 11 resolution(s), autom. group order 18
D17028:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,4],[1,3,5],[1,3,5],[1,4,6],[1,4,7],[1,4,8],[1,5,6],[1,5,7],[1,5,8],[1,6,7],[1,6,7],[1,6,9],[1,7,9],[1,8,9],[1,8,9],[1,8,9],[2,3,9],[2,3,9],[2,4,6],[2,4,7],[2,4,8],[2,5,6],[2,5,6],[2,5,6],[2,5,7],[2,5,8],[2,6,9],[2,7,8],[2,7,8],[2,7,9],[2,8,9],[3,4,6],[3,4,7],[3,4,7],[3,4,7],[3,4,8],[3,5,6],[3,5,7],[3,5,8],[3,6,8],[3,6,8],[3,6,9],[3,7,9],[3,8,9],[4,5,8],[4,5,8],[4,5,9],[4,5,9],[4,5,9],[4,6,9],[4,6,9],[5,7,9],[5,7,9],[6,7,8],[6,7,8],[6,7,8]];
G17028:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,8,3,9,7)(2,5,6)]);
R17028_1:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,29,48],[9,30,46],[10,26,47],[11,34,40],[12,35,36],[13,31,37],[14,21,49],[15,22,50],[16,24,43],[17,25,41],[18,23,42],[19,27,38],[20,28,39]];
RG17028_1:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R17028_2:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,29,48],[9,30,46],[10,26,47],[11,35,37],[12,31,40],[13,34,36],[14,21,49],[15,22,50],[16,24,43],[17,25,41],[18,23,42],[19,27,38],[20,28,39]];
RG17028_2:=Group([(1,2)(5,9)(6,8)]);
R17028_3:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,29,48],[9,30,46],[10,26,47],[11,35,37],[12,31,40],[13,34,36],[14,21,49],[15,22,50],[16,25,42],[17,23,43],[18,24,41],[19,27,38],[20,28,39]];
RG17028_3:=Group([(1,3)(4,9)(7,8)]);
R17028_4:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,30,47],[9,35,41],[10,29,46],[11,24,48],[12,31,40],[13,34,36],[14,21,49],[15,22,50],[16,25,42],[17,23,43],[18,26,37],[19,27,38],[20,28,39]];
RG17028_4:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R17028_5:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,30,46],[10,26,47],[11,24,48],[12,35,36],[13,31,37],[14,21,49],[15,22,50],[16,29,40],[17,25,41],[18,23,42],[19,27,38],[20,28,39]];
RG17028_5:=Group([(1,2,3)(4,9,5)(6,7,8)]);
R17028_6:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,30,46],[10,26,47],[11,35,37],[12,23,48],[13,31,38],[14,21,49],[15,22,50],[16,25,42],[17,27,40],[18,24,41],[19,28,39],[20,29,36]];
RG17028_6:=Group([(1,4,6)(2,9,7)(3,5,8)]);
R17028_7:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,26,48],[10,27,47],[11,35,37],[12,25,46],[13,31,38],[14,21,49],[15,22,50],[16,29,40],[17,30,36],[18,23,42],[19,24,41],[20,28,39]];
RG17028_7:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R17028_8:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,26,48],[10,27,47],[11,35,37],[12,25,46],[13,31,38],[14,21,49],[15,22,50],[16,30,39],[17,28,40],[18,23,42],[19,24,41],[20,29,36]];
RG17028_8:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,8,3,9,7)(2,5,6)]);
R17028_9:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,35,41],[10,29,46],[11,24,48],[12,31,40],[13,23,47],[14,21,49],[15,22,50],[16,25,42],[17,30,36],[18,26,37],[19,27,38],[20,28,39]];
RG17028_9:=Group([(1,2,3)(4,9,5)(6,7,8)]);
R17028_10:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,35,41],[10,26,47],[11,24,48],[12,25,46],[13,31,37],[14,21,49],[15,22,50],[16,29,40],[17,30,36],[18,23,42],[19,27,38],[20,28,39]];
RG17028_10:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R17028_11:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,55],[8,34,43],[9,35,41],[10,31,42],[11,24,48],[12,25,46],[13,23,47],[14,21,49],[15,22,50],[16,29,40],[17,30,36],[18,26,37],[19,27,38],[20,28,39]];
RG17028_11:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,8,3,9,7)(2,5,6)]);
# Design 17745: 25 resolution(s), autom. group order 18
D17745:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,3,4],[1,3,7],[1,3,8],[1,4,5],[1,4,7],[1,4,9],[1,5,8],[1,5,8],[1,5,9],[1,6,7],[1,6,7],[1,6,8],[1,6,9],[1,7,9],[1,8,9],[2,3,5],[2,3,7],[2,3,9],[2,4,6],[2,4,7],[2,4,7],[2,4,9],[2,5,6],[2,5,8],[2,5,9],[2,6,7],[2,6,8],[2,7,8],[2,8,9],[2,8,9],[3,4,5],[3,4,5],[3,4,8],[3,4,9],[3,5,6],[3,5,8],[3,6,7],[3,6,8],[3,6,9],[3,6,9],[3,7,8],[3,7,9],[4,5,6],[4,5,7],[4,6,8],[4,6,8],[4,6,9],[4,7,8],[4,8,9],[5,6,7],[5,6,9],[5,7,8],[5,7,9],[5,7,9],[7,8,9]];
G17745:=Group([(2,3)(5,7)(6,8),(1,2,4,6,9,5)(3,7,8)]);
R17745_1:=[[1,53,56],[2,54,55],[3,40,60],[4,47,50],[5,39,57],[6,32,58],[7,29,52],[8,24,59],[9,34,42],[10,30,43],[11,28,46],[12,25,44],[13,26,45],[14,31,38],[15,27,41],[16,35,36],[17,23,49],[18,33,37],[19,21,51],[20,22,48]];
RG17745_1:=Group([(1,4,9)(2,6,5)(3,8,7)]);
R17745_2:=[[1,50,58],[2,53,56],[3,40,60],[4,47,51],[5,39,57],[6,34,55],[7,29,52],[8,24,59],[9,35,42],[10,30,43],[11,28,46],[12,25,44],[13,26,45],[14,31,38],[15,21,54],[16,27,41],[17,23,49],[18,33,36],[19,32,37],[20,22,48]];
RG17745_2:=Group([(1,4,9)(2,6,5)(3,8,7)]);
R17745_3:=[[1,52,57],[2,54,55],[3,46,56],[4,47,50],[5,38,58],[6,28,60],[7,34,48],[8,24,59],[9,35,42],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,22,51],[15,27,41],[16,29,39],[17,23,49],[18,21,53],[19,32,36],[20,31,37]];
RG17745_3:=Group([(1,8)(3,9)(4,7)]);
R17745_4:=[[1,52,57],[2,54,55],[3,40,60],[4,47,50],[5,38,58],[6,33,56],[7,34,48],[8,24,59],[9,35,42],[10,30,43],[11,28,46],[12,25,44],[13,26,45],[14,22,51],[15,27,41],[16,29,39],[17,23,49],[18,21,53],[19,32,36],[20,31,37]];
RG17745_4:=Group([(1,8)(3,9)(4,7)]);
R17745_5:=[[1,50,58],[2,51,59],[3,46,56],[4,42,54],[5,39,57],[6,28,60],[7,29,52],[8,27,55],[9,32,47],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,31,38],[15,34,36],[16,35,37],[17,23,49],[18,21,53],[19,24,41],[20,22,48]];
RG17745_5:=Group([(2,3)(5,7)(6,8),(1,8)(3,9)(4,7)]);
R17745_6:=[[1,50,58],[2,51,59],[3,40,60],[4,42,54],[5,39,57],[6,33,56],[7,29,52],[8,27,55],[9,32,47],[10,30,43],[11,28,46],[12,25,44],[13,26,45],[14,31,38],[15,34,36],[16,35,37],[17,23,49],[18,21,53],[19,24,41],[20,22,48]];
RG17745_6:=Group([(2,3)(5,7)(6,8),(1,5,9,6,4,2)(3,8,7)]);
R17745_7:=[[1,50,58],[2,53,56],[3,40,60],[4,47,51],[5,39,57],[6,34,55],[7,29,52],[8,24,59],[9,33,44],[10,30,43],[11,28,46],[12,25,45],[13,27,42],[14,31,38],[15,21,54],[16,35,36],[17,23,49],[18,26,41],[19,32,37],[20,22,48]];
RG17745_7:=Group([(1,5,3)(2,8,4)(6,7,9),(1,8,6)(2,9,3)(4,7,5)]);
R17745_8:=[[1,52,57],[2,54,55],[3,46,56],[4,44,53],[5,38,58],[6,28,60],[7,34,48],[8,24,59],[9,32,47],[10,30,43],[11,33,40],[12,25,45],[13,27,42],[14,22,50],[15,29,39],[16,35,36],[17,23,49],[18,26,41],[19,21,51],[20,31,37]];
RG17745_8:=Group([(2,3)(5,7)(6,8)]);
R17745_9:=[[1,52,57],[2,54,55],[3,40,60],[4,44,53],[5,38,58],[6,33,56],[7,34,48],[8,24,59],[9,32,47],[10,30,43],[11,28,46],[12,25,45],[13,27,42],[14,22,50],[15,29,39],[16,35,36],[17,23,49],[18,26,41],[19,21,51],[20,31,37]];
RG17745_9:=Group([(2,3)(5,7)(6,8)]);
R17745_10:=[[1,50,58],[2,52,57],[3,46,56],[4,44,53],[5,38,59],[6,28,60],[7,34,48],[8,27,55],[9,35,42],[10,30,43],[11,33,40],[12,24,47],[13,25,45],[14,22,51],[15,21,54],[16,29,39],[17,23,49],[18,26,41],[19,32,36],[20,31,37]];
RG17745_10:=Group([(1,6)(2,9)(4,5)]);
R17745_11:=[[1,50,58],[2,52,57],[3,40,60],[4,44,53],[5,38,59],[6,33,56],[7,34,48],[8,27,55],[9,35,42],[10,30,43],[11,28,46],[12,24,47],[13,25,45],[14,22,51],[15,21,54],[16,29,39],[17,23,49],[18,26,41],[19,32,36],[20,31,37]];
RG17745_11:=Group([(1,6)(2,9)(4,5)]);
R17745_12:=[[1,50,58],[2,54,55],[3,40,60],[4,44,53],[5,39,57],[6,32,59],[7,29,52],[8,25,56],[9,34,42],[10,30,43],[11,28,46],[12,24,47],[13,26,45],[14,31,38],[15,27,41],[16,35,36],[17,23,49],[18,33,37],[19,21,51],[20,22,48]];
RG17745_12:=Group([(1,5,3)(2,8,4)(6,7,9),(1,8,6)(2,9,3)(4,7,5)]);
R17745_13:=[[1,52,57],[2,54,55],[3,46,56],[4,47,50],[5,36,60],[6,32,58],[7,34,48],[8,24,59],[9,35,42],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,22,51],[15,27,41],[16,29,39],[17,23,49],[18,21,53],[19,28,38],[20,31,37]];
RG17745_13:=Group([(1,8)(3,9)(4,7)]);
R17745_14:=[[1,48,60],[2,52,57],[3,46,56],[4,47,50],[5,38,58],[6,34,55],[7,28,54],[8,24,59],[9,35,42],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,22,51],[15,27,41],[16,29,39],[17,23,49],[18,21,53],[19,32,36],[20,31,37]];
RG17745_14:=Group([(1,8)(3,9)(4,7)]);
R17745_15:=[[1,50,58],[2,52,57],[3,46,56],[4,47,51],[5,36,60],[6,32,59],[7,28,54],[8,27,55],[9,34,42],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,31,38],[15,29,39],[16,35,37],[17,23,49],[18,21,53],[19,24,41],[20,22,48]];
RG17745_15:=Group([(1,8)(3,9)(4,7)]);
R17745_16:=[[1,48,60],[2,50,58],[3,46,56],[4,42,54],[5,39,57],[6,34,55],[7,29,52],[8,24,59],[9,32,47],[10,30,43],[11,33,40],[12,25,44],[13,26,45],[14,22,51],[15,27,41],[16,35,36],[17,23,49],[18,21,53],[19,28,38],[20,31,37]];
RG17745_16:=Group([(1,8)(3,9)(4,7)]);
R17745_17:=[[1,52,57],[2,54,55],[3,43,58],[4,44,53],[5,36,60],[6,32,59],[7,34,48],[8,25,56],[9,33,45],[10,35,40],[11,28,46],[12,24,47],[13,27,42],[14,22,50],[15,29,39],[16,30,38],[17,23,49],[18,26,41],[19,21,51],[20,31,37]];
RG17745_17:=Group([(2,3)(5,7)(6,8),(1,9,4)(2,7,6,3,5,8)]);
R17745_18:=[[1,48,60],[2,52,57],[3,43,58],[4,44,53],[5,38,59],[6,34,55],[7,30,50],[8,25,56],[9,33,45],[10,35,40],[11,28,46],[12,24,47],[13,27,42],[14,22,51],[15,21,54],[16,29,39],[17,23,49],[18,26,41],[19,32,36],[20,31,37]];
RG17745_18:=Group([(1,5,9,6,4,2)(3,8,7)]);
R17745_19:=[[1,50,58],[2,52,57],[3,43,59],[4,44,53],[5,36,60],[6,34,55],[7,28,54],[8,25,56],[9,32,47],[10,35,40],[11,29,42],[12,26,45],[13,31,39],[14,24,46],[15,27,41],[16,30,38],[17,23,49],[18,33,37],[19,21,51],[20,22,48]];
RG17745_19:=Group([(1,6)(2,9)(4,5)]);
R17745_20:=[[1,48,60],[2,50,58],[3,43,59],[4,44,53],[5,39,57],[6,34,55],[7,28,54],[8,25,56],[9,32,47],[10,29,45],[11,31,41],[12,22,52],[13,27,42],[14,24,46],[15,30,38],[16,35,36],[17,23,49],[18,33,37],[19,21,51],[20,26,40]];
RG17745_20:=Group([(1,8)(3,9)(4,7)]);
R17745_21:=[[1,52,57],[2,53,56],[3,43,58],[4,47,50],[5,36,60],[6,34,55],[7,35,48],[8,24,59],[9,33,44],[10,29,45],[11,28,46],[12,27,42],[13,31,39],[14,22,51],[15,21,54],[16,30,38],[17,23,49],[18,25,41],[19,32,37],[20,26,40]];
RG17745_21:=Group([(1,5,3)(2,8,4)(6,7,9),(1,8,6)(2,9,3)(4,7,5)]);
R17745_22:=[[1,50,58],[2,53,56],[3,44,57],[4,46,52],[5,36,60],[6,32,59],[7,30,51],[8,27,55],[9,33,45],[10,34,40],[11,29,42],[12,24,47],[13,31,39],[14,25,43],[15,21,54],[16,35,37],[17,23,49],[18,26,41],[19,28,38],[20,22,48]];
RG17745_22:=Group([(1,8)(3,9)(4,7)]);
R17745_23:=[[1,50,58],[2,53,56],[3,44,57],[4,46,52],[5,38,59],[6,28,60],[7,30,51],[8,27,55],[9,33,45],[10,34,40],[11,29,42],[12,24,47],[13,31,39],[14,25,43],[15,21,54],[16,35,36],[17,23,49],[18,26,41],[19,32,37],[20,22,48]];
RG17745_23:=Group([(1,8)(3,9)(4,7)]);
R17745_24:=[[1,52,57],[2,54,55],[3,43,58],[4,44,53],[5,36,60],[6,32,59],[7,34,48],[8,25,56],[9,35,42],[10,29,45],[11,28,46],[12,24,47],[13,31,39],[14,22,50],[15,27,41],[16,30,38],[17,23,49],[18,33,37],[19,21,51],[20,26,40]];
RG17745_24:=Group([(2,3)(5,7)(6,8),(1,8)(3,9)(4,7),(1,5,3)(2,8,4)(6,7,9)]);
R17745_25:=[[1,48,60],[2,53,56],[3,44,57],[4,47,50],[5,38,58],[6,34,55],[7,30,51],[8,24,59],[9,33,45],[10,35,40],[11,28,46],[12,22,52],[13,27,42],[14,25,43],[15,21,54],[16,29,39],[17,23,49],[18,26,41],[19,32,36],[20,31,37]];
RG17745_25:=Group([(2,3)(5,7)(6,8),(1,2,7)(3,4,6)(5,8,9)]);
# Design 17981: 11 resolution(s), autom. group order 18
D17981:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,3,4],[1,3,7],[1,3,8],[1,4,5],[1,4,7],[1,4,9],[1,5,6],[1,5,7],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,7,8],[1,8,9],[1,8,9],[2,3,5],[2,3,8],[2,3,9],[2,4,6],[2,4,7],[2,4,7],[2,4,9],[2,5,6],[2,5,7],[2,5,8],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[2,8,9],[3,4,6],[3,4,7],[3,4,8],[3,4,9],[3,5,6],[3,5,6],[3,5,7],[3,5,9],[3,6,7],[3,6,8],[3,7,9],[3,8,9],[4,5,6],[4,5,8],[4,5,8],[4,5,9],[4,6,8],[4,6,9],[4,7,8],[5,7,8],[5,7,9],[5,8,9],[6,7,8],[6,7,9],[6,7,9]];
G17981:=Group([(2,9)(3,8)(4,6),(1,2,3)(4,5,8)(6,9,7)]);
R17981_1:=[[1,49,59],[2,50,60],[3,44,57],[4,39,58],[5,38,56],[6,32,55],[7,30,53],[8,34,48],[9,31,46],[10,28,47],[11,29,45],[12,35,37],[13,23,52],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,25,40],[20,26,41]];
RG17981_1:=Group([(1,8,9)(2,4,7)(3,5,6)]);
R17981_2:=[[1,51,58],[2,52,56],[3,44,57],[4,38,59],[5,39,55],[6,30,60],[7,32,49],[8,34,48],[9,31,46],[10,28,47],[11,29,45],[12,35,37],[13,22,53],[14,33,36],[15,23,50],[16,27,42],[17,21,54],[18,24,43],[19,25,40],[20,26,41]];
RG17981_2:=Group([(1,4,6)(2,5,9)(3,8,7)]);
R17981_3:=[[1,49,59],[2,53,55],[3,44,57],[4,39,58],[5,38,56],[6,30,60],[7,32,50],[8,34,48],[9,31,46],[10,28,47],[11,29,45],[12,35,37],[13,23,52],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,25,40],[20,26,41]];
RG17981_3:=Group([(1,9,8)(2,7,4)(3,6,5)]);
R17981_4:=[[1,49,59],[2,50,60],[3,43,58],[4,46,52],[5,38,56],[6,32,55],[7,24,57],[8,29,53],[9,34,45],[10,28,47],[11,30,44],[12,35,37],[13,31,39],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,23,48],[19,25,40],[20,26,41]];
RG17981_4:=Group([(1,6)(2,5)(7,8)]);
R17981_5:=[[1,49,59],[2,50,60],[3,43,58],[4,46,52],[5,37,57],[6,32,55],[7,35,48],[8,24,56],[9,34,45],[10,28,47],[11,30,44],[12,23,54],[13,31,39],[14,33,36],[15,22,51],[16,27,42],[17,29,38],[18,21,53],[19,25,40],[20,26,41]];
RG17981_5:=Group([(1,2,3)(4,5,8)(6,9,7),(1,4,6)(2,5,9)(3,8,7)]);
R17981_6:=[[1,49,59],[2,52,56],[3,43,58],[4,38,60],[5,46,50],[6,32,55],[7,24,57],[8,29,53],[9,34,45],[10,35,40],[11,30,44],[12,25,47],[13,31,39],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,23,48],[19,26,41],[20,28,37]];
RG17981_6:=Group([(1,6)(2,5)(7,8)]);
R17981_7:=[[1,52,56],[2,53,55],[3,44,57],[4,38,59],[5,46,49],[6,30,60],[7,32,50],[8,34,48],[9,23,58],[10,28,47],[11,33,40],[12,35,37],[13,31,39],[14,25,45],[15,22,51],[16,26,43],[17,21,54],[18,27,41],[19,24,42],[20,29,36]];
RG17981_7:=Group([(2,9)(3,8)(4,6)]);
R17981_8:=[[1,52,56],[2,53,55],[3,44,57],[4,38,59],[5,46,49],[6,30,60],[7,32,50],[8,34,48],[9,23,58],[10,28,47],[11,29,45],[12,35,37],[13,31,39],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,25,40],[20,26,41]];
RG17981_8:=Group([(1,8,9)(2,4,7)(3,5,6)]);
R17981_9:=[[1,49,59],[2,50,60],[3,44,57],[4,46,52],[5,38,56],[6,32,55],[7,30,53],[8,34,48],[9,23,58],[10,28,47],[11,33,40],[12,35,37],[13,31,39],[14,25,45],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,26,41],[20,29,36]];
RG17981_9:=Group([(1,2,3)(4,5,8)(6,9,7)]);
R17981_10:=[[1,49,59],[2,52,56],[3,44,57],[4,38,60],[5,46,50],[6,32,55],[7,30,53],[8,34,48],[9,23,58],[10,28,47],[11,33,40],[12,35,37],[13,31,39],[14,25,45],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,26,41],[20,29,36]];
RG17981_10:=Group([(2,9)(3,8)(4,6)]);
R17981_11:=[[1,49,59],[2,50,60],[3,44,57],[4,46,52],[5,38,56],[6,32,55],[7,30,53],[8,34,48],[9,23,58],[10,28,47],[11,29,45],[12,35,37],[13,31,39],[14,33,36],[15,22,51],[16,27,42],[17,21,54],[18,24,43],[19,25,40],[20,26,41]];
RG17981_11:=Group([(2,9)(3,8)(4,6),(1,2,3)(4,5,8)(6,9,7)]);
# Design 19709: 2 resolution(s), autom. group order 18
D19709:=[[1,2,3],[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,3,5],[1,4,6],[1,4,6],[1,4,7],[1,4,7],[1,5,6],[1,5,6],[1,5,8],[1,5,8],[1,6,9],[1,7,8],[1,7,9],[1,7,9],[1,8,9],[1,8,9],[2,3,9],[2,4,7],[2,4,7],[2,4,8],[2,4,8],[2,5,6],[2,5,6],[2,5,7],[2,5,7],[2,5,8],[2,6,7],[2,6,9],[2,6,9],[2,8,9],[2,8,9],[3,4,6],[3,4,6],[3,4,7],[3,4,8],[3,4,8],[3,5,7],[3,5,7],[3,5,8],[3,5,8],[3,6,8],[3,6,9],[3,6,9],[3,7,9],[3,7,9],[4,5,6],[4,5,9],[4,5,9],[4,5,9],[4,5,9],[4,8,9],[5,7,9],[6,7,8],[6,7,8],[6,7,8],[6,7,8]];
G19709:=Group([(2,3)(4,5)(7,8),(1,2)(5,9)(6,8),(1,4,6,3,9,7)(2,5,8)]);
R19709_1:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,31,55],[7,30,48],[8,34,41],[9,32,43],[10,33,44],[11,24,49],[12,35,38],[13,22,46],[14,23,47],[15,25,42],[16,21,50],[17,26,39],[18,27,40],[19,28,36],[20,29,37]];
RG19709_1:=Group([(2,3)(4,5)(7,8),(1,2)(5,9)(6,8)]);
R19709_2:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,31,55],[7,34,41],[8,35,42],[9,32,43],[10,33,44],[11,24,48],[12,25,49],[13,22,46],[14,23,47],[15,30,38],[16,21,50],[17,26,39],[18,27,40],[19,28,36],[20,29,37]];
RG19709_2:=Group([(2,3)(4,5)(7,8),(1,2)(5,9)(6,8),(1,4,6,3,9,7)(2,5,8)]);
# Design 20520: 1 resolution(s), autom. group order 18
D20520:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,4],[1,3,5],[1,3,5],[1,4,6],[1,4,6],[1,4,7],[1,5,6],[1,5,8],[1,5,8],[1,6,7],[1,6,7],[1,7,9],[1,7,9],[1,8,9],[1,8,9],[1,8,9],[2,3,9],[2,3,9],[2,4,7],[2,4,7],[2,4,8],[2,5,6],[2,5,6],[2,5,7],[2,5,7],[2,5,7],[2,6,8],[2,6,8],[2,6,9],[2,8,9],[2,8,9],[3,4,6],[3,4,6],[3,4,6],[3,4,8],[3,4,8],[3,5,7],[3,5,7],[3,5,8],[3,6,9],[3,6,9],[3,7,8],[3,7,8],[3,7,9],[4,5,8],[4,5,8],[4,5,9],[4,5,9],[4,5,9],[4,7,9],[4,7,9],[5,6,9],[5,6,9],[6,7,8],[6,7,8],[6,7,8]];
G20520:=Group([(2,9)(3,8)(4,7),(1,2,3)(4,9,5)(6,8,7)]);
R20520_1:=[[1,51,58],[2,52,59],[3,53,60],[4,46,56],[5,47,57],[6,31,54],[7,32,55],[8,34,41],[9,35,42],[10,33,43],[11,25,48],[12,23,44],[13,24,45],[14,21,49],[15,22,50],[16,26,39],[17,27,40],[18,28,36],[19,29,37],[20,30,38]];
RG20520_1:=Group([(2,9)(3,8)(4,7),(1,3,2)(4,5,9)(6,7,8)]);
# Design 21194: 14 resolution(s), autom. group order 18
D21194:=[[1,2,3],[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,3,5],[1,4,6],[1,4,6],[1,4,7],[1,4,8],[1,5,6],[1,5,7],[1,5,7],[1,5,8],[1,6,7],[1,6,9],[1,7,9],[1,8,9],[1,8,9],[1,8,9],[2,3,9],[2,4,6],[2,4,7],[2,4,8],[2,4,8],[2,5,6],[2,5,6],[2,5,6],[2,5,7],[2,5,8],[2,6,9],[2,7,8],[2,7,9],[2,7,9],[2,8,9],[3,4,6],[3,4,7],[3,4,7],[3,4,7],[3,4,8],[3,5,6],[3,5,7],[3,5,8],[3,5,8],[3,6,8],[3,6,9],[3,6,9],[3,7,9],[3,8,9],[4,5,8],[4,5,9],[4,5,9],[4,5,9],[4,5,9],[4,6,9],[5,7,9],[6,7,8],[6,7,8],[6,7,8],[6,7,8]];
G21194:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,8,3,9,7)(2,5,6)]);
R21194_1:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,29,49],[8,33,43],[9,30,46],[10,26,48],[11,34,40],[12,24,47],[13,35,36],[14,31,37],[15,21,50],[16,23,44],[17,25,41],[18,22,42],[19,27,38],[20,28,39]];
RG21194_1:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R21194_2:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,29,49],[8,33,43],[9,30,46],[10,26,48],[11,35,37],[12,24,47],[13,31,40],[14,34,36],[15,21,50],[16,23,44],[17,25,41],[18,22,42],[19,27,38],[20,28,39]];
RG21194_2:=Group([(1,2)(5,9)(6,8)]);
R21194_3:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,29,49],[8,33,43],[9,30,46],[10,26,48],[11,35,37],[12,24,47],[13,31,40],[14,34,36],[15,21,50],[16,25,42],[17,22,44],[18,23,41],[19,27,38],[20,28,39]];
RG21194_3:=Group([(1,3)(4,9)(7,8)]);
R21194_4:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,30,48],[8,35,42],[9,31,43],[10,29,46],[11,33,40],[12,22,49],[13,24,47],[14,34,36],[15,21,50],[16,23,44],[17,25,41],[18,26,37],[19,27,38],[20,28,39]];
RG21194_4:=Group([(1,9,8)(2,5,6)(3,4,7)]);
R21194_5:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,30,48],[8,33,43],[9,35,41],[10,29,46],[11,23,49],[12,24,47],[13,31,40],[14,34,36],[15,21,50],[16,25,42],[17,22,44],[18,26,37],[19,27,38],[20,28,39]];
RG21194_5:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R21194_6:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,30,46],[10,26,48],[11,35,37],[12,22,49],[13,31,40],[14,23,47],[15,21,50],[16,24,42],[17,25,41],[18,27,38],[19,28,39],[20,29,36]];
RG21194_6:=Group([(1,4,6)(2,9,7)(3,5,8)]);
R21194_7:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,30,46],[10,29,47],[11,23,49],[12,31,40],[13,35,36],[14,22,48],[15,21,50],[16,24,42],[17,25,41],[18,26,37],[19,27,38],[20,28,39]];
RG21194_7:=Group([(1,2,3)(4,9,5)(6,7,8)]);
R21194_8:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,30,46],[10,26,48],[11,23,49],[12,24,47],[13,35,36],[14,31,37],[15,21,50],[16,29,40],[17,25,41],[18,22,42],[19,27,38],[20,28,39]];
RG21194_8:=Group([(1,2,3)(4,9,5)(6,7,8)]);
R21194_9:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,30,46],[10,26,48],[11,35,37],[12,22,49],[13,24,47],[14,31,38],[15,21,50],[16,25,42],[17,27,40],[18,23,41],[19,28,39],[20,29,36]];
RG21194_9:=Group([(1,4,6)(2,9,7)(3,5,8)]);
R21194_10:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,26,49],[10,27,48],[11,35,37],[12,24,46],[13,25,47],[14,31,38],[15,21,50],[16,29,40],[17,30,36],[18,22,42],[19,23,41],[20,28,39]];
RG21194_10:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R21194_11:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,26,49],[10,27,48],[11,35,37],[12,24,46],[13,25,47],[14,31,38],[15,21,50],[16,30,39],[17,28,40],[18,22,42],[19,23,41],[20,29,36]];
RG21194_11:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,6)(2,9,7)(3,5,8)]);
R21194_12:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,35,41],[10,29,46],[11,23,49],[12,24,47],[13,31,40],[14,22,48],[15,21,50],[16,25,42],[17,30,36],[18,26,37],[19,27,38],[20,28,39]];
RG21194_12:=Group([(1,2,3)(4,9,5)(6,7,8)]);
R21194_13:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,35,41],[10,26,48],[11,23,49],[12,24,46],[13,25,47],[14,31,37],[15,21,50],[16,29,40],[17,30,36],[18,22,42],[19,27,38],[20,28,39]];
RG21194_13:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8)]);
R21194_14:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,43],[8,34,44],[9,35,41],[10,31,42],[11,23,49],[12,24,46],[13,25,47],[14,22,48],[15,21,50],[16,29,40],[17,30,36],[18,26,37],[19,27,38],[20,28,39]];
RG21194_14:=Group([(2,3)(4,5)(6,7),(1,2)(5,9)(6,8),(1,4,6)(2,9,7)(3,5,8)]);
# Design 21236: 1 resolution(s), autom. group order 18
D21236:=[[1,2,3],[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,3,5],[1,4,6],[1,4,6],[1,4,6],[1,4,7],[1,5,6],[1,5,8],[1,5,8],[1,5,8],[1,6,8],[1,7,9],[1,7,9],[1,7,9],[1,7,9],[1,8,9],[2,3,9],[2,4,7],[2,4,7],[2,4,7],[2,4,8],[2,5,6],[2,5,6],[2,5,6],[2,5,6],[2,5,7],[2,6,9],[2,7,8],[2,8,9],[2,8,9],[2,8,9],[3,4,6],[3,4,8],[3,4,8],[3,4,8],[3,4,8],[3,5,7],[3,5,7],[3,5,7],[3,5,8],[3,6,7],[3,6,9],[3,6,9],[3,6,9],[3,7,9],[4,5,7],[4,5,9],[4,5,9],[4,5,9],[4,5,9],[4,6,9],[5,8,9],[6,7,8],[6,7,8],[6,7,8],[6,7,8]];
G21236:=Group([(2,7)(3,9)(5,8),(1,2,3)(4,9,5)(6,8,7)]);
R21236_1:=[[1,51,57],[2,52,58],[3,53,59],[4,54,60],[5,45,56],[6,32,55],[7,33,41],[8,34,42],[9,35,43],[10,31,44],[11,25,49],[12,22,46],[13,23,47],[14,24,48],[15,21,50],[16,26,37],[17,27,38],[18,28,39],[19,29,40],[20,30,36]];
RG21236_1:=Group([(2,7)(3,9)(5,8),(1,2,3)(4,9,5)(6,8,7)]);
# Design 39703: 9 resolution(s), autom. group order 18
D39703:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,2,6],[1,3,4],[1,3,5],[1,3,7],[1,4,5],[1,4,6],[1,4,7],[1,5,8],[1,5,9],[1,6,8],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,7,9],[1,8,9],[2,3,4],[2,3,8],[2,3,9],[2,4,8],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,7],[2,5,9],[2,6,7],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,6],[3,5,7],[3,5,8],[3,6,7],[3,6,8],[3,6,9],[3,7,8],[3,7,9],[4,5,6],[4,5,7],[4,5,8],[4,5,9],[4,6,7],[4,6,7],[4,6,9],[4,7,8],[5,6,7],[5,8,9],[5,8,9],[6,8,9],[7,8,9]];
G39703:=Group([(2,3)(6,7)(8,9),(1,2,5,9,4,6)(3,7,8)]);
R39703_1:=[[1,49,59],[2,52,57],[3,39,60],[4,45,55],[5,47,50],[6,31,58],[7,34,54],[8,32,51],[9,33,46],[10,35,42],[11,30,44],[12,23,53],[13,24,43],[14,28,37],[15,29,38],[16,25,41],[17,26,40],[18,22,48],[19,27,36],[20,21,56]];
RG39703_1:=Group([(1,5,4)(2,9,6)(3,8,7)]);
R39703_2:=[[1,48,60],[2,52,57],[3,41,59],[4,45,55],[5,47,50],[6,31,58],[7,34,54],[8,32,51],[9,33,46],[10,35,42],[11,30,44],[12,23,53],[13,24,43],[14,28,37],[15,29,38],[16,22,49],[17,26,39],[18,25,40],[19,27,36],[20,21,56]];
RG39703_2:=Group([(1,8)(3,4)(5,7)]);
R39703_3:=[[1,48,60],[2,52,57],[3,41,59],[4,46,54],[5,47,50],[6,31,58],[7,33,55],[8,32,51],[9,34,45],[10,35,42],[11,30,44],[12,23,53],[13,24,43],[14,28,37],[15,29,38],[16,22,49],[17,26,39],[18,25,40],[19,27,36],[20,21,56]];
RG39703_3:=Group([(1,8)(3,4)(5,7)]);
R39703_4:=[[1,49,59],[2,52,57],[3,39,60],[4,46,54],[5,47,50],[6,31,58],[7,33,55],[8,32,51],[9,34,45],[10,35,42],[11,30,44],[12,26,43],[13,22,53],[14,28,37],[15,29,38],[16,24,41],[17,23,48],[18,25,40],[19,27,36],[20,21,56]];
RG39703_4:=Group([(1,8)(3,4)(5,7)]);
R39703_5:=[[1,49,59],[2,52,57],[3,43,58],[4,46,54],[5,47,50],[6,27,60],[7,33,55],[8,32,51],[9,34,45],[10,35,42],[11,30,44],[12,23,53],[13,31,36],[14,28,37],[15,29,38],[16,24,41],[17,26,39],[18,22,48],[19,25,40],[20,21,56]];
RG39703_5:=Group([(1,8)(3,4)(5,7)]);
R39703_6:=[[1,52,57],[2,53,58],[3,41,59],[4,46,54],[5,47,50],[6,27,60],[7,33,55],[8,32,51],[9,34,45],[10,35,42],[11,30,44],[12,26,43],[13,31,36],[14,28,37],[15,29,38],[16,22,49],[17,23,48],[18,24,39],[19,25,40],[20,21,56]];
RG39703_6:=Group([(2,3)(6,7)(8,9),(1,8)(3,4)(5,7)]);
R39703_7:=[[1,52,57],[2,53,58],[3,41,59],[4,45,55],[5,47,50],[6,27,60],[7,34,54],[8,32,51],[9,33,46],[10,35,42],[11,30,44],[12,26,43],[13,31,36],[14,28,37],[15,29,38],[16,22,49],[17,23,48],[18,24,39],[19,25,40],[20,21,56]];
RG39703_7:=Group([(2,3)(6,7)(8,9),(1,8)(3,4)(5,7),(1,6,3)(2,8,5)(4,9,7)]);
R39703_8:=[[1,48,60],[2,52,57],[3,43,58],[4,45,55],[5,47,50],[6,28,59],[7,34,54],[8,32,51],[9,33,46],[10,35,42],[11,30,44],[12,31,37],[13,22,53],[14,23,49],[15,29,38],[16,24,41],[17,26,39],[18,25,40],[19,27,36],[20,21,56]];
RG39703_8:=Group([(1,8,9)(2,4,3)(5,7,6),(1,6,3)(2,8,5)(4,9,7)]);
R39703_9:=[[1,48,60],[2,52,57],[3,43,58],[4,46,54],[5,47,50],[6,28,59],[7,33,55],[8,32,51],[9,34,45],[10,35,42],[11,30,44],[12,31,37],[13,22,53],[14,23,49],[15,29,38],[16,24,41],[17,26,39],[18,25,40],[19,27,36],[20,21,56]];
RG39703_9:=Group([(1,8,9)(2,4,3)(5,7,6)]);
# Design 39778: 6 resolution(s), autom. group order 18
D39778:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,6],[1,4,6],[1,4,8],[1,5,7],[1,5,7],[1,5,9],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[1,8,9],[2,3,8],[2,3,9],[2,4,6],[2,4,7],[2,4,8],[2,4,8],[2,5,6],[2,5,7],[2,5,9],[2,5,9],[2,6,7],[2,6,7],[2,6,9],[2,7,8],[2,8,9],[3,4,5],[3,4,5],[3,4,6],[3,4,8],[3,4,9],[3,5,7],[3,5,8],[3,5,9],[3,6,7],[3,6,9],[3,6,9],[3,7,8],[3,7,8],[4,5,6],[4,5,7],[4,7,9],[4,7,9],[4,7,9],[4,8,9],[5,6,8],[5,6,8],[5,6,8],[5,8,9],[6,7,8],[6,7,9]];
G39778:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,7,5,9,6),(1,4,3,7,2,9)(5,8,6)]);
R39778_1:=[[1,51,55],[2,52,56],[3,53,57],[4,43,59],[5,44,54],[6,24,58],[7,35,49],[8,21,60],[9,29,47],[10,30,48],[11,33,41],[12,25,45],[13,26,46],[14,34,38],[15,22,50],[16,28,39],[17,27,40],[18,23,42],[19,31,36],[20,32,37]];
RG39778_1:=Group([(1,6)(2,5)(3,8)]);
R39778_2:=[[1,51,55],[2,52,56],[3,53,57],[4,44,58],[5,39,60],[6,28,54],[7,35,49],[8,22,59],[9,29,47],[10,30,48],[11,33,41],[12,25,45],[13,26,46],[14,34,38],[15,24,43],[16,21,50],[17,27,40],[18,23,42],[19,31,36],[20,32,37]];
RG39778_2:=Group([(1,3,2)(4,7,9)(5,6,8),(1,7,6)(2,4,5)(3,9,8)]);
R39778_3:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,24,58],[7,27,54],[8,35,44],[9,29,47],[10,30,48],[11,33,41],[12,25,45],[13,26,46],[14,34,38],[15,22,50],[16,28,39],[17,23,43],[18,21,49],[19,31,36],[20,32,37]];
RG39778_3:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,9,7)(5,8,6),(1,4,3,7,2,9)(5,8,6)]);
R39778_4:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,24,58],[7,27,54],[8,35,44],[9,29,47],[10,30,48],[11,33,41],[12,25,45],[13,26,46],[14,31,39],[15,22,50],[16,34,36],[17,23,43],[18,21,49],[19,28,38],[20,32,37]];
RG39778_4:=Group([(1,2,3)(4,9,7)(5,8,6)]);
R39778_5:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,24,58],[7,27,54],[8,33,47],[9,29,48],[10,35,41],[11,30,44],[12,25,45],[13,26,46],[14,31,39],[15,22,50],[16,34,36],[17,23,43],[18,21,49],[19,28,38],[20,32,37]];
RG39778_5:=Group([(1,2,3)(4,9,7)(5,8,6),(1,4,3,7,2,9)(5,8,6)]);
R39778_6:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,24,58],[7,27,54],[8,35,44],[9,29,47],[10,30,48],[11,31,43],[12,25,45],[13,26,46],[14,32,39],[15,22,50],[16,34,36],[17,33,37],[18,21,49],[19,23,41],[20,28,38]];
RG39778_6:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,9,7)(5,8,6)]);
# Design 40784: 12 resolution(s), autom. group order 18
D40784:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,6],[1,4,8],[1,4,9],[1,5,7],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,8],[1,7,9],[1,7,9],[1,8,9],[2,3,8],[2,3,9],[2,4,5],[2,4,6],[2,4,6],[2,4,9],[2,5,7],[2,5,7],[2,5,8],[2,6,7],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[2,8,9],[3,4,5],[3,4,6],[3,4,7],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,8],[3,6,7],[3,6,8],[3,7,9],[3,8,9],[4,5,8],[4,5,9],[4,6,7],[4,7,8],[4,7,8],[4,7,8],[5,6,7],[5,6,9],[5,6,9],[5,6,9],[6,8,9],[7,8,9]];
G40784:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,7)(5,9,6),(1,4)(2,8)(3,7)]);
R40784_1:=[[1,52,56],[2,53,57],[3,54,58],[4,48,55],[5,38,59],[6,23,60],[7,31,50],[8,35,45],[9,29,47],[10,32,42],[11,33,41],[12,26,46],[13,34,37],[14,21,51],[15,22,49],[16,27,39],[17,28,40],[18,24,43],[19,25,44],[20,30,36]];
RG40784_1:=Group([(1,5)(2,9)(3,6)]);
R40784_2:=[[1,52,56],[2,53,57],[3,54,58],[4,48,55],[5,37,60],[6,33,50],[7,23,59],[8,31,47],[9,35,42],[10,34,41],[11,29,45],[12,26,46],[13,32,38],[14,21,51],[15,22,49],[16,27,39],[17,28,40],[18,24,43],[19,25,44],[20,30,36]];
RG40784_2:=Group([(1,4)(2,8)(3,7)]);
R40784_3:=[[1,52,56],[2,53,57],[3,54,58],[4,48,55],[5,37,60],[6,34,49],[7,23,59],[8,35,45],[9,29,47],[10,32,42],[11,33,41],[12,26,46],[13,22,51],[14,31,38],[15,21,50],[16,27,39],[17,28,40],[18,24,43],[19,25,44],[20,30,36]];
RG40784_3:=Group([(1,2,3)(4,8,7)(5,9,6),(1,4,5)(2,8,9)(3,7,6)]);
R40784_4:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,35,45],[9,29,47],[10,22,55],[11,31,42],[12,26,46],[13,34,37],[14,21,51],[15,23,48],[16,27,39],[17,28,40],[18,24,43],[19,25,44],[20,30,36]];
RG40784_4:=Group([(4,5)(6,7)(8,9),(1,3,2)(4,7,8)(5,6,9),(1,7,2,4,3,8)(5,6,9)]);
R40784_5:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,35,45],[9,29,47],[10,22,55],[11,31,42],[12,26,46],[13,30,39],[14,21,51],[15,23,48],[16,27,40],[17,34,36],[18,24,43],[19,25,44],[20,28,37]];
RG40784_5:=Group([(1,3,2)(4,7,8)(5,6,9)]);
R40784_6:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,31,47],[9,35,42],[10,22,55],[11,29,45],[12,26,46],[13,34,37],[14,21,51],[15,23,48],[16,27,39],[17,28,40],[18,24,43],[19,25,44],[20,30,36]];
RG40784_6:=Group([(1,3,2)(4,7,8)(5,6,9),(1,7,2,4,3,8)(5,6,9)]);
R40784_7:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,31,47],[9,35,42],[10,22,55],[11,29,45],[12,26,46],[13,30,39],[14,21,51],[15,23,48],[16,27,40],[17,34,36],[18,24,43],[19,25,44],[20,28,37]];
RG40784_7:=Group([(1,3,2)(4,7,8)(5,6,9)]);
R40784_8:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,35,45],[9,29,47],[10,22,55],[11,31,42],[12,24,48],[13,30,39],[14,21,51],[15,26,43],[16,27,40],[17,34,36],[18,23,46],[19,25,44],[20,28,37]];
RG40784_8:=Group([(1,3,2)(4,7,8)(5,6,9),(1,7,2,4,3,8)(5,6,9)]);
R40784_9:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,31,47],[9,35,42],[10,22,55],[11,29,45],[12,24,48],[13,30,39],[14,21,51],[15,26,43],[16,27,40],[17,34,36],[18,23,46],[19,25,44],[20,28,37]];
RG40784_9:=Group([(1,3,2)(4,7,8)(5,6,9),(1,7,2,4,3,8)(5,6,9)]);
R40784_10:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,35,45],[9,34,43],[10,22,55],[11,31,42],[12,24,48],[13,25,47],[14,21,51],[15,26,44],[16,27,39],[17,28,40],[18,23,46],[19,29,37],[20,30,36]];
RG40784_10:=Group([(1,3,2)(4,7,8)(5,6,9)]);
R40784_11:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,35,45],[9,27,48],[10,22,55],[11,30,43],[12,31,39],[13,24,47],[14,21,51],[15,26,44],[16,28,40],[17,34,36],[18,23,46],[19,29,37],[20,25,42]];
RG40784_11:=Group([(1,4,5)(2,8,9)(3,7,6)]);
R40784_12:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,33,50],[7,32,49],[8,30,48],[9,34,43],[10,22,55],[11,29,45],[12,35,37],[13,24,47],[14,21,51],[15,26,44],[16,27,39],[17,28,40],[18,23,46],[19,31,36],[20,25,42]];
RG40784_12:=Group([(1,8,6)(2,7,5)(3,4,9)]);
# Design 41459: 11 resolution(s), autom. group order 18
D41459:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,7],[1,4,8],[1,4,9],[1,5,7],[1,5,7],[1,5,8],[1,5,9],[1,6,7],[1,6,8],[1,6,8],[1,6,9],[1,7,9],[1,8,9],[2,3,5],[2,3,6],[2,4,7],[2,4,7],[2,4,8],[2,4,9],[2,5,7],[2,5,8],[2,5,9],[2,6,7],[2,6,8],[2,6,9],[2,6,9],[2,7,8],[2,8,9],[3,4,7],[3,4,8],[3,4,8],[3,4,9],[3,5,7],[3,5,8],[3,5,9],[3,5,9],[3,6,7],[3,6,8],[3,6,9],[3,7,8],[3,7,9],[4,5,6],[4,5,6],[4,5,6],[4,5,8],[4,5,9],[4,6,7],[4,6,9],[5,6,7],[5,6,8],[7,8,9],[7,8,9],[7,8,9]];
G41459:=Group([(2,3)(5,6)(7,8),(1,2)(4,5)(8,9),(1,4,9)(2,5,8)(3,6,7)]);
R41459_1:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,29,45],[9,27,46],[10,28,44],[11,32,37],[12,33,38],[13,30,39],[14,31,36],[15,26,41],[16,23,42],[17,24,43],[18,25,40],[19,22,52],[20,21,54]];
RG41459_1:=Group([(2,3)(5,6)(7,8),(1,2)(4,5)(8,9),(1,4,9)(2,5,8)(3,6,7)]);
R41459_2:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,29,45],[9,27,46],[10,28,44],[11,31,39],[12,32,37],[13,33,36],[14,30,38],[15,26,41],[16,23,42],[17,24,43],[18,25,40],[19,22,52],[20,21,54]];
RG41459_2:=Group([(1,2,3)(4,5,6)(7,9,8)]);
R41459_3:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,29,45],[9,27,46],[10,28,44],[11,31,39],[12,32,37],[13,33,36],[14,30,38],[15,25,42],[16,23,43],[17,26,40],[18,24,41],[19,22,52],[20,21,54]];
RG41459_3:=Group([(2,3)(5,6)(7,8),(1,2)(4,5)(8,9)]);
R41459_4:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,29,44],[10,27,45],[11,32,37],[12,33,38],[13,30,39],[14,31,36],[15,26,41],[16,23,42],[17,24,43],[18,25,40],[19,22,52],[20,21,54]];
RG41459_4:=Group([(2,3)(5,6)(7,8),(1,2)(4,5)(8,9)]);
R41459_5:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,29,44],[10,27,45],[11,31,39],[12,32,37],[13,33,36],[14,30,38],[15,26,41],[16,23,42],[17,24,43],[18,25,40],[19,22,52],[20,21,54]];
RG41459_5:=Group([(1,2,3)(4,5,6)(7,9,8)]);
R41459_6:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,29,44],[10,27,45],[11,31,39],[12,32,37],[13,33,36],[14,30,38],[15,25,42],[16,23,43],[17,26,40],[18,24,41],[19,22,52],[20,21,54]];
RG41459_6:=Group([(2,3)(5,6)(7,8),(1,2)(4,5)(8,9)]);
R41459_7:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,30,42],[10,27,45],[11,31,39],[12,32,37],[13,33,36],[14,25,44],[15,29,38],[16,23,43],[17,26,40],[18,24,41],[19,22,52],[20,21,54]];
RG41459_7:=Group([(1,2)(4,5)(8,9)]);
R41459_8:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,32,40],[10,27,45],[11,31,39],[12,33,37],[13,26,44],[14,30,38],[15,25,42],[16,23,43],[17,29,36],[18,24,41],[19,22,52],[20,21,54]];
RG41459_8:=Group([(1,2)(4,5)(8,9)]);
R41459_9:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,29,45],[9,30,42],[10,28,44],[11,32,37],[12,33,38],[13,23,46],[14,31,36],[15,25,43],[16,26,40],[17,27,39],[18,24,41],[19,22,52],[20,21,54]];
RG41459_9:=Group([(1,2,3)(4,5,6)(7,9,8)]);
R41459_10:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,28,46],[9,32,40],[10,30,41],[11,26,45],[12,31,39],[13,33,36],[14,25,44],[15,29,37],[16,23,42],[17,24,43],[18,27,38],[19,22,52],[20,21,54]];
RG41459_10:=Group([(1,6,8)(2,4,7)(3,5,9)]);
R41459_11:=[[1,49,58],[2,50,59],[3,51,60],[4,48,57],[5,47,55],[6,35,56],[7,34,53],[8,32,41],[9,30,42],[10,28,44],[11,25,46],[12,31,39],[13,33,36],[14,23,45],[15,29,37],[16,24,43],[17,26,40],[18,27,38],[19,22,52],[20,21,54]];
RG41459_11:=Group([(1,4,9)(2,5,8)(3,6,7)]);
# Design 50292: 1 resolution(s), autom. group order 18
D50292:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,7],[1,4,7],[1,4,8],[1,5,7],[1,5,9],[1,5,9],[1,5,9],[1,6,8],[1,6,8],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[2,3,5],[2,3,6],[2,4,7],[2,4,9],[2,4,9],[2,4,9],[2,5,8],[2,5,8],[2,5,9],[2,6,7],[2,6,7],[2,6,7],[2,6,8],[2,7,8],[2,8,9],[3,4,8],[3,4,8],[3,4,8],[3,4,9],[3,5,7],[3,5,7],[3,5,7],[3,5,8],[3,6,7],[3,6,9],[3,6,9],[3,7,9],[3,8,9],[4,5,6],[4,5,6],[4,5,6],[4,5,7],[4,5,8],[4,6,7],[4,6,9],[5,6,8],[5,6,9],[7,8,9],[7,8,9],[7,8,9]];
G50292:=Group([(2,5)(3,9)(4,7),(1,2,3)(4,5,6)(7,8,9)]);
R50292_1:=[[1,49,58],[2,50,59],[3,51,60],[4,47,56],[5,48,54],[6,34,57],[7,35,52],[8,27,45],[9,28,46],[10,29,44],[11,33,39],[12,30,36],[13,31,37],[14,32,38],[15,24,40],[16,25,41],[17,26,42],[18,23,43],[19,21,55],[20,22,53]];
RG50292_1:=Group([(2,5)(3,9)(4,7),(1,6,8)(2,4,9)(3,5,7),(1,9,8,4,6,2)(3,5,7)]);
# Design 54107: 4 resolution(s), autom. group order 18
D54107:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,7],[1,4,7],[1,4,7],[1,5,8],[1,5,8],[1,5,8],[1,5,9],[1,6,8],[1,6,9],[1,6,9],[1,6,9],[1,7,8],[1,7,9],[2,3,8],[2,3,9],[2,4,8],[2,4,9],[2,4,9],[2,4,9],[2,5,6],[2,5,7],[2,5,7],[2,5,7],[2,6,7],[2,6,8],[2,6,8],[2,6,8],[2,7,9],[3,4,8],[3,4,8],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,9],[3,5,9],[3,5,9],[3,6,7],[3,6,7],[3,6,7],[3,7,8],[4,5,6],[4,5,6],[4,5,6],[4,5,7],[4,5,8],[4,6,7],[4,6,9],[5,8,9],[6,8,9],[7,8,9],[7,8,9],[7,8,9]];
G54107:=Group([(2,3)(5,6)(8,9),(1,2,5)(3,7,8)(4,6,9)]);
R54107_1:=[[1,49,58],[2,50,59],[3,52,57],[4,45,56],[5,48,55],[6,27,60],[7,35,53],[8,32,42],[9,33,43],[10,34,44],[11,24,46],[12,25,47],[13,31,39],[14,21,54],[15,26,41],[16,28,36],[17,29,37],[18,30,38],[19,22,51],[20,23,40]];
RG54107_1:=Group([(1,9)(3,4)(5,7)]);
R54107_2:=[[1,49,58],[2,50,59],[3,52,57],[4,45,56],[5,48,55],[6,27,60],[7,35,53],[8,32,42],[9,33,43],[10,34,44],[11,22,54],[12,24,46],[13,31,39],[14,23,47],[15,25,41],[16,28,36],[17,29,37],[18,30,38],[19,26,40],[20,21,51]];
RG54107_2:=Group([(1,7,4)(2,8,6)(3,9,5)]);
R54107_3:=[[1,49,58],[2,50,59],[3,51,60],[4,41,57],[5,48,55],[6,31,56],[7,35,53],[8,32,42],[9,33,43],[10,34,44],[11,24,45],[12,25,46],[13,26,47],[14,21,54],[15,22,52],[16,28,36],[17,29,37],[18,30,38],[19,27,39],[20,23,40]];
RG54107_3:=Group([(2,3)(5,6)(8,9),(1,9)(3,4)(5,7),(1,6,4,8,7,2)(3,9,5)]);
R54107_4:=[[1,49,58],[2,50,59],[3,54,56],[4,40,60],[5,48,55],[6,28,57],[7,35,53],[8,32,42],[9,33,43],[10,34,44],[11,24,45],[12,25,46],[13,31,39],[14,23,47],[15,26,41],[16,21,52],[17,29,36],[18,30,37],[19,22,51],[20,27,38]];
RG54107_4:=Group([(1,9,8)(2,4,3)(5,6,7),(1,6,3)(2,9,7)(4,8,5)]);
# Design 55403: 18 resolution(s), autom. group order 18
D55403:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,5],[1,4,6],[1,4,8],[1,5,7],[1,5,9],[1,6,8],[1,6,9],[1,6,9],[1,7,8],[1,7,8],[1,7,9],[1,8,9],[2,3,8],[2,3,9],[2,4,6],[2,4,6],[2,4,7],[2,4,8],[2,5,6],[2,5,7],[2,5,7],[2,5,9],[2,6,7],[2,6,9],[2,7,8],[2,8,9],[2,8,9],[3,4,5],[3,4,6],[3,4,8],[3,4,8],[3,4,9],[3,5,7],[3,5,8],[3,5,9],[3,5,9],[3,6,7],[3,6,7],[3,6,9],[3,7,8],[4,5,6],[4,5,7],[4,7,9],[4,7,9],[4,7,9],[4,8,9],[5,6,8],[5,6,8],[5,6,8],[5,8,9],[6,7,8],[6,7,9]];
G55403:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,7,5,9,6),(1,4,3,7,2,9)(5,8,6)]);
R55403_1:=[[1,51,55],[2,52,56],[3,53,57],[4,43,59],[5,45,54],[6,25,58],[7,34,49],[8,21,60],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,33,37],[14,22,50],[15,28,38],[16,29,39],[17,23,44],[18,27,40],[19,24,42],[20,31,36]];
RG55403_1:=Group([(1,6)(2,5)(3,8)]);
R55403_2:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,40,59],[6,28,54],[7,34,49],[8,21,60],[9,32,48],[10,35,41],[11,30,46],[12,26,47],[13,31,38],[14,22,50],[15,25,42],[16,33,36],[17,23,43],[18,24,44],[19,27,39],[20,29,37]];
RG55403_2:=Group([(1,7)(2,4)(3,9)]);
R55403_3:=[[1,51,55],[2,52,56],[3,53,57],[4,43,59],[5,45,54],[6,25,58],[7,34,49],[8,21,60],[9,35,46],[10,30,48],[11,28,47],[12,32,38],[13,31,39],[14,22,50],[15,26,41],[16,33,36],[17,23,44],[18,27,40],[19,24,42],[20,29,37]];
RG55403_3:=Group([(1,6)(2,5)(3,8)]);
R55403_4:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,32,48],[10,35,41],[11,30,46],[12,26,47],[13,33,37],[14,29,40],[15,21,50],[16,25,42],[17,23,43],[18,24,44],[19,27,39],[20,31,36]];
RG55403_4:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_5:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,33,37],[14,29,40],[15,21,50],[16,25,42],[17,23,43],[18,24,44],[19,27,39],[20,31,36]];
RG55403_5:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_6:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,32,48],[10,35,41],[11,30,46],[12,26,47],[13,31,39],[14,25,43],[15,21,50],[16,33,36],[17,23,44],[18,27,40],[19,24,42],[20,29,37]];
RG55403_6:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_7:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,32,48],[10,35,41],[11,30,46],[12,26,47],[13,33,37],[14,25,43],[15,21,50],[16,29,39],[17,23,44],[18,27,40],[19,24,42],[20,31,36]];
RG55403_7:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_8:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,31,39],[14,25,43],[15,21,50],[16,33,36],[17,23,44],[18,27,40],[19,24,42],[20,29,37]];
RG55403_8:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_9:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,33,37],[14,25,43],[15,21,50],[16,29,39],[17,23,44],[18,27,40],[19,24,42],[20,31,36]];
RG55403_9:=Group([(1,3,2)(4,7,9)(5,6,8),(1,7,6)(2,4,5)(3,9,8)]);
R55403_10:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,33,47],[10,30,48],[11,32,41],[12,35,37],[13,26,46],[14,29,40],[15,21,50],[16,25,42],[17,23,43],[18,24,44],[19,27,39],[20,31,36]];
RG55403_10:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_11:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,30,48],[11,31,43],[12,26,47],[13,33,37],[14,29,40],[15,21,50],[16,25,42],[17,23,44],[18,32,36],[19,27,39],[20,24,41]];
RG55403_11:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_12:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,33,43],[11,32,41],[12,26,47],[13,23,48],[14,29,40],[15,21,50],[16,25,42],[17,24,44],[18,30,37],[19,27,39],[20,31,36]];
RG55403_12:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_13:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,33,47],[10,30,48],[11,31,43],[12,35,37],[13,26,46],[14,29,40],[15,21,50],[16,25,42],[17,23,44],[18,32,36],[19,27,39],[20,24,41]];
RG55403_13:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_14:=[[1,51,55],[2,52,56],[3,53,57],[4,45,58],[5,38,60],[6,28,54],[7,34,49],[8,22,59],[9,35,46],[10,33,43],[11,31,44],[12,26,47],[13,23,48],[14,29,40],[15,21,50],[16,25,42],[17,30,37],[18,32,36],[19,27,39],[20,24,41]];
RG55403_14:=Group([(1,3,2)(4,7,9)(5,6,8)]);
R55403_15:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,25,58],[7,27,54],[8,34,45],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,33,37],[14,22,50],[15,28,38],[16,29,39],[17,23,43],[18,24,44],[19,21,49],[20,31,36]];
RG55403_15:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,9,7)(5,8,6),(1,4,3,7,2,9)(5,8,6)]);
R55403_16:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,25,58],[7,27,54],[8,34,45],[9,35,46],[10,30,48],[11,32,41],[12,26,47],[13,31,38],[14,22,50],[15,28,39],[16,33,36],[17,23,43],[18,24,44],[19,21,49],[20,29,37]];
RG55403_16:=Group([(1,2,3)(4,9,7)(5,8,6)]);
R55403_17:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,25,58],[7,27,54],[8,32,48],[9,34,45],[10,35,41],[11,30,46],[12,26,47],[13,31,38],[14,22,50],[15,28,39],[16,33,36],[17,23,43],[18,24,44],[19,21,49],[20,29,37]];
RG55403_17:=Group([(1,2,3)(4,9,7)(5,8,6),(1,4,3,7,2,9)(5,8,6)]);
R55403_18:=[[1,51,55],[2,52,56],[3,53,57],[4,42,60],[5,40,59],[6,25,58],[7,27,54],[8,34,45],[9,35,46],[10,30,48],[11,28,47],[12,32,38],[13,31,39],[14,22,50],[15,26,41],[16,33,36],[17,23,43],[18,24,44],[19,21,49],[20,29,37]];
RG55403_18:=Group([(1,2,3)(4,9,7)(5,8,6),(1,5,3,6,2,8)(4,9,7)]);
# Design 55969: 1 resolution(s), autom. group order 18
D55969:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,6],[1,4,6],[1,4,8],[1,5,7],[1,5,7],[1,5,9],[1,6,8],[1,6,8],[1,7,9],[1,7,9],[1,8,9],[1,8,9],[2,3,8],[2,3,9],[2,4,6],[2,4,6],[2,4,9],[2,4,9],[2,5,7],[2,5,7],[2,5,8],[2,5,8],[2,6,7],[2,6,7],[2,6,9],[2,7,8],[2,8,9],[3,4,5],[3,4,5],[3,4,7],[3,4,9],[3,4,9],[3,5,6],[3,5,8],[3,5,8],[3,6,7],[3,6,8],[3,6,8],[3,7,9],[3,7,9],[4,5,8],[4,5,9],[4,6,7],[4,7,8],[4,7,8],[4,7,8],[5,6,7],[5,6,9],[5,6,9],[5,6,9],[6,8,9],[7,8,9]];
G55969:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,7)(5,9,6),(1,4)(2,8)(3,7)]);
R55969_1:=[[1,52,56],[2,53,57],[3,54,58],[4,41,60],[5,38,59],[6,34,50],[7,33,49],[8,35,44],[9,29,47],[10,30,48],[11,22,55],[12,25,45],[13,26,46],[14,21,51],[15,27,39],[16,28,40],[17,23,42],[18,24,43],[19,31,36],[20,32,37]];
RG55969_1:=Group([(4,5)(6,7)(8,9),(1,3,2)(4,7,8)(5,6,9),(1,7,2,4,3,8)(5,6,9)]);
# Design 56357: 1 resolution(s), autom. group order 18
D56357:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,7],[1,4,7],[1,4,7],[1,5,6],[1,5,6],[1,5,6],[1,5,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[1,8,9],[1,8,9],[2,3,5],[2,3,9],[2,4,8],[2,4,9],[2,4,9],[2,4,9],[2,5,7],[2,5,7],[2,5,7],[2,6,7],[2,6,8],[2,6,8],[2,6,8],[2,6,9],[2,7,8],[3,4,6],[3,4,6],[3,4,6],[3,4,7],[3,5,7],[3,5,9],[3,5,9],[3,5,9],[3,6,8],[3,7,8],[3,7,8],[3,7,8],[3,8,9],[4,5,6],[4,5,8],[4,5,8],[4,5,8],[4,5,9],[4,6,8],[4,7,9],[5,6,7],[5,8,9],[6,7,9],[6,7,9],[6,7,9]];
G56357:=Group([(2,8)(3,9)(4,7),(1,2)(4,5)(6,9),(1,3,4)(2,6,7)(5,8,9)]);
R56357_1:=[[1,50,58],[2,51,59],[3,52,60],[4,48,56],[5,44,55],[6,30,57],[7,35,53],[8,31,41],[9,32,42],[10,33,43],[11,24,45],[12,25,46],[13,26,47],[14,34,39],[15,23,40],[16,22,49],[17,21,54],[18,27,36],[19,28,37],[20,29,38]];
RG56357_1:=Group([(2,8)(3,9)(4,7),(1,3,4)(2,6,7)(5,8,9)]);
# Design 56949: 4 resolution(s), autom. group order 18
D56949:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,4],[1,3,5],[1,3,6],[1,4,7],[1,4,7],[1,4,7],[1,5,8],[1,5,8],[1,5,8],[1,5,9],[1,6,7],[1,6,9],[1,6,9],[1,6,9],[1,7,8],[1,8,9],[2,3,5],[2,3,8],[2,4,9],[2,4,9],[2,4,9],[2,5,6],[2,5,6],[2,5,6],[2,5,7],[2,6,7],[2,6,9],[2,7,8],[2,7,8],[2,7,8],[2,8,9],[3,4,5],[3,4,5],[3,4,5],[3,4,6],[3,4,8],[3,6,7],[3,6,7],[3,6,7],[3,7,9],[3,7,9],[3,8,9],[3,8,9],[3,8,9],[4,5,7],[4,5,9],[4,6,8],[4,6,8],[4,6,8],[4,6,9],[4,7,8],[5,6,8],[5,6,8],[5,7,9],[5,7,9],[5,7,9]];
G56949:=Group([(2,4)(3,7)(5,8),(1,2)(6,8)(7,9),(1,3,6,4,9,5)(2,7,8)]);
R56949_1:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,31,55],[7,35,49],[8,26,46],[9,27,47],[10,28,48],[11,23,41],[12,24,42],[13,25,43],[14,30,40],[15,22,50],[16,32,36],[17,33,37],[18,34,38],[19,21,54],[20,29,39]];
RG56949_1:=Group([(2,4)(3,7)(5,8),(1,2)(6,8)(7,9),(1,3,6,4,9,5)(2,7,8)]);
R56949_2:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,31,55],[7,32,50],[8,26,46],[9,27,47],[10,28,48],[11,23,41],[12,24,42],[13,25,43],[14,30,40],[15,35,36],[16,22,49],[17,33,37],[18,34,38],[19,21,54],[20,29,39]];
RG56949_2:=Group([(2,4)(3,7)(5,8),(1,2)(6,8)(7,9)]);
R56949_3:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,31,55],[7,32,50],[8,26,46],[9,27,47],[10,28,48],[11,23,41],[12,24,42],[13,25,43],[14,33,39],[15,35,36],[16,22,49],[17,29,40],[18,34,37],[19,21,54],[20,30,38]];
RG56949_3:=Group([(2,4)(3,7)(5,8),(1,2)(6,8)(7,9)]);
R56949_4:=[[1,51,58],[2,52,59],[3,53,60],[4,44,56],[5,45,57],[6,32,54],[7,33,50],[8,26,46],[9,27,47],[10,28,48],[11,23,41],[12,24,42],[13,25,43],[14,34,39],[15,35,36],[16,21,55],[17,22,49],[18,29,40],[19,31,37],[20,30,38]];
RG56949_4:=Group([(2,4)(3,7)(5,8),(1,2)(6,8)(7,9),(1,3,6,4,9,5)(2,7,8)]);
# Design 57092: 12 resolution(s), autom. group order 18
D57092:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,6],[1,3,7],[1,4,5],[1,4,5],[1,4,6],[1,4,8],[1,5,7],[1,5,9],[1,6,7],[1,6,8],[1,6,8],[1,7,9],[1,7,9],[1,8,9],[1,8,9],[2,3,8],[2,3,9],[2,4,5],[2,4,7],[2,4,7],[2,4,9],[2,5,6],[2,5,6],[2,5,8],[2,6,7],[2,6,7],[2,6,8],[2,7,9],[2,8,9],[2,8,9],[3,4,5],[3,4,5],[3,4,7],[3,4,8],[3,4,8],[3,5,6],[3,5,9],[3,5,9],[3,6,7],[3,6,7],[3,6,9],[3,7,8],[3,8,9],[4,6,8],[4,6,9],[4,6,9],[4,6,9],[4,7,8],[4,7,9],[5,6,8],[5,6,9],[5,7,8],[5,7,8],[5,7,8],[5,7,9]];
G57092:=Group([(4,5)(6,7)(8,9),(1,2,3)(4,8,6,5,9,7),(1,4,7)(2,9,5)(3,6,8)]);
R57092_1:=[[1,50,57],[2,51,58],[3,52,59],[4,47,56],[5,46,53],[6,29,54],[7,26,55],[8,34,44],[9,35,45],[10,21,60],[11,33,41],[12,22,49],[13,30,39],[14,23,48],[15,24,42],[16,25,43],[17,27,40],[18,32,36],[19,28,38],[20,31,37]];
RG57092_1:=Group([(1,3,2)(4,6,9)(5,7,8),(1,6,3,9,2,4)(5,8,7)]);
R57092_2:=[[1,50,57],[2,51,58],[3,52,59],[4,47,56],[5,46,53],[6,29,54],[7,26,55],[8,34,44],[9,35,45],[10,21,60],[11,33,41],[12,22,49],[13,32,38],[14,23,48],[15,24,42],[16,25,43],[17,27,39],[18,28,40],[19,30,36],[20,31,37]];
RG57092_2:=Group([(4,5)(6,7)(8,9),(1,3,2)(4,6,9)(5,7,8),(1,6,3,9,2,4)(5,8,7)]);
R57092_3:=[[1,50,57],[2,51,58],[3,53,56],[4,46,59],[5,47,52],[6,29,54],[7,26,55],[8,34,44],[9,35,45],[10,21,60],[11,33,41],[12,22,49],[13,30,39],[14,23,48],[15,24,42],[16,25,43],[17,27,40],[18,32,36],[19,28,38],[20,31,37]];
RG57092_3:=Group([(1,9)(2,6)(3,4)]);
R57092_4:=[[1,50,57],[2,51,58],[3,53,56],[4,46,59],[5,47,52],[6,29,54],[7,26,55],[8,34,44],[9,35,45],[10,21,60],[11,33,41],[12,22,49],[13,32,38],[14,23,48],[15,24,42],[16,25,43],[17,27,39],[18,28,40],[19,30,36],[20,31,37]];
RG57092_4:=Group([(4,5)(6,7)(8,9),(1,9)(2,6)(3,4)]);
R57092_5:=[[1,50,57],[2,51,58],[3,52,59],[4,47,56],[5,46,53],[6,29,54],[7,26,55],[8,30,48],[9,34,44],[10,21,60],[11,33,41],[12,22,49],[13,31,39],[14,35,36],[15,24,42],[16,25,43],[17,27,40],[18,32,37],[19,23,45],[20,28,38]];
RG57092_5:=Group([(1,3,2)(4,6,9)(5,7,8),(1,5,2,8,3,7)(4,6,9)]);
R57092_6:=[[1,50,57],[2,51,58],[3,53,56],[4,46,59],[5,47,52],[6,29,54],[7,26,55],[8,30,48],[9,34,44],[10,21,60],[11,33,41],[12,22,49],[13,31,39],[14,35,36],[15,24,42],[16,25,43],[17,27,40],[18,32,37],[19,23,45],[20,28,38]];
RG57092_6:=Group([(1,8)(2,7)(3,5)]);
R57092_7:=[[1,50,57],[2,53,56],[3,54,55],[4,46,58],[5,47,51],[6,26,59],[7,29,52],[8,34,44],[9,35,45],[10,21,60],[11,30,42],[12,22,49],[13,32,38],[14,23,48],[15,24,43],[16,33,36],[17,27,39],[18,28,40],[19,25,41],[20,31,37]];
RG57092_7:=Group([(1,8)(2,7)(3,5)]);
R57092_8:=[[1,50,57],[2,53,56],[3,54,55],[4,46,58],[5,47,51],[6,26,59],[7,29,52],[8,34,44],[9,35,45],[10,21,60],[11,33,41],[12,22,49],[13,32,38],[14,23,48],[15,24,42],[16,25,43],[17,27,39],[18,28,40],[19,30,36],[20,31,37]];
RG57092_8:=Group([(4,5)(6,7)(8,9),(1,8,9)(2,7,6)(3,5,4)]);
R57092_9:=[[1,50,57],[2,53,56],[3,54,55],[4,46,58],[5,47,51],[6,26,59],[7,29,52],[8,30,48],[9,34,44],[10,21,60],[11,31,42],[12,22,49],[13,32,38],[14,35,36],[15,24,43],[16,33,37],[17,27,39],[18,28,40],[19,23,45],[20,25,41]];
RG57092_9:=Group([(1,9)(2,6)(3,4)]);
R57092_10:=[[1,49,60],[2,53,56],[3,54,55],[4,46,57],[5,47,50],[6,26,58],[7,29,51],[8,30,48],[9,34,44],[10,22,59],[11,31,42],[12,21,52],[13,32,38],[14,35,36],[15,24,43],[16,33,37],[17,27,39],[18,28,40],[19,23,45],[20,25,41]];
RG57092_10:=Group([(1,3,2)(4,6,9)(5,7,8),(1,4,2,9,3,6)(5,7,8)]);
R57092_11:=[[1,49,60],[2,53,56],[3,54,55],[4,46,57],[5,47,50],[6,26,58],[7,29,51],[8,30,48],[9,34,44],[10,22,59],[11,33,41],[12,21,52],[13,32,38],[14,35,36],[15,24,42],[16,25,43],[17,27,39],[18,28,40],[19,23,45],[20,31,37]];
RG57092_11:=Group([(4,5)(6,7)(8,9),(1,3,2)(4,7,9,5,6,8)]);
R57092_12:=[[1,49,60],[2,53,56],[3,54,55],[4,46,57],[5,47,50],[6,26,58],[7,29,51],[8,34,44],[9,35,45],[10,22,59],[11,33,41],[12,21,52],[13,32,38],[14,23,48],[15,24,42],[16,25,43],[17,27,39],[18,28,40],[19,30,36],[20,31,37]];
RG57092_12:=Group([(4,5)(6,7)(8,9),(1,3,2)(4,7,9,5,6,8),(1,7,3,8,2,5)(4,9,6)]);