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