Rx:=[]; Gx:=[]; # Design 12: 1 resolution(s), autom. group order 12, simple Rx[1]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]],[[1,2,3,4,7,12,13],[5,6,8,9,10,11,14]],[[1,2,3,8,10,12,14],[4,5,6,7,9,11,13]],[[1,2,4,8,11,13,14],[3,5,6,7,9,10,12]],[[1,2,5,6,10,13,14],[3,4,7,8,9,11,12]],[[1,2,5,7,10,13,14],[3,4,6,8,9,11,12]],[[1,2,5,9,11,12,14],[3,4,6,7,8,10,13]],[[1,2,6,7,9,11,12],[3,4,5,8,10,13,14]],[[1,2,6,8,9,10,12],[3,4,5,7,11,13,14]],[[1,2,7,8,9,11,13],[3,4,5,6,10,12,14]],[[1,3,4,9,12,13,14],[2,5,6,7,8,10,11]],[[1,3,5,6,8,9,14],[2,4,7,10,11,12,13]],[[1,3,5,7,8,10,11],[2,4,6,9,12,13,14]],[[1,3,5,8,11,12,13],[2,4,6,7,9,10,14]],[[1,3,6,7,9,13,14],[2,4,5,8,10,11,12]],[[1,3,6,10,11,12,13],[2,4,5,7,8,9,14]],[[1,3,7,9,10,11,14],[2,4,5,6,8,12,13]],[[1,4,5,6,11,12,14],[2,3,7,8,9,10,13]],[[1,4,5,7,9,10,12],[2,3,6,8,11,13,14]],[[1,4,5,9,10,11,13],[2,3,6,7,8,12,14]],[[1,4,6,7,8,11,14],[2,3,5,9,10,12,13]],[[1,4,6,8,9,10,13],[2,3,5,7,11,12,14]],[[1,4,7,8,10,12,14],[2,3,5,6,9,11,13]],[[1,5,6,7,8,12,13],[2,3,4,9,10,11,14]]]; Gx[1]:=Group([(2,14)(4,9)(5,13)(6,7)(8,12),(1,2)(3,4)(6,7)(10,13)(11,12),(1,5)(2,13)(3,8)(4,12)(6,7)(9,11)(10,14)]); # Design 112: 1 resolution(s), autom. group order 12, simple Rx[2]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,5,9,12,13],[4,6,7,8,10,11,14]],[[1,2,3,6,10,12,14],[4,5,7,8,9,11,13]],[[1,2,4,7,8,12,14],[3,5,6,9,10,11,13]],[[1,2,4,7,9,10,11],[3,5,6,8,12,13,14]],[[1,2,5,7,10,13,14],[3,4,6,8,9,11,12]],[[1,2,5,10,11,13,14],[3,4,6,7,8,9,12]],[[1,2,6,8,9,11,13],[3,4,5,7,10,12,14]],[[1,2,6,8,11,12,13],[3,4,5,7,9,10,14]],[[1,2,7,8,9,12,14],[3,4,5,6,10,11,13]],[[1,3,4,7,11,12,13],[2,5,6,8,9,10,14]],[[1,3,4,11,12,13,14],[2,5,6,7,8,9,10]],[[1,3,5,7,8,11,14],[2,4,6,9,10,12,13]],[[1,3,5,8,9,11,14],[2,4,6,7,10,12,13]],[[1,3,6,7,8,10,13],[2,4,5,9,11,12,14]],[[1,3,6,9,10,12,14],[2,4,5,7,8,11,13]],[[1,3,7,8,9,10,13],[2,4,5,6,11,12,14]],[[1,4,5,6,9,13,14],[2,3,7,8,10,11,12]],[[1,4,5,8,9,10,12],[2,3,6,7,11,13,14]],[[1,4,5,8,10,12,13],[2,3,6,7,9,11,14]],[[1,4,6,7,9,13,14],[2,3,5,8,10,11,12]],[[1,4,6,8,10,11,14],[2,3,5,7,9,12,13]],[[1,5,6,7,9,11,12],[2,3,4,8,10,13,14]],[[1,5,6,7,10,11,12],[2,3,4,8,9,13,14]]]; Gx[2]:=Group([(1,2,8,10)(3,4,14,6)(5,13,11,12)(7,9),(1,3,11,8,14,5)(2,4,12,10,6,13)]); # Design 160: 1 resolution(s), autom. group order 12, simple Rx[3]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,5,9,12,13],[4,6,7,8,10,11,14]],[[1,2,3,6,10,12,14],[4,5,7,8,9,11,13]],[[1,2,4,7,8,13,14],[3,5,6,9,10,11,12]],[[1,2,4,7,9,11,12],[3,5,6,8,10,13,14]],[[1,2,5,7,9,13,14],[3,4,6,8,10,11,12]],[[1,2,5,8,10,11,14],[3,4,6,7,9,12,13]],[[1,2,6,8,10,12,13],[3,4,5,7,9,11,14]],[[1,2,6,9,11,13,14],[3,4,5,7,8,10,12]],[[1,2,7,8,10,11,12],[3,4,5,6,9,13,14]],[[1,3,4,7,10,11,13],[2,5,6,8,9,12,14]],[[1,3,4,8,12,13,14],[2,5,6,7,9,10,11]],[[1,3,5,8,9,11,12],[2,4,6,7,10,13,14]],[[1,3,5,10,11,13,14],[2,4,6,7,8,9,12]],[[1,3,6,7,8,11,13],[2,4,5,9,10,12,14]],[[1,3,6,7,9,10,14],[2,4,5,8,11,12,13]],[[1,3,7,8,9,12,14],[2,4,5,6,10,11,13]],[[1,4,5,6,11,12,14],[2,3,7,8,9,10,13]],[[1,4,5,7,10,12,14],[2,3,6,8,9,11,13]],[[1,4,5,8,9,10,13],[2,3,6,7,11,12,14]],[[1,4,6,8,9,11,14],[2,3,5,7,10,12,13]],[[1,4,6,9,10,12,13],[2,3,5,7,8,11,14]],[[1,5,6,7,8,9,10],[2,3,4,11,12,13,14]],[[1,5,6,7,11,12,13],[2,3,4,8,9,10,14]]]; Gx[3]:=Group([(1,2,3)(4,5,6)(9,12,10)(11,13,14),(1,4,3,6,2,5)(9,14,10,13,12,11),(1,9,5,11,2,12,6,13,3,10,4,14)(7,8)]); # Design 493: 1 resolution(s), autom. group order 12, simple Rx[4]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]],[[1,2,3,4,7,12,13],[5,6,8,9,10,11,14]],[[1,2,3,8,10,12,14],[4,5,6,7,9,11,13]],[[1,2,4,9,10,13,14],[3,5,6,7,8,11,12]],[[1,2,5,6,8,12,14],[3,4,7,9,10,11,13]],[[1,2,5,6,9,13,14],[3,4,7,8,10,11,12]],[[1,2,5,7,8,9,11],[3,4,6,10,12,13,14]],[[1,2,6,11,12,13,14],[3,4,5,7,8,9,10]],[[1,2,7,8,10,11,13],[3,4,5,6,9,12,14]],[[1,2,7,9,10,11,12],[3,4,5,6,8,13,14]],[[1,3,4,9,11,12,14],[2,5,6,7,8,10,13]],[[1,3,5,6,10,11,13],[2,4,7,8,9,12,14]],[[1,3,5,8,11,12,13],[2,4,6,7,9,10,14]],[[1,3,5,9,10,12,13],[2,4,6,7,8,11,14]],[[1,3,6,7,8,10,14],[2,4,5,9,11,12,13]],[[1,3,6,7,9,11,14],[2,4,5,8,10,12,13]],[[1,3,7,8,9,13,14],[2,4,5,6,10,11,12]],[[1,4,5,7,10,13,14],[2,3,6,8,9,11,12]],[[1,4,5,7,11,12,14],[2,3,6,8,9,10,13]],[[1,4,5,8,10,11,14],[2,3,6,7,9,12,13]],[[1,4,6,7,8,12,13],[2,3,5,9,10,11,14]],[[1,4,6,8,9,10,12],[2,3,5,7,11,13,14]],[[1,4,6,8,9,11,13],[2,3,5,7,10,12,14]],[[1,5,6,7,9,10,12],[2,3,4,8,11,13,14]]]; Gx[4]:=Group([(2,3,4)(5,6,7)(8,11,13)(9,10,12),(1,2)(3,4)(8,9)(12,13)]); # Design 1008: 1 resolution(s), autom. group order 12, simple Rx[5]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,10,11,12],[5,6,7,8,9,13,14]],[[1,2,3,4,10,13,14],[5,6,7,8,9,11,12]],[[1,2,3,6,8,11,13],[4,5,7,9,10,12,14]],[[1,2,4,6,8,12,14],[3,5,7,9,10,11,13]],[[1,2,5,6,9,10,11],[3,4,7,8,12,13,14]],[[1,2,5,7,8,10,14],[3,4,6,9,11,12,13]],[[1,2,5,7,9,12,13],[3,4,6,8,10,11,14]],[[1,2,6,9,11,13,14],[3,4,5,7,8,10,12]],[[1,2,7,8,11,12,14],[3,4,5,6,9,10,13]],[[1,2,7,9,10,12,13],[3,4,5,6,8,11,14]],[[1,3,4,7,9,12,14],[2,5,6,8,10,11,13]],[[1,3,5,6,7,11,12],[2,4,8,9,10,13,14]],[[1,3,5,8,9,13,14],[2,4,6,7,10,11,12]],[[1,3,5,11,12,13,14],[2,4,6,7,8,9,10]],[[1,3,6,7,8,9,10],[2,4,5,11,12,13,14]],[[1,3,6,7,10,13,14],[2,4,5,8,9,11,12]],[[1,3,8,9,10,11,12],[2,4,5,6,7,13,14]],[[1,4,5,6,10,12,13],[2,3,7,8,9,11,14]],[[1,4,5,7,8,11,13],[2,3,6,9,10,12,14]],[[1,4,5,9,10,11,14],[2,3,6,7,8,12,13]],[[1,4,6,7,9,11,14],[2,3,5,8,10,12,13]],[[1,4,6,8,9,12,13],[2,3,5,7,10,11,14]],[[1,4,7,8,10,11,13],[2,3,5,6,9,12,14]],[[1,5,6,8,10,12,14],[2,3,4,7,9,11,13]]]; Gx[5]:=Group([(1,2,3,4)(5,10)(6,11,7,12)(8,13,9,14),(1,6,13,3,7,14)(2,8,12,4,9,11)]); # Design 1054: 1 resolution(s), autom. group order 12, simple Rx[6]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,5,9,12,13],[4,6,7,8,10,11,14]],[[1,2,3,6,10,12,14],[4,5,7,8,9,11,13]],[[1,2,4,7,8,13,14],[3,5,6,9,10,11,12]],[[1,2,4,7,9,11,12],[3,5,6,8,10,13,14]],[[1,2,5,7,10,11,14],[3,4,6,8,9,12,13]],[[1,2,5,8,9,13,14],[3,4,6,7,10,11,12]],[[1,2,6,8,10,12,13],[3,4,5,7,9,11,14]],[[1,2,6,9,11,13,14],[3,4,5,7,8,10,12]],[[1,2,7,8,10,11,12],[3,4,5,6,9,13,14]],[[1,3,4,7,12,13,14],[2,5,6,8,9,10,11]],[[1,3,4,8,10,11,13],[2,5,6,7,9,12,14]],[[1,3,5,8,9,11,12],[2,4,6,7,10,13,14]],[[1,3,5,10,11,13,14],[2,4,6,7,8,9,12]],[[1,3,6,7,8,11,13],[2,4,5,9,10,12,14]],[[1,3,6,7,9,10,14],[2,4,5,8,11,12,13]],[[1,3,7,8,9,12,14],[2,4,5,6,10,11,13]],[[1,4,5,6,11,12,14],[2,3,7,8,9,10,13]],[[1,4,5,7,9,10,13],[2,3,6,8,11,12,14]],[[1,4,5,8,10,12,14],[2,3,6,7,9,11,13]],[[1,4,6,8,9,11,14],[2,3,5,7,10,12,13]],[[1,4,6,9,10,12,13],[2,3,5,7,8,11,14]],[[1,5,6,7,8,9,10],[2,3,4,11,12,13,14]],[[1,5,6,7,11,12,13],[2,3,4,8,9,10,14]]]; Gx[6]:=Group([(1,2,3)(4,5,6)(9,12,10)(11,13,14),(1,4,3,6,2,5)(9,14,10,13,12,11),(1,9,5,11,2,12,6,13,3,10,4,14)]); # Design 1117: 1 resolution(s), autom. group order 12, simple Rx[7]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,4,12,13,14],[5,6,7,8,9,10,11]],[[1,2,3,7,9,12,13],[4,5,6,8,10,11,14]],[[1,2,4,7,9,10,14],[3,5,6,8,11,12,13]],[[1,2,5,6,10,11,12],[3,4,7,8,9,13,14]],[[1,2,5,7,8,11,14],[3,4,6,9,10,12,13]],[[1,2,5,8,9,10,13],[3,4,6,7,11,12,14]],[[1,2,6,8,9,12,14],[3,4,5,7,10,11,13]],[[1,2,6,10,11,12,13],[3,4,5,7,8,9,14]],[[1,2,7,8,11,13,14],[3,4,5,6,9,10,12]],[[1,3,4,8,10,11,14],[2,5,6,7,9,12,13]],[[1,3,5,6,9,13,14],[2,4,7,8,10,11,12]],[[1,3,5,7,10,11,13],[2,4,6,8,9,12,14]],[[1,3,5,8,9,11,12],[2,4,6,7,10,13,14]],[[1,3,6,7,11,12,14],[2,4,5,8,9,10,13]],[[1,3,6,8,10,13,14],[2,4,5,7,9,11,12]],[[1,3,7,8,9,10,12],[2,4,5,6,11,13,14]],[[1,4,5,7,8,12,13],[2,3,6,9,10,11,14]],[[1,4,5,9,11,12,14],[2,3,6,7,8,10,13]],[[1,4,5,10,12,13,14],[2,3,6,7,8,9,11]],[[1,4,6,7,8,10,12],[2,3,5,9,11,13,14]],[[1,4,6,7,9,11,13],[2,3,5,8,10,12,14]],[[1,4,6,8,9,11,13],[2,3,5,7,10,12,14]],[[1,5,6,7,9,10,14],[2,3,4,8,11,12,13]]]; Gx[7]:=Group([(2,11)(3,9)(5,13)(7,8),(1,5,8)(3,9,11)(4,13,7)(6,10,14)]); # Design 1544: 1 resolution(s), autom. group order 12, simple Rx[8]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]],[[1,2,3,4,7,12,13],[5,6,8,9,10,11,14]],[[1,2,3,8,10,12,14],[4,5,6,7,9,11,13]],[[1,2,4,8,10,12,14],[3,5,6,7,9,11,13]],[[1,2,5,6,8,9,13],[3,4,7,10,11,12,14]],[[1,2,5,7,11,12,13],[3,4,6,8,9,10,14]],[[1,2,5,9,12,13,14],[3,4,6,7,8,10,11]],[[1,2,6,7,9,10,11],[3,4,5,8,12,13,14]],[[1,2,6,8,9,11,14],[3,4,5,7,10,12,13]],[[1,2,7,10,11,13,14],[3,4,5,6,8,9,12]],[[1,3,4,9,11,13,14],[2,5,6,7,8,10,12]],[[1,3,5,6,10,13,14],[2,4,7,8,9,11,12]],[[1,3,5,7,8,11,14],[2,4,6,9,10,12,13]],[[1,3,5,8,10,11,13],[2,4,6,7,9,12,14]],[[1,3,6,7,9,12,14],[2,4,5,8,10,11,13]],[[1,3,6,9,10,12,13],[2,4,5,7,8,11,14]],[[1,3,7,8,9,11,12],[2,4,5,6,10,13,14]],[[1,4,5,6,11,12,14],[2,3,7,8,9,10,13]],[[1,4,5,7,9,10,14],[2,3,6,8,11,12,13]],[[1,4,5,9,10,11,12],[2,3,6,7,8,13,14]],[[1,4,6,7,8,13,14],[2,3,5,9,10,11,12]],[[1,4,6,8,11,12,13],[2,3,5,7,9,10,14]],[[1,4,7,8,9,10,13],[2,3,5,6,11,12,14]],[[1,5,6,7,8,10,12],[2,3,4,9,11,13,14]]]; Gx[8]:=Group([(5,6,7)(8,10,12)(9,11,13),(1,2)(3,4),(1,3,2,4)(8,9)(10,11)(12,13)]); # Design 1978: 1 resolution(s), autom. group order 12, simple Rx[9]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]],[[1,2,3,4,7,12,13],[5,6,8,9,10,11,14]],[[1,2,3,8,10,12,14],[4,5,6,7,9,11,13]],[[1,2,4,8,9,11,14],[3,5,6,7,10,12,13]],[[1,2,5,6,9,12,14],[3,4,7,8,10,11,13]],[[1,2,5,7,10,12,14],[3,4,6,8,9,11,13]],[[1,2,5,8,10,11,13],[3,4,6,7,9,12,14]],[[1,2,6,7,9,11,13],[3,4,5,8,10,12,14]],[[1,2,6,8,11,12,13],[3,4,5,7,9,10,14]],[[1,2,7,9,10,13,14],[3,4,5,6,8,11,12]],[[1,3,4,9,10,13,14],[2,5,6,7,8,11,12]],[[1,3,5,6,8,13,14],[2,4,7,9,10,11,12]],[[1,3,5,7,9,11,12],[2,4,6,8,10,13,14]],[[1,3,5,9,10,11,13],[2,4,6,7,8,12,14]],[[1,3,6,7,8,13,14],[2,4,5,9,10,11,12]],[[1,3,6,9,11,12,14],[2,4,5,7,8,10,13]],[[1,3,7,8,10,11,12],[2,4,5,6,9,13,14]],[[1,4,5,6,10,12,13],[2,3,7,8,9,11,14]],[[1,4,5,7,8,11,14],[2,3,6,9,10,12,13]],[[1,4,5,11,12,13,14],[2,3,6,7,8,9,10]],[[1,4,6,7,10,11,14],[2,3,5,8,9,12,13]],[[1,4,6,8,9,10,12],[2,3,5,7,11,13,14]],[[1,4,7,8,9,12,13],[2,3,5,6,10,11,14]],[[1,5,6,7,8,9,10],[2,3,4,11,12,13,14]]]; Gx[9]:=Group([(2,11)(3,14)(5,7)(6,8)(9,10),(1,3)(2,4)(5,7)(8,13)(9,12),(1,6)(2,9)(3,8)(4,10)(5,7)(11,12)(13,14)]); # Design 2238: 1 resolution(s), autom. group order 12, simple Rx[10]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,8,9],[6,7,10,11,12,13,14]],[[1,2,3,4,6,10,11],[5,7,8,9,12,13,14]],[[1,2,3,4,7,12,13],[5,6,8,9,10,11,14]],[[1,2,3,8,10,12,14],[4,5,6,7,9,11,13]],[[1,2,4,9,10,13,14],[3,5,6,7,8,11,12]],[[1,2,5,6,8,13,14],[3,4,7,9,10,11,12]],[[1,2,5,6,9,12,14],[3,4,7,8,10,11,13]],[[1,2,5,7,8,9,11],[3,4,6,10,12,13,14]],[[1,2,6,11,12,13,14],[3,4,5,7,8,9,10]],[[1,2,7,8,10,11,12],[3,4,5,6,9,13,14]],[[1,2,7,9,10,11,13],[3,4,5,6,8,12,14]],[[1,3,4,9,11,12,14],[2,5,6,7,8,10,13]],[[1,3,5,6,10,11,13],[2,4,7,8,9,12,14]],[[1,3,5,8,10,12,13],[2,4,6,7,9,11,14]],[[1,3,5,9,11,12,13],[2,4,6,7,8,10,14]],[[1,3,6,7,8,11,14],[2,4,5,9,10,12,13]],[[1,3,6,7,9,10,14],[2,4,5,8,11,12,13]],[[1,3,7,8,9,13,14],[2,4,5,6,10,11,12]],[[1,4,5,7,10,12,14],[2,3,6,8,9,11,13]],[[1,4,5,7,11,13,14],[2,3,6,8,9,10,12]],[[1,4,5,8,10,11,14],[2,3,6,7,9,12,13]],[[1,4,6,7,8,12,13],[2,3,5,9,10,11,14]],[[1,4,6,8,9,10,13],[2,3,5,7,11,12,14]],[[1,4,6,8,9,11,12],[2,3,5,7,10,13,14]],[[1,5,6,7,9,10,12],[2,3,4,8,11,13,14]]]; Gx[10]:=Group([(2,3,4)(5,6,7)(8,11,13)(9,10,12),(1,2)(3,4)(8,9)(12,13)]); # Design 2282: 1 resolution(s), autom. group order 12, simple Rx[11]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,4,9,10,12],[5,6,7,8,11,13,14]],[[1,2,3,7,8,13,14],[4,5,6,9,10,11,12]],[[1,2,4,7,8,13,14],[3,5,6,9,10,11,12]],[[1,2,5,6,11,12,13],[3,4,7,8,9,10,14]],[[1,2,5,6,11,12,14],[3,4,7,8,9,10,13]],[[1,2,5,9,10,13,14],[3,4,6,7,8,11,12]],[[1,2,6,9,10,13,14],[3,4,5,7,8,11,12]],[[1,2,7,8,9,11,12],[3,4,5,6,10,13,14]],[[1,2,7,8,10,11,12],[3,4,5,6,9,13,14]],[[1,3,4,11,12,13,14],[2,5,6,7,8,9,10]],[[1,3,5,7,9,11,13],[2,4,6,8,10,12,14]],[[1,3,5,7,9,11,14],[2,4,6,8,10,12,13]],[[1,3,5,8,10,12,13],[2,4,6,7,9,11,14]],[[1,3,6,7,10,12,14],[2,4,5,8,9,11,13]],[[1,3,6,8,9,12,14],[2,4,5,7,10,11,13]],[[1,3,6,8,10,11,13],[2,4,5,7,9,12,14]],[[1,4,5,7,10,12,14],[2,3,6,8,9,11,13]],[[1,4,5,8,9,12,13],[2,3,6,7,10,11,14]],[[1,4,5,8,10,11,14],[2,3,6,7,9,12,13]],[[1,4,6,7,9,12,13],[2,3,5,8,10,11,14]],[[1,4,6,7,10,11,13],[2,3,5,8,9,12,14]],[[1,4,6,8,9,11,14],[2,3,5,7,10,12,13]],[[1,5,6,7,8,9,10],[2,3,4,11,12,13,14]]]; Gx[11]:=Group([(1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14),(1,3)(2,4)(5,9)(6,10)(7,11)(8,12)(13,14),(1,5,11)(2,6,12)(3,9,7)(4,10,8)]); # Design 2459: 1 resolution(s), autom. group order 12, simple Rx[12]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,4,9,12,13],[5,6,7,8,10,11,14]],[[1,2,3,7,10,12,14],[4,5,6,8,9,11,13]],[[1,2,4,7,10,13,14],[3,5,6,8,9,11,12]],[[1,2,5,6,11,12,14],[3,4,7,8,9,10,13]],[[1,2,5,7,8,9,11],[3,4,6,10,12,13,14]],[[1,2,5,8,10,12,13],[3,4,6,7,9,11,14]],[[1,2,6,8,9,10,14],[3,4,5,7,11,12,13]],[[1,2,6,11,12,13,14],[3,4,5,7,8,9,10]],[[1,2,7,8,9,11,13],[3,4,5,6,10,12,14]],[[1,3,4,8,11,12,14],[2,5,6,7,9,10,13]],[[1,3,5,6,9,13,14],[2,4,7,8,10,11,12]],[[1,3,5,7,8,13,14],[2,4,6,9,10,11,12]],[[1,3,5,9,10,11,12],[2,4,6,7,8,13,14]],[[1,3,6,7,10,11,13],[2,4,5,8,9,12,14]],[[1,3,6,8,10,11,13],[2,4,5,7,9,12,14]],[[1,3,7,8,9,12,14],[2,4,5,6,10,11,13]],[[1,4,5,7,11,12,13],[2,3,6,8,9,10,14]],[[1,4,5,8,10,11,14],[2,3,6,7,9,12,13]],[[1,4,5,9,10,13,14],[2,3,6,7,8,11,12]],[[1,4,6,7,8,10,12],[2,3,5,9,11,13,14]],[[1,4,6,7,9,11,14],[2,3,5,8,10,12,13]],[[1,4,6,8,9,12,13],[2,3,5,7,10,11,14]],[[1,5,6,7,9,10,12],[2,3,4,8,11,13,14]]]; Gx[12]:=Group([(2,11)(4,10)(5,13)(7,8),(1,3)(2,4)(7,8)(10,11),(1,5,8)(3,13,7)(4,10,11)(6,12,9)]); # Design 2627: 1 resolution(s), autom. group order 12, simple Rx[13]:=[[[1,2,3,4,5,6,7],[8,9,10,11,12,13,14]],[[1,2,3,4,5,6,8],[7,9,10,11,12,13,14]],[[1,2,3,4,9,10,11],[5,6,7,8,12,13,14]],[[1,2,3,4,12,13,14],[5,6,7,8,9,10,11]],[[1,2,3,7,9,10,12],[4,5,6,8,11,13,14]],[[1,2,4,7,9,13,14],[3,5,6,8,10,11,12]],[[1,2,5,6,9,11,13],[3,4,7,8,10,12,14]],[[1,2,5,6,10,12,14],[3,4,7,8,9,11,13]],[[1,2,5,8,11,12,13],[3,4,6,7,9,10,14]],[[1,2,6,8,10,11,14],[3,4,5,7,9,12,13]],[[1,2,7,8,9,11,12],[3,4,5,6,10,13,14]],[[1,2,7,8,10,13,14],[3,4,5,6,9,11,12]],[[1,3,4,8,10,11,13],[2,5,6,7,9,12,14]],[[1,3,5,7,8,9,14],[2,4,6,10,11,12,13]],[[1,3,5,7,8,11,14],[2,4,6,9,10,12,13]],[[1,3,5,10,12,13,14],[2,4,6,7,8,9,11]],[[1,3,6,7,11,12,13],[2,4,5,8,9,10,14]],[[1,3,6,8,9,12,13],[2,4,5,7,10,11,14]],[[1,3,6,9,10,11,14],[2,4,5,7,8,12,13]],[[1,4,5,7,10,11,12],[2,3,6,8,9,13,14]],[[1,4,5,8,9,10,12],[2,3,6,7,11,13,14]],[[1,4,5,9,11,13,14],[2,3,6,7,8,10,12]],[[1,4,6,7,8,10,13],[2,3,5,9,11,12,14]],[[1,4,6,7,11,12,14],[2,3,5,8,9,10,13]],[[1,4,6,8,9,12,14],[2,3,5,7,10,11,13]],[[1,5,6,7,9,10,13],[2,3,4,8,11,12,14]]]; Gx[13]:=Group([(3,5)(4,6)(7,8)(9,11)(10,13),(1,3)(2,4)(7,8)(9,11)(12,13),(1,12)(3,10)(4,6)(5,13)(7,9)(8,11)]);