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