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

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