
print "The symplectic group PSP( 6, 2 ) represented as a";
print "permutation group of degree 28. ";
print "Order: 1,451,520 = 2^9 * 3^4 * 5 * 7;  Base: 2,1,8,6,3,4 ";
print "Group: G";

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