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

G := PermutationGroup< 364  |
    \[    2,   3,   5,   6,   8,  10,  12,  13,  14,  15,  17,  19,
   1,  21,  22,  23,  24,  26,   9,  28,   7,  30,  31,  33,  34,  36,
  38,  16,  40,   4,  41,  42,  44,  46,  48,  43,  49,  51,  52,  27,
  20,  55,  56,  57,  58,  59,  61,  63,  65,  67,  68,  69,  71,  72,
  74,  75,  11,  76,  77,  79,  81,  83,  84,  86,  88,  89,  91,  29,
  93,  95,  97,  80, 100, 101,  18, 102, 103, 105, 107, 109, 110, 112,
 114, 116, 117, 119, 121, 122, 124, 126, 127, 128, 130, 132, 133, 135,
 136, 138, 140, 118, 143, 108,  25, 146, 131, 147,  85, 148, 104, 150,
  35, 153, 155,  90, 156, 111, 158, 106, 159, 161, 163, 165, 166, 167,
 169, 171, 173, 174, 176, 177, 179, 178,  99, 181, 183, 185, 144, 186,
 188, 160, 190, 191,  32, 193,  87,  54, 180,  45, 195, 196, 198,  98,
 200, 175, 202, 204, 206,  60, 207,  70, 210, 211, 129, 213,  37, 123,
 216,  53, 218, 125,  62, 220, 209, 222, 223, 145,  39, 137, 149,  73,
 225, 189, 227, 228, 168, 142, 229, 215, 172, 212, 152, 233,  94, 234,
  78,  47, 236, 238, 240, 241, 243, 245, 247, 248, 249, 157, 252, 254,
  50, 255, 257, 258, 259, 230, 199, 261, 263, 264, 266, 214, 260, 268,
 242, 113, 270, 272, 274, 275, 277, 182, 279, 278, 194, 280, 139, 164,
 282, 208, 281, 235, 284, 286, 288, 289, 290, 292, 291, 294, 295, 237,
 273,  64, 297, 296, 299, 300, 301, 303, 304, 305,  66, 308, 309, 310,
 311, 313, 250, 315, 316, 317, 318, 319, 262, 321, 312, 162, 323, 324,
 244, 307, 256, 322, 326,  82, 328, 327, 329, 330, 285, 224, 331, 332,
 333, 334, 302, 151, 187, 336, 338, 339, 340, 341, 342, 197, 343, 337,
 192, 283, 269, 170, 345, 346, 347, 348,  92, 349, 351, 232, 287, 352,
  96, 335, 253, 353, 350, 251, 154, 231, 355, 298, 320, 306, 356, 115,
 267, 201, 357, 120, 358, 276, 359, 141, 354, 184, 325, 344, 360, 361,
 217, 362, 134, 203, 271, 363, 226, 314, 246, 239, 205, 364, 293, 265,
 221, 219 ],
    \[    1,   4,   3,   7,   9,  11,   2,   8,  15,  16,  18,  20,
  13,  14,   5,  24,  25,   6,  27,  29,  21,  22,  32,  10,  35,  37,
  36,  39,  12,  30,  31,  43,  45,  47,  17,  19,  50,  33,  53,  54,
  55,  42,  23,  44,  38,  60,  62,  64,  66,  26,  51,  70,  28,  73,
  75,  56,  68,  58,  78,  80,  82,  34,  85,  87,  69,  90,  92,  76,
  94,  96,  98,  99,  40,  74,  41,  57, 104, 106, 108,  46, 111, 113,
 115, 109, 118, 120,  48, 123, 125,  49,  97, 129, 131,  65, 134,  52,
 137, 139, 141, 142, 144, 102, 145, 107, 105,  59,  77, 117, 149, 151,
 152, 154,  61, 146, 157, 147,  79,  63, 160, 162, 164, 130, 136, 168,
 170, 172,  93, 175,  67, 178, 127, 101, 180, 182, 184,  88,  91, 187,
  71, 189,  72, 192, 143, 132, 183, 194, 158, 148,  84, 197, 199,  81,
 201, 190, 203, 205,  83, 116, 208, 209, 135,  86, 212, 214, 215, 166,
 217, 186, 219,  89, 165, 221, 185, 133, 224, 220, 163, 122, 179, 174,
 226,  95, 103, 161, 193, 124, 230, 231, 232, 112, 206, 100, 173, 114,
 195, 235, 237, 239, 110, 242, 244, 246, 223, 240, 250, 251, 253, 227,
 119, 256, 169, 177, 260, 121, 171, 262, 234, 265, 211, 267, 126, 269,
 155, 128, 271, 273, 159, 276, 278, 138, 279, 140, 228, 167, 238, 281,
 150, 196, 249, 283, 285, 287, 247, 153, 291, 289, 293, 248, 198, 156,
 191, 296, 259, 298, 257, 275, 302, 222, 207, 306, 307, 294, 272, 301,
 312, 314, 176, 277, 258, 270, 280, 320, 181, 322, 210, 233, 317, 325,
 188, 225, 326, 282, 204, 327, 288, 245, 200, 241, 202, 328, 286, 333,
 243, 216, 295, 321, 335, 337, 339, 266, 313, 255, 324, 304, 274, 213,
 309, 308, 261, 344, 341, 218, 264, 300, 349, 350, 268, 334, 319, 263,
 252, 305, 323, 354, 229, 236, 355, 332, 292, 330, 331, 290, 329, 352,
 336, 297, 254, 340, 346, 359, 348, 315, 343, 345, 310, 299, 347, 311,
 342, 360, 363, 318, 353, 303, 284, 356, 357, 358, 338, 316, 361, 362,
 364, 351 ]>;
AssertAttribute(G, "Order", 2^9 * 3^9 * 5 * 7 * 13);
