/*
www-ATLAS of Group Representations.
J1 represented as permutations on 1463 points.
*/

G<x,y>:=PermutationGroup<1463|\[
2,1,5,7,3,10,4,12,13,6,16,8,9,20,21,11,24,25,27,14,15,31,32,17,18,
36,19,38,39,41,22,23,45,46,48,26,51,28,29,55,30,57,58,59,33,34,63,35,65,66,
37,67,53,69,40,72,42,43,44,60,76,78,47,64,49,50,52,83,54,85,86,56,87,88,90,
61,93,62,95,96,98,100,68,103,70,71,73,74,109,75,92,91,77,113,79,80,117,81,119,82,
121,122,84,123,124,126,128,130,89,133,135,136,94,137,138,139,97,142,99,145,101,102,104,105,150,
106,152,107,154,108,156,157,110,158,111,112,114,115,116,163,164,118,165,166,120,169,170,171,173,125,
176,127,179,129,182,131,132,134,187,189,191,193,140,141,143,144,168,167,146,147,148,203,149,205,206,
151,207,208,153,211,212,155,213,214,216,218,159,221,160,223,161,225,162,227,228,196,231,233,235,236,
238,240,172,243,174,175,177,178,210,209,180,181,183,184,254,185,256,186,258,259,188,262,190,265,192,
268,194,195,272,273,197,275,198,277,199,200,280,201,282,202,283,284,204,285,286,288,290,292,294,295,
297,299,301,215,304,217,307,219,220,310,311,222,312,313,224,316,317,226,318,319,321,229,230,274,232,
326,234,329,331,237,334,239,241,242,244,245,341,246,343,247,345,248,347,249,250,350,251,352,252,354,
253,356,357,255,358,359,257,362,309,260,261,263,264,315,314,266,267,269,270,372,271,373,324,323,374,
276,375,376,278,379,279,381,382,281,383,384,385,387,389,391,287,394,289,397,291,400,293,403,405,296,
408,298,411,300,414,302,303,305,306,361,360,308,422,424,426,428,430,431,433,435,437,320,322,325,327,
328,443,444,330,447,332,333,335,336,337,454,338,456,339,458,340,460,461,342,462,463,344,466,467,346,
468,469,348,472,349,474,475,351,476,477,353,480,481,355,482,483,485,487,489,491,492,363,493,364,495,
365,497,366,499,367,368,502,369,504,370,506,371,508,509,510,511,513,377,378,516,517,380,518,519,521,
523,525,527,386,530,388,533,390,536,392,393,395,396,465,464,398,399,401,402,547,548,404,551,406,407,
409,410,479,478,412,413,415,416,562,417,564,418,566,419,568,420,421,423,572,425,575,427,578,429,581,
583,432,586,434,589,436,538,438,439,440,441,595,442,597,598,445,446,448,449,603,450,605,451,607,452,
609,453,611,612,455,531,574,457,615,616,459,617,507,590,619,621,623,624,626,628,630,470,471,633,634,
473,635,636,638,640,642,643,644,646,648,650,484,653,486,656,488,659,490,662,664,666,494,667,532,496,
670,671,498,672,673,500,676,501,678,679,503,680,681,505,539,684,685,687,689,512,692,514,515,696,698,
700,702,520,705,522,708,524,711,526,610,528,529,614,613,534,535,537,718,540,720,541,722,542,543,725,
544,727,545,729,546,731,732,549,550,552,553,737,554,739,555,741,556,557,558,745,559,747,560,749,561,
751,752,563,753,754,565,757,758,567,759,760,569,763,570,765,571,573,669,668,576,577,579,580,772,773,
582,776,584,585,587,588,683,682,591,592,784,593,786,594,787,788,596,789,790,792,599,795,600,797,601,
799,602,801,802,604,803,804,606,807,808,608,809,810,812,813,815,817,618,819,620,822,622,825,827,625,
830,627,833,629,836,631,632,839,734,842,844,637,846,639,849,641,852,854,782,645,858,647,861,649,864,
651,652,654,655,756,755,657,658,660,661,874,875,663,878,665,881,767,811,885,887,889,674,675,892,893,
677,894,895,897,872,900,744,853,686,903,688,690,691,693,694,910,695,912,913,697,916,699,918,701,920,
703,704,706,707,806,805,709,710,712,713,768,714,715,933,716,935,717,856,719,937,938,721,939,940,723,
943,724,945,946,726,947,876,728,873,950,730,951,953,733,956,957,735,959,736,961,738,962,963,740,966,
967,742,783,743,855,818,968,746,969,970,748,973,974,750,975,976,978,980,982,984,985,780,834,761,762,
832,989,764,990,991,766,994,931,995,769,997,770,999,771,1001,1002,774,775,777,778,1007,779,1009,1010,781,
1012,1013,785,1014,1015,1016,1018,1020,1022,791,1025,793,794,1029,1030,796,1031,798,1032,800,1033,1034,1036,1038,1040,
1042,1043,1045,1047,1048,883,1050,814,1053,816,1056,820,821,823,824,1062,1063,826,1066,828,829,831,949,948,835,
837,1072,838,1074,955,840,841,1077,843,1079,845,847,848,965,964,850,851,857,859,860,972,971,862,863,865,
866,1092,867,1094,868,1096,869,1098,870,871,1101,988,987,877,879,880,993,992,882,884,1083,886,1106,888,1109,
890,891,1113,1115,1116,1006,896,1120,898,899,1122,901,902,904,905,906,1127,907,1129,908,1131,909,1103,1133,911,
1134,1135,1136,914,915,917,919,921,922,1143,923,1145,924,1147,925,1149,926,927,1044,928,1046,929,930,1153,932,
1155,1156,934,1157,1158,936,1161,1162,1164,1089,1167,941,942,1170,1171,944,1067,1172,1132,1174,1071,952,1176,954,1179,
1180,958,1181,960,1182,1184,1186,996,1187,1189,1191,1193,1194,1060,1197,1124,977,1200,979,1202,981,1205,983,1207,1209,
986,1111,1023,1154,1213,998,1214,1215,1000,1110,1102,1217,1003,1220,1004,1005,1222,1223,1139,1008,1138,1011,1225,1091,1228,
1230,1017,1233,1019,1236,1021,1069,1024,1026,1027,1028,1241,1121,1119,1243,1141,1246,1035,1248,1037,1250,1039,1252,1041,1199,
1152,1151,1049,1104,1051,1052,1054,1055,1160,1159,1057,1058,1163,1059,1262,1263,1061,1247,1265,1064,1065,1068,1269,1070,1271,
1073,1272,1273,1075,1076,1078,1080,1277,1081,1266,1082,1084,1279,1085,1249,1086,1281,1087,1088,1284,1285,1090,1286,1150,1093,
1287,1095,1289,1290,1097,1291,1099,1293,1100,1295,1296,1239,1105,1107,1108,1299,1112,1301,1302,1114,1304,1117,1118,1306,1123,
1254,1275,1125,1309,1126,1311,1312,1128,1234,1313,1130,1270,1316,1212,1317,1137,1242,1140,1319,1320,1142,1168,1144,1190,1146,
1323,1148,1324,1226,1325,1326,1328,1330,1310,1332,1333,1165,1166,1334,1169,1185,1338,1339,1173,1237,1175,1177,1178,1308,1227,
1276,1183,1346,1188,1347,1192,1283,1282,1195,1196,1198,1201,1288,1203,1204,1206,1357,1208,1360,1210,1211,1363,1364,1216,1322,
1218,1219,1367,1221,1368,1224,1344,1274,1229,1259,1231,1232,1235,1315,1314,1238,1240,1376,1244,1245,1379,1300,1251,1253,1255,
1256,1383,1257,1361,1258,1386,1260,1261,1264,1349,1389,1390,1267,1268,1382,1377,1393,1387,1307,1396,1278,1280,1365,1335,1398,
1399,1352,1400,1402,1404,1406,1292,1408,1385,1294,1329,1409,1297,1298,1348,1411,1303,1305,1395,1414,1371,1416,1417,1419,1420,
1318,1341,1413,1321,1421,1422,1340,1327,1391,1359,1331,1343,1427,1336,1337,1384,1428,1342,1430,1369,1345,1432,1350,1351,1353,
1434,1354,1435,1355,1425,1356,1412,1358,1362,1437,1366,1407,1378,1370,1439,1372,1373,1441,1374,1375,1380,1381,1433,1443,1405,
1444,1388,1392,1446,1394,1431,1397,1423,1401,1403,1440,1410,1452,1415,1436,1418,1454,1424,1426,1448,1429,1457,1445,1449,1450,
1458,1438,1459,1442,1461,1456,1447,1451,1453,1460,1455,1463,1462]
,\[
3,4,6,8,9,1,11,2,14,15,17,18,19,5,22,23,7,26,28,29,30,10,33,34,35,
12,37,13,40,42,43,44,16,47,49,50,52,53,54,20,56,21,59,60,61,62,24,64,25,51,
36,27,68,70,71,73,74,75,31,32,77,79,48,63,80,81,82,38,84,39,72,55,41,89,91,
92,45,94,46,97,99,101,102,104,105,106,107,108,57,110,58,111,112,114,115,116,65,118,66,120,
67,103,83,69,125,127,129,131,132,134,76,113,93,78,139,140,141,143,144,146,147,121,148,149,85,
151,86,153,87,155,88,133,109,90,159,160,161,162,95,96,142,117,98,167,168,100,122,172,174,175,
177,178,180,181,183,184,185,186,188,190,192,194,195,196,197,198,119,199,200,201,202,123,204,124,176,
150,126,209,210,128,182,154,130,215,217,219,220,135,222,136,224,137,226,138,229,230,232,234,145,237,
239,241,242,244,245,246,247,248,152,249,250,251,252,253,156,255,157,257,158,260,261,263,264,266,267,
269,270,271,163,164,274,165,276,166,278,279,169,281,170,282,171,243,203,173,287,289,291,293,179,296,
298,300,302,303,305,306,308,309,258,187,262,221,189,314,315,191,268,225,193,320,322,323,272,324,325,
327,328,330,332,333,335,336,337,338,339,340,205,342,206,344,207,346,208,348,349,211,351,212,353,213,
355,214,304,254,216,360,361,218,259,363,364,365,366,223,367,368,369,370,371,227,372,228,273,231,326,
275,233,377,378,235,380,236,334,280,238,240,386,388,390,392,393,395,396,398,399,401,402,404,406,407,
409,410,412,413,415,416,417,418,419,256,420,421,423,425,427,429,265,432,434,436,438,439,440,373,441,
442,277,445,446,448,449,450,451,452,453,283,455,284,457,285,459,286,394,341,288,464,465,290,400,345,
292,470,471,294,473,295,408,350,297,478,479,299,414,354,301,484,486,488,490,307,422,362,310,494,311,
496,312,498,313,500,501,316,503,317,505,318,507,319,321,374,512,514,515,443,329,447,379,331,520,522,
524,526,528,529,531,532,534,535,537,538,539,540,541,343,542,543,544,545,546,347,549,550,552,553,554,
555,556,352,557,558,559,560,561,356,563,357,565,358,567,359,569,570,571,573,574,576,577,579,580,582,
584,585,587,588,590,460,591,477,592,593,594,375,596,376,444,599,600,601,602,381,604,382,606,383,608,
384,610,385,530,454,387,613,614,389,536,458,391,506,618,620,622,397,625,627,629,631,632,547,403,551,
472,405,637,639,641,508,411,645,647,649,651,652,654,655,657,658,660,661,663,665,572,493,424,668,669,
426,578,497,428,674,675,430,677,431,586,502,433,682,683,435,437,686,688,690,691,693,694,695,697,699,
701,703,704,706,707,709,710,712,527,609,713,575,456,714,715,716,717,461,719,462,721,463,723,724,466,
726,467,728,468,730,469,548,733,734,735,736,474,738,475,740,476,742,743,744,480,746,481,748,482,750,
483,653,562,485,755,756,487,659,566,489,761,762,491,764,492,766,767,495,612,768,769,770,771,499,774,
775,777,778,779,630,780,504,781,782,783,509,785,510,786,511,692,595,513,791,793,794,516,796,517,798,
518,800,519,705,603,521,805,806,523,711,607,525,811,533,814,816,818,636,820,821,823,824,826,828,829,
831,832,834,835,680,837,838,840,841,843,718,845,847,848,850,851,853,855,856,857,859,860,862,863,865,
866,867,868,869,564,870,871,872,873,760,568,876,877,879,880,882,883,884,886,888,890,891,772,581,776,
676,583,896,898,899,589,854,901,902,904,905,906,907,908,909,597,911,598,914,915,917,700,797,919,921,
922,923,924,925,605,926,927,928,929,930,611,931,932,615,934,616,936,617,844,619,822,720,621,941,942,
623,944,624,830,725,626,948,949,628,836,729,952,954,955,633,634,958,635,960,846,737,638,964,965,640,
852,741,642,684,643,644,858,745,646,971,972,648,864,749,650,977,979,981,983,656,986,950,987,988,874,
662,878,763,664,992,993,666,667,670,996,671,998,672,1000,673,773,1003,1004,1005,1006,678,1008,679,681,1011,
685,903,784,687,689,1017,1019,1021,1023,1024,1026,1027,1028,696,916,795,698,918,920,799,702,1035,1037,1039,1041,
708,1044,1046,1048,967,1049,1051,1052,1054,1055,1057,1058,1059,1060,1061,722,1064,1065,1067,1068,1069,1070,727,1071,758,
1009,731,1073,732,1075,1076,956,1014,1078,819,900,1080,1081,739,1082,1083,810,1084,1085,1086,747,1087,1088,1089,1090,
1091,751,1093,752,1095,753,1097,754,1099,1100,757,759,875,947,1038,1102,765,1103,1104,966,1105,893,1107,1108,1110,
1111,1112,1114,997,1117,1118,1119,1121,1029,1101,961,1123,1124,842,1125,1126,787,1128,788,1130,789,1132,790,1025,910,
792,1136,1137,951,1138,1139,1140,1141,1142,801,1144,802,1146,803,1148,804,1150,1151,807,1043,808,1152,809,812,1154,
813,1053,933,815,1159,1160,817,1163,1165,1166,1168,1169,1062,825,1066,943,827,1173,1131,989,833,1175,1177,1178,839,
957,1180,1079,959,1183,1185,849,995,1188,1190,1192,861,1195,1196,1198,1199,1149,1201,1202,1203,1204,1206,1113,1208,1210,
1211,1212,881,1153,885,1115,887,1109,999,889,1216,1218,1219,892,1221,1213,894,895,1120,1007,897,1224,1226,1227,1229,
1231,1232,1234,1235,1237,946,1238,1239,1214,1240,912,913,1242,1243,1244,1245,1247,1191,1249,1217,990,1251,1253,1200,1254,
1045,1225,994,1255,1256,1257,1258,1259,935,1260,1261,1197,937,1162,938,939,1264,940,1063,1266,1267,1268,945,1270,1176,
1072,953,1179,1074,1274,1275,1276,962,1278,963,1265,1161,968,1280,969,1248,970,1282,1283,973,974,1164,975,976,1092,
978,1288,980,1205,1096,982,1292,984,1294,985,1010,991,1297,1298,1133,1001,1300,1002,1098,1303,1106,1305,1222,1307,1047,
1012,1013,1308,1015,1310,1016,1233,1127,1018,1314,1315,1020,1022,1215,1279,1318,1030,1031,1032,1033,1321,1034,1143,1036,1322,
1252,1147,1040,1042,1050,1327,1329,1331,1309,1056,1187,1285,1284,1335,1336,1337,1339,1340,1325,1323,1341,1342,1343,1077,1286,
1344,1345,1295,1135,1348,1349,1350,1351,1334,1352,1181,1353,1094,1354,1355,1356,1358,1359,1361,1184,1362,1116,1134,1250,1145,
1365,1366,1304,1220,1223,1296,1122,1369,1158,1370,1371,1372,1373,1129,1374,1269,1375,1377,1368,1378,1380,1299,1174,1381,1316,
1382,1155,1384,1156,1385,1157,1387,1388,1263,1167,1186,1170,1391,1171,1172,1392,1394,1395,1182,1346,1277,1317,1189,1397,1193,
1194,1262,1401,1403,1405,1407,1302,1207,1360,1293,1209,1306,1389,1410,1411,1357,1412,1413,1228,1230,1415,1417,1418,1236,1347,
1333,1241,1379,1320,1246,1423,1424,1338,1390,1406,1425,1426,1376,1421,1328,1383,1271,1429,1272,1273,1431,1281,1398,1432,1433,
1287,1434,1289,1436,1290,1330,1291,1437,1396,1420,1301,1438,1319,1386,1311,1440,1312,1313,1442,1364,1363,1419,1324,1326,1414,
1332,1445,1446,1447,1448,1409,1449,1450,1451,1416,1439,1452,1367,1404,1435,1453,1422,1443,1430,1455,1456,1393,1444,1399,1400,
1402,1408,1460,1459,1427,1428,1461,1454,1458,1441,1462,1457,1463]
>;
print "Group G is J1 < Sym(1463)";