
print "An imprimitive group of degree 24 with 6 blocks";
print "of size 4. The abstract structure of the group";
print "is 2^6 . 3 . A6 . 2. ";
print "Order: 138,240 = 2^10 * 3^3 * 5. ";
print "Group: G";

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