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