
print "Imprimitive group of degree 18 with 2 blocks of size 9. ";
print "Composition factors are PSL( 2, 8 ) and Z(2). ";
print "Order: 508,032 = 2^7 * 3^4 * 7^2. ";
print "Group: G";

G := PermutationGroup<18 |
    \[   2,  1,  4,  3,  6,  5,  8,  7, 10,  9, 12, 11, 14, 13, 16, 15,
18, 17],
    \[   2,  5,  1,  7,  3,  9,  4, 13, 12, 14,  6, 11, 16, 18,  8, 15,
10, 17]>;
AssertAttribute(G, "Order", 2^7 * 3^4 * 7^2);
