# Design 1419: 12 resolution(s), autom. group order 1
D1419:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,5],[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],[2,3,8],[2,3,9],[2,4,6],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,9],[2,6,7],[2,6,9],[2,7,8],[2,7,8],[3,4,7],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,8],[3,6,7],[3,6,9],[3,7,9],[4,5,6],[4,5,7],[4,5,9],[4,6,7],[4,6,8],[4,8,9],[5,6,7],[5,8,9],[6,8,9],[7,8,9]];
G1419:=Group([()]);
R1419_1:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,20,36],[11,21,33],[12,24,29],[13,17,40],[14,18,39],[15,19,35],[16,22,30]];
RG1419_1:=Group([()]);
R1419_2:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,20,36],[11,18,40],[12,24,29],[13,23,30],[14,21,32],[15,17,39],[16,19,35]];
RG1419_2:=Group([()]);
R1419_3:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,21,36],[10,25,30],[11,23,31],[12,24,29],[13,17,40],[14,18,39],[15,19,35],[16,20,32]];
RG1419_3:=Group([()]);
R1419_4:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,34],[9,21,36],[10,25,30],[11,18,40],[12,24,29],[13,20,33],[14,22,31],[15,17,39],[16,19,35]];
RG1419_4:=Group([()]);
R1419_5:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,25,30],[11,23,31],[12,24,29],[13,20,33],[14,21,32],[15,17,39],[16,19,35]];
RG1419_5:=Group([()]);
R1419_6:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,34],[9,21,36],[10,17,42],[11,23,31],[12,24,29],[13,20,33],[14,18,39],[15,19,35],[16,22,30]];
RG1419_6:=Group([()]);
R1419_7:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,20,36],[11,21,33],[12,24,29],[13,23,30],[14,22,31],[15,17,39],[16,19,35]];
RG1419_7:=Group([()]);
R1419_8:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,17,42],[11,21,33],[12,24,29],[13,23,30],[14,18,39],[15,19,35],[16,20,32]];
RG1419_8:=Group([()]);
R1419_9:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,25,30],[11,21,33],[12,24,29],[13,17,40],[14,22,31],[15,19,35],[16,20,32]];
RG1419_9:=Group([()]);
R1419_10:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,34],[9,21,36],[10,17,42],[11,18,40],[12,24,29],[13,23,30],[14,22,31],[15,19,35],[16,20,32]];
RG1419_10:=Group([()]);
R1419_11:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,20,36],[11,23,31],[12,24,29],[13,17,40],[14,21,32],[15,19,35],[16,22,30]];
RG1419_11:=Group([()]);
R1419_12:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,17,42],[11,18,40],[12,24,29],[13,20,33],[14,21,32],[15,19,35],[16,22,30]];
RG1419_12:=Group([()]);
# Design 40260: 12 resolution(s), autom. group order 1
D40260:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,5],[1,4,7],[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,8],[2,3,9],[2,4,6],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,8],[2,6,7],[2,6,8],[2,7,9],[2,7,9],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,7],[3,5,9],[3,6,7],[3,6,8],[3,7,8],[4,5,6],[4,5,7],[4,5,8],[4,6,7],[4,6,9],[4,7,8],[5,6,9],[5,8,9],[6,8,9],[7,8,9]];
G40260:=Group([()]);
R40260_1:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,20,36],[11,24,30],[12,21,33],[13,23,29],[14,22,31],[15,17,39],[16,19,34]];
RG40260_1:=Group([()]);
R40260_2:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,25,29],[11,24,30],[12,21,33],[13,17,40],[14,22,31],[15,20,32],[16,19,34]];
RG40260_2:=Group([()]);
R40260_3:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,17,42],[11,24,31],[12,21,33],[13,23,29],[14,18,39],[15,20,32],[16,19,34]];
RG40260_3:=Group([()]);
R40260_4:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,20,36],[11,24,31],[12,21,33],[13,17,40],[14,18,39],[15,22,29],[16,19,34]];
RG40260_4:=Group([()]);
R40260_5:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,17,42],[11,24,31],[12,18,40],[13,20,33],[14,21,32],[15,22,29],[16,19,34]];
RG40260_5:=Group([()]);
R40260_6:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,17,42],[11,24,30],[12,23,31],[13,20,33],[14,18,39],[15,22,29],[16,19,34]];
RG40260_6:=Group([()]);
R40260_7:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,25,29],[11,24,30],[12,18,40],[13,20,33],[14,22,31],[15,17,39],[16,19,34]];
RG40260_7:=Group([()]);
R40260_8:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,25,29],[11,24,30],[12,23,31],[13,20,33],[14,21,32],[15,17,39],[16,19,34]];
RG40260_8:=Group([()]);
R40260_9:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,20,36],[11,24,31],[12,18,40],[13,23,29],[14,21,32],[15,17,39],[16,19,34]];
RG40260_9:=Group([()]);
R40260_10:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,25,29],[11,24,30],[12,23,31],[13,17,40],[14,18,39],[15,20,32],[16,19,34]];
RG40260_10:=Group([()]);
R40260_11:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,17,42],[11,24,30],[12,18,40],[13,23,29],[14,22,31],[15,20,32],[16,19,34]];
RG40260_11:=Group([()]);
R40260_12:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,20,36],[11,24,30],[12,23,31],[13,17,40],[14,21,32],[15,22,29],[16,19,34]];
RG40260_12:=Group([()]);
# Design 40262: 12 resolution(s), autom. group order 1
D40262:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,5],[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],[2,3,8],[2,3,9],[2,4,7],[2,4,8],[2,4,9],[2,5,6],[2,5,7],[2,5,8],[2,6,7],[2,6,8],[2,6,9],[2,7,9],[3,4,6],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,9],[3,5,9],[3,6,7],[3,7,8],[3,7,8],[4,5,6],[4,5,7],[4,5,8],[4,6,7],[4,6,9],[4,8,9],[5,6,7],[5,8,9],[6,8,9],[7,8,9]];
G40262:=Group([()]);
R40262_1:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,41],[7,27,38],[8,26,34],[9,21,36],[10,25,30],[11,18,40],[12,19,35],[13,20,33],[14,22,31],[15,17,39],[16,24,29]];
RG40262_1:=Group([()]);
R40262_2:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,41],[7,27,38],[8,26,34],[9,21,36],[10,25,30],[11,19,35],[12,23,31],[13,17,40],[14,18,39],[15,20,32],[16,24,29]];
RG40262_2:=Group([()]);
R40262_3:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,41],[7,27,38],[8,26,34],[9,25,31],[10,20,36],[11,18,40],[12,19,35],[13,23,30],[14,21,32],[15,17,39],[16,24,29]];
RG40262_3:=Group([()]);
R40262_4:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,41],[7,27,38],[8,26,34],[9,25,31],[10,20,36],[11,19,35],[12,21,33],[13,17,40],[14,18,39],[15,22,30],[16,24,29]];
RG40262_4:=Group([()]);
R40262_5:=[[1,40,47],[2,44,45],[3,36,46],[4,37,43],[5,22,48],[6,28,41],[7,27,38],[8,26,34],[9,25,31],[10,17,42],[11,19,35],[12,21,33],[13,23,30],[14,18,39],[15,20,32],[16,24,29]];
RG40262_5:=Group([()]);
R40262_6:=[[1,40,47],[2,44,45],[3,32,48],[4,37,43],[5,25,46],[6,28,41],[7,27,38],[8,26,34],[9,18,42],[10,20,36],[11,19,35],[12,21,33],[13,23,30],[14,22,31],[15,17,39],[16,24,29]];
RG40262_6:=Group([()]);
R40262_7:=[[1,40,47],[2,44,45],[3,32,48],[4,37,43],[5,25,46],[6,28,41],[7,27,38],[8,26,34],[9,21,36],[10,17,42],[11,19,35],[12,23,31],[13,20,33],[14,18,39],[15,22,30],[16,24,29]];
RG40262_7:=Group([()]);
R40262_8:=[[1,40,47],[2,44,45],[3,36,46],[4,37,43],[5,22,48],[6,28,41],[7,27,38],[8,26,34],[9,18,42],[10,25,30],[11,19,35],[12,23,31],[13,20,33],[14,21,32],[15,17,39],[16,24,29]];
RG40262_8:=Group([()]);
R40262_9:=[[1,39,48],[2,44,45],[3,36,46],[4,37,43],[5,23,47],[6,28,41],[7,27,38],[8,26,34],[9,25,31],[10,17,42],[11,18,40],[12,19,35],[13,20,33],[14,21,32],[15,22,30],[16,24,29]];
RG40262_9:=Group([()]);
R40262_10:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,25,46],[6,28,41],[7,27,38],[8,26,34],[9,18,42],[10,20,36],[11,19,35],[12,23,31],[13,17,40],[14,21,32],[15,22,30],[16,24,29]];
RG40262_10:=Group([()]);
R40262_11:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,25,46],[6,28,41],[7,27,38],[8,26,34],[9,21,36],[10,17,42],[11,18,40],[12,19,35],[13,23,30],[14,22,31],[15,20,32],[16,24,29]];
RG40262_11:=Group([()]);
R40262_12:=[[1,39,48],[2,44,45],[3,36,46],[4,37,43],[5,23,47],[6,28,41],[7,27,38],[8,26,34],[9,18,42],[10,25,30],[11,19,35],[12,21,33],[13,17,40],[14,22,31],[15,20,32],[16,24,29]];
RG40262_12:=Group([()]);
# Design 46258: 12 resolution(s), autom. group order 1
D46258:=[[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,5,7],[1,5,9],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,8],[2,3,9],[2,4,6],[2,4,7],[2,4,8],[2,5,6],[2,5,7],[2,5,9],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[3,4,5],[3,4,6],[3,4,7],[3,4,9],[3,5,6],[3,5,8],[3,5,9],[3,6,7],[3,7,8],[3,8,9],[4,5,7],[4,5,8],[4,6,9],[4,7,9],[4,8,9],[5,6,7],[5,6,8],[5,8,9],[6,7,8],[6,7,9]];
G46258:=Group([()]);
R46258_1:=[[1,40,48],[2,42,45],[3,38,44],[4,32,47],[5,20,46],[6,22,43],[7,26,37],[8,28,34],[9,24,36],[10,17,41],[11,25,31],[12,18,39],[13,27,29],[14,19,35],[15,21,33],[16,23,30]];
RG46258_1:=Group([()]);
R46258_2:=[[1,40,48],[2,42,45],[3,38,44],[4,32,47],[5,23,43],[6,19,46],[7,26,37],[8,27,35],[9,28,33],[10,17,41],[11,21,36],[12,18,39],[13,20,34],[14,24,30],[15,25,29],[16,22,31]];
RG46258_2:=Group([()]);
R46258_3:=[[1,42,45],[2,43,44],[3,34,48],[4,37,41],[5,20,46],[6,26,40],[7,18,47],[8,23,38],[9,24,36],[10,25,32],[11,27,30],[12,28,29],[13,17,39],[14,19,35],[15,21,33],[16,22,31]];
RG46258_3:=Group([()]);
R46258_4:=[[1,42,45],[2,43,44],[3,34,48],[4,37,41],[5,28,40],[6,19,46],[7,18,47],[8,23,38],[9,24,36],[10,25,32],[11,27,30],[12,20,35],[13,17,39],[14,26,29],[15,21,33],[16,22,31]];
RG46258_4:=Group([()]);
R46258_5:=[[1,42,45],[2,43,44],[3,34,48],[4,37,41],[5,20,46],[6,26,40],[7,18,47],[8,27,35],[9,28,33],[10,19,38],[11,21,36],[12,23,32],[13,17,39],[14,24,30],[15,25,29],[16,22,31]];
RG46258_5:=Group([()]);
R46258_6:=[[1,42,45],[2,43,44],[3,34,48],[4,37,41],[5,20,46],[6,26,40],[7,18,47],[8,27,35],[9,28,33],[10,19,38],[11,21,36],[12,24,31],[13,17,39],[14,22,32],[15,25,29],[16,23,30]];
RG46258_6:=Group([()]);
R46258_7:=[[1,42,45],[2,43,44],[3,34,48],[4,37,41],[5,20,46],[6,26,40],[7,18,47],[8,27,35],[9,24,36],[10,19,38],[11,25,31],[12,28,29],[13,17,39],[14,22,32],[15,21,33],[16,23,30]];
RG46258_7:=Group([()]);
R46258_8:=[[1,40,48],[2,42,45],[3,38,44],[4,37,41],[5,23,43],[6,19,46],[7,18,47],[8,28,34],[9,24,36],[10,25,32],[11,27,30],[12,20,35],[13,17,39],[14,26,29],[15,21,33],[16,22,31]];
RG46258_8:=Group([()]);
R46258_9:=[[1,40,48],[2,42,45],[3,38,44],[4,37,41],[5,20,46],[6,22,43],[7,18,47],[8,27,35],[9,28,33],[10,25,32],[11,21,36],[12,24,31],[13,17,39],[14,26,29],[15,19,34],[16,23,30]];
RG46258_9:=Group([()]);
R46258_10:=[[1,42,45],[2,43,44],[3,35,47],[4,37,41],[5,28,40],[6,19,46],[7,17,48],[8,23,38],[9,24,36],[10,25,32],[11,27,30],[12,18,39],[13,20,34],[14,26,29],[15,21,33],[16,22,31]];
RG46258_10:=Group([()]);
R46258_11:=[[1,42,45],[2,43,44],[3,35,47],[4,37,41],[5,20,46],[6,26,40],[7,17,48],[8,23,38],[9,28,33],[10,25,32],[11,21,36],[12,18,39],[13,27,29],[14,24,30],[15,19,34],[16,22,31]];
RG46258_11:=Group([()]);
R46258_12:=[[1,42,45],[2,43,44],[3,35,47],[4,37,41],[5,20,46],[6,26,40],[7,17,48],[8,28,34],[9,24,36],[10,19,38],[11,25,31],[12,18,39],[13,27,29],[14,22,32],[15,21,33],[16,23,30]];
RG46258_12:=Group([()]);
# Design 51237: 12 resolution(s), autom. group order 1
D51237:=[[1,2,3],[1,2,3],[1,2,4],[1,2,5],[1,3,4],[1,3,6],[1,4,5],[1,4,7],[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,8],[2,3,9],[2,4,6],[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],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,7],[3,5,8],[3,6,7],[3,6,8],[3,7,9],[4,5,6],[4,5,7],[4,5,9],[4,6,7],[4,6,8],[4,7,8],[5,6,9],[5,8,9],[6,8,9],[7,8,9]];
G51237:=Group([()]);
R51237_1:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,25,29],[11,24,30],[12,21,33],[13,17,40],[14,22,31],[15,20,32],[16,19,34]];
RG51237_1:=Group([()]);
R51237_2:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,20,36],[11,24,30],[12,21,33],[13,23,29],[14,22,31],[15,17,39],[16,19,34]];
RG51237_2:=Group([()]);
R51237_3:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,20,36],[11,24,31],[12,21,33],[13,17,40],[14,18,39],[15,22,29],[16,19,34]];
RG51237_3:=Group([()]);
R51237_4:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,17,42],[11,24,31],[12,21,33],[13,23,29],[14,18,39],[15,20,32],[16,19,34]];
RG51237_4:=Group([()]);
R51237_5:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,17,42],[11,24,30],[12,23,31],[13,20,33],[14,18,39],[15,22,29],[16,19,34]];
RG51237_5:=Group([()]);
R51237_6:=[[1,39,48],[2,44,45],[3,36,46],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,17,42],[11,24,31],[12,18,40],[13,20,33],[14,21,32],[15,22,29],[16,19,34]];
RG51237_6:=Group([()]);
R51237_7:=[[1,40,47],[2,44,45],[3,36,46],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,25,29],[11,24,30],[12,23,31],[13,20,33],[14,21,32],[15,17,39],[16,19,34]];
RG51237_7:=Group([()]);
R51237_8:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,25,29],[11,24,30],[12,18,40],[13,20,33],[14,22,31],[15,17,39],[16,19,34]];
RG51237_8:=Group([()]);
R51237_9:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,25,29],[11,24,30],[12,23,31],[13,17,40],[14,18,39],[15,20,32],[16,19,34]];
RG51237_9:=Group([()]);
R51237_10:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,37],[8,26,35],[9,25,30],[10,20,36],[11,24,31],[12,18,40],[13,23,29],[14,21,32],[15,17,39],[16,19,34]];
RG51237_10:=Group([()]);
R51237_11:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,18,42],[10,20,36],[11,24,30],[12,23,31],[13,17,40],[14,21,32],[15,22,29],[16,19,34]];
RG51237_11:=Group([()]);
R51237_12:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,37],[8,26,35],[9,21,36],[10,17,42],[11,24,30],[12,18,40],[13,23,29],[14,22,31],[15,20,32],[16,19,34]];
RG51237_12:=Group([()]);
# Design 52108: 12 resolution(s), autom. group order 1
D52108:=[[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,5,6],[1,5,7],[1,5,9],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,7],[2,3,8],[2,4,7],[2,4,8],[2,4,9],[2,5,6],[2,5,8],[2,5,9],[2,6,7],[2,6,8],[2,6,9],[2,7,9],[3,4,5],[3,4,8],[3,4,9],[3,5,7],[3,5,7],[3,5,9],[3,6,7],[3,6,8],[3,6,9],[3,8,9],[4,5,6],[4,5,6],[4,5,8],[4,6,7],[4,6,9],[4,7,9],[5,7,8],[5,8,9],[6,7,8],[7,8,9]];
G52108:=Group([()]);
R52108_1:=[[1,39,48],[2,42,46],[3,34,47],[4,36,44],[5,27,45],[6,28,41],[7,23,37],[8,24,35],[9,19,38],[10,18,43],[11,25,30],[12,21,32],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_1:=Group([()]);
R52108_2:=[[1,39,48],[2,43,45],[3,34,47],[4,36,44],[5,25,46],[6,28,41],[7,23,37],[8,24,35],[9,19,38],[10,26,31],[11,18,42],[12,21,32],[13,20,33],[14,27,29],[15,22,30],[16,17,40]];
RG52108_2:=Group([()]);
R52108_3:=[[1,39,48],[2,43,45],[3,34,47],[4,36,44],[5,25,46],[6,28,41],[7,23,37],[8,24,35],[9,19,38],[10,27,30],[11,18,42],[12,21,32],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_3:=Group([()]);
R52108_4:=[[1,42,46],[2,43,45],[3,34,47],[4,36,44],[5,22,48],[6,28,41],[7,23,37],[8,24,35],[9,19,38],[10,26,31],[11,25,30],[12,21,32],[13,20,33],[14,27,29],[15,18,39],[16,17,40]];
RG52108_4:=Group([()]);
R52108_5:=[[1,39,48],[2,43,45],[3,35,46],[4,36,44],[5,24,47],[6,28,41],[7,23,37],[8,25,34],[9,19,38],[10,26,31],[11,18,42],[12,21,32],[13,20,33],[14,27,29],[15,22,30],[16,17,40]];
RG52108_5:=Group([()]);
R52108_6:=[[1,39,48],[2,43,45],[3,35,46],[4,36,44],[5,24,47],[6,28,41],[7,23,37],[8,25,34],[9,19,38],[10,27,30],[11,18,42],[12,21,32],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_6:=Group([()]);
R52108_7:=[[1,39,48],[2,43,45],[3,34,47],[4,38,42],[5,25,46],[6,28,41],[7,23,37],[8,24,35],[9,18,44],[10,27,30],[11,19,36],[12,21,32],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_7:=Group([()]);
R52108_8:=[[1,39,48],[2,43,45],[3,34,47],[4,38,42],[5,25,46],[6,28,41],[7,23,37],[8,24,35],[9,18,44],[10,26,31],[11,19,36],[12,21,32],[13,20,33],[14,27,29],[15,22,30],[16,17,40]];
RG52108_8:=Group([()]);
R52108_9:=[[1,39,48],[2,43,45],[3,35,46],[4,38,42],[5,24,47],[6,28,41],[7,23,37],[8,25,34],[9,18,44],[10,27,30],[11,19,36],[12,21,32],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_9:=Group([()]);
R52108_10:=[[1,39,48],[2,43,45],[3,35,46],[4,38,42],[5,24,47],[6,28,41],[7,23,37],[8,25,34],[9,18,44],[10,26,31],[11,19,36],[12,21,32],[13,20,33],[14,27,29],[15,22,30],[16,17,40]];
RG52108_10:=Group([()]);
R52108_11:=[[1,39,48],[2,43,45],[3,35,46],[4,38,42],[5,24,47],[6,28,41],[7,23,37],[8,27,32],[9,18,44],[10,21,36],[11,25,30],[12,19,34],[13,20,33],[14,22,31],[15,26,29],[16,17,40]];
RG52108_11:=Group([()]);
R52108_12:=[[1,39,48],[2,43,45],[3,35,46],[4,38,42],[5,24,47],[6,23,44],[7,26,34],[8,27,32],[9,28,30],[10,20,37],[11,19,36],[12,21,33],[13,17,41],[14,22,31],[15,18,40],[16,25,29]];
RG52108_12:=Group([()]);
# Design 90265: 12 resolution(s), autom. group order 1
D90265:=[[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,5,7],[1,5,9],[1,5,9],[1,6,7],[1,6,8],[1,6,9],[1,7,8],[1,8,9],[2,3,7],[2,3,9],[2,4,5],[2,4,7],[2,4,9],[2,5,6],[2,5,8],[2,6,7],[2,6,8],[2,6,9],[2,7,8],[2,8,9],[3,4,6],[3,4,7],[3,4,9],[3,5,6],[3,5,8],[3,5,8],[3,5,9],[3,6,8],[3,7,8],[3,7,9],[4,5,6],[4,5,7],[4,5,8],[4,6,8],[4,6,9],[4,8,9],[5,6,7],[5,7,9],[6,7,9],[7,8,9]];
G90265:=Group([()]);
R90265_1:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,40],[7,26,33],[8,24,35],[9,21,36],[10,25,30],[11,27,29],[12,18,41],[13,19,38],[14,20,34],[15,22,31],[16,17,39]];
RG90265_1:=Group([()]);
R90265_2:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,40],[7,26,34],[8,24,35],[9,21,36],[10,25,30],[11,27,29],[12,23,31],[13,19,38],[14,17,41],[15,18,39],[16,20,32]];
RG90265_2:=Group([()]);
R90265_3:=[[1,39,48],[2,44,45],[3,36,46],[4,37,43],[5,23,47],[6,28,40],[7,26,33],[8,24,35],[9,18,42],[10,25,30],[11,27,29],[12,21,34],[13,19,38],[14,17,41],[15,22,31],[16,20,32]];
RG90265_3:=Group([()]);
R90265_4:=[[1,41,47],[2,44,45],[3,36,46],[4,37,43],[5,22,48],[6,28,40],[7,26,33],[8,24,35],[9,25,31],[10,17,42],[11,27,29],[12,21,34],[13,19,38],[14,23,30],[15,18,39],[16,20,32]];
RG90265_4:=Group([()]);
R90265_5:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,40],[7,26,33],[8,24,35],[9,25,31],[10,20,36],[11,27,29],[12,21,34],[13,19,38],[14,17,41],[15,18,39],[16,22,30]];
RG90265_5:=Group([()]);
R90265_6:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,40],[7,26,34],[8,24,35],[9,25,31],[10,20,36],[11,27,29],[12,18,41],[13,19,38],[14,23,30],[15,21,32],[16,17,39]];
RG90265_6:=Group([()]);
R90265_7:=[[1,41,47],[2,44,45],[3,32,48],[4,37,43],[5,25,46],[6,28,40],[7,26,33],[8,24,35],[9,21,36],[10,17,42],[11,27,29],[12,23,31],[13,19,38],[14,20,34],[15,18,39],[16,22,30]];
RG90265_7:=Group([()]);
R90265_8:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,18,42],[10,20,36],[11,27,29],[12,23,31],[13,19,38],[14,17,41],[15,21,32],[16,22,30]];
RG90265_8:=Group([()]);
R90265_9:=[[1,41,47],[2,44,45],[3,32,48],[4,37,43],[5,25,46],[6,28,40],[7,26,33],[8,24,35],[9,18,42],[10,20,36],[11,27,29],[12,21,34],[13,19,38],[14,23,30],[15,22,31],[16,17,39]];
RG90265_9:=Group([()]);
R90265_10:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,21,36],[10,17,42],[11,27,29],[12,18,41],[13,19,38],[14,23,30],[15,22,31],[16,20,32]];
RG90265_10:=Group([()]);
R90265_11:=[[1,39,48],[2,44,45],[3,36,46],[4,37,43],[5,23,47],[6,28,40],[7,26,33],[8,24,35],[9,25,31],[10,17,42],[11,27,29],[12,18,41],[13,19,38],[14,20,34],[15,21,32],[16,22,30]];
RG90265_11:=Group([()]);
R90265_12:=[[1,41,47],[2,44,45],[3,36,46],[4,37,43],[5,22,48],[6,28,40],[7,26,33],[8,24,35],[9,18,42],[10,25,30],[11,27,29],[12,23,31],[13,19,38],[14,20,34],[15,21,32],[16,17,39]];
RG90265_12:=Group([()]);
# Design 101276: 12 resolution(s), autom. group order 1
D101276:=[[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,5,6],[1,5,7],[1,5,9],[1,6,7],[1,6,9],[1,7,8],[1,8,9],[1,8,9],[2,3,7],[2,3,9],[2,4,5],[2,4,7],[2,4,9],[2,5,6],[2,5,8],[2,6,7],[2,6,8],[2,6,8],[2,7,9],[2,8,9],[3,4,7],[3,4,8],[3,4,9],[3,5,6],[3,5,8],[3,5,9],[3,5,9],[3,6,7],[3,6,8],[3,7,8],[4,5,6],[4,5,7],[4,5,8],[4,6,8],[4,6,9],[4,6,9],[5,7,8],[5,7,9],[6,7,9],[7,8,9]];
G101276:=Group([()]);
R101276_1:=[[1,41,47],[2,43,45],[3,32,48],[4,38,44],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,27,30],[10,21,37],[11,17,42],[12,23,31],[13,20,33],[14,18,39],[15,19,36],[16,22,29]];
RG101276_1:=Group([()]);
R101276_2:=[[1,41,47],[2,43,45],[3,32,48],[4,38,44],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,27,30],[10,18,42],[11,20,37],[12,21,33],[13,23,29],[14,22,31],[15,17,39],[16,19,36]];
RG101276_2:=Group([()]);
R101276_3:=[[1,41,47],[2,43,45],[3,37,46],[4,38,44],[5,22,48],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,26,31],[11,17,42],[12,21,33],[13,23,29],[14,18,39],[15,19,36],[16,20,32]];
RG101276_3:=Group([()]);
R101276_4:=[[1,42,46],[2,43,45],[3,33,47],[4,38,44],[5,22,48],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,26,31],[11,20,37],[12,18,41],[13,23,29],[14,21,32],[15,17,39],[16,19,36]];
RG101276_4:=Group([()]);
R101276_5:=[[1,39,48],[2,43,45],[3,37,46],[4,38,44],[5,23,47],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,26,31],[11,17,42],[12,18,41],[13,20,33],[14,21,32],[15,19,36],[16,22,29]];
RG101276_5:=Group([()]);
R101276_6:=[[1,42,46],[2,43,45],[3,32,48],[4,38,44],[5,23,47],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,26,31],[11,20,37],[12,21,33],[13,17,41],[14,18,39],[15,19,36],[16,22,29]];
RG101276_6:=Group([()]);
R101276_7:=[[1,39,48],[2,43,45],[3,37,46],[4,38,44],[5,23,47],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,18,42],[11,26,29],[12,21,33],[13,17,41],[14,22,31],[15,19,36],[16,20,32]];
RG101276_7:=Group([()]);
R101276_8:=[[1,41,47],[2,43,45],[3,37,46],[4,38,44],[5,22,48],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,18,42],[11,26,29],[12,23,31],[13,20,33],[14,21,32],[15,17,39],[16,19,36]];
RG101276_8:=Group([()]);
R101276_9:=[[1,42,46],[2,43,45],[3,33,47],[4,38,44],[5,22,48],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,21,37],[11,26,29],[12,23,31],[13,17,41],[14,18,39],[15,19,36],[16,20,32]];
RG101276_9:=Group([()]);
R101276_10:=[[1,42,46],[2,43,45],[3,32,48],[4,38,44],[5,23,47],[6,28,40],[7,25,34],[8,24,35],[9,27,30],[10,21,37],[11,26,29],[12,18,41],[13,20,33],[14,22,31],[15,17,39],[16,19,36]];
RG101276_10:=Group([()]);
R101276_11:=[[1,39,48],[2,43,45],[3,33,47],[4,38,44],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,27,30],[10,18,42],[11,20,37],[12,23,31],[13,17,41],[14,21,32],[15,19,36],[16,22,29]];
RG101276_11:=Group([()]);
R101276_12:=[[1,39,48],[2,43,45],[3,33,47],[4,38,44],[5,25,46],[6,28,40],[7,26,34],[8,24,35],[9,27,30],[10,21,37],[11,17,42],[12,18,41],[13,23,29],[14,22,31],[15,19,36],[16,20,32]];
RG101276_12:=Group([()]);
# Design 113111: 12 resolution(s), autom. group order 8
D113111:=[[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,5,7],[1,5,9],[1,6,8],[1,6,9],[1,7,8],[1,7,9],[1,8,9],[2,3,8],[2,3,9],[2,4,5],[2,4,7],[2,4,9],[2,5,6],[2,5,8],[2,6,7],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[3,4,5],[3,4,5],[3,4,7],[3,4,8],[3,5,6],[3,5,9],[3,6,7],[3,6,9],[3,7,8],[3,8,9],[4,6,7],[4,6,8],[4,6,9],[4,7,9],[4,8,9],[5,6,7],[5,6,8],[5,7,8],[5,7,9],[5,8,9]];
G113111:=Group([(4,5)(6,7)(8,9),(1,2)(6,9)(7,8),(1,4)(2,5)(6,8)]);
R113111_1:=[[1,40,47],[2,42,45],[3,38,44],[4,37,41],[5,20,48],[6,22,43],[7,27,36],[8,18,46],[9,24,34],[10,26,32],[11,17,39],[12,28,29],[13,23,31],[14,21,33],[15,25,30],[16,19,35]];
RG113111_1:=Group([(1,4)(2,5)(6,8)]);
R113111_2:=[[1,40,47],[2,42,45],[3,36,46],[4,37,41],[5,20,48],[6,22,43],[7,24,38],[8,27,34],[9,18,44],[10,26,32],[11,17,39],[12,28,29],[13,23,31],[14,21,33],[15,25,30],[16,19,35]];
RG113111_2:=Group([(4,5)(6,7)(8,9),(1,2)(4,5)(6,8)(7,9),(1,5)(2,4)(7,9)]);
R113111_3:=[[1,40,47],[2,42,45],[3,35,48],[4,38,39],[5,21,46],[6,22,43],[7,26,37],[8,27,34],[9,18,44],[10,17,41],[11,24,32],[12,28,29],[13,23,31],[14,19,36],[15,25,30],[16,20,33]];
RG113111_3:=Group([(1,2)(4,5)(6,8)(7,9),(1,5)(2,4)(7,9)]);
R113111_4:=[[1,39,48],[2,42,45],[3,38,44],[4,37,41],[5,21,46],[6,22,43],[7,27,36],[8,17,47],[9,28,33],[10,18,40],[11,24,32],[12,20,34],[13,23,31],[14,26,29],[15,25,30],[16,19,35]];
RG113111_4:=Group([(1,4)(2,5)(6,8)]);
R113111_5:=[[1,39,48],[2,43,44],[3,36,46],[4,37,41],[5,23,42],[6,21,45],[7,24,38],[8,17,47],[9,28,33],[10,18,40],[11,25,31],[12,20,34],[13,27,29],[14,26,30],[15,22,32],[16,19,35]];
RG113111_5:=Group([(4,5)(6,7)(8,9),(1,2)(4,5)(6,8)(7,9),(1,4)(2,5)(6,8)]);
R113111_6:=[[1,41,46],[2,43,44],[3,35,48],[4,38,39],[5,23,42],[6,21,45],[7,26,37],[8,17,47],[9,28,33],[10,18,40],[11,25,31],[12,20,34],[13,27,29],[14,19,36],[15,22,32],[16,24,30]];
RG113111_6:=Group([(1,2)(4,5)(6,8)(7,9),(1,4)(2,5)(6,8)]);
R113111_7:=[[1,41,46],[2,43,44],[3,35,48],[4,38,39],[5,23,42],[6,21,45],[7,26,37],[8,17,47],[9,28,33],[10,18,40],[11,24,32],[12,20,34],[13,27,29],[14,19,36],[15,25,30],[16,22,31]];
RG113111_7:=Group([()]);
R113111_8:=[[1,39,48],[2,40,47],[3,38,44],[4,35,43],[5,23,42],[6,21,45],[7,27,36],[8,18,46],[9,28,33],[10,17,41],[11,24,32],[12,20,34],[13,19,37],[14,26,29],[15,25,30],[16,22,31]];
RG113111_8:=Group([(1,5)(2,4)(7,9)]);
R113111_9:=[[1,41,46],[2,43,44],[3,35,48],[4,38,39],[5,23,42],[6,21,45],[7,27,36],[8,17,47],[9,28,33],[10,18,40],[11,25,31],[12,20,34],[13,19,37],[14,26,29],[15,22,32],[16,24,30]];
RG113111_9:=Group([(1,2)(4,5)(6,8)(7,9),(1,4,2,5)(6,7,8,9)]);
R113111_10:=[[1,41,46],[2,43,44],[3,35,48],[4,38,39],[5,23,42],[6,21,45],[7,27,36],[8,17,47],[9,28,33],[10,18,40],[11,24,32],[12,20,34],[13,19,37],[14,26,29],[15,25,30],[16,22,31]];
RG113111_10:=Group([()]);
R113111_11:=[[1,39,48],[2,40,47],[3,38,44],[4,35,43],[5,23,42],[6,21,45],[7,26,37],[8,18,46],[9,28,33],[10,17,41],[11,24,32],[12,20,34],[13,27,29],[14,19,36],[15,25,30],[16,22,31]];
RG113111_11:=Group([()]);
R113111_12:=[[1,39,48],[2,40,47],[3,38,44],[4,35,43],[5,23,42],[6,21,45],[7,27,36],[8,18,46],[9,24,34],[10,17,41],[11,25,31],[12,28,29],[13,19,37],[14,26,30],[15,22,32],[16,20,33]];
RG113111_12:=Group([(1,4)(2,5)(6,8)]);