
print "Imprimitive group of degree 24 with 12 blocks of size 2. ";
print "Composition factors are: Z(2) (11 times), M12. ";
print "Order: 194,641,920 = 2^17 * 3^3 * 5 * 11. ";
print "Group: G";

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