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