
print "The group of the tetrahedral version of Rubik's cube. ";
print "Group G";

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