/*
www-ATLAS of Group Representations.
Sz(8):3 represented as permutations on 1456 points.
*/

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