
print "The first simple group of Janko, J1, represented";
print "as a permutation group of degree 266. ";
print "Order: 175 560 = 2^3 * 3 * 5 * 7 * 11 * 19;  Base: 1,2,3,7";
print "Group: G";

G := PermutationGroup<266 |
    \[  1,   3,   2,   5,   4,   6,  25,   9,   8, 115, 108,  30,
112,  21,  16,  15,  20,  22,  23,  17,  14,  18,  19,  52,   7,  27,  26,
 64, 148,  12, 118, 116,  39,  87, 111, 169,  94,  66,  33, 109, 157,  43,
 42,  44,  70,  47,  46, 123,  51,  73,  49,  24, 193, 143, 168, 110, 149,
 58,  69,  60,  62,  61, 117,  28, 152,  38,  68,  67,  59,  45,  72,  71,
 50, 219, 221,  77,  76, 238,  79, 254, 233, 176,  84,  83, 183, 227,  34,
160, 179,  91,  90,  93,  92,  37, 206, 182, 144,  99,  98, 262, 166, 103,
102, 194, 158, 161, 125,  11,  40,  56,  35,  13, 114, 113,  10,  32,  63,
 31, 130, 175, 208, 199,  48, 200, 107, 209, 134, 129, 128, 119, 190, 133,
132, 127, 153, 136, 138, 137, 222, 141, 140, 247,  54,  97, 163, 178, 172,
 29,  57, 215, 257,  65, 135, 173, 156, 155,  41, 105, 171,  88, 106, 248,
145, 198, 203, 101, 189,  55,  36, 170, 159, 147, 154, 195, 120,  82, 177,
146,  89, 181, 180,  96,  85, 207, 240, 187, 186, 220, 167, 131, 212, 217,
 53, 104, 174, 260, 241, 164, 122, 124, 232, 211, 165, 263, 229,  95, 184,
121, 126, 216, 202, 191, 214, 213, 150, 210, 192, 218,  74, 188,  75, 139,
225, 251, 223, 231,  86, 255, 205, 256, 226, 201,  81, 235, 234, 264, 239,
 78, 237, 185, 197, 244, 253, 242, 246, 245, 142, 162, 250, 249, 224, 265,
243,  80, 228, 230, 151, 259, 258, 196, 266, 100, 204, 236, 252, 261],
    \[  1,   2,   3,   4,   5,   6,  34,  32,  52,  92, 135,  64,
 96,  19,  17,  14,  22,  20,  18,  16,  15,  23,  21,   8,  12, 168,  50,
 30,  28,   7,  24,  33,  31,  29,  93,  49,  13, 127, 116, 107, 120, 193,
 36,  71,  59,  47,  72,  53,  48,  56, 169, 118,  43,  85,  27,  57,  55,
 45,  69, 192, 189, 216, 202, 148, 136, 132, 171,  90,  70,  58,  46,  44,
 26, 105, 221, 233, 253, 257, 259,  78,  77, 201, 223, 158, 240, 188,  25,
172, 124, 114,  67, 111, 115,  88, 164, 147, 138, 243, 246, 247, 265, 212,
196, 251,  83, 224,  10, 133,  35,  73,  40,  94,  91, 180, 125,   9, 104,
 39, 209, 119, 129, 126,  51, 131, 109, 130, 153, 208, 167, 175, 150,  11,
 38,  66, 134, 152, 144, 218, 242,  82, 198, 262, 204,  97, 163, 139, 160,
 87, 110, 156, 238,  75, 108, 146, 215,  89, 122, 219,  68,  37, 211, 213,
264, 140, 191, 186,  62, 149,  42, 236, 181, 182, 195, 154, 157, 141, 220,
173, 155, 159, 113, 112, 143, 217, 183, 234, 101, 177, 128, 200, 103, 207,
123,  63, 244, 228, 252, 206,  41, 179,  95, 106, 255, 205, 185, 232, 184,
210, 199,  61, 117, 203, 239, 248, 190, 121,  60, 137, 226, 227,  65, 178,
231, 194,  84, 225,  86, 165, 263, 237,  74, 176, 245, 197, 187, 145, 214,
254, 256, 229, 235, 174,  76, 222,  98,  81,  80, 261, 250, 258, 161, 166,
 99, 142, 260, 266, 100,  79, 249, 102, 230, 151,  54, 170, 241, 162],
    \[  1,   2,  15,  24,  27,  46,   4,   7,  11,  93,  10, 189,
245,  23,  14,   3,  16,  17,  18,  19,  20,  21,  22,  34,  91,  25,  48,
  8,  28,  29,  30,  31,  32,  33, 132,  53, 105,  82,  63, 150,  40,  41,
 50,  72,  44,  45,  58,  57,   5,  49, 114,  51,  43,  99,  36,  55,  56,
  6,  69, 254, 201,  66,  62, 146, 144,  42,  95, 216,  47,  59,  70,  71,
 38, 112,  74,  75,  79, 236,  78,  81, 227, 232, 192, 188, 250, 235, 200,
197, 122,   9, 104, 126, 106,  37,  12, 136,  96,  97, 163, 214, 100, 101,
 94, 174, 183, 123, 116,  64, 175, 139, 169, 218,  73, 224, 129, 120,  87,
125,  90, 157, 119, 121,  89,  52, 131, 135, 179, 108,  92, 180, 199,  68,
181, 194, 124, 207, 103, 231, 178, 110, 155,  83, 142, 143, 263, 164, 166,
206, 161, 159, 147, 151, 251, 153, 154, 202, 193, 102, 109, 191, 128, 177,
162, 215, 205, 138, 118, 141, 167, 258, 198, 204, 210, 176,  39,  61, 249,
148,  26, 111, 208, 152, 221, 182, 160, 185,  84, 145, 168, 211, 238,  13,
 35, 130, 127,  65, 196, 222, 134, 173, 195, 107, 261,  98, 184, 133, 228,
190, 115, 242, 140, 246, 265,  54, 171, 156, 186, 217,  85, 247, 234, 149,
252, 209, 230,  80, 203, 223,  86, 256, 243, 117,  60, 233,  77, 225, 187,
 76, 226, 239, 240, 113, 165,  67,  88, 219, 213, 220, 158, 248, 244, 262,
237, 137, 229, 255, 260, 241, 266, 259, 170, 172, 257, 212, 264, 253],
    \[  2,   1,   4,   3,   6,   5,  15,  14,  10,   9,  11,  13,
 12,   8,   7,  24,  34,  33,  32,  31,  30,  29,  28,  16,  37, 105,  58,
 23,  22,  21,  20,  19,  18,  17,  68,  71,  25,  75,  40,  39,  63,  62,
 44,  43,  50,  49,  48,  47,  46,  45, 129,  92,  72, 214,  70,  59,  69,
 27,  56,  61,  60,  42,  41,  96, 153,  66,  88,  35,  57,  55,  36,  53,
 74,  73,  38,  82,  78,  77,  79,  81,  80,  76, 168, 188, 248, 225, 160,
 67, 122,  93,  94,  52,  90,  91, 245,  64, 146, 164, 100,  99, 163, 162,
104, 103,  26, 119, 116, 136, 159, 231, 118, 113, 112, 115, 114, 107, 191,
111, 106, 202, 123,  89, 121, 126, 180, 124, 221, 207,  51, 131, 130, 132,
152, 134, 135, 108, 174, 139, 138, 243, 142, 141, 155, 154, 187,  97, 148,
147, 223, 175, 206, 133,  65, 144, 143, 157, 156, 177, 109,  87, 228, 102,
101,  98, 211, 178, 169,  83, 167, 241, 172, 171, 186, 137, 150, 254, 158,
166, 183, 125, 182, 181, 179, 208, 200, 173, 145,  84, 192, 205, 117, 189,
216, 199, 234, 251, 244, 262, 194, 185, 233, 120, 239, 215, 190, 151, 128,
184, 224, 217, 165, 213, 212,  54, 204, 193, 210, 242, 220, 219, 127, 252,
149, 209,  86, 227, 226, 161, 230, 229, 110, 238, 201, 195, 236, 235, 263,
232, 203, 261, 170, 218, 140, 197,  95, 247, 246,  85, 249, 250, 196, 222,
257, 176, 256, 255, 253, 258, 259, 266, 240, 198, 237, 265, 264, 260]>;
AssertAttribute(G, "Order", 2^3 * 3 * 5 * 7 * 11 * 19);
