/* L3(8).6 as permutations of a set of cardinality 4672. */ G:=PermutationGroup<4672| (1, 2)(3, 5)(4, 7)(6, 10)(8, 13)(9, 15)(11, 18)(12, 20)(14, 23)(16, 26)(17, 28)(19, 31)(21, 34)(22, 36)(24, 39)(25, 41)(27, 44)(29, 47)(30, 49)(32, 52)(33, 54)(35, 57)(37, 60)(38, 62)(40, 65)(42, 68)(43, 70)(45, 73)(46, 75)(48, 78)(50, 81)(51, 83)(53, 86)(55, 89)(56, 91)(58, 94)(59, 96)(61, 99)(63, 102)(64, 104)(66, 107)(67, 109)(69, 112)(71, 115)(72, 117)(74, 120)(76, 123)(77, 125)(79, 128)(80, 130)(82, 133)(84, 136)(85, 138)(87, 141)(88, 143)(90, 146)(92, 149)(93, 151)(95, 154)(97, 157)(98, 159)(100, 162)(101, 164)(103, 167)(105, 170)(106, 172)(108, 175)(110, 178)(111, 180)(113, 183)(114, 185)(116, 188)(118, 191)(119, 193)(121, 196)(122, 198)(124, 200)(126, 203)(127, 205)(129, 208)(131, 211)(132, 213)(134, 216)(135, 218)(137, 221)(139, 224)(140, 226)(142, 229)(144, 232)(145, 234)(147, 237)(148, 239)(150, 242)(152, 245)(153, 247)(155, 250)(156, 252)(158, 255)(160, 258)(161, 260)(163, 263)(165, 266)(166, 267)(168, 270)(169, 272)(171, 275)(173, 278)(174, 280)(176, 283)(177, 285)(179, 288)(181, 291)(182, 293)(184, 296)(186, 299)(187, 301)(189, 304)(192, 308)(195, 312)(197, 315)(199, 318)(201, 321)(202, 323)(204, 326)(206, 329)(207, 331)(209, 334)(210, 336)(212, 339)(214, 342)(215, 344)(217, 347)(219, 350)(220, 352)(222, 355)(223, 357)(225, 360)(227, 363)(228, 365)(230, 368)(231, 370)(233, 373)(235, 376)(236, 378)(238, 381)(240, 383)(241, 385)(243, 388)(244, 390)(246, 393)(248, 395)(249, 397)(251, 400)(253, 403)(254, 405)(256, 408)(257, 410)(259, 413)(261, 415)(262, 417)(264, 420)(265, 422)(268, 425)(269, 427)(271, 430)(273, 433)(274, 435)(276, 436)(277, 432)(279, 440)(281, 443)(282, 445)(284, 448)(286, 451)(287, 453)(289, 455)(290, 457)(292, 460)(294, 463)(295, 464)(297, 467)(300, 471)(302, 474)(303, 476)(305, 478)(306, 480)(307, 482)(309, 485)(310, 487)(311, 489)(313, 492)(314, 494)(316, 497)(317, 499)(319, 502)(320, 504)(322, 507)(325, 510)(327, 513)(328, 515)(330, 518)(332, 520)(333, 522)(335, 525)(337, 528)(338, 530)(340, 533)(341, 535)(343, 538)(345, 541)(346, 543)(348, 546)(349, 548)(351, 551)(353, 554)(354, 556)(356, 486)(358, 561)(359, 563)(361, 566)(362, 568)(364, 571)(366, 574)(367, 575)(369, 578)(371, 580)(372, 582)(374, 585)(375, 587)(377, 590)(379, 593)(380, 595)(382, 598)(384, 601)(386, 604)(387, 606)(389, 608)(391, 611)(392, 613)(394, 616)(396, 619)(398, 622)(399, 624)(401, 627)(402, 629)(404, 632)(406, 635)(407, 637)(409, 640)(411, 642)(412, 644)(414, 646)(416, 649)(418, 652)(419, 654)(421, 657)(423, 660)(424, 662)(426, 665)(428, 668)(429, 670)(431, 673)(434, 677)(437, 680)(438, 682)(439, 684)(441, 687)(442, 689)(444, 692)(446, 695)(447, 697)(449, 700)(450, 702)(452, 705)(454, 708)(456, 711)(458, 714)(459, 716)(461, 719)(462, 721)(465, 725)(466, 727)(468, 729)(469, 731)(470, 733)(472, 736)(473, 738)(475, 740)(477, 742)(479, 745)(481, 748)(483, 589)(484, 599)(488, 756)(490, 758)(491, 760)(493, 762)(495, 765)(496, 767)(498, 770)(500, 773)(501, 775)(503, 778)(505, 781)(506, 783)(508, 786)(509, 788)(511, 791)(512, 793)(514, 796)(516, 799)(517, 800)(519, 803)(521, 806)(523, 809)(524, 811)(526, 813)(527, 815)(529, 583)(531, 819)(532, 821)(534, 824)(536, 827)(537, 829)(539, 830)(540, 832)(542, 835)(544, 838)(545, 840)(547, 842)(549, 845)(550, 847)(552, 664)(553, 851)(555, 853)(557, 855)(558, 857)(559, 859)(560, 861)(562, 864)(564, 867)(565, 869)(567, 872)(569, 875)(570, 877)(572, 681)(573, 880)(576, 884)(577, 886)(579, 889)(584, 895)(586, 898)(588, 901)(591, 656)(592, 906)(594, 909)(596, 912)(597, 914)(600, 918)(602, 920)(603, 922)(605, 925)(607, 928)(609, 930)(610, 932)(612, 935)(614, 938)(615, 940)(617, 943)(618, 945)(620, 948)(621, 950)(623, 953)(625, 956)(626, 958)(628, 960)(630, 962)(631, 964)(633, 967)(634, 969)(636, 972)(638, 975)(639, 976)(641, 979)(643, 981)(645, 984)(647, 987)(648, 989)(650, 992)(651, 994)(653, 997)(655, 1000)(658, 1004)(659, 1006)(661, 1009)(663, 1011)(666, 1015)(667, 1017)(669, 1020)(671, 1023)(672, 1025)(674, 1028)(675, 1030)(676, 1032)(678, 1035)(679, 1037)(683, 1042)(685, 1045)(686, 1047)(688, 1050)(690, 1053)(691, 1055)(693, 1058)(694, 1060)(696, 1063)(698, 1065)(699, 1067)(701, 1070)(703, 1071)(704, 1073)(706, 1074)(707, 900)(709, 1078)(710, 1080)(712, 1083)(713, 1085)(715, 1087)(717, 1090)(718, 1092)(720, 1095)(722, 1098)(723, 1100)(724, 1102)(726, 1105)(728, 1108)(730, 1111)(732, 1114)(734, 1117)(735, 1119)(737, 1122)(739, 1124)(741, 1127)(743, 1130)(744, 1132)(746, 1135)(747, 1137)(749, 1140)(750, 1142)(751, 1144)(752, 1146)(753, 1148)(754, 1150)(755, 1152)(757, 1154)(759, 1157)(761, 1160)(763, 1163)(764, 1165)(766, 1168)(768, 1171)(769, 1173)(771, 882)(772, 1177)(774, 1180)(776, 1183)(777, 1185)(779, 1188)(780, 1190)(782, 951)(784, 1010)(785, 1196)(787, 1199)(789, 1202)(790, 1204)(792, 1206)(794, 1209)(795, 1211)(797, 1214)(798, 1216)(801, 1220)(802, 1221)(804, 1224)(807, 1227)(808, 1229)(812, 1234)(814, 1237)(816, 1240)(817, 1242)(818, 1244)(820, 1247)(822, 1250)(823, 1252)(825, 1255)(826, 1257)(828, 1260)(831, 1263)(833, 1266)(834, 1268)(836, 1271)(837, 1273)(841, 1277)(843, 1280)(844, 1282)(846, 1283)(848, 1286)(849, 1288)(850, 1290)(852, 1293)(854, 1014)(856, 1298)(858, 1301)(860, 1304)(862, 970)(863, 1307)(865, 1310)(866, 1312)(868, 1315)(870, 1318)(871, 1320)(873, 1323)(874, 1325)(876, 1328)(878, 1331)(879, 1333)(881, 1336)(883, 1338)(885, 1341)(887, 1344)(888, 1346)(890, 1349)(891, 1278)(892, 1352)(893, 1354)(894, 1356)(896, 1359)(897, 1361)(899, 1364)(902, 1368)(903, 1370)(904, 1372)(905, 1374)(907, 1376)(908, 1378)(910, 1381)(911, 1103)(913, 1384)(915, 1387)(916, 1212)(917, 1390)(919, 1393)(921, 1396)(923, 1399)(924, 1401)(926, 1403)(927, 1405)(929, 1408)(931, 1411)(933, 1414)(934, 1416)(936, 1419)(937, 1421)(939, 1158)(941, 1425)(942, 1427)(944, 1430)(946, 1432)(947, 1434)(949, 1437)(952, 1441)(954, 1444)(955, 1446)(957, 1449)(959, 1451)(961, 1454)(963, 1101)(965, 1457)(966, 1459)(968, 1462)(971, 1466)(973, 1468)(974, 1470)(977, 1473)(978, 1475)(980, 1478)(982, 1480)(983, 1482)(985, 1485)(986, 1487)(988, 1489)(990, 1492)(991, 1493)(993, 1496)(995, 1498)(996, 1500)(998, 1306)(999, 1504)(1001, 1506)(1002, 1507)(1003, 1509)(1005, 1512)(1007, 1514)(1008, 1516)(1012, 1521)(1013, 1523)(1016, 1526)(1018, 1528)(1019, 1530)(1021, 1269)(1022, 1533)(1024, 1536)(1026, 1537)(1027, 1539)(1029, 1162)(1031, 1544)(1033, 1113)(1034, 1302)(1036, 1549)(1038, 1551)(1039, 1553)(1040, 1555)(1041, 1557)(1044, 1561)(1046, 1564)(1048, 1194)(1049, 1567)(1051, 1570)(1052, 1572)(1054, 1575)(1056, 1578)(1057, 1580)(1059, 1583)(1061, 1586)(1064, 1589)(1066, 1321)(1068, 1594)(1069, 1596)(1072, 1599)(1075, 1603)(1076, 1576)(1077, 1606)(1079, 1609)(1081, 1612)(1082, 1614)(1084, 1617)(1086, 1620)(1088, 1623)(1089, 1625)(1091, 1628)(1093, 1631)(1094, 1633)(1096, 1636)(1097, 1638)(1099, 1641)(1104, 1647)(1106, 1649)(1107, 1651)(1109, 1654)(1110, 1656)(1112, 1621)(1115, 1662)(1116, 1213)(1118, 1279)(1120, 1668)(1121, 1670)(1123, 1672)(1125, 1675)(1126, 1543)(1128, 1679)(1129, 1681)(1131, 1683)(1133, 1294)(1134, 1687)(1136, 1690)(1138, 1693)(1139, 1695)(1141, 1697)(1143, 1700)(1145, 1702)(1147, 1704)(1149, 1706)(1151, 1707)(1153, 1710)(1155, 1542)(1156, 1714)(1159, 1718)(1164, 1545)(1167, 1727)(1169, 1730)(1170, 1433)(1172, 1733)(1174, 1241)(1175, 1503)(1176, 1738)(1178, 1740)(1179, 1742)(1181, 1745)(1182, 1747)(1184, 1749)(1186, 1752)(1187, 1592)(1189, 1755)(1191, 1758)(1192, 1760)(1193, 1761)(1195, 1763)(1197, 1766)(1198, 1569)(1200, 1770)(1201, 1771)(1203, 1774)(1205, 1777)(1207, 1780)(1208, 1782)(1210, 1785)(1215, 1791)(1217, 1793)(1218, 1795)(1219, 1797)(1222, 1801)(1223, 1802)(1225, 1805)(1226, 1807)(1228, 1810)(1230, 1813)(1231, 1815)(1232, 1817)(1233, 1629)(1235, 1821)(1236, 1823)(1238, 1826)(1239, 1828)(1245, 1835)(1246, 1836)(1248, 1558)(1249, 1840)(1251, 1842)(1253, 1844)(1254, 1587)(1256, 1848)(1258, 1850)(1259, 1852)(1261, 1854)(1262, 1856)(1264, 1754)(1265, 1860)(1267, 1863)(1270, 1867)(1272, 1870)(1274, 1873)(1275, 1875)(1276, 1877)(1281, 1882)(1284, 1886)(1285, 1604)(1287, 1889)(1289, 1892)(1291, 1895)(1292, 1897)(1295, 1900)(1296, 1902)(1297, 1904)(1299, 1907)(1300, 1909)(1303, 1912)(1305, 1915)(1308, 1511)(1309, 1919)(1311, 1921)(1313, 1505)(1314, 1924)(1316, 1855)(1317, 1928)(1319, 1931)(1322, 1935)(1324, 1938)(1326, 1941)(1327, 1360)(1329, 1945)(1330, 1947)(1332, 1949)(1334, 1822)(1335, 1953)(1337, 1954)(1339, 1957)(1340, 1959)(1342, 1962)(1343, 1963)(1345, 1966)(1347, 1969)(1348, 1971)(1350, 1519)(1351, 1974)(1353, 1976)(1355, 1977)(1357, 1980)(1358, 1982)(1362, 1987)(1363, 1989)(1365, 1992)(1366, 1994)(1367, 1996)(1369, 1999)(1371, 2002)(1373, 2005)(1375, 1950)(1377, 2010)(1379, 2013)(1380, 2015)(1382, 1524)(1383, 2018)(1385, 1984)(1386, 2021)(1388, 2023)(1389, 2025)(1391, 2028)(1392, 2030)(1394, 2033)(1395, 1934)(1397, 2037)(1398, 2039)(1400, 2042)(1402, 2044)(1404, 2047)(1406, 2050)(1407, 2052)(1409, 2054)(1410, 2056)(1413, 2059)(1415, 2061)(1417, 2064)(1418, 2066)(1420, 2069)(1422, 2071)(1423, 2072)(1424, 1878)(1426, 2076)(1428, 2078)(1429, 2080)(1431, 2024)(1435, 2086)(1436, 2088)(1438, 1993)(1439, 2092)(1440, 2093)(1442, 2096)(1443, 1932)(1445, 2100)(1447, 2103)(1448, 2105)(1450, 2108)(1452, 2111)(1453, 2113)(1455, 1837)(1456, 2115)(1458, 2117)(1460, 2118)(1461, 2120)(1463, 1725)(1464, 2121)(1465, 2123)(1467, 2126)(1469, 2128)(1471, 2130)(1472, 2131)(1474, 2133)(1476, 2135)(1477, 2136)(1479, 2138)(1481, 2141)(1483, 2144)(1484, 2146)(1486, 2148)(1488, 2151)(1490, 2154)(1491, 1983)(1494, 2159)(1495, 2160)(1497, 2098)(1499, 2163)(1501, 2166)(1502, 2168)(1508, 2175)(1510, 2177)(1513, 2180)(1515, 2183)(1517, 2006)(1518, 2187)(1520, 2190)(1522, 2193)(1525, 2196)(1527, 2198)(1529, 2201)(1531, 2204)(1532, 2206)(1534, 2208)(1535, 2209)(1538, 2212)(1540, 2214)(1541, 2216)(1546, 2222)(1547, 2224)(1548, 2226)(1550, 2229)(1552, 2232)(1554, 1839)(1556, 2236)(1559, 2240)(1560, 2242)(1562, 2245)(1563, 2247)(1565, 2249)(1566, 2250)(1568, 1891)(1571, 2254)(1573, 2257)(1574, 2259)(1577, 2263)(1579, 2027)(1581, 2268)(1582, 2270)(1584, 2273)(1585, 2275)(1588, 1634)(1590, 2280)(1591, 2282)(1593, 2284)(1595, 2287)(1597, 2290)(1598, 2292)(1600, 2293)(1601, 2295)(1602, 2297)(1605, 2301)(1607, 2304)(1608, 2306)(1610, 2308)(1611, 2310)(1613, 2313)(1615, 2314)(1616, 2089)(1618, 2318)(1619, 2320)(1622, 2324)(1624, 2326)(1626, 2328)(1627, 2330)(1630, 2334)(1632, 2337)(1635, 2341)(1637, 2344)(1639, 2347)(1640, 1724)(1642, 2349)(1644, 2351)(1645, 2353)(1646, 2355)(1648, 2358)(1650, 2361)(1652, 2364)(1653, 2366)(1655, 2368)(1657, 2370)(1658, 2372)(1659, 2106)(1661, 2055)(1663, 2376)(1664, 2377)(1665, 2378)(1666, 2379)(1667, 2381)(1669, 2384)(1671, 2387)(1673, 2390)(1674, 2392)(1676, 2394)(1677, 2045)(1678, 2397)(1680, 2399)(1682, 2402)(1684, 2404)(1685, 2405)(1686, 2406)(1688, 2408)(1689, 2410)(1691, 2412)(1692, 2413)(1694, 2415)(1696, 2034)(1698, 2418)(1699, 2420)(1701, 2423)(1703, 2424)(1705, 2427)(1708, 2430)(1709, 2432)(1711, 2434)(1712, 2436)(1713, 2438)(1715, 2020)(1716, 2439)(1717, 1922)(1719, 2442)(1720, 2444)(1721, 2446)(1722, 2448)(1723, 2450)(1726, 2454)(1728, 2456)(1729, 2457)(1732, 1901)(1734, 2461)(1735, 2463)(1736, 2070)(1737, 2466)(1739, 2469)(1741, 2471)(1743, 2473)(1744, 2474)(1746, 2476)(1750, 2480)(1751, 2482)(1753, 2484)(1756, 2487)(1757, 2489)(1759, 1764)(1762, 2494)(1765, 2496)(1767, 2497)(1768, 2499)(1769, 2500)(1772, 2504)(1773, 2506)(1775, 2509)(1776, 2511)(1778, 2513)(1779, 2300)(1781, 2516)(1783, 2157)(1784, 2520)(1786, 2523)(1787, 2518)(1788, 2525)(1789, 2527)(1790, 2262)(1792, 2531)(1794, 2534)(1796, 2176)(1798, 2536)(1799, 2538)(1800, 2540)(1803, 2543)(1804, 2544)(1806, 2546)(1808, 2549)(1809, 2550)(1811, 2551)(1812, 2528)(1814, 2554)(1816, 2556)(1818, 1871)(1819, 2559)(1820, 2561)(1824, 2563)(1825, 2565)(1827, 2568)(1829, 2571)(1830, 2573)(1831, 2574)(1832, 2576)(1833, 2578)(1834, 2580)(1838, 2583)(1841, 2585)(1843, 2588)(1846, 2591)(1847, 2593)(1849, 2595)(1851, 2597)(1853, 2017)(1857, 2601)(1858, 2603)(1859, 2605)(1861, 2608)(1862, 2609)(1864, 2231)(1865, 2613)(1866, 2615)(1868, 2618)(1869, 2620)(1872, 2624)(1874, 2627)(1876, 2630)(1879, 2633)(1880, 2635)(1881, 2637)(1883, 2639)(1884, 2640)(1885, 2642)(1887, 2645)(1888, 2647)(1890, 2650)(1893, 2653)(1894, 2202)(1896, 2657)(1898, 2659)(1899, 2661)(1903, 2666)(1905, 2227)(1906, 2669)(1908, 2671)(1910, 2674)(1911, 2143)(1913, 2677)(1914, 2678)(1916, 2681)(1917, 2682)(1918, 2684)(1920, 2685)(1923, 2689)(1925, 2692)(1926, 2693)(1929, 2697)(1930, 2699)(1933, 2701)(1936, 2705)(1937, 2707)(1939, 2709)(1940, 2711)(1942, 2714)(1943, 2716)(1944, 2717)(1946, 2464)(1948, 2722)(1951, 2724)(1952, 2357)(1955, 2729)(1956, 2194)(1958, 2732)(1960, 2734)(1961, 2736)(1964, 2739)(1965, 2741)(1967, 2743)(1968, 2745)(1970, 2003)(1972, 2749)(1973, 2706)(1975, 2750)(1978, 2753)(1979, 2754)(1981, 2757)(1985, 2762)(1986, 2764)(1988, 2702)(1990, 2768)(1991, 2770)(1995, 2773)(1997, 2775)(1998, 2776)(2000, 2778)(2001, 2780)(2004, 2784)(2007, 2723)(2008, 2789)(2009, 2790)(2011, 2793)(2012, 2795)(2014, 2668)(2016, 2798)(2019, 2801)(2022, 2805)(2026, 2178)(2029, 2812)(2031, 2813)(2032, 2814)(2035, 2817)(2036, 2818)(2038, 2821)(2040, 2727)(2041, 2825)(2043, 2090)(2046, 2830)(2048, 2833)(2049, 2835)(2051, 2837)(2053, 2840)(2057, 2844)(2058, 2846)(2060, 2848)(2062, 2311)(2063, 2852)(2065, 2855)(2067, 2629)(2068, 2859)(2073, 2863)(2074, 2865)(2075, 2867)(2077, 2869)(2079, 2870)(2081, 2558)(2082, 2873)(2083, 2875)(2084, 2876)(2085, 2878)(2087, 2881)(2091, 2883)(2094, 2886)(2095, 2888)(2097, 2890)(2099, 2893)(2101, 2895)(2102, 2897)(2104, 2899)(2107, 2903)(2109, 2905)(2110, 2425)(2112, 2908)(2114, 2911)(2116, 2359)(2119, 2914)(2122, 2882)(2124, 2294)(2125, 2383)(2127, 2921)(2129, 2923)(2132, 2927)(2134, 2429)(2137, 2909)(2139, 2907)(2140, 2934)(2142, 2935)(2145, 2939)(2147, 2656)(2149, 2944)(2150, 2945)(2152, 2947)(2153, 2949)(2155, 2952)(2156, 2953)(2161, 2958)(2162, 2960)(2164, 2962)(2165, 2964)(2167, 2797)(2169, 2967)(2170, 2968)(2171, 2970)(2172, 2972)(2173, 2973)(2174, 2974)(2179, 2978)(2181, 2309)(2182, 2951)(2184, 2983)(2185, 2985)(2186, 2987)(2188, 2990)(2189, 2991)(2191, 2994)(2192, 2478)(2195, 2998)(2197, 2965)(2199, 2611)(2200, 3004)(2203, 3008)(2205, 3011)(2207, 3013)(2210, 3016)(2211, 3018)(2213, 2380)(2215, 3020)(2217, 3022)(2218, 3024)(2219, 3026)(2220, 2303)(2221, 3029)(2223, 3031)(2225, 3033)(2228, 2759)(2230, 2362)(2233, 3038)(2234, 2492)(2235, 3040)(2237, 3041)(2238, 3042)(2239, 3044)(2241, 3046)(2243, 3049)(2244, 3051)(2246, 3054)(2248, 3056)(2251, 2779)(2252, 3060)(2253, 2614)(2255, 3063)(2256, 3064)(2258, 3067)(2260, 2443)(2261, 3069)(2264, 3072)(2265, 3073)(2266, 3074)(2267, 3075)(2269, 2488)(2271, 3078)(2272, 2315)(2274, 3082)(2276, 2956)(2277, 3085)(2278, 2490)(2279, 3088)(2281, 2360)(2283, 3092)(2285, 3094)(2286, 3096)(2288, 3099)(2289, 3100)(2291, 3102)(2296, 3107)(2298, 3109)(2299, 2719)(2302, 3113)(2305, 2333)(2307, 3117)(2312, 3050)(2316, 3125)(2317, 3127)(2319, 3128)(2321, 3131)(2322, 2831)(2323, 2572)(2325, 3134)(2327, 3137)(2329, 3139)(2331, 3142)(2332, 3144)(2335, 3146)(2336, 3148)(2338, 3150)(2340, 2367)(2342, 2374)(2343, 3154)(2345, 3157)(2348, 2787)(2350, 3161)(2352, 3164)(2354, 3167)(2356, 3169)(2363, 3173)(2365, 3175)(2369, 3179)(2371, 3182)(2373, 3185)(2375, 3187)(2382, 3194)(2385, 3197)(2386, 3199)(2388, 3202)(2389, 2767)(2391, 2802)(2393, 3207)(2395, 3210)(2396, 2673)(2398, 3212)(2400, 3214)(2401, 3215)(2403, 3218)(2407, 3221)(2409, 3223)(2411, 3226)(2414, 2877)(2416, 3231)(2417, 3232)(2419, 3235)(2421, 3236)(2422, 3237)(2426, 3242)(2431, 2533)(2433, 2584)(2435, 3249)(2437, 3251)(2440, 2785)(2441, 3253)(2445, 3256)(2447, 3259)(2449, 3261)(2451, 3263)(2452, 3264)(2453, 3124)(2455, 3266)(2458, 3268)(2459, 3270)(2460, 3272)(2462, 3274)(2465, 3277)(2467, 3280)(2468, 3282)(2470, 3285)(2472, 3287)(2475, 3121)(2477, 2728)(2479, 3291)(2481, 3293)(2483, 2726)(2485, 3297)(2486, 3298)(2491, 3023)(2493, 2803)(2495, 3302)(2498, 3304)(2501, 3307)(2502, 3308)(2503, 3309)(2505, 3312)(2507, 3314)(2508, 3068)(2510, 3317)(2512, 3320)(2514, 3321)(2515, 3322)(2517, 3324)(2519, 3326)(2521, 3329)(2522, 3331)(2524, 3334)(2526, 2811)(2529, 3339)(2530, 3341)(2532, 3343)(2535, 3114)(2537, 3198)(2539, 2988)(2541, 3352)(2542, 3354)(2545, 3357)(2547, 3149)(2548, 2761)(2552, 3361)(2553, 3363)(2555, 3365)(2557, 3138)(2560, 3368)(2562, 3370)(2564, 2806)(2566, 3374)(2567, 3376)(2569, 3355)(2570, 3380)(2575, 2827)(2577, 3386)(2579, 3388)(2581, 3005)(2582, 3392)(2586, 3394)(2587, 3129)(2589, 3205)(2590, 3397)(2592, 2912)(2594, 3401)(2596, 2904)(2598, 3405)(2599, 3407)(2600, 3409)(2602, 3411)(2604, 3412)(2606, 3414)(2607, 3416)(2610, 3012)(2612, 3420)(2616, 3424)(2617, 3426)(2619, 3428)(2621, 3431)(2622, 3433)(2623, 3435)(2625, 3399)(2626, 3230)(2628, 3439)(2631, 3442)(2632, 3443)(2634, 2810)(2636, 3446)(2638, 3449)(2641, 3453)(2643, 3455)(2644, 2902)(2646, 3458)(2648, 3461)(2649, 3086)(2651, 3463)(2652, 3465)(2654, 3467)(2655, 3469)(2658, 3473)(2660, 3475)(2662, 3477)(2663, 3479)(2664, 3480)(2665, 3292)(2667, 3483)(2670, 3486)(2672, 3487)(2675, 3490)(2676, 3492)(2679, 3495)(2680, 3141)(2683, 3499)(2686, 3025)(2688, 3503)(2690, 3505)(2691, 3103)(2694, 3506)(2695, 3508)(2696, 3509)(2698, 3511)(2700, 3171)(2703, 3516)(2704, 3518)(2708, 3520)(2710, 3195)(2712, 3522)(2715, 3524)(2718, 3222)(2720, 3526)(2721, 3493)(2725, 3528)(2730, 3496)(2731, 3533)(2733, 3536)(2735, 3538)(2737, 3541)(2738, 3543)(2740, 3055)(2742, 3548)(2744, 3551)(2746, 3554)(2747, 3555)(2748, 2936)(2751, 3559)(2752, 3561)(2755, 3563)(2756, 3565)(2758, 3566)(2763, 3569)(2765, 3466)(2766, 3571)(2769, 3575)(2771, 3489)(2772, 3229)(2774, 3578)(2777, 3581)(2781, 3585)(2782, 3587)(2783, 3299)(2786, 3591)(2788, 3470)(2791, 3278)(2792, 3596)(2794, 3597)(2796, 2916)(2799, 3601)(2800, 3603)(2804, 3606)(2807, 3400)(2808, 3609)(2809, 3610)(2815, 3406)(2816, 3614)(2819, 3616)(2820, 3618)(2822, 3620)(2823, 3622)(2824, 3624)(2826, 3626)(2828, 3629)(2829, 2849)(2832, 3631)(2834, 2925)(2836, 3635)(2838, 3637)(2839, 3638)(2841, 3640)(2842, 3642)(2845, 3645)(2847, 3648)(2850, 3650)(2851, 3652)(2853, 3654)(2854, 3656)(2856, 3658)(2857, 3659)(2858, 3660)(2860, 3662)(2861, 3628)(2862, 3180)(2864, 3665)(2866, 3667)(2868, 3669)(2871, 3671)(2872, 3673)(2874, 3602)(2879, 3677)(2880, 3679)(2884, 3682)(2885, 3515)(2887, 3076)(2889, 3105)(2891, 3686)(2892, 2938)(2894, 3688)(2896, 3691)(2898, 3617)(2900, 3695)(2901, 3002)(2906, 3698)(2910, 3701)(2913, 3579)(2915, 3704)(2917, 3383)(2918, 3706)(2919, 3708)(2920, 3710)(2922, 3713)(2924, 3714)(2926, 3715)(2928, 3716)(2929, 3718)(2930, 3719)(2931, 3720)(2932, 3037)(2933, 3281)(2937, 3627)(2940, 3724)(2941, 3725)(2942, 3306)(2943, 3727)(2946, 3183)(2948, 3729)(2950, 3730)(2954, 3734)(2955, 3735)(2957, 3316)(2959, 3739)(2961, 3741)(2963, 3744)(2966, 3747)(2969, 3130)(2971, 3752)(2975, 3754)(2976, 3755)(2977, 3757)(2979, 3759)(2980, 3120)(2981, 3761)(2982, 3763)(2984, 3116)(2986, 3766)(2989, 3318)(2992, 3771)(2993, 3773)(2995, 3776)(2996, 3777)(2997, 3728)(2999, 3780)(3000, 3119)(3001, 3136)(3003, 3784)(3007, 3787)(3009, 3789)(3010, 3790)(3014, 3794)(3015, 3795)(3017, 3418)(3019, 3738)(3021, 3801)(3027, 3806)(3028, 3808)(3030, 3810)(3032, 3812)(3034, 3814)(3035, 3736)(3036, 3244)(3039, 3178)(3043, 3819)(3045, 3057)(3047, 3338)(3048, 3275)(3052, 3826)(3053, 3827)(3058, 3831)(3059, 3832)(3061, 3580)(3062, 3836)(3065, 3301)(3066, 3510)(3070, 3838)(3071, 3839)(3077, 3843)(3079, 3615)(3080, 3846)(3081, 3847)(3083, 3850)(3084, 3779)(3087, 3852)(3089, 3855)(3091, 3857)(3093, 3859)(3095, 3772)(3097, 3862)(3098, 3864)(3101, 3636)(3104, 3868)(3106, 3871)(3108, 3872)(3110, 3858)(3111, 3875)(3112, 3876)(3115, 3877)(3118, 3881)(3122, 3512)(3123, 3883)(3132, 3459)(3133, 3891)(3135, 3893)(3140, 3474)(3147, 3900)(3151, 3903)(3152, 3260)(3153, 3904)(3156, 3333)(3158, 3907)(3159, 3398)(3160, 3395)(3162, 3909)(3163, 3867)(3165, 3644)(3166, 3911)(3168, 3914)(3170, 3917)(3172, 3919)(3174, 3921)(3176, 3922)(3177, 3924)(3181, 3928)(3184, 3929)(3186, 3675)(3188, 3932)(3189, 3934)(3190, 3936)(3191, 3938)(3192, 3940)(3193, 3359)(3196, 3944)(3200, 3946)(3201, 3751)(3203, 3949)(3204, 3950)(3206, 3951)(3208, 3952)(3209, 3335)(3211, 3303)(3213, 3955)(3216, 3956)(3217, 3623)(3219, 3271)(3220, 3960)(3224, 3740)(3225, 3963)(3227, 3964)(3228, 3966)(3233, 3969)(3234, 3845)(3238, 3972)(3239, 3974)(3240, 3976)(3241, 3977)(3243, 3978)(3245, 3600)(3246, 3981)(3247, 3982)(3248, 3983)(3250, 3985)(3252, 3987)(3254, 3989)(3255, 3990)(3257, 3992)(3258, 3279)(3262, 3993)(3265, 3283)(3267, 3995)(3269, 3997)(3273, 3999)(3276, 4000)(3284, 4004)(3286, 3797)(3288, 4007)(3289, 3444)(3290, 4009)(3294, 3786)(3295, 3941)(3296, 4012)(3300, 3788)(3305, 3873)(3310, 4017)(3311, 4018)(3313, 4021)(3315, 4023)(3319, 4025)(3323, 3746)(3325, 4027)(3327, 3540)(3328, 3709)(3330, 4029)(3332, 4005)(3337, 4032)(3340, 4034)(3342, 4036)(3344, 3848)(3345, 4037)(3346, 4038)(3347, 4040)(3348, 4041)(3350, 4043)(3351, 3996)(3353, 4046)(3356, 3402)(3358, 3930)(3360, 4051)(3362, 3817)(3364, 4053)(3366, 4056)(3367, 3939)(3369, 4060)(3371, 4062)(3372, 4063)(3373, 4064)(3375, 4066)(3377, 3702)(3378, 4067)(3379, 4068)(3381, 4070)(3382, 4072)(3384, 4074)(3385, 4075)(3387, 4076)(3389, 3830)(3390, 4077)(3391, 3429)(3393, 3657)(3396, 4080)(3403, 4084)(3404, 4086)(3408, 4089)(3410, 4091)(3413, 4093)(3415, 3926)(3417, 3464)(3419, 4095)(3421, 3531)(3422, 3608)(3423, 4098)(3427, 4101)(3430, 4102)(3432, 3920)(3436, 4104)(3437, 4105)(3438, 4106)(3440, 4108)(3441, 4110)(3445, 4113)(3447, 3590)(3448, 4116)(3450, 3532)(3451, 4118)(3452, 4120)(3454, 3666)(3456, 3775)(3457, 4122)(3460, 4123)(3462, 4125)(3468, 4128)(3471, 4130)(3472, 3984)(3476, 4078)(3478, 4135)(3481, 4138)(3482, 4139)(3484, 3711)(3485, 4142)(3488, 4097)(3491, 4145)(3494, 3945)(3497, 4149)(3498, 4150)(3500, 4039)(3501, 4058)(3502, 4153)(3504, 4154)(3507, 4157)(3513, 4161)(3514, 4163)(3517, 4073)(3519, 4165)(3521, 3663)(3523, 3549)(3525, 4169)(3527, 4171)(3529, 4173)(3530, 4175)(3534, 4179)(3535, 3625)(3537, 3906)(3539, 4184)(3542, 3820)(3544, 3685)(3545, 4188)(3546, 4189)(3547, 4144)(3550, 3865)(3552, 4194)(3553, 3824)(3556, 3782)(3557, 4198)(3558, 4069)(3560, 3576)(3562, 4201)(3564, 4081)(3567, 3953)(3568, 4205)(3570, 4206)(3572, 4209)(3573, 4211)(3574, 3915)(3577, 4212)(3582, 4214)(3583, 3967)(3584, 4215)(3586, 4218)(3588, 4220)(3589, 4221)(3592, 4223)(3593, 3674)(3595, 4225)(3598, 4228)(3599, 3785)(3604, 4231)(3605, 4232)(3607, 4233)(3611, 4148)(3612, 4237)(3613, 4239)(3619, 4245)(3621, 3823)(3630, 4176)(3632, 4251)(3633, 4252)(3634, 4055)(3639, 4256)(3641, 4193)(3643, 4260)(3647, 4203)(3649, 4131)(3651, 4268)(3653, 4270)(3661, 4274)(3664, 4276)(3668, 4230)(3670, 4035)(3672, 4279)(3676, 4248)(3678, 3879)(3680, 4061)(3681, 4281)(3683, 4283)(3684, 4284)(3687, 3805)(3689, 4267)(3690, 4287)(3692, 4289)(3693, 4290)(3694, 4291)(3696, 4048)(3697, 4181)(3699, 4295)(3700, 4236)(3703, 3781)(3705, 3886)(3707, 3866)(3712, 4264)(3717, 3870)(3721, 4307)(3722, 4308)(3723, 4310)(3726, 3774)(3731, 4315)(3732, 4317)(3733, 4319)(3737, 3840)(3742, 4322)(3743, 4045)(3745, 3835)(3748, 4324)(3749, 3913)(3750, 4325)(3753, 4133)(3756, 4326)(3758, 4328)(3760, 4329)(3762, 3923)(3764, 4265)(3765, 4114)(3767, 4334)(3768, 4278)(3769, 4337)(3770, 4339)(3778, 4342)(3783, 4020)(3791, 4158)(3792, 3962)(3793, 4351)(3796, 4352)(3798, 3994)(3800, 4354)(3802, 4273)(3803, 4355)(3804, 4103)(3807, 4359)(3809, 4361)(3811, 4167)(3813, 4115)(3815, 4336)(3816, 4014)(3818, 4366)(3821, 4369)(3822, 4370)(3825, 4136)(3828, 4372)(3829, 4374)(3833, 3908)(3834, 4376)(3837, 4377)(3841, 4380)(3844, 4323)(3849, 3991)(3851, 4065)(3853, 4387)(3854, 4028)(3860, 4390)(3861, 4392)(3863, 4146)(3869, 3973)(3874, 4397)(3878, 4401)(3880, 4357)(3882, 4402)(3884, 3918)(3885, 4292)(3887, 4210)(3888, 4240)(3889, 4407)(3890, 4383)(3892, 4305)(3894, 4411)(3895, 4413)(3896, 4314)(3897, 4416)(3898, 4011)(3899, 4395)(3901, 4417)(3902, 4409)(3905, 4420)(3910, 4229)(3912, 4422)(3916, 4425)(3925, 4382)(3927, 4288)(3931, 4353)(3933, 4433)(3935, 4434)(3937, 4162)(3942, 4438)(3943, 4439)(3947, 4440)(3948, 3975)(3954, 4155)(3957, 4443)(3958, 4444)(3959, 4199)(3961, 4164)(3965, 4363)(3968, 4200)(3970, 4312)(3971, 4013)(3979, 4449)(3980, 4365)(3986, 4186)(3988, 4057)(3998, 4282)(4001, 4458)(4002, 4311)(4003, 4460)(4006, 4111)(4008, 4384)(4010, 4421)(4015, 4414)(4016, 4294)(4019, 4465)(4022, 4467)(4024, 4255)(4026, 4469)(4030, 4472)(4031, 4083)(4033, 4381)(4042, 4190)(4044, 4092)(4047, 4479)(4049, 4126)(4050, 4344)(4052, 4360)(4054, 4482)(4071, 4491)(4079, 4087)(4082, 4124)(4085, 4496)(4088, 4497)(4090, 4096)(4094, 4301)(4099, 4500)(4100, 4192)(4107, 4506)(4109, 4234)(4112, 4349)(4119, 4514)(4121, 4515)(4127, 4375)(4129, 4516)(4132, 4297)(4134, 4454)(4137, 4520)(4140, 4393)(4141, 4437)(4143, 4523)(4147, 4453)(4151, 4525)(4156, 4235)(4159, 4529)(4166, 4428)(4168, 4501)(4170, 4178)(4172, 4299)(4174, 4535)(4177, 4296)(4180, 4507)(4182, 4538)(4183, 4480)(4185, 4540)(4187, 4541)(4191, 4542)(4195, 4432)(4196, 4545)(4197, 4462)(4202, 4546)(4207, 4549)(4208, 4348)(4213, 4430)(4216, 4495)(4217, 4553)(4219, 4554)(4222, 4262)(4224, 4556)(4226, 4356)(4227, 4557)(4238, 4303)(4241, 4405)(4242, 4522)(4243, 4562)(4244, 4521)(4246, 4563)(4247, 4564)(4249, 4566)(4250, 4266)(4253, 4567)(4254, 4346)(4257, 4293)(4258, 4455)(4259, 4286)(4261, 4537)(4263, 4570)(4269, 4572)(4271, 4574)(4275, 4445)(4277, 4398)(4280, 4576)(4285, 4580)(4298, 4583)(4300, 4584)(4302, 4582)(4304, 4586)(4306, 4587)(4309, 4424)(4313, 4511)(4316, 4477)(4318, 4589)(4320, 4591)(4321, 4592)(4327, 4543)(4330, 4595)(4331, 4555)(4332, 4373)(4333, 4391)(4335, 4489)(4338, 4597)(4340, 4599)(4341, 4600)(4343, 4547)(4345, 4436)(4347, 4604)(4350, 4488)(4358, 4512)(4362, 4504)(4364, 4379)(4367, 4499)(4368, 4427)(4371, 4503)(4378, 4613)(4385, 4492)(4386, 4606)(4388, 4573)(4389, 4616)(4394, 4618)(4396, 4518)(4399, 4620)(4400, 4621)(4403, 4536)(4404, 4623)(4406, 4626)(4408, 4534)(4410, 4627)(4412, 4486)(4415, 4448)(4418, 4513)(4419, 4578)(4423, 4631)(4426, 4594)(4429, 4633)(4431, 4483)(4435, 4630)(4441, 4487)(4442, 4498)(4446, 4494)(4447, 4636)(4451, 4473)(4452, 4637)(4456, 4611)(4457, 4527)(4459, 4468)(4461, 4639)(4464, 4622)(4466, 4638)(4470, 4571)(4474, 4485)(4476, 4642)(4478, 4643)(4481, 4645)(4484, 4646)(4490, 4558)(4502, 4544)(4505, 4634)(4509, 4644)(4510, 4588)(4517, 4530)(4519, 4640)(4524, 4628)(4526, 4649)(4528, 4652)(4531, 4565)(4532, 4641)(4533, 4647)(4539, 4602)(4550, 4629)(4551, 4605)(4552, 4624)(4560, 4598)(4561, 4601)(4568, 4632)(4569, 4635)(4575, 4596)(4577, 4660)(4581, 4661)(4585, 4617)(4590, 4657)(4603, 4612)(4609, 4648)(4610, 4625)(4614, 4665)(4615, 4666)(4619, 4664)(4650, 4655)(4653, 4672)(4654, 4669)(4656, 4663)(4658, 4671)(4659, 4668)(4662, 4670), (1, 3, 6, 11, 19, 32, 53, 87, 142, 230, 369, 350, 550, 848, 1287, 1890, 2651, 3464)(2, 4, 8, 14, 24, 40, 66, 108, 176, 284, 449, 701, 898, 1363, 1990, 2769, 945, 1431)(5, 9, 16, 27, 45, 74, 121, 197, 316, 498, 771, 1176, 1427, 2077, 1204, 1776, 1037, 1216)(7, 12, 21, 35, 58, 95, 155, 251, 401, 628, 961, 1035, 1548, 2227, 1700, 2422, 3238, 3973)(10, 17, 29, 48, 79, 129, 209, 335, 526, 814, 1238, 1827, 2569, 3379, 3298, 4013, 170, 274)(13, 22, 37, 61, 100, 163, 264, 421, 658, 1005, 1177, 1739, 283, 447, 698, 1066, 1592, 2183)(15, 25, 42, 69, 113, 184, 297, 468, 730, 1112, 1659, 2374, 3102, 3585, 4217, 3808, 4360, 4609)(18, 30, 50, 82, 134, 217, 348, 547, 843, 1281, 1883, 2326, 3136, 3895, 4414, 4620, 4667, 4600)(20, 33, 55, 90, 147, 238, 382, 599, 917, 1391, 2029, 1727, 821, 1249, 1841, 2586, 3215, 1017)(23, 38, 63, 103, 168, 271, 431, 674, 1029, 1542, 2218, 3025, 1580, 2267, 3076, 1536, 1897, 123)(26, 43, 71, 116, 189, 305, 479, 746, 1136, 1691, 1693, 2414, 3229, 3463, 2042, 1974, 2216, 436)(28, 46, 76, 124, 201, 322, 508, 787, 1200, 1102, 1645, 2354, 3168, 3915, 4424, 1953, 2727, 3531)(31, 51, 84, 137, 222, 356, 559, 860, 1055, 1577, 2264, 1904, 578, 888, 1347, 1970, 2747, 2859)(34, 56, 92, 150, 243, 389, 609, 931, 1412, 2058, 1401, 1333, 1951, 2725, 3529, 4174, 4086, 4110)(36, 59, 97, 158, 256, 409, 497, 769, 1174, 1736, 2465, 3278, 4001, 4276, 57, 93, 152, 246)(39, 64, 105, 171, 276, 437, 681, 1040, 1556, 2237, 2249, 3058, 2379, 3192, 2168, 2966, 3748, 4165)(41, 67, 110, 179, 289, 456, 712, 1084, 1618, 2319, 3129, 3887, 3992, 3847, 4383, 3157, 3906, 3629)(44, 72, 118, 192, 309, 486, 754, 1151, 1708, 2431, 3246, 3640, 4258, 4568, 4212, 329, 517, 801)(47, 77, 126, 204, 327, 514, 797, 1215, 1792, 2532, 3344, 1583, 2272, 3080, 188, 303, 363, 570)(49, 80, 131, 212, 340, 534, 825, 1256, 803, 1223, 1803, 430, 672, 1026, 1538, 2078, 838, 981)(52, 85, 139, 225, 361, 567, 873, 1324, 1939, 2710, 3521, 4167, 2378, 3191, 3939, 2394, 3209, 3954)(54, 88, 144, 233, 374, 586, 899, 1365, 1993, 2771, 3576, 4091, 4498, 334, 524, 812, 1235, 1822)(60, 98, 160, 259, 229, 367, 576, 885, 1342, 1399, 2041, 2826, 3627, 964, 1456, 2116, 736, 1121)(62, 101, 165, 73, 119, 194, 311, 490, 759, 1158, 1717, 2440, 457, 713, 247, 394, 617, 944)(65, 106, 173, 279, 441, 688, 1051, 1571, 2255, 2427, 3243, 1672, 2389, 3204, 2947, 3728, 4312, 3563)(68, 111, 181, 292, 461, 720, 1096, 1637, 2345, 2263, 601, 528, 817, 1243, 1833, 2579, 3389, 3686)(70, 114, 186, 300, 472, 737, 859, 1303, 1913, 1478, 2137, 1140, 1135, 1689, 2411, 3227, 3965, 2814)(75, 122, 199, 319, 503, 779, 1189, 1756, 2488, 2605, 725, 1104, 515, 798, 1217, 1794, 2535, 3347)(78, 127, 206, 330, 519, 804, 1225, 1806, 2547, 3358, 4049, 1466, 2125, 2919, 3709, 1507, 2174, 2295)(81, 132, 214, 343, 539, 831, 1264, 1859, 2606, 3415, 2888, 3685, 4285, 2707, 3519, 4166, 613, 937)(83, 135, 219, 351, 552, 850, 1291, 1896, 2658, 3474, 1063, 1588, 2278, 3087, 3853, 4388, 1641, 413)(86, 140, 227, 364, 572, 879, 1334, 1952, 2726, 3530, 4176, 4506, 3917, 2716, 3525, 4170, 3480, 4137)(89, 145, 235, 377, 591, 905, 275, 237, 380, 596, 913, 1385, 2020, 2803, 3605, 943, 1429, 2081)(91, 148, 240, 384, 602, 921, 1397, 2038, 2822, 3621, 2405, 3220, 3961, 2454, 914, 1386, 1966, 2015)(94, 153, 248, 396, 620, 949, 1438, 2091, 2884, 1707, 976, 1472, 2132, 2928, 3717, 4304, 4004, 2206)(96, 156, 253, 404, 633, 968, 1463, 1220, 1799, 2539, 3350, 4044, 4477, 4205, 1475, 2134, 2793, 972)(99, 161, 261, 416, 650, 993, 1497, 159, 257, 411, 643, 982, 1481, 2142, 2936, 3722, 4309, 2549)(102, 166, 268, 426, 666, 1016, 1527, 2199, 3003, 3237, 3771, 2349, 3160, 3908, 3412, 4092, 1364, 1991)(104, 169, 273, 434, 678, 1036, 1550, 2230, 3036, 3063, 1190, 1757, 2490, 2520, 3328, 3656, 3864, 538)(107, 174, 281, 444, 693, 1059, 1584, 2274, 2921, 3712, 4301, 4570, 1307, 1918, 1742, 2472, 3288, 4008)(109, 177, 286, 452, 706, 1075, 1604, 2300, 3112)(112, 182, 294, 435, 679, 1038, 1552, 2233, 2650, 2692, 489, 757, 1155, 1713, 1384, 1374, 2007, 2788)(115, 187, 302, 475, 741, 1128, 1680, 2400, 2432, 3247, 2973, 738, 1123, 1673, 2391, 3206, 2484, 3296)(117, 190, 306, 481, 749, 1141, 1698, 2419, 2131, 2926, 2844, 3644, 4262, 4569, 1537, 2211, 178, 287)(120, 195, 313, 493, 763, 1164, 1724, 2452, 3265, 3994, 4077, 4492, 3814, 4364, 4610, 3334, 4031, 1797)(125, 202, 324, 242, 387, 383, 600, 919, 1394, 2034, 548, 844, 608, 775, 1182, 920, 1395, 2035)(128, 207, 332, 521, 807, 1228, 1811, 2552, 3362, 1561, 2244, 3052, 1826, 2567, 3377, 2764, 700, 1069)(130, 210, 337, 529, 818, 1245, 1437, 2090, 2882, 3680, 992, 1495, 2161, 2959, 3740, 4320, 3561, 4138)(133, 215, 345, 542, 836, 1272, 1871, 2623, 1528, 2200, 3005, 1681, 2401, 3216, 3957, 1745, 1280, 239)(136, 220, 353, 555, 813, 1236, 1824, 2564, 3373, 1902, 2665, 3481, 3983, 2618, 3427, 2226, 2301, 2222)(138, 223, 358, 562, 865, 1311, 953, 1443, 2098, 2892, 1449, 2107, 2904, 293, 462, 722, 1099, 1642)(141, 228, 366, 543, 837, 1274, 1874, 2628, 2344, 3156, 3905, 3266, 3891, 4409, 4041, 4106, 4505, 3790)(143, 231, 371, 581, 892, 1353, 1889, 2649, 3462, 2224, 3032, 3813, 4363, 4542, 1214, 1790, 2529, 3340)(146, 236, 379, 594, 910, 1173, 1735, 2464, 1575, 2261, 3070, 1457, 1148, 393, 615, 941, 1426, 1919)(149, 241, 386, 605, 926, 1404, 2048, 2834, 2960, 3322, 649, 991, 1494, 677, 1034, 1547, 2225, 3034)(151, 244, 391, 612, 936, 1420, 2070, 2861, 3664, 3989, 4369, 3993, 2064, 2854, 3657, 4272, 4095, 4499)(154, 249, 398, 623, 954, 1445, 2101, 2896, 3692, 3309, 2568, 3378, 2699, 3512, 1312, 1922, 2688, 3504)(157, 254, 406, 636, 973, 1469, 665, 1014, 1525, 960, 1453, 1882, 1612, 2312, 2635, 3445, 4114, 2812)(162, 262, 418, 653, 998, 1503, 2170, 2969, 984, 1484, 1058, 1582, 2271, 3079, 3708, 1949, 2613, 3422)(164, 265, 423, 661, 266, 285, 450, 703, 1072, 1600, 2294, 3106, 3251, 3040, 3735, 4089, 2254, 2496)(167, 269, 428, 669, 1021, 1532, 2207, 3014, 2330, 3141, 714, 1086, 1621, 2323, 1130, 783, 1194, 1762)(172, 277, 438, 683, 1043, 1560, 2243, 3050, 3824, 3405, 2404, 3179, 1157, 1716, 815, 1239, 1829, 2572)(175, 282, 446, 696, 556, 854, 1296, 1903, 2667, 3380, 4069, 4355, 1553, 2234, 3039, 3818, 4367, 1250)(180, 290, 458, 715, 1088, 1624, 574, 882, 1337, 1955, 2730, 3532, 4177, 4497, 4130, 1586, 1378, 2012)(183, 295, 465, 726, 1106, 1650, 2362, 2154, 2951, 3732, 4318, 4590, 4660, 4142, 4310, 3862, 3117, 3880)(185, 298, 469, 732, 1115, 1663, 1805, 1053, 1574, 2260, 3068, 788, 1201, 1772, 2505, 3313, 4022, 806)(191, 307, 483, 751, 1145, 198, 317, 500, 774, 1181, 1746, 2477, 2133, 2929, 1867, 2617, 1549, 2228)(193, 310, 488, 525, 563, 866, 1313, 1923, 2690, 2852, 3653, 1850, 2596, 3403, 4085, 3414, 3520, 3977)(196, 314, 495, 766, 1169, 1731, 2459, 3271, 3150, 3902, 4418, 2030, 304, 477, 743, 1131, 1684, 1336)(200, 320, 505, 782, 1193, 1544, 2220, 3028, 3809, 2893, 994, 1083, 1616, 2316, 3126, 3173, 3920, 4426)(203, 325, 511, 792, 1207, 1781, 2517, 2308, 3119, 2876, 3676, 778, 1187, 1047, 1565, 2163, 1234, 1820)(205, 328, 516, 499, 772, 1178, 1741, 1199, 1769, 2501, 1196, 1765, 520, 805, 1226, 1808, 2531, 2576)(208, 333, 523, 810, 1232, 1818, 2558, 2381, 2682, 321, 506, 784, 1195, 1764, 1631, 2336, 1760, 2493)(211, 338, 531, 820, 1248, 1839, 2584, 1842, 2587)(213, 341, 536, 828, 1261, 1855, 2534, 3346, 4039, 1909, 2673, 2280, 3090, 3856, 1266, 1862, 2610, 530)(216, 346, 544, 839, 1275, 1876, 2631, 3341, 4035, 4475, 3511, 4160, 4070, 2402, 3217, 3958, 3374, 4065)(218, 349, 549, 846, 1284, 1887, 2646, 3459, 3741, 4321, 4074, 3826, 4371, 2837, 3636, 3677, 1500, 2165)(221, 354, 557, 856, 1299, 1908, 2672, 3488, 427, 667, 1018, 1529, 2202, 3007, 3788, 4032, 4474, 3974)(224, 359, 564, 868, 1316, 1927, 2695, 3022, 3803, 4356, 4606, 3094, 3860, 4391, 4617, 4289, 4118, 4513)(226, 362, 569, 876, 1329, 1946, 2720, 2952, 3733, 1425, 2075, 2538, 3280, 2010, 2792, 3069, 3635, 2120)(232, 372, 583, 894, 1357, 1981, 2758, 2661, 3476, 4134, 4519, 2678, 3494, 2863, 2377, 3190, 3937, 4436)(234, 375, 588, 902, 1369, 2000, 2779, 3584, 4216, 4552, 3495, 4147, 2128, 2922, 2105, 2901, 2757, 2923)(245, 392, 614, 939, 1423, 2073, 2864, 1331, 1948, 2723, 2353, 3166, 3912, 4423, 4632, 3075, 3148, 3901)(250, 399, 625, 957, 857, 1300, 1910, 2675, 3491, 4146, 2328, 632, 966, 1460, 2119, 2915, 1506, 2173)(252, 402, 630, 963, 1455, 1971, 2748, 3556, 4197, 2118, 1690, 855, 1297, 1905, 2668, 3484, 1050, 1569)(255, 407, 638, 745, 1134, 1688, 2409, 3224, 568, 874, 1326, 1942, 2715, 2103, 2151, 2946, 2789, 3593)(258, 412, 645, 985, 1486, 2149, 2115, 2773, 3416, 2563, 3372, 2546, 3092, 3858, 2471, 2734, 2911, 3702)(260, 414, 647, 988, 1490, 2155, 1821, 2562, 3371, 2341, 3152, 3720, 4306, 3904, 4401, 4622, 4523, 3976)(263, 419, 655, 1001, 842, 1279, 1881, 2638, 3450, 575, 883, 1339, 1958, 687, 1049, 1568, 487, 755)(267, 424, 663, 1012, 1522, 2194, 2997, 3778, 3518, 3766, 4333, 869, 1317, 1929, 2698, 1733, 1802, 1836)(270, 429, 671, 1024, 832, 1265, 1861, 360, 565, 870, 1319, 1932, 2700, 3513, 4162, 4530, 2949, 2482)(272, 432, 675, 1031, 1545, 2221, 3030, 3624, 4247, 4565, 4639, 4232, 3100, 3866, 4395, 4619, 4538, 4284)(278, 439, 685, 1046, 1092, 1630, 2335, 3147, 2685, 3501, 2387, 3201, 390, 610, 933, 1415, 2062, 2851)(280, 442, 690, 1054, 1576, 2262, 3071, 3840, 2121, 2916, 2376, 3189, 3935, 4435, 4635, 4666, 4563, 925)(288, 454, 709, 1079, 1610, 2309, 3120, 3882, 3900, 308, 484, 752, 1147, 1705, 2428, 3244, 3979, 2709)(291, 459, 717, 1091, 1629, 2333, 2873, 851, 1292, 1898, 2660, 2180, 2980, 3760, 467, 728, 1109, 1655)(296, 466, 660, 1008, 1517, 2186, 2988, 3768, 4336, 4268, 4068, 4490, 1260, 1853, 2599, 3408, 342, 537)(299, 470, 734, 1118, 1666, 2380, 3193, 3941, 4064, 4488, 4583, 4233, 3249, 3984, 4184, 4407, 1227, 1809)(301, 473, 370, 579, 890, 1350, 1973, 930, 1410, 1603, 2299, 3111, 2293, 3105, 3870, 2697, 627, 492)(312, 491, 761, 1161, 1721, 2447, 3260, 2784, 845, 819, 1246, 1837, 2582, 1959, 2733, 3537, 4183, 4539)(315, 496, 768, 1172, 1734, 2462, 3275, 3394, 1823, 1105, 1648, 2359, 3171, 1487, 2150, 485, 753, 1149)(318, 501, 776, 1184, 1750, 2481, 3294, 2701, 3514, 4164, 4051, 4380, 3710, 1638, 2346, 3158, 2093, 2885)(323, 509, 789, 1203, 1775, 2510, 3318, 2540, 3351, 606, 927, 1406, 2051, 2838, 1320, 1933, 2702, 3515)(326, 512, 794, 1210, 1786, 2259, 1697, 535, 826, 1258, 1851, 2598, 3406, 4087, 3596, 4226, 4189, 4154)(331, 381, 597, 915, 1388, 2024, 2808, 1240, 1830, 770, 1175, 1737, 2467, 3281, 4002, 4459, 2964, 3745)(336, 527, 816, 1241, 1831, 2575, 3385, 1473, 1298, 1906, 2670, 1551, 2231, 3037, 3816, 4113, 4510, 4223)(339, 532, 822, 1251, 1843, 2589, 3396, 3936, 4153, 2513, 2025, 2809, 3611, 4236, 2439, 2304, 2399, 3213)(344, 540, 833, 1267, 1864, 2612, 3421, 4097, 987, 762, 1162, 1722, 2449, 3262, 1396, 2036, 2819, 3617)(347, 545, 841, 1278, 1880, 2636, 3447, 3033, 2408, 1570, 2253, 3062, 1567, 2252, 3061, 3835, 3755, 3801)(352, 553, 829, 811, 1233, 1819, 2560, 3369, 4061, 3972, 4448, 3784, 4346, 4603, 4663, 3469, 3509, 4159)(355, 558, 858, 1302, 1911, 705, 478, 744, 1133, 1686, 1962, 1617, 2317, 2711, 2939, 3723, 3074, 3842)(357, 560, 862, 1306, 1917, 2683, 3320, 2108, 1268, 1865, 2614, 3423, 2870, 1614, 756, 1153, 1711, 2435)(365, 573, 881, 695, 1062, 1587, 2277, 3086, 3851, 4385, 1873, 2626, 3438, 3682, 4282, 4578, 3660, 3008)(368, 577, 887, 1345, 1967, 2744, 3552, 4195, 2005, 2786, 3592, 4224, 2080, 2872, 3674, 2846, 3647, 4264)(373, 584, 896, 1360, 1985, 2763, 3570, 4207, 4550, 3806, 3127, 2674, 3489, 4144, 3872, 4396, 4324, 1989)(376, 589, 903, 1371, 2003, 2783, 3589, 3409, 4090, 2473, 1844, 2466, 3279, 1863, 2611, 1886, 2644, 3457)(378, 592, 907, 1377, 2011, 2794, 3598, 2136, 2931, 979, 1477, 640, 978, 1476, 975, 1471, 967, 1461)(385, 603, 923, 1400, 2043, 2827, 3628, 3231, 3967, 3259, 3616, 4243, 3232, 3968, 4446, 2588, 3395, 2347)(388, 607, 929, 1409, 2055, 2438, 3252, 3988, 2446, 3258, 1670, 2386, 3200, 3947, 4105, 3691, 1777, 2512)(395, 618, 946, 1433, 2084, 2877, 3659, 4237, 4545, 4000, 4457, 3555, 2830, 3630, 3428, 3339, 3999, 791)(397, 621, 951, 1440, 2094, 2887, 3684, 4274, 2113, 2910, 3543, 4075, 3548, 4191, 4514, 3669, 1848, 2594)(400, 626, 959, 1452, 2112, 2909, 3700, 4297, 4540, 1224, 1804, 2545, 2444, 3255, 1073, 1601, 2296, 1992)(403, 631, 965, 1458, 1489, 2153, 2950, 3731, 4316, 4588, 3134, 3892, 3597, 4227, 4411, 4337, 4596, 3787)(405, 634, 970, 1465, 2124, 2918, 3707, 3312, 4020, 4466, 3716, 4303, 4585, 4067, 3210, 3046, 3698, 4294)(408, 639, 977, 1474, 2059, 2847, 3649, 4266, 4571, 1480, 2140, 593, 908, 1379, 2014, 2797, 1255, 1847)(410, 641, 702, 906, 1375, 2008, 2424, 3240, 3253, 2135, 2930, 1419, 2068, 2860, 3663, 4043, 3603, 3370)(415, 648, 990, 1359, 1984, 2761, 3568, 4125, 4139, 4521, 4500, 4649, 4652, 2681, 3498, 1485, 2147, 2942)(417, 651, 995, 1499, 2164, 2963, 2640, 3452, 4121, 4220, 4555, 4656, 4434, 3575, 3139, 733, 1116, 1664)(420, 656, 1002, 1508, 2176, 2976, 3756, 4327, 4063, 2601, 3410, 809, 1231, 1816, 1301, 561, 863, 1308)(422, 659, 1007, 1515, 2184, 2984, 3142, 3897, 3326, 3857, 3182, 1675, 727, 1107, 1652, 2365, 781, 1192)(425, 664, 1013, 1524, 2195, 2999, 3781, 3704, 4299, 4443, 3919, 433, 676, 1033, 1387, 2022, 2806, 2456)(440, 686, 1048, 1566, 2251, 3059, 3833, 4370, 3302, 662, 1010, 1519, 2189, 2992, 3772, 3876, 4399, 2355)(443, 691, 1056, 1579, 2266, 958, 1450, 2109, 1065, 1591, 2283, 3093, 2297, 3108, 3873, 1482, 2143, 2937)(445, 694, 1061, 1119, 1667, 2382, 3195, 3943, 3282, 4003, 1020, 1531, 2205, 3012, 3792, 4350, 2442, 3254)(448, 699, 1068, 1595, 2288, 2994, 3775, 4341, 4425, 1271, 1869, 2621, 3432, 4103, 4503, 4580, 4460, 4638)(451, 704, 502, 777, 1186, 1753, 2485, 1323, 1937, 2708, 1706, 2429, 3245, 3980, 4450, 4080, 4494, 4648)(453, 707, 1076, 1605, 2302, 2551, 2890, 861, 1305, 1916, 997, 1502, 2169, 1221, 1800, 2541, 3353, 2236)(455, 710, 1081, 1613, 680, 1039, 1554, 2235, 1462, 1416, 2063, 2853, 3655, 4271, 2669, 3485, 3914, 3569)(460, 718, 1093, 1632, 2338, 642, 980, 1479, 2139, 2933, 533, 823, 1253, 1845, 2590, 3398, 4082, 1564)(463, 723, 1101, 1644, 2352, 3165, 2556, 3366, 4057, 3465, 4126, 476, 546, 748, 1139, 1696, 1247, 1838)(464, 724, 1103, 1646, 2356, 2314, 3124, 3885, 4405, 4625, 2076, 2868, 3392, 1137, 1692, 2088, 2574, 3384)(471, 735, 1120, 1669, 2385, 3198, 3487, 1152, 1709, 956, 1448, 2106, 2902, 3696, 2895, 3690, 4288, 3263)(474, 739, 1125, 1676, 2395, 504, 780, 1191, 1759, 2492, 1293, 1318, 1930, 1315, 1926, 2694, 3507, 2232)(480, 747, 1138, 1694, 2416, 1963, 2738, 3544, 2615, 2987, 3767, 4335, 1620, 2322, 3133, 3744, 1468, 1523)(482, 750, 1143, 1122, 1671, 2388, 3203, 2310, 3121, 1662, 2138, 2932, 3721, 2096, 2889, 3291, 4011, 4462)(494, 764, 1166, 1726, 2455, 2056, 2843, 935, 1418, 2067, 2858, 3661, 4275, 2204, 3010, 3791, 2066, 2857)(507, 785, 1197, 1767, 2498, 3305, 3956, 3078, 3845, 4169, 4533, 4653, 4665, 2412, 1752, 2483, 3295, 3990)(510, 790, 1205, 1778, 2514, 2544, 1015, 697, 1064, 1590, 2281, 3091, 1840, 1325, 1940, 2712, 3523, 4102)(513, 795, 1212, 1788, 2526, 3336, 2497, 1454, 2114, 2912, 2273, 3081, 3848, 3185, 3930, 3261, 847, 1285)(518, 802, 1222, 644, 983, 1483, 2145, 2940, 2677, 1807, 2548, 3359, 4050, 4481, 4098, 2500, 3306, 3477)(522, 808, 1230, 1814, 2555, 2306, 3116, 3879, 2100, 2894, 3689, 1915, 2680, 3497, 1042, 1559, 2241, 3047)(541, 834, 1269, 1866, 2616, 3425, 4100, 4157, 4072, 3270, 2903, 3697, 4293, 2052, 2839, 1286, 1888, 2648)(551, 849, 1289, 1893, 2654, 3468, 4129, 4066, 4489, 4465, 4637, 1625, 2327, 3138, 1150, 875, 1327, 1943)(554, 852, 1294, 1899, 2662, 3478, 4101, 4502, 2148, 2943, 3226, 1912, 2676, 3493, 2754, 3562, 4202, 2499)(566, 871, 1321, 1934, 2703, 3517, 3893, 4410, 2187, 2989, 1154, 1712, 2437, 3067, 721, 1097, 1639, 2240)(571, 878, 1332, 1950, 1411, 2057, 2845, 3646, 4263, 1533, 1749, 2479, 1441, 2095, 2878, 1277, 1879, 2634)(580, 891, 1351, 1975, 1815, 1755, 2486, 3299, 2968, 3750, 4326, 4593, 3352, 4045, 3324, 3949, 2768, 3574)(582, 893, 1355, 1978, 2247, 2565, 3073, 3841, 4135, 2736, 3540, 4186, 4392, 3453, 1237, 1825, 2566, 3375)(585, 897, 1362, 1988, 2767, 3573, 2935, 2817, 2489, 2962, 3743, 4323, 4557, 4658, 4642, 4592, 2420, 1498)(587, 900, 1366, 1995, 2358, 3170, 3918, 4328, 1761, 799, 1218, 1796, 1074, 1602, 2298, 3110, 2028, 2811)(590, 904, 1373, 2006, 2787, 1771, 2503, 3310, 3719, 3831, 3236, 3971, 3938, 2775, 3580, 786, 1198, 1768)(595, 911, 1382, 2017, 2800, 2069, 2054, 2842, 3643, 4261, 1344, 1965, 2742, 3549, 4192, 1071, 1598, 1931)(598, 916, 1389, 2026, 2196, 3000, 3782, 4344, 4602, 2111, 2907, 3072, 1356, 1979, 2755, 3564, 2434, 2762)(604, 924, 1402, 2045, 2829, 1514, 2182, 2982, 3004, 3785, 4347, 1854, 2516, 1030, 1543, 2219, 3027, 3807)(611, 934, 1417, 2065, 2856, 3194, 3942, 3264, 3524, 3044, 3821, 1165, 1725, 2453, 3223, 3667, 1941, 2713)(616, 942, 1428, 2079, 2871, 3672, 1028, 1541, 2217, 3023, 2805, 3407, 4088, 2627, 1185, 1751, 1907, 1999)(619, 947, 1435, 2087, 2366, 3176, 3923, 4429, 4634, 4252, 3610, 2050, 938, 1422, 1011, 1520, 2191, 2995)(622, 952, 1442, 2097, 2891, 3687, 4286, 3287, 4006, 2583, 637, 974, 1124, 1674, 2393, 3208, 3953, 4441)(624, 955, 1447, 2104, 2900, 3606, 1695, 2417, 3233, 3970, 4447, 1704, 2426, 3146, 3631, 4250, 1346, 1968)(629, 895, 1358, 1983, 2760, 1160, 1720, 2445, 3257, 3221, 3962, 3995, 4454, 4613, 4664, 2461, 1087, 1622)(635, 971, 1467, 2127, 1609, 1004, 1511, 2178, 2977, 3758, 3780, 3859, 3397, 4081, 4495, 4645, 4670, 4672)(646, 986, 1488, 2152, 2948, 827, 1259, 1795, 2130, 2925, 909, 1380, 1687, 2407, 3222, 1446, 2102, 2898)(652, 996, 1501, 2167, 2953, 3654, 2944, 3701, 4298, 4214, 3812, 853, 1295, 1901, 2664, 2430, 1352, 1459)(654, 999, 1421, 1403, 2046, 2831, 2899, 3694, 4292, 4256, 950, 1439, 948, 1436, 2089, 1252, 880, 1335)(657, 1003, 1510, 2047, 2832, 3632, 1539, 2213, 729, 1110, 1657, 2371, 3183, 2945, 1982, 2759, 3567, 4204)(668, 1019, 1338, 1956, 2647, 3460, 4124, 3754, 1025, 1408, 2039, 2823, 3623, 3285, 4005, 1980, 2756, 2821)(670, 1022, 1534, 1668, 2383, 1770, 2502, 2292, 3104, 3869, 2410, 3225, 3011, 2714, 3164, 3759, 1977, 2752)(673, 1027, 1540, 2215, 3021, 3802, 4120, 4458, 3307, 4015, 3944, 3665, 1994, 2772, 3577, 2591, 2413, 3228)(682, 1041, 1558, 2239, 3045, 3822, 3202, 3948, 3096, 3650, 4267, 4449, 3433, 3852, 4386, 4615, 3955, 4442)(684, 1044, 1562, 2246, 3055, 2867, 3668, 3637, 4255, 1470, 2129, 2924, 1078, 1608, 2307, 3118, 1628, 2332)(689, 1052, 1573, 2258, 1432, 2083, 2659, 2190, 2993, 3774, 3256, 3991, 4453, 1100, 1643, 2350, 3162, 3776)(692, 1057, 1581, 2269, 2509, 3316, 3645, 3109, 3874, 4398, 1283, 1885, 2643, 3456, 2633, 3444, 4112, 4509)(708, 1077, 1607, 2305, 3115, 3878, 2991, 3770, 4340, 3981, 4451, 3420, 4096, 1594, 2286, 3097, 3863, 3960)(711, 1082, 1615, 2315, 767, 1170, 773, 1179, 1743, 989, 1491, 2156, 2954, 3724, 2480, 3292, 2463, 3276)(716, 1089, 1626, 2329, 3140, 3896, 4415, 3361, 1589, 2279, 3089, 3578, 4213, 3526, 3626, 4249, 4029, 3144)(719, 1094, 1634, 2340, 3128, 2160, 2957, 3737, 1766, 2021, 2804, 3607, 4234, 2778, 3583, 4037, 3016, 3797)(731, 1113, 1660, 1785, 2522, 3332, 4030, 4473, 4641, 1758, 2491, 2934, 1828, 2570, 3381, 4071, 3199, 2689)(740, 1126, 1677, 2396, 1496, 2162, 2961, 3742, 2671, 2364, 2214, 2561, 2324, 1368, 1998, 2777, 3582, 2603)(742, 1129, 1682, 1183, 1748, 2478, 3290, 4010, 1683, 2403, 3219, 3959, 4445, 4123, 3268, 3773, 4009, 4461)(758, 1156, 1715, 1852, 1623, 2325, 3135, 3894, 4412, 2397, 3211, 3928, 4431, 4438, 4525, 3658, 4273, 4575)(760, 1159, 1719, 2443, 2886, 3683, 3911, 3952, 1817, 2557, 2958, 3738, 4201, 3343, 2693, 2848, 2494, 3301)(765, 1167, 1728, 1023, 1535, 2210, 3017, 2337, 3149, 1782, 2518, 3325, 2543, 3356, 4047, 4480, 3516, 2578)(793, 1208, 1783, 2519, 3327, 4028, 4471, 4640, 3940, 4437, 1273, 1872, 2625, 3437, 3695, 3883, 4403, 4567)(796, 1213, 1789, 2528, 3338, 4033, 4046, 4478, 4239, 3620, 4246, 1434, 2085, 2879, 3678, 1361, 1986, 2765)(800, 1219, 1798, 2537, 3349, 4042, 2368, 3178, 3926, 3810, 4362, 4325, 1521, 2192, 1987, 2766, 3572, 4210)(824, 1254, 1846, 2592, 3399, 2476, 1244, 1834, 2581, 3391, 4079, 4295, 4581, 4372, 2978, 3435, 4038, 4476)(830, 1262, 1857, 2602, 2212, 3019, 3799, 3042, 2972, 3753, 3921, 4427, 4631, 2881, 2141, 2037, 2820, 3619)(835, 1270, 1868, 2619, 3429, 2998, 3779, 4343, 4601, 2835, 3634, 4254, 4322, 3064, 3837, 4378, 4614, 4034)(840, 1276, 1878, 2018, 2559, 3367, 4058, 4485, 3214, 2175, 2975, 2840, 3639, 4257, 1009, 1518, 2188, 2798)(864, 1309, 1095, 1635, 2342, 3153, 3041, 1714, 2370, 3181, 2609, 3419, 2585, 3393, 4018, 4464, 1127, 1678)(867, 1314, 1925, 922, 1398, 2040, 2824, 2770, 1444, 2099, 1921, 2687, 3502, 3424, 4099, 4501, 3795, 2072)(872, 1322, 1936, 2706, 1006, 1513, 2181, 2981, 3762, 4231, 4559, 4317, 4390, 4040, 2284, 1516, 2185, 2986)(877, 1330, 1393, 2032, 2815, 1085, 1619, 2321, 3132, 3890, 2967, 3749, 3113, 3490, 1774, 2508, 1718, 2441)(884, 1340, 1960, 2735, 3539, 4185, 1578, 2265, 1969, 2746, 3492, 3473, 4132, 4417, 4629, 3197, 1117, 1665)(886, 1343, 1964, 2740, 3546, 3982, 4023, 4468, 4576, 3056, 2457, 3267, 3996, 4455, 2270, 1633, 2339, 3151)(889, 1348, 1972, 1370, 2001, 2781, 3586, 2290, 3101, 1928, 2696, 3510, 3297, 3794, 3951, 4402, 4329, 4594)(901, 1367, 1997, 1493, 2158, 2956, 3554, 4196, 1954, 2728, 2729, 1504, 2171, 2971, 3638, 1738, 2468, 3283)(912, 1383, 2019, 2802, 1924, 2691, 1938, 1512, 2179, 2979, 3565, 1000, 1505, 2172, 2287, 3098, 3865, 4394)(918, 1392, 2031, 1168, 1729, 2458, 3269, 3998, 1791, 2530, 3342, 3439, 4107, 2630, 3441, 3085, 2523, 3333)(928, 1407, 2053, 2841, 3641, 4259, 1947, 2721, 1146, 1703, 2425, 3241, 3242, 3505, 4155, 4528, 4150, 4491)(932, 1413, 1381, 2016, 2799, 3602, 4230, 4413, 3031, 3811, 1870, 2622, 3434, 4084, 4093, 3508, 4158, 962)(940, 1424, 2074, 2866, 2250, 2061, 2850, 3651, 2013, 2796, 3600, 3060, 3834, 4354, 3978, 3648, 4265, 4308)(969, 1464, 2122, 2917, 3705, 3455, 1813, 2504, 3311, 4019, 3533, 4178, 4472, 3235, 3969, 4290, 3461, 3551)(1032, 1546, 2223, 2657, 3472, 1740, 2470, 3286, 3169, 3916, 4374, 4215, 4529, 1509, 2117, 2913, 1206, 1779)(1045, 1563, 2248, 3057, 3830, 3538, 1935, 2704, 1108, 1653, 2367, 3177, 3925, 4420, 4630, 2123, 2642, 3454)(1060, 1585, 2276, 3084, 3838, 4379, 3581, 3871, 3875, 1144, 1701, 2313, 3123, 3884, 4404, 4624, 3486, 4143)(1067, 1593, 2285, 3095, 3861, 4393, 4618, 4586, 1730, 1372, 2004, 2785, 3590, 4222, 2571, 3382, 3727, 3212)(1070, 1597, 2291, 3103, 3867, 1142, 1699, 2421, 3024, 3804, 4357, 4607, 4122, 2242, 3048, 2795, 3599, 3207)(1080, 1611, 2311, 3122, 2608, 3418, 3443, 4111, 4508, 4221, 1090, 1627, 2331, 3143, 3898, 3029, 2869, 3670)(1098, 1640, 2348, 3159, 3757, 4060, 4486, 2487, 3300, 4014, 3924, 4430, 3747, 1656, 2369, 3180, 3927, 1654)(1111, 1658, 2373, 3186, 3446, 4115, 4076, 3642, 2927, 3614, 4241, 4561, 2384, 3196, 3945, 1649, 2360, 3172)(1114, 1661, 2375, 3188, 3933, 4012, 2753, 1132, 1685, 1180, 1744, 2475, 1288, 1891, 2652, 2818, 1945, 2719)(1163, 1723, 2451, 2071, 2862, 2875, 3675, 4280, 4577, 2527, 3337, 3317, 4024, 1596, 2289, 2595, 3402, 1354)(1171, 1732, 2460, 3273, 3836, 3987, 2550, 3360, 3467, 3304, 3321, 4026, 1835, 2002, 2782, 3588, 2372, 3184)(1188, 1754, 2390, 3205, 3167, 3913, 3985, 3020, 3800, 3365, 4055, 4483, 4621, 2801, 3604, 3431, 2525, 3335)(1202, 1773, 2507, 3315, 3591, 2554, 3161, 2813, 3613, 4240, 3187, 3931, 4432, 4520, 4633, 4627, 4668, 4245)(1209, 1784, 2521, 3330, 3922, 4428, 3363, 4052, 3088, 3854, 4389, 4116, 4511, 3571, 4208, 4551, 3293, 1702)(1211, 1787, 2524, 2418, 3234, 3388, 3566, 4203, 4547, 2722, 1290, 1894, 2655, 3470, 3932, 2705, 3274, 3964)(1229, 1812, 2553, 3364, 4054, 2653, 3466, 4127, 4319, 4283, 4579, 1257, 1849, 2573, 3383, 4073, 4188, 2717)(1242, 1832, 2577, 3387, 3713, 4209, 4145, 2275, 3083)(1263, 1858, 2604, 3413, 2361, 1606, 2303, 3114, 2990, 3769, 4338, 3458, 2092, 2406, 3154, 2423, 3239, 3975)(1282, 1884, 2641, 2146, 2941, 3726, 4311, 4541, 4616, 2320, 3130, 3888, 4406, 3082, 3849, 4384, 3839, 3673)(1304, 1914, 2679, 3496, 4148, 3706, 2229, 3035, 3815, 3966, 4270, 1492, 2157, 2955, 3736, 3277, 2193, 2996)(1310, 1920, 2686, 3368, 4059, 4315, 4366, 4611, 4661, 4377, 4416, 4628, 3877, 4400, 3963, 1976, 2751, 3560)(1328, 1944, 2718, 3376, 3730, 4314, 3729, 4313, 3662, 4128, 4228, 4025, 2897, 3693, 1376, 2009, 2791, 3595)(1341, 1961, 2737, 3542, 3843, 4381, 4587, 4021, 3789, 4349, 4604, 4149, 4524, 4595, 4589, 4643, 4669, 3314)(1349, 1430, 2082, 2874, 3218, 2177, 2724, 3527, 4027, 4470, 4163, 4531, 1679, 2398, 2745, 3553, 2257, 3066)(1390, 2027, 2810, 3612, 4238, 3499, 4151, 4526, 4467, 3051, 3825, 2144, 2938, 2282, 2318, 2166, 2965, 3746)(1405, 2049, 2836, 1557, 2238, 3043, 3820, 1996, 2774, 3579, 3715, 3763, 4331, 4549, 4655, 4339, 4598, 3946)(1414, 2060, 2849, 1856, 2600, 2436, 3250, 3986, 4452, 1572, 2256, 3065, 3761, 4330, 3354, 3018, 3798, 4353)(1451, 2110, 2906, 3308, 4016, 4463, 3479, 4136, 4108, 4507, 4352, 4171, 4387, 3777, 3950, 2666, 3482, 4140)(1526, 2197, 3001, 3783, 4345, 2743, 3550, 4193, 4543, 4496, 1599, 2209, 3015, 3796, 4194, 4544, 4279, 4562)(1530, 2203, 3009, 2415, 3230, 2914, 3703, 2580, 3390, 4078, 4493, 1636, 2343, 3155, 2245, 3053, 3828, 4373)(1555, 1763, 2495, 3303, 3013, 3793, 1895, 2656, 3471, 4131, 4517, 4651, 4636, 3503, 4017, 4422, 3125, 3886)(1647, 2357, 2833, 3633, 4253, 3997, 4456, 3609, 4235, 4560, 4516, 3846, 4382, 2790, 3594, 4056, 4484, 2506)(1651, 2363, 3174, 2985, 3765, 3868, 3559, 4200, 2974)(1710, 2433, 3248, 3038, 3817, 4365, 4007, 3618, 4244, 1860, 2607, 3417, 4094, 2208, 2905, 3331, 1900, 2663)(1747, 2450, 2023, 2807, 3608, 2739, 3545, 2645, 1810)(1780, 2515, 3323, 3272, 3357, 4048, 4206, 4548, 4546, 4654, 2825, 3625, 4248, 3934, 1801, 2542, 3355, 3099)(1793, 2533, 3345, 2908, 3699, 4296, 4582, 4662, 4281, 2637, 3448, 4117, 4512, 4479, 4644, 3175, 2536, 3348)(1875, 2629, 3440, 4109, 4260, 4179, 4536, 3622, 2883, 3681, 3671, 4278, 2086, 2880, 3049, 3823, 1877, 2632)(1892, 2474, 3289, 2597, 3404, 3411, 2511, 3319, 2334, 3145, 3899, 3528, 4172, 3714, 4302, 4036, 4469, 4397)(1957, 2731, 3534, 4180, 4173, 4534, 4584, 4351, 4574, 4161, 2159, 2732, 3535, 4181, 4537, 3506, 4156, 3107)(2033, 2816, 3615, 4242, 4433, 2593, 3400, 4083, 4104, 4504, 4650, 4376, 4482, 3541, 4187, 3850, 4225, 2855)(2044, 2828, 2741, 3547, 4190, 2198, 3002, 2750, 3558, 3752, 3734, 3401, 3426, 3718, 4305, 3909, 4307, 3739)(2126, 2920, 3711, 4300, 2469, 3284, 2970, 3751, 3131, 3889, 4408, 2865, 3666, 4277, 4440, 2620, 3430, 3449)(2201, 3006, 3786, 4348, 4605, 2392, 3026, 3805, 4358, 4515, 4646, 4556, 4657, 3881, 3652, 4269, 4573, 4175)(2268, 3077, 3844, 3819, 4368, 4612, 3907, 3587, 4219, 3929, 4053, 3475, 4133, 4518, 4572, 4564, 3688, 2780)(2351, 3163, 3910, 4421, 4566, 4591, 4535, 2776, 3329, 3601, 4229, 4558, 4659, 4597, 4554, 3679, 4211, 3827)(2448, 3054, 3829, 4375, 3855, 3725, 4062, 4487, 4647, 4671, 3137, 2684, 3500, 4152, 4527, 4626, 2624, 3436)(2639, 3451, 4119, 3442, 3522, 4168, 4532, 4599, 4334)(2749, 3557, 4199, 4439, 3386, 3832, 3903, 4419, 3483, 4141, 4522, 4291, 3536, 4182, 4198, 4359, 4608, 4623)(2983, 3764, 4332, 4251, 4342, 4287, 4361, 4218, 4553)>; g:=x; h:=y;