
print "M12 - Mathieu group on 12 letters - degree 12 ";
print "Order 95 040 = 2^6 * 3^3 * 5 * 11;  Base 1,2,3,4,5 ";
print "Group: G";

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