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

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