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