# Design 101255: 20 resolution(s), autom. group order 1
D101255:=[[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,6],[2,4,7],[2,4,9],[2,5,6],[2,5,8],[2,5,8],[2,6,7],[2,6,8],[2,7,9],[2,8,9],[3,4,5],[3,4,7],[3,4,9],[3,5,6],[3,5,8],[3,5,9],[3,6,8],[3,6,9],[3,7,8],[3,7,8],[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]];
G101255:=Group([()]);
R101255_1:=[[1,41,47],[2,44,45],[3,32,48],[4,37,43],[5,26,46],[6,28,40],[7,23,36],[8,25,34],[9,18,42],[10,19,38],[11,20,35],[12,21,33],[13,27,29],[14,24,30],[15,22,31],[16,17,39]];
RG101255_1:=Group([()]);
R101255_2:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,26,46],[6,28,40],[7,23,36],[8,25,34],[9,18,42],[10,19,38],[11,20,35],[12,24,31],[13,27,29],[14,17,41],[15,21,32],[16,22,30]];
RG101255_2:=Group([()]);
R101255_3:=[[1,41,47],[2,44,45],[3,32,48],[4,37,43],[5,26,46],[6,28,40],[7,23,36],[8,25,34],[9,21,35],[10,17,42],[11,19,38],[12,24,31],[13,27,29],[14,20,33],[15,18,39],[16,22,30]];
RG101255_3:=Group([()]);
R101255_4:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,27,41],[7,23,36],[8,25,34],[9,26,31],[10,19,38],[11,20,35],[12,28,29],[13,18,40],[14,24,30],[15,21,32],[16,17,39]];
RG101255_4:=Group([()]);
R101255_5:=[[1,39,48],[2,44,45],[3,35,46],[4,37,43],[5,23,47],[6,27,41],[7,24,36],[8,25,34],[9,26,31],[10,17,42],[11,19,38],[12,28,29],[13,18,40],[14,20,33],[15,21,32],[16,22,30]];
RG101255_5:=Group([()]);
R101255_6:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,26,46],[6,27,41],[7,23,36],[8,25,34],[9,21,35],[10,17,42],[11,19,38],[12,28,29],[13,18,40],[14,24,30],[15,22,31],[16,20,32]];
RG101255_6:=Group([()]);
R101255_7:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,25,34],[9,26,31],[10,19,38],[11,20,35],[12,18,41],[13,27,29],[14,24,30],[15,21,32],[16,17,39]];
RG101255_7:=Group([()]);
R101255_8:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,27,32],[9,21,35],[10,19,38],[11,26,30],[12,24,31],[13,20,34],[14,17,41],[15,18,39],[16,25,29]];
RG101255_8:=Group([()]);
R101255_9:=[[1,39,48],[2,44,45],[3,35,46],[4,37,43],[5,23,47],[6,28,40],[7,24,36],[8,27,32],[9,18,42],[10,19,38],[11,26,30],[12,21,33],[13,20,34],[14,17,41],[15,22,31],[16,25,29]];
RG101255_9:=Group([()]);
R101255_10:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,27,41],[7,24,36],[8,25,34],[9,21,35],[10,19,38],[11,26,30],[12,28,29],[13,18,40],[14,20,33],[15,22,31],[16,17,39]];
RG101255_10:=Group([()]);
R101255_11:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,40],[7,24,36],[8,25,34],[9,26,31],[10,19,38],[11,20,35],[12,21,33],[13,27,29],[14,17,41],[15,18,39],[16,22,30]];
RG101255_11:=Group([()]);
R101255_12:=[[1,39,48],[2,44,45],[3,35,46],[4,37,43],[5,23,47],[6,28,40],[7,24,36],[8,25,34],[9,26,31],[10,17,42],[11,19,38],[12,18,41],[13,27,29],[14,20,33],[15,21,32],[16,22,30]];
RG101255_12:=Group([()]);
R101255_13:=[[1,41,47],[2,44,45],[3,35,46],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,25,34],[9,18,42],[10,19,38],[11,26,30],[12,24,31],[13,27,29],[14,20,33],[15,21,32],[16,17,39]];
RG101255_13:=Group([()]);
R101255_14:=[[1,42,46],[2,44,45],[3,33,47],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,25,34],[9,21,35],[10,19,38],[11,26,30],[12,24,31],[13,27,29],[14,17,41],[15,18,39],[16,20,32]];
RG101255_14:=Group([()]);
R101255_15:=[[1,42,46],[2,44,45],[3,32,48],[4,37,43],[5,23,47],[6,28,40],[7,24,36],[8,25,34],[9,21,35],[10,19,38],[11,26,30],[12,18,41],[13,27,29],[14,20,33],[15,22,31],[16,17,39]];
RG101255_15:=Group([()]);
R101255_16:=[[1,39,48],[2,44,45],[3,35,46],[4,37,43],[5,23,47],[6,28,40],[7,24,36],[8,25,34],[9,18,42],[10,19,38],[11,26,30],[12,21,33],[13,27,29],[14,17,41],[15,22,31],[16,20,32]];
RG101255_16:=Group([()]);
R101255_17:=[[1,41,47],[2,44,45],[3,35,46],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,27,32],[9,26,31],[10,17,42],[11,19,38],[12,21,33],[13,20,34],[14,24,30],[15,18,39],[16,25,29]];
RG101255_17:=Group([()]);
R101255_18:=[[1,41,47],[2,44,45],[3,35,46],[4,37,43],[5,22,48],[6,28,40],[7,23,36],[8,25,34],[9,26,31],[10,17,42],[11,19,38],[12,21,33],[13,27,29],[14,24,30],[15,18,39],[16,20,32]];
RG101255_18:=Group([()]);
R101255_19:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,26,46],[6,28,40],[7,23,36],[8,27,32],[9,21,35],[10,17,42],[11,19,38],[12,18,41],[13,20,34],[14,24,30],[15,22,31],[16,25,29]];
RG101255_19:=Group([()]);
R101255_20:=[[1,39,48],[2,44,45],[3,33,47],[4,37,43],[5,26,46],[6,28,40],[7,23,36],[8,25,34],[9,21,35],[10,17,42],[11,19,38],[12,18,41],[13,27,29],[14,24,30],[15,22,31],[16,20,32]];
RG101255_20:=Group([()]);