
print "Imprimitive group of degree 14 with 7 blocks of size 2. ";
print "Composition factors are: Z(2) ( 6 times ), PSL(2, 7). ";
print "Order: 10 752 = 2^9 * 3 * 7. ";
print "Group: G";

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