# Design 1: 1 resolution(s), autom. group order 432, simple
D1:=[[1,2,3],[1,4,5],[1,6,7],[1,8,9],[2,4,6],[2,5,8],[2,7,9],[3,4,9],[3,5,7],[3,6,8],[4,7,8],[5,6,9]];
G1:=Group([(4,5)(6,8)(7,9),(4,6)(5,7)(8,9),(2,3)(6,9)(7,8),(2,4)(3,5)(8,9),(1,2)(5,6)(7,8)]);
R1_1:=[[1,11,12],[2,7,10],[3,6,8],[4,5,9]];
RG1_1:=Group([(4,7,8)(5,6,9),(4,5)(6,8)(7,9),(2,3)(6,9)(7,8),(2,4)(3,5)(8,9),(1,2)(5,6)(7,8)]);