
print "The symplectic group PSP( 4, 4 ) extended by an";
print "automorphism of order 2 represented as a";
print "permutation group of degree 136. ";
print "Order: 1,958,400 = 2^9 * 3^2 * 5^2 * 17. ";
print "Group: G";

G := PermutationGroup< 136  |
    \[   33,   7,  17,  98,  13,   5,  30,  44,  97,  34,  81,  47,
   2,  65,  35,  28,  16,  74,  66, 126,  61,   3,  39,  51,  22,  20,
  24,  25,  69,   6,  75,  60,   1, 109,  15,  49,  53,  96,  43,  29,
  37,  67,  82,  63, 106,  48,  76, 128, 100,  59,  27, 134, 103, 129,
  95,  94,  55,  78,  18, 118,  23, 110,   8,  62,  77, 127,  50,   4,
  14,  56,  38,  68,  93,  42, 114,  19,  40,  72, 107, 136,  99,  21,
  86,  83,  73, 113,  89, 131, 105,  80, 122,  84, 125,  70,  32,  71,
  41,  58,  11,  36,  92,  90,   9, 120,  87, 115, 102, 108,  31,  64,
  45, 124, 101,  10, 104, 123, 135,  57,  52, 111, 130,  91, 132, 112,
  88,  26,  12, 116, 117,  54,  85,  46, 133, 119, 121,  79 ],
    \[    1,   2,   4,   3,   9,   8,  14,   6,   5,  10,  11,  12,
  16,   7,  18,  13,  19,  15,  17,  20,  35,  36,  24,  23,  31,  30,
  33,  32,  34,  26,  25,  28,  27,  29,  21,  22,  57,  38,  39,  78,
  41,  50,  51,  48,  49,  53,  52,  44,  45,  42,  43,  47,  46,  72,
  73,  62,  37,  63,  90,  79,  66,  56,  58,  89, 108,  61,  67,  91,
  98,  92,  75,  54,  55, 136,  71,  99, 116,  40,  60, 110, 111, 104,
 103,  86,  87,  84,  85, 102,  64,  59,  68,  70,  97,  95,  94,  96,
  93,  69,  76, 119, 112,  88,  83,  82, 113, 106, 107,  65, 109,  80,
  81, 101, 105, 117, 118,  77, 114, 115, 100, 130, 132, 133, 123, 124,
 127, 128, 125, 126, 134, 120, 135, 121, 122, 129, 131,  74 ]>;
AssertAttribute(G, "Order", 2^9 * 3^2 * 5^2 * 17);
