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