# Design 601: 13 resolution(s), autom. group order 2
D601:=[[1,2,3],[1,2,3],[1,2,3],[1,2,3],[1,4,5],[1,4,5],[1,4,6],[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,4,5],[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],[2,8,9],[3,4,5],[3,4,6],[3,4,7],[3,4,9],[3,5,7],[3,5,8],[3,5,9],[3,6,7],[3,6,8],[3,6,9],[3,7,8],[3,8,9],[4,6,8],[4,7,8],[4,7,9],[4,8,9],[5,6,7],[5,6,8],[5,6,9],[5,7,9]];
G601:=Group([(4,5)(6,8)(7,9)]);
R601_1:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,28,36],[7,26,35],[8,23,38],[9,27,30],[10,18,39],[11,20,34],[12,22,32],[13,19,33],[14,25,29],[15,17,37],[16,21,31]];
RG601_1:=Group([()]);
R601_2:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,28,36],[7,26,35],[8,23,38],[9,25,31],[10,18,39],[11,20,34],[12,27,29],[13,19,33],[14,21,32],[15,17,37],[16,22,30]];
RG601_2:=Group([(4,5)(6,8)(7,9)]);
R601_3:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,25,39],[6,26,38],[7,27,34],[8,21,40],[9,24,32],[10,19,36],[11,28,29],[12,20,33],[13,23,31],[14,18,35],[15,17,37],[16,22,30]];
RG601_3:=Group([()]);
R601_4:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,25,39],[6,27,37],[7,26,35],[8,21,40],[9,24,32],[10,19,36],[11,28,29],[12,20,33],[13,23,31],[14,17,38],[15,18,34],[16,22,30]];
RG601_4:=Group([()]);
R601_5:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,25,39],[7,27,34],[8,23,38],[9,20,36],[10,26,30],[11,28,29],[12,22,32],[13,19,33],[14,18,35],[15,17,37],[16,21,31]];
RG601_5:=Group([()]);
R601_6:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,27,37],[7,26,35],[8,25,34],[9,20,36],[10,18,39],[11,28,29],[12,22,32],[13,19,33],[14,17,38],[15,23,30],[16,21,31]];
RG601_6:=Group([()]);
R601_7:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,26,38],[6,27,37],[7,22,40],[8,25,34],[9,24,32],[10,19,36],[11,28,29],[12,20,33],[13,17,39],[14,18,35],[15,23,30],[16,21,31]];
RG601_7:=Group([()]);
R601_8:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,27,37],[7,26,35],[8,23,38],[9,25,31],[10,19,36],[11,28,29],[12,20,33],[13,17,39],[14,21,32],[15,18,34],[16,22,30]];
RG601_8:=Group([()]);
R601_9:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,26,38],[7,28,33],[8,25,34],[9,20,36],[10,18,39],[11,19,35],[12,27,29],[13,23,31],[14,21,32],[15,17,37],[16,22,30]];
RG601_9:=Group([()]);
R601_10:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,27,37],[6,28,36],[7,22,40],[8,25,34],[9,24,32],[10,18,39],[11,19,35],[12,20,33],[13,26,29],[14,17,38],[15,23,30],[16,21,31]];
RG601_10:=Group([()]);
R601_11:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,24,40],[6,27,37],[7,28,33],[8,25,34],[9,20,36],[10,18,39],[11,19,35],[12,22,32],[13,26,29],[14,17,38],[15,23,30],[16,21,31]];
RG601_11:=Group([()]);
R601_12:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,26,38],[6,28,36],[7,27,34],[8,21,40],[9,24,32],[10,18,39],[11,19,35],[12,20,33],[13,23,31],[14,25,29],[15,17,37],[16,22,30]];
RG601_12:=Group([()]);
R601_13:=[[1,41,48],[2,42,47],[3,43,46],[4,44,45],[5,25,39],[6,26,38],[7,28,33],[8,21,40],[9,24,32],[10,19,36],[11,20,34],[12,27,29],[13,23,31],[14,18,35],[15,17,37],[16,22,30]];
RG601_13:=Group([(4,5)(6,8)(7,9)]);