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