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