
print "The unitary group U( 3, 4 ) represented as a";
print "permutation group of degree 208 ";
print "Order: 62,400 = 2^6 * 3 * 5^2 * 13;  Base: 1,2,3 ";
print "Group: G";

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