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