
print "The unitary group U( 4, 2 ) represented as a";
print "permutation group of degree 45. ";
print "Order: 25,920 = 2^6 * 3^4 * 5;  Base: 1,2,3,7. ";
print "Group: G";

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