print "The two-fold cover of the Mathieu group M12 on 24 letters.";
print "Order is 190080 = 2^7 * 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,22,21,24,23],
    \[ 5,22,2,1,4,16,6,20,8,11,17,24,12,21,14,7,10,23,18,9,15,3,19,13]>;
AssertAttribute(G, "Order", 2^7 * 3^3 * 5 * 11);
