Rx:=[];
Gx:=[];
# Design 2264: 1 resolution(s), autom. group order 24, 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,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,11,14],[3,5,7,9,10,12,13]],[[1,2,5,6,9,12,14],[3,4,7,8,10,11,13]],[[1,2,5,7,8,12,13],[3,4,6,9,10,11,14]],[[1,2,5,7,9,10,11],[3,4,6,8,12,13,14]],[[1,2,6,9,10,12,14],[3,4,5,7,8,11,13]],[[1,2,7,8,10,12,13],[3,4,5,6,9,11,14]],[[1,2,7,9,11,13,14],[3,4,5,6,8,10,12]],[[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,10,14],[2,3,6,9,11,12,13]],[[1,4,5,9,10,11,13],[2,3,6,7,8,12,14]],[[1,4,6,7,9,11,13],[2,3,5,8,10,12,14]],[[1,4,6,8,9,12,13],[2,3,5,7,10,11,14]],[[1,4,7,8,11,12,14],[2,3,5,6,9,10,13]],[[1,5,6,8,10,11,14],[2,3,4,7,9,12,13]]];
Gx[1]:=Group([(2,12)(4,11)(6,7)(8,14)(9,13),(1,2)(3,4)(6,8)(7,9)(13,14),(1,3)(2,4)(6,7)(8,9)(11,12)(13,14),(1,6)(2,9)(3,7)(4,8)(5,10)(11,13)(12,14)]);