
print "The group of Meffert's cube. This is an intransitive";
print "group of degree 30. ";
print "Order: 75,582,720 = 2^8 * 3^10 * 5. ";
print "Group: G";

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

