# Design 18118: 14 resolution(s), autom. group order 1 D18118:=[[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,6],[2,5,7],[2,6,7],[2,6,8],[2,7,9],[2,8,9],[3,4,8],[3,4,8],[3,4,9],[3,5,6],[3,5,7],[3,5,9],[3,5,9],[3,6,7],[3,6,7],[3,7,8],[4,5,6],[4,5,7],[4,5,8],[4,6,7],[4,6,9],[4,6,9],[5,7,8],[5,8,9],[6,8,9],[7,8,9]]; G18118:=Group([()]); R18118_1:=[[1,39,48],[2,43,45],[3,36,46],[4,38,44],[5,24,47],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,17,42],[11,18,40],[12,19,35],[13,20,33],[14,21,32],[15,22,29],[16,23,30]]; RG18118_1:=Group([()]); R18118_2:=[[1,40,47],[2,43,45],[3,32,48],[4,38,44],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,17,42],[11,19,35],[12,24,31],[13,20,33],[14,18,39],[15,22,29],[16,23,30]]; RG18118_2:=Group([()]); R18118_3:=[[1,39,48],[2,43,45],[3,33,47],[4,38,44],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,18,42],[10,20,37],[11,19,35],[12,24,31],[13,17,40],[14,21,32],[15,22,29],[16,23,30]]; RG18118_3:=Group([()]); R18118_4:=[[1,42,46],[2,43,45],[3,32,48],[4,38,44],[5,24,47],[6,27,41],[7,28,36],[8,26,34],[9,25,31],[10,20,37],[11,19,35],[12,21,33],[13,17,40],[14,18,39],[15,22,29],[16,23,30]]; RG18118_4:=Group([()]); R18118_5:=[[1,39,48],[2,43,45],[3,33,47],[4,38,44],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,17,42],[11,18,40],[12,19,35],[13,24,29],[14,22,31],[15,20,32],[16,23,30]]; RG18118_5:=Group([()]); R18118_6:=[[1,40,47],[2,43,45],[3,36,46],[4,38,44],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,25,31],[10,17,42],[11,19,35],[12,21,33],[13,24,29],[14,18,39],[15,20,32],[16,23,30]]; RG18118_6:=Group([()]); R18118_7:=[[1,39,48],[2,43,45],[3,36,46],[4,38,44],[5,24,47],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,25,29],[11,19,35],[12,21,33],[13,17,40],[14,22,31],[15,20,32],[16,23,30]]; RG18118_7:=Group([()]); R18118_8:=[[1,42,46],[2,43,45],[3,33,47],[4,38,44],[5,22,48],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,25,29],[11,19,35],[12,24,31],[13,17,40],[14,18,39],[15,20,32],[16,23,30]]; RG18118_8:=Group([()]); R18118_9:=[[1,40,47],[2,43,45],[3,36,46],[4,38,44],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,25,29],[11,19,35],[12,24,31],[13,20,33],[14,21,32],[15,17,39],[16,23,30]]; RG18118_9:=Group([()]); R18118_10:=[[1,42,46],[2,43,45],[3,32,48],[4,38,44],[5,24,47],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,25,29],[11,18,40],[12,19,35],[13,20,33],[14,22,31],[15,17,39],[16,23,30]]; RG18118_10:=Group([()]); R18118_11:=[[1,42,46],[2,43,45],[3,33,47],[4,38,44],[5,22,48],[6,27,41],[7,28,36],[8,26,34],[9,25,31],[10,20,37],[11,18,40],[12,19,35],[13,24,29],[14,21,32],[15,17,39],[16,23,30]]; RG18118_11:=Group([()]); R18118_12:=[[1,40,47],[2,43,45],[3,32,48],[4,38,44],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,18,42],[10,20,37],[11,19,35],[12,21,33],[13,24,29],[14,22,31],[15,17,39],[16,23,30]]; RG18118_12:=Group([()]); R18118_13:=[[1,42,46],[2,43,45],[3,33,47],[4,38,44],[5,22,48],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,25,29],[11,18,40],[12,19,35],[13,24,30],[14,23,31],[15,17,39],[16,20,32]]; RG18118_13:=Group([()]); R18118_14:=[[1,40,47],[2,43,45],[3,36,46],[4,38,44],[5,22,48],[6,27,41],[7,28,37],[8,26,34],[9,18,42],[10,25,29],[11,19,35],[12,21,33],[13,24,30],[14,23,31],[15,17,39],[16,20,32]]; RG18118_14:=Group([()]); # Design 58181: 14 resolution(s), autom. group order 3 D58181:=[[1,2,3],[1,2,3],[1,2,3],[1,2,4],[1,3,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,3,6],[2,4,5],[2,4,6],[2,4,7],[2,5,8],[2,5,8],[2,5,9],[2,6,8],[2,6,9],[2,7,8],[2,7,9],[2,7,9],[3,4,5],[3,4,6],[3,4,7],[3,4,9],[3,5,8],[3,5,9],[3,6,8],[3,6,9],[3,7,8],[3,7,8],[3,7,9],[4,5,7],[4,6,8],[4,8,9],[4,8,9],[4,8,9],[5,6,7],[5,6,7],[5,6,7],[5,6,9]]; G58181:=Group([(1,4,6)(2,8,7)(3,9,5)]); R58181_1:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,28,33],[8,23,35],[9,19,39],[10,24,31],[11,21,32],[12,20,34],[13,26,29],[14,18,36],[15,22,30],[16,17,40]]; RG58181_1:=Group([()]); R58181_2:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,28,33],[8,23,35],[9,19,39],[10,26,30],[11,21,32],[12,20,34],[13,22,31],[14,18,36],[15,24,29],[16,17,40]]; RG58181_2:=Group([()]); R58181_3:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,28,35],[7,23,38],[8,25,33],[9,19,39],[10,24,31],[11,21,32],[12,20,34],[13,26,29],[14,18,36],[15,22,30],[16,17,40]]; RG58181_3:=Group([()]); R58181_4:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,28,35],[7,23,38],[8,25,33],[9,19,39],[10,26,30],[11,21,32],[12,20,34],[13,22,31],[14,18,36],[15,24,29],[16,17,40]]; RG58181_4:=Group([()]); R58181_5:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,28,33],[8,23,35],[9,20,36],[10,24,31],[11,21,32],[12,18,39],[13,26,29],[14,19,34],[15,22,30],[16,17,40]]; RG58181_5:=Group([()]); R58181_6:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,28,33],[8,23,35],[9,20,36],[10,26,30],[11,21,32],[12,18,39],[13,22,31],[14,19,34],[15,24,29],[16,17,40]]; RG58181_6:=Group([()]); R58181_7:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,28,35],[7,23,38],[8,25,33],[9,20,36],[10,24,31],[11,21,32],[12,18,39],[13,26,29],[14,19,34],[15,22,30],[16,17,40]]; RG58181_7:=Group([()]); R58181_8:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,28,33],[8,21,36],[9,19,39],[10,24,31],[11,22,32],[12,20,34],[13,26,29],[14,23,30],[15,18,35],[16,17,40]]; RG58181_8:=Group([()]); R58181_9:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,26,34],[8,23,35],[9,19,39],[10,24,31],[11,21,32],[12,28,29],[13,20,33],[14,18,36],[15,22,30],[16,17,40]]; RG58181_9:=Group([()]); R58181_10:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,25,38],[7,26,34],[8,21,36],[9,19,39],[10,24,31],[11,22,32],[12,28,29],[13,20,33],[14,23,30],[15,18,35],[16,17,40]]; RG58181_10:=Group([()]); R58181_11:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,24,39],[7,28,33],[8,23,35],[9,25,31],[10,19,38],[11,21,32],[12,20,34],[13,26,29],[14,18,36],[15,22,30],[16,17,40]]; RG58181_11:=Group([()]); R58181_12:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,24,39],[7,28,33],[8,21,36],[9,25,31],[10,19,38],[11,22,32],[12,20,34],[13,26,29],[14,23,30],[15,18,35],[16,17,40]]; RG58181_12:=Group([()]); R58181_13:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,24,39],[7,26,34],[8,23,35],[9,25,31],[10,19,38],[11,21,32],[12,28,29],[13,20,33],[14,18,36],[15,22,30],[16,17,40]]; RG58181_13:=Group([()]); R58181_14:=[[1,42,45],[2,43,46],[3,44,47],[4,37,48],[5,27,41],[6,24,39],[7,26,34],[8,21,36],[9,25,31],[10,19,38],[11,22,32],[12,28,29],[13,20,33],[14,23,30],[15,18,35],[16,17,40]]; RG58181_14:=Group([(1,6,4)(2,7,8)(3,5,9)]); # Design 72239: 14 resolution(s), autom. group order 1 D72239:=[[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,7],[2,6,7],[2,6,9],[2,7,8],[2,8,9],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,8],[3,6,7],[3,6,7],[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]]; G72239:=Group([()]); R72239_1:=[[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,29],[11,23,30],[12,24,31],[13,20,33],[14,21,32],[15,17,39],[16,19,35]]; RG72239_1:=Group([()]); R72239_2:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,25,29],[11,23,30],[12,24,31],[13,17,40],[14,18,39],[15,19,35],[16,20,32]]; RG72239_2:=Group([()]); R72239_3:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,18,42],[10,20,37],[11,23,30],[12,24,31],[13,17,40],[14,21,32],[15,19,35],[16,22,29]]; RG72239_3:=Group([()]); R72239_4:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,17,42],[11,23,30],[12,24,31],[13,20,33],[14,18,39],[15,19,35],[16,22,29]]; RG72239_4:=Group([()]); R72239_5:=[[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,29],[11,21,33],[12,24,30],[13,17,40],[14,22,31],[15,19,35],[16,20,32]]; RG72239_5:=Group([()]); R72239_6:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,36],[8,26,34],[9,25,30],[10,20,37],[11,18,40],[12,23,31],[13,24,29],[14,21,32],[15,17,39],[16,19,35]]; RG72239_6:=Group([()]); R72239_7:=[[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,30],[10,17,42],[11,21,33],[12,23,31],[13,24,29],[14,18,39],[15,19,35],[16,20,32]]; RG72239_7:=Group([()]); R72239_8:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,25,29],[11,18,40],[12,24,30],[13,20,33],[14,22,31],[15,17,39],[16,19,35]]; RG72239_8:=Group([()]); R72239_9:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,18,42],[10,20,37],[11,21,33],[12,23,30],[13,24,29],[14,22,31],[15,17,39],[16,19,35]]; RG72239_9:=Group([()]); R72239_10:=[[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,30],[10,17,42],[11,18,40],[12,24,31],[13,20,33],[14,21,32],[15,19,35],[16,22,29]]; RG72239_10:=Group([()]); R72239_11:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,34],[9,25,30],[10,20,37],[11,21,33],[12,24,31],[13,17,40],[14,18,39],[15,19,35],[16,22,29]]; RG72239_11:=Group([()]); R72239_12:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,34],[9,21,37],[10,17,42],[11,18,40],[12,23,30],[13,24,29],[14,22,31],[15,19,35],[16,20,32]]; RG72239_12:=Group([()]); R72239_13:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,34],[9,25,30],[10,20,37],[11,18,40],[12,21,33],[13,24,29],[14,22,31],[15,17,39],[16,19,35]]; RG72239_13:=Group([()]); R72239_14:=[[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,30],[10,17,42],[11,18,40],[12,21,33],[13,24,29],[14,22,31],[15,19,35],[16,20,32]]; RG72239_14:=Group([()]); # Design 89643: 14 resolution(s), autom. group order 1 D89643:=[[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,7],[2,6,7],[2,6,8],[2,7,9],[2,8,9],[3,4,8],[3,4,9],[3,4,9],[3,5,6],[3,5,7],[3,5,8],[3,5,9],[3,6,7],[3,6,7],[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]]; G89643:=Group([()]); R89643_1:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,35],[9,18,42],[10,20,37],[11,23,30],[12,24,31],[13,17,40],[14,21,32],[15,19,34],[16,22,29]]; RG89643_1:=Group([()]); R89643_2:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,36],[8,26,35],[9,21,37],[10,25,29],[11,23,30],[12,24,31],[13,17,40],[14,18,39],[15,19,34],[16,20,32]]; RG89643_2:=Group([()]); R89643_3:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,35],[9,21,37],[10,17,42],[11,23,30],[12,24,31],[13,20,33],[14,18,39],[15,19,34],[16,22,29]]; RG89643_3:=Group([()]); R89643_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,18,42],[10,25,29],[11,23,30],[12,24,31],[13,20,33],[14,21,32],[15,17,39],[16,19,34]]; RG89643_4:=Group([()]); R89643_5:=[[1,39,48],[2,44,45],[3,33,47],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,35],[9,21,37],[10,17,42],[11,18,40],[12,23,30],[13,24,29],[14,22,31],[15,19,34],[16,20,32]]; RG89643_5:=Group([()]); R89643_6:=[[1,42,46],[2,44,45],[3,33,47],[4,38,43],[5,22,48],[6,27,41],[7,28,36],[8,26,35],[9,25,30],[10,20,37],[11,18,40],[12,23,31],[13,24,29],[14,21,32],[15,17,39],[16,19,34]]; RG89643_6:=Group([()]); R89643_7:=[[1,40,47],[2,44,45],[3,32,48],[4,38,43],[5,25,46],[6,27,41],[7,28,36],[8,26,35],[9,18,42],[10,20,37],[11,21,33],[12,23,30],[13,24,29],[14,22,31],[15,17,39],[16,19,34]]; RG89643_7:=Group([()]); R89643_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,25,30],[10,17,42],[11,21,33],[12,23,31],[13,24,29],[14,18,39],[15,19,34],[16,20,32]]; RG89643_8:=Group([()]); R89643_9:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,35],[9,25,30],[10,20,37],[11,21,33],[12,24,31],[13,17,40],[14,18,39],[15,19,34],[16,22,29]]; RG89643_9:=Group([()]); R89643_10:=[[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,21,33],[12,24,30],[13,17,40],[14,22,31],[15,19,34],[16,20,32]]; RG89643_10:=Group([()]); R89643_11:=[[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,18,40],[12,24,31],[13,20,33],[14,21,32],[15,19,34],[16,22,29]]; RG89643_11:=Group([()]); R89643_12:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,35],[9,21,37],[10,25,29],[11,18,40],[12,24,30],[13,20,33],[14,22,31],[15,17,39],[16,19,34]]; RG89643_12:=Group([()]); R89643_13:=[[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,18,40],[12,21,33],[13,24,29],[14,22,31],[15,19,34],[16,20,32]]; RG89643_13:=Group([()]); R89643_14:=[[1,42,46],[2,44,45],[3,32,48],[4,38,43],[5,23,47],[6,27,41],[7,28,36],[8,26,35],[9,25,30],[10,20,37],[11,18,40],[12,21,33],[13,24,29],[14,22,31],[15,17,39],[16,19,34]]; RG89643_14:=Group([()]);