
print "M23 - Mathieu group on 23 letters - degree 23 ";
print "Order 10 200 960 = 2^7 * 3^2 * 5 * 7 * 11 * 23;  Base 1,2,3,4,5,6";
print "Group: G";

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