
print "The group of Rubik's cube represented on the set of quarter";
print "rotations of the cube faces. ";
print "Group G";

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