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

G<x,y>:=PermutationGroup<2080|\[
2,1,5,6,3,4,10,12,14,7,16,8,18,9,21,11,24,13,27,20,15,28,30,17,32,
34,19,22,38,23,40,25,42,26,35,45,47,29,50,31,53,33,56,58,36,60,37,62,64,39,
66,68,41,70,72,43,74,44,77,46,80,48,83,49,85,51,87,52,82,54,91,55,93,57,95,
96,59,98,100,61,102,69,63,105,65,108,67,111,113,115,71,118,73,121,75,76,124,78,126,79,
128,81,130,131,84,133,135,86,138,140,88,142,89,144,90,146,148,92,150,152,94,155,157,97,160,
99,163,101,166,103,104,170,106,172,107,174,175,109,178,110,180,112,169,114,183,116,186,117,188,119,
190,120,192,193,122,196,123,198,199,125,202,204,127,206,208,129,210,212,143,132,216,134,219,136,137,
222,224,139,226,141,229,231,145,233,209,147,236,149,239,151,242,153,154,245,247,156,250,158,159,254,
255,161,258,162,260,164,262,165,185,167,266,168,268,269,271,171,274,276,173,278,280,176,282,177,284,
179,286,288,181,291,182,294,184,296,297,187,299,301,189,304,306,191,308,310,194,312,195,314,316,197,
318,320,322,200,201,325,327,203,329,205,332,207,335,337,339,211,342,213,214,346,215,348,349,217,352,
218,354,220,356,221,358,223,361,225,364,227,366,228,368,369,230,372,373,232,376,234,235,380,237,382,
238,384,385,240,388,241,390,243,392,244,394,246,397,248,400,249,402,251,404,252,406,253,407,409,256,
411,257,413,259,415,417,261,420,422,263,424,264,426,265,428,430,267,432,434,436,270,439,272,273,442,
444,275,446,277,449,279,452,281,454,456,283,458,459,285,462,287,465,289,290,468,470,292,293,473,475,
295,478,480,425,298,484,300,487,302,303,490,492,305,494,307,497,309,500,311,502,504,313,506,508,315,
510,317,513,319,516,321,323,520,324,522,326,525,328,528,330,479,331,514,530,333,533,334,535,336,379,
338,538,340,541,341,543,343,545,344,547,345,548,550,347,552,554,350,556,351,558,353,560,562,355,565,
567,357,569,359,572,360,574,362,363,576,578,365,581,583,367,585,587,370,589,371,476,592,374,595,375,
471,597,377,416,378,600,601,603,381,606,608,383,610,612,386,614,387,616,389,618,620,391,623,625,393,
627,395,629,396,631,398,633,399,635,401,637,639,403,418,643,405,645,647,648,408,651,410,653,655,412,
657,570,414,659,419,661,663,421,665,423,668,670,427,672,674,429,676,431,678,433,680,435,437,684,438,
686,440,688,441,690,443,693,445,696,447,698,448,700,701,450,704,451,706,453,527,571,455,710,457,713,
460,716,461,718,719,463,649,464,722,466,724,467,726,469,729,731,472,733,734,474,737,477,739,741,481,
482,745,483,747,748,485,750,486,752,488,754,489,756,491,759,493,761,495,763,496,765,766,498,769,499,
771,501,773,503,776,505,779,507,782,509,785,511,638,512,787,788,789,515,791,517,793,518,519,582,796,
521,798,523,677,524,720,526,801,529,804,531,806,532,808,534,810,812,536,815,537,818,539,691,540,819,
542,654,544,822,546,824,826,827,549,828,551,831,553,834,555,673,837,557,839,840,559,843,561,846,563,
564,848,850,566,853,568,856,858,860,573,861,863,575,866,868,577,871,579,580,656,875,584,877,586,880,
588,882,884,590,886,591,889,593,594,891,893,596,895,598,898,599,900,901,902,602,905,604,605,908,607,
910,609,912,611,914,613,803,802,615,917,617,920,619,923,621,622,926,928,624,931,626,934,628,937,939,
630,941,943,632,946,823,634,948,799,636,951,640,641,642,955,644,958,646,961,854,650,963,652,784,965,
658,758,757,660,805,662,970,664,972,666,974,667,976,977,669,980,981,671,675,820,966,679,781,681,986,
682,683,685,989,991,687,992,994,689,996,998,692,1000,694,695,1002,1004,697,1005,971,699,847,702,1008,703,
864,1011,705,795,1013,707,1016,708,1018,709,711,1020,712,851,1022,714,936,715,1026,1028,717,1030,1032,1033,721,
1035,723,1038,918,725,1041,727,1043,728,1045,730,897,1047,732,1048,735,1050,736,1052,738,1054,887,740,1057,742,
743,744,1060,1062,746,973,954,749,1066,751,1068,753,1071,755,1073,1075,760,879,1077,762,1080,1082,764,924,1085,
767,1087,768,944,1090,770,1092,1094,772,1097,867,774,1100,775,1102,777,1104,778,929,1106,780,1109,783,1111,1113,
786,1116,1117,907,790,1119,1121,792,1124,1126,794,1128,797,1130,800,821,1133,1135,1099,807,845,809,906,811,1140,
813,814,1143,1145,816,817,1148,997,984,1074,825,1153,1154,829,1156,830,832,1159,833,1161,835,983,836,1164,838,
1167,841,1083,842,844,1171,1172,849,1175,1177,852,1179,855,1181,1182,857,1185,859,1163,862,1187,865,1189,1191,1098,
869,1194,870,1196,872,1198,873,874,1201,876,1203,1204,878,1207,1208,881,1210,883,1213,885,1216,888,890,1219,892,
1221,894,1224,896,1134,1228,899,1058,1142,903,1232,904,1234,1235,1229,909,1136,911,1238,1239,913,1241,915,985,916,
1244,919,1110,1246,921,1248,922,1003,1250,925,1252,927,1254,1255,930,1257,932,1259,933,1261,1262,935,1025,969,938,
1266,940,1249,942,1270,945,1272,1274,947,1078,949,1173,950,1279,1280,952,953,1283,956,1285,957,1287,1288,959,1290,
960,1292,962,1294,964,1297,1299,967,1055,968,1067,1302,1303,1305,975,1307,1059,978,1310,979,1149,1313,982,1146,1316,
1318,1320,987,988,1322,990,1325,1327,993,1160,995,1331,1019,999,1333,1335,1001,1338,1340,1342,1006,1007,1112,1344,1009,
1324,1010,1178,1012,1326,1014,1015,1350,1352,1017,1355,1021,1357,1023,1360,1024,1362,1363,1027,1243,1029,1365,1031,1368,1317,
1034,1371,1036,1037,1373,1375,1039,1040,1379,1042,1382,1384,1044,1386,1388,1046,1306,1321,1049,1394,1051,1396,1398,1053,1400,
1402,1404,1056,1065,1406,1408,1061,1410,1063,1064,1413,1414,1069,1070,1416,1072,1419,1195,1076,1420,1079,1422,1081,1103,1084,
1341,1086,1426,1088,1089,1428,1091,1431,1093,1434,1095,1096,1437,1439,1440,1101,1442,1444,1445,1105,1447,1107,1450,1108,1452,
1454,1301,1455,1114,1115,1457,1458,1118,1460,1120,1462,1122,1123,1464,1125,1467,1127,1469,1129,1465,1471,1131,1473,1132,1364,
1277,1137,1138,1477,1139,1217,1141,1480,1481,1144,1484,1486,1147,1488,1424,1150,1200,1151,1491,1152,1218,1155,1493,1176,1157,
1180,1158,1336,1498,1499,1162,1332,1165,1503,1166,1328,1505,1168,1381,1169,1251,1170,1510,1174,1512,1359,1470,1513,1515,1183,
1517,1184,1369,1520,1186,1356,1188,1523,1346,1190,1526,1192,1193,1300,1197,1531,1385,1199,1353,1533,1202,1372,1205,1536,1206,
1389,1539,1378,1209,1540,1339,1211,1543,1212,1367,1214,1545,1215,1376,1547,1529,1549,1551,1220,1552,1222,1554,1223,1449,1225,
1556,1226,1475,1227,1559,1230,1509,1231,1561,1233,1563,1433,1236,1237,1566,1240,1528,1568,1242,1245,1571,1247,1574,1315,1575,
1253,1546,1256,1577,1579,1258,1478,1412,1260,1583,1585,1263,1438,1264,1265,1569,1267,1589,1268,1269,1592,1271,1594,1399,1273,
1596,1275,1492,1276,1278,1542,1281,1282,1597,1284,1599,1286,1553,1289,1295,1604,1291,1606,1293,1347,1296,1609,1298,1612,1403,
1476,1304,1432,1615,1308,1309,1618,1610,1311,1522,1312,1621,1314,1624,1625,1319,1453,1323,1524,1629,1630,1631,1329,1330,1634,
1635,1637,1334,1639,1337,1605,1642,1541,1407,1343,1647,1345,1348,1651,1349,1653,1351,1656,1658,1354,1660,1485,1358,1494,1664,
1361,1588,1417,1391,1614,1366,1669,1370,1671,1673,1374,1676,1677,1377,1380,1508,1456,1383,1557,1387,1427,1390,1681,1392,1682,
1393,1395,1463,1397,1687,1401,1544,1690,1405,1692,1409,1694,1411,1696,1580,1415,1567,1418,1441,1698,1421,1701,1702,1423,1425,
1576,1429,1706,1430,1565,1708,1709,1435,1711,1436,1693,1598,1527,1443,1716,1718,1446,1721,1448,1724,1451,1459,1587,1461,1685,
1726,1725,1729,1466,1506,1468,1732,1733,1472,1483,1736,1474,1738,1530,1479,1720,1740,1482,1743,1744,1487,1746,1748,1489,1490,
1750,1752,1753,1495,1496,1497,1678,1756,1500,1501,1759,1502,1762,1504,1764,1766,1507,1768,1717,1770,1737,1511,1772,1650,1649,
1514,1776,1516,1778,1780,1518,1782,1519,1783,1521,1785,1787,1788,1525,1790,1791,1691,1793,1532,1796,1534,1731,1535,1799,1801,
1537,1538,1632,1802,1803,1548,1550,1805,1807,1600,1686,1555,1688,1811,1558,1667,1560,1586,1562,1813,1564,1816,1570,1818,1819,
1572,1573,1822,1823,1817,1578,1827,1581,1582,1829,1584,1830,1832,1834,1836,1590,1644,1591,1739,1616,1593,1841,1757,1595,1602,
1601,1844,1845,1603,1848,1672,1607,1608,1851,1846,1611,1646,1613,1719,1617,1855,1856,1619,1620,1858,1622,1859,1623,1861,1626,
1862,1627,1628,1754,1864,1633,1723,1866,1636,1868,1826,1638,1763,1640,1869,1641,1871,1643,1873,1645,1872,1648,1876,1877,1879,
1652,1881,1654,1883,1655,1885,1657,1659,1887,1661,1890,1662,1663,1893,1665,1666,1896,1668,1797,1898,1670,1794,1899,1674,1835,
1675,1679,1680,1903,1683,1904,1684,1907,1908,1843,1689,1910,1695,1913,1915,1697,1705,1699,1700,1919,1921,1703,1704,1867,1909,
1761,1707,1917,1710,1712,1925,1713,1918,1714,1800,1715,1928,1838,1929,1930,1722,1932,1810,1727,1728,1735,1936,1730,1938,1940,
1734,1942,1943,1945,1741,1742,1948,1745,1747,1944,1749,1751,1952,1755,1954,1758,1824,1760,1765,1911,1767,1771,1769,1960,1958,
1773,1774,1964,1775,1939,1777,1961,1779,1969,1781,1972,1784,1975,1931,1786,1978,1980,1789,1982,1895,1792,1986,1795,1798,1987,
1989,1905,1804,1806,1902,1992,1808,1809,1825,1812,1870,1996,1814,1998,1815,1924,1828,1833,1820,1970,1821,1947,1923,1916,1831,
2004,2006,1837,1839,1840,1889,1842,2009,1997,2012,1847,2011,1849,1880,1850,2015,1852,1853,1860,1854,2003,1922,1857,2018,2020,
1977,1863,2021,1865,2022,2024,2026,1875,2027,1874,1882,2002,2031,1878,2013,2033,2035,2007,1884,1920,2008,1886,1973,1995,1888,
1984,1951,1891,2043,1892,2044,1894,2041,1976,2045,1897,1900,2048,1901,2042,2049,1906,1993,2032,1974,1912,1934,1914,2047,2025,
2052,1962,1946,1926,2053,1927,1968,1971,1933,2056,1937,1935,1965,2057,1941,2059,2046,1949,2019,1950,1953,1955,2037,1956,2000,
1957,1959,2058,2029,2060,1963,1994,1966,2062,1967,2063,2023,2061,2051,2065,1983,1990,1979,1981,1985,2017,1999,1988,1991,2068,
2039,2001,2005,2070,2071,2010,2014,2028,2016,2030,2038,2034,2036,2072,2040,2074,2075,2050,2077,2054,2055,2064,2079,2066,2067,
2080,2069,2078,2073,2076]
,\[
3,4,6,7,8,9,11,13,1,15,2,17,19,20,22,23,25,26,5,14,27,29,31,16,33,
35,36,37,10,39,24,41,12,43,44,46,48,49,51,52,54,55,57,18,59,21,61,63,65,38,
67,62,69,71,73,42,75,76,78,79,81,82,28,84,50,86,30,88,89,90,32,92,56,94,34,
97,58,99,101,60,103,40,104,106,107,109,110,112,114,116,117,119,120,122,123,95,77,125,45,127,
80,129,47,132,83,134,136,137,139,141,87,143,130,53,145,147,149,91,151,153,154,156,158,159,161,
162,164,165,167,168,169,105,171,64,173,175,176,177,66,179,111,181,68,182,184,185,70,187,118,189,
72,191,193,194,195,74,197,96,200,201,203,205,126,207,146,209,211,213,214,215,217,218,220,221,85,
223,192,225,227,228,230,232,144,234,128,235,237,238,240,241,243,244,93,246,248,249,251,252,253,255,
256,257,98,259,163,261,100,263,264,265,102,267,113,270,272,273,275,277,172,279,202,281,108,283,285,
178,287,289,290,292,293,183,295,115,298,186,300,302,303,305,307,190,309,138,311,121,313,315,317,196,
319,321,323,324,124,326,174,328,330,331,333,334,336,338,340,341,343,344,345,131,347,349,350,351,133,
353,219,355,135,357,359,360,362,363,226,365,140,367,369,370,371,142,374,375,377,378,379,236,381,148,
383,385,386,387,150,389,242,391,152,393,395,396,398,399,155,401,250,403,157,405,322,198,408,314,410,
160,412,414,258,416,418,419,421,423,262,425,296,166,427,429,431,266,433,435,437,438,440,441,170,443,
368,445,447,448,450,451,453,327,455,457,282,394,460,461,463,464,466,467,180,469,471,472,268,474,476,
477,479,481,482,483,485,486,488,489,188,491,406,493,495,496,498,499,501,224,503,505,312,507,254,509,
511,512,514,515,517,518,519,199,521,523,524,526,527,329,529,204,478,530,531,532,206,534,335,536,208,
537,539,540,210,542,342,544,212,546,373,372,549,551,346,553,428,555,216,557,559,352,561,563,564,566,
568,356,570,571,222,573,361,575,310,577,579,580,582,584,366,586,274,588,229,590,591,593,594,231,596,
597,598,599,233,415,337,602,604,605,607,609,382,611,432,613,239,615,617,388,619,621,622,624,626,392,
459,628,245,630,397,632,247,634,636,400,638,640,641,642,644,404,646,304,649,650,652,508,654,656,411,
358,658,490,660,260,662,547,664,666,667,669,671,426,673,348,675,677,653,384,679,681,682,683,269,685,
439,687,271,689,691,692,694,695,446,697,276,699,701,702,703,278,705,452,707,280,708,709,711,712,714,
715,284,717,719,720,721,286,648,465,723,288,725,727,728,730,291,732,436,735,736,738,294,740,742,743,
744,297,746,748,741,749,299,751,487,753,301,755,757,758,583,760,494,762,306,764,766,767,768,308,770,
500,772,774,775,777,778,780,781,783,784,510,786,316,637,788,661,318,790,516,792,320,794,492,795,797,
520,799,800,325,676,525,718,802,803,480,805,332,807,809,533,811,813,814,816,817,538,710,339,690,655,
541,820,821,823,545,825,420,700,562,829,830,832,833,835,674,836,838,556,726,841,842,844,845,828,847,
354,849,851,852,854,855,857,859,672,572,862,864,865,867,869,870,872,873,364,874,686,876,878,879,881,
444,883,885,589,887,888,826,890,663,892,894,595,896,897,376,899,417,843,903,904,906,907,380,765,909,
773,911,868,913,915,678,528,916,614,918,919,921,922,924,925,390,927,929,930,932,933,935,936,938,940,
629,942,944,945,824,947,633,522,949,950,952,953,402,954,956,957,959,960,962,407,853,651,964,409,966,
967,413,965,968,513,969,971,889,665,973,422,975,977,978,979,424,696,982,983,430,984,985,680,506,434,
987,988,684,990,581,875,993,995,688,997,442,999,693,1001,587,1003,670,981,891,1006,698,548,1007,449,1009,
1010,796,704,1012,1014,1015,1017,657,454,1019,818,456,1021,1022,1023,1024,458,1025,1027,1029,716,1031,858,462,1034,
1036,1037,1039,1040,724,840,1042,468,1044,729,1046,470,808,731,1049,560,473,1051,737,1053,475,1055,1056,484,1058,
1059,980,1061,1063,745,1064,900,1065,1067,750,1069,1070,1072,754,1074,759,647,1076,1078,1079,1081,1083,763,1084,606,
1086,497,1088,1089,1091,769,1093,1095,1096,1098,608,1099,502,1101,776,1103,504,1105,1106,1107,1108,782,1110,1112,1114,
1115,639,937,1118,789,1120,1122,1123,1125,1127,793,917,1129,1131,1132,543,1134,976,1136,806,734,1137,1138,1139,1141,
1142,535,1144,1146,1147,600,1149,1150,756,1151,1152,592,1113,1155,550,1157,1158,552,1160,834,1162,554,1163,1165,1166,
1168,1169,558,1082,1170,846,1173,1174,1176,565,1178,567,1180,1182,1183,1184,569,1164,860,1186,1188,574,1190,1192,610,
1193,576,1195,871,1197,578,1199,1200,1202,1075,1204,1205,1206,585,880,1209,1211,1212,1214,1215,1217,1054,1218,1154,1220,
1222,1223,1225,1226,1227,1229,898,747,1230,1231,601,1233,905,603,1236,1237,910,866,1239,1240,1097,914,1242,612,1243,
616,1245,1246,1109,1247,618,1249,923,620,1251,1253,1254,1224,623,1256,931,1258,625,1260,1262,1263,1264,627,787,1265,
1267,1268,1248,1269,1271,631,1273,1275,1276,1277,1278,635,1172,1280,951,1281,1282,955,1284,643,1286,1288,1274,1289,645,
1291,961,1293,1295,1296,1298,659,1185,1300,1301,970,1283,1304,1306,974,1308,804,1309,668,1311,1312,1314,1315,861,1317,
1319,1321,986,733,1323,1324,1326,1328,1329,1159,1330,1332,1018,998,1334,1336,1337,1339,1341,1181,1066,827,1343,1345,1008,
1346,1347,1177,991,1348,1349,706,1351,1353,1354,1356,1020,1358,1359,713,1361,1068,1203,1035,1364,1305,1366,1367,1369,1370,
1033,831,1372,722,1374,1376,1377,1378,1380,1381,1383,1385,1043,1387,1389,1390,1391,1392,1393,1395,1050,1397,1272,1399,1401,
1403,739,1405,1057,1407,1238,1409,1411,1412,972,1252,1322,1415,752,1417,1418,1073,1194,1207,1421,761,1261,1423,1424,1002,
1425,908,1400,1087,1427,1429,1430,1432,1433,1435,1436,771,1438,1362,1441,1100,1443,1148,1446,1104,1448,1449,779,1451,1453,
920,1299,1111,1456,785,1287,1459,1235,1461,1462,1463,1458,791,1465,1466,1327,1468,1208,1470,1471,1472,1143,798,948,801,
1474,1475,1476,810,1478,1140,1479,812,1482,1483,1485,815,1487,902,1102,1489,819,1490,822,1492,1153,1171,1494,1495,1156,
1179,1496,1497,994,1500,1501,1502,1032,837,1504,1505,1506,1507,839,1508,1250,1509,848,1511,1175,850,1011,1514,1005,1516,
856,1518,1519,1521,1145,1187,1522,863,1524,1525,1527,1071,1528,1529,1530,1386,1532,1198,1333,1201,1534,1026,1535,877,1537,
1538,1420,1128,1469,1541,1320,1542,882,1544,1213,1030,884,1546,1547,1548,886,1550,1382,1515,1221,1553,893,1555,928,926,
895,1557,1047,1558,1431,1480,901,1560,1562,1232,1564,1303,1565,1085,1060,1567,912,1569,1570,1244,1572,1573,941,1004,1414,
1576,1545,1255,1578,1580,1581,1477,1582,1259,1584,1080,1586,934,1437,1587,1266,1588,939,1590,1591,1270,1593,943,1052,1595,
958,1457,946,1491,1473,1452,1279,1116,1598,1302,1600,1285,1601,1602,1603,1605,1290,1607,1608,1523,963,1610,1611,1481,1613,
1234,1092,1614,1616,1617,1135,1297,1619,1310,1355,1620,1622,1623,1316,1626,1627,1210,1628,989,1325,1126,992,1632,1633,1635,
1636,996,1638,1640,1000,1641,1643,1644,1645,1646,1648,1649,1650,1013,1652,1654,1655,1657,1016,1659,1133,1661,1662,1663,1665,
1360,1568,1666,1028,1667,1668,1368,1670,1672,1674,1675,1375,1038,1678,1679,1041,1219,1680,1556,1428,1594,1045,1615,1338,1048,
1683,1684,1685,1686,1688,1689,1543,1691,1404,1416,1693,1410,1695,1062,1697,1439,1408,1191,1698,1699,1700,1077,1561,1703,1704,
1705,1531,1090,1707,1708,1228,1434,1710,1094,1712,1566,1713,1714,1715,1717,1719,1720,1722,1723,1725,1450,1726,1117,1727,1119,
1121,1728,1124,1730,1467,1731,1733,1734,1735,1130,1737,1701,1460,1196,1216,1739,1741,1742,1484,1745,1486,1747,1749,1637,1419,
1751,1702,1634,1754,1371,1755,1677,1757,1758,1161,1760,1761,1763,1503,1765,1167,1767,1549,1769,1653,1771,1510,1773,1629,1774,
1775,1777,1342,1779,1781,1517,1762,1783,1669,1784,1786,1294,1189,1789,1526,1673,1792,1794,1795,1797,1798,1630,1363,1800,1681,
1536,1756,1631,1768,1402,1676,1804,1806,1597,1808,1809,1554,1810,1384,1660,1559,1488,1422,1812,1814,1815,1817,1241,1625,1820,
1821,1454,1740,1824,1825,1826,1828,1257,1696,1583,1830,1831,1833,1835,1837,1589,1744,1574,1838,1839,1840,1842,1388,1843,1596,
1552,1732,1846,1847,1813,1849,1850,1292,1379,1852,1853,1455,1854,1307,1718,1406,1857,1721,1444,1621,1642,1313,1860,1692,1805,
1318,1863,1575,1512,1539,1498,1865,1493,1867,1331,1796,1352,1639,1782,1335,1870,1872,1858,1340,1874,1647,1875,1344,1878,1880,
1651,1394,1882,1350,1884,1656,1886,1658,1888,1889,1357,1891,1892,1894,1895,1861,1365,1897,1577,1520,1624,1899,1900,1856,1373,
1834,1901,1902,1750,1682,1905,1906,1396,1687,1398,1909,1911,1912,1914,1916,1917,1413,1918,1864,1920,1922,1585,1873,1753,1426,
1868,1706,1923,1924,1711,1822,1926,1440,1927,1442,1799,1716,1445,1930,1931,1609,1447,1933,1934,1935,1464,1937,1729,1939,1599,
1941,1841,1944,1913,1946,1947,1943,1540,1736,1949,1950,1951,1953,1869,1499,1955,1956,1827,1957,1958,1766,1746,1959,1961,1962,
1963,1876,1513,1965,1776,1966,1967,1968,1970,1971,1973,1974,1690,1976,1977,1979,1981,1788,1983,1984,1985,1915,1811,1533,1988,
1990,1991,1802,1818,1551,1993,1994,1907,1995,1752,1996,1604,1997,1563,1999,1709,2000,2001,2002,1571,1969,1612,1579,2003,1829,
2005,1929,2007,1801,1592,1743,2008,2010,2011,2013,1787,1848,2014,1606,1879,2016,1877,1618,1859,1803,2017,1836,1791,2019,1948,
1982,1862,1910,1932,2023,2025,1819,1871,2028,1855,2029,2030,1942,1845,2032,2034,2036,1921,1883,2037,2031,2038,1764,2039,2040,
2041,2042,1890,1936,1866,1893,1952,1664,2006,2046,1896,2047,1671,1851,1903,1945,1881,2004,2009,1898,1694,1738,2050,1793,2051,
1904,2021,1925,1807,2054,1790,2055,2022,1908,1724,2015,2056,1964,2058,1844,1989,1960,2020,1748,2018,2044,1954,1980,2057,1759,
1972,1928,1823,1770,1772,2061,1940,1938,1992,2045,1778,1780,2060,2064,2035,1785,1978,2059,1919,1975,1986,1998,2066,2067,1987,
1816,2069,2062,1832,2027,2012,2048,2033,2043,2026,1885,2071,2053,1887,2073,2024,2076,2049,2078,2065,2063,2074,2077,2080,2052,
2068,2070,2075,2072,2079]
>;
print "Group G is Sz(8) < Sym(2080)";