
print "The symplectic group PSP( 4, 4 ) represented as a";
print "permutation group of degree 85. ";
print "Order: 979,200 = 2^8 * 3^2 * 5^2 * 17; Base: 1,2,4,6. ";
print "Group: G";

G := PermutationGroup<85 |
    \[  2,   4,   5,   6,   8,  10,  12,  13,  15,  16,  17,  18,
19,  21,  22,  24,  20,  26,  28,  23,  29,  31,   1,  33,  35,  36,  38,
39,  40,  41,  42,  43,  14,  45,  46,  48,  49,  34,  50,  44,  51,  52,
27,  11,  54,  55,   3,  57,  58,  60,  53,  62,  64,  65,  67,  37,  63,
 7,  30,  69,  70,  59,  72,  73,  75,  77,  47,  32,  71,  76,  25,  79,
80,   9,  81,  66,  83,  56,  84,  85,  61,  78,  68,  82,  74],
    \[ 3,   2,   1,   7,   9,  11,   4,  14,   5,  12,   6,  10,
20,   8,  23,  25,  19,  27,  17,  13,  30,  32,  15,  34,  16,  37,  18,
39,  29,  21,  41,  22,  44,  24,  47,  45,  26,  38,  28,  43,  31,  53,
40,  33,  36,  56,  35,  57,  59,  60,  61,  63,  42,  66,  68,  46,  48,
69,  49,  50,  51,  71,  52,  74,  76,  54,  77,  55,  58,  78,  62,  72,
79,  64,  82,  65,  67,  70,  73,  81,  80,  75,  83,  85,  84]>;
AssertAttribute(G, "Order", 2^8 * 3^2 * 5^2 * 17);
