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