
print "The unitary group U( 5, 2 ) represented as a";
print "permutation group of degree 176. ";
print "Order: 13,685,760 = 2^10 * 3^5 * 5 * 11;  Base: 1,2,3,4,5,7. ";
print "Group: G";

G := PermutationGroup< 176  |
    \[    2,   4,   5,   6,   7,   9,  11,  13,   1,  16,  17,  12,
  19,  21,  23,  24,   3,  26,  27,  29,  31,  33,  34,  36,  38,  39,
  30,  42,  43,   8,  46,  48,  49,  51,  53,  54,  56,  57,  37,  59,
  61,  62,  44,  64,  66,  67,  15,  68,  70,  72,  47,  75,  76,  10,
  78,  18,  80,  82,  83,  84,  86,  88,  90,  20,  45,  93,  14,  52,
  96,  73,  40,  99,  22, 101,  32, 102, 104,  79, 103, 106, 107, 108,
 110,  95, 111, 112, 113, 114,  55, 115, 117, 119, 120, 122, 124, 125,
 126, 127, 128, 130, 131, 133,  89, 134,  60,  25, 136,  97, 138,  71,
 140, 141, 142,  28, 143,  87,  74, 145,  69,  65, 129, 148, 150, 105,
  92,  58, 137, 152,  98,  81,  91, 135,  35, 155, 144, 100, 121, 157,
 159, 153,  41, 161, 158, 164, 154, 165, 166, 139, 167, 118, 169,  50,
 170, 123, 171, 173, 146,  63,  94, 156, 116, 132, 174, 162, 109, 172,
 163, 147, 160,  85,  77, 176, 151, 175, 149, 168 ],
    \[    3,   2,   1,   4,   8,  10,  12,  14,  15,   9,  18,   7,
  20,  22,   6,  25,  17,  21,  28,  30,  32,   5,  35,  37,  19,  40,
  41,  16,  44,  45,  47,  11,  50,  52,  49,  55,  24,  48,  58,  60,
  36,  63,  59,  65,  13,  46,  67,  69,  71,  73,  74,  34,  77,  31,
  27,  79,  81,  39,  57,  85,  87,  89,  42,  91,  92,  94,  54,  95,
  97,  98,  23,  66, 100,  70,  86, 103,  53,  82, 105,  80,  43, 109,
  83,  78,  26, 108,  61,  88,  93, 116, 118,  29, 121, 123,  68, 120,
  38,  51, 129,  33, 132, 102,  99, 135, 131,  96, 130, 137,  84, 139,
 110, 136,  90, 133, 134, 144, 141, 146, 147, 145,  62, 149,  72, 127,
 140, 151, 126, 111,  76, 153,  56, 101, 154, 115, 142, 156,  75, 158,
 128, 125, 160, 162, 163, 113, 106,  64, 119, 112, 122, 168, 124, 107,
 152, 159, 172, 148, 117, 138, 114, 157, 166, 104, 164, 174, 175, 155,
 170, 150, 171, 167, 169, 161, 176, 143, 165, 173 ]>;
AssertAttribute(G, "Order", 2^10 * 3^5 * 5 * 11);
