NAME : ja9847.tour COMMENT : Length = 491924, found by Keld Helsgaun TYPE : TOUR DIMENSION : 9847 TOUR_SECTION 3928 3960 4041 4042 4073 4165 4232 4261 4306 4333 4360 4404 4332 4305 4260 4130 4072 4096 4011 3959 3871 3825 3824 3823 3787 3786 3822 3870 3896 3897 3958 4040 4129 4282 4304 4386 4461 4541 4566 4630 4565 4607 4509 4385 4359 4164 4201 4163 4039 4010 3957 3869 3785 3756 3494 3536 3537 3788 3789 3757 3790 3826 3791 3758 3726 3759 3872 3760 3658 3629 3630 3659 3660 3581 3538 3495 3496 3474 3331 3272 3223 3330 3329 3308 3271 3222 3195 3169 3143 3127 3126 3194 3193 3168 3125 3097 3036 3035 2942 2943 3003 2893 2822 2795 2697 2740 2739 2770 2820 2821 2892 2941 2940 2891 2853 2819 2721 2738 2642 2641 2680 2679 2658 2769 2768 2737 2818 2817 2890 2889 2915 2973 3124 3167 3192 3307 3306 3221 3220 3270 3191 3190 3219 3218 3166 3123 3065 3002 2971 2972 3034 3066 2939 2852 2851 2696 2736 2816 2815 2913 2914 2888 3001 3033 3032 2970 2969 2938 2937 3000 3064 2999 2912 2887 2850 2814 2794 2720 2677 2678 2638 2657 2695 2615 2591 2531 2532 2533 2534 2481 2535 2536 2551 2571 2552 2537 2572 2553 2592 2573 2574 2616 2639 2617 2618 2640 2575 2538 2576 2593 2577 2594 2595 2578 2579 2554 2515 2498 2464 2484 2485 2436 2404 2385 2348 2321 2301 2274 2240 2222 2256 2199 2184 2161 2153 2105 2085 2070 2069 2016 2045 2139 2160 2210 2239 2211 2255 2299 2320 2300 2347 2435 2463 2403 2384 2483 2482 2462 2319 2318 2273 2254 2238 2298 2402 2461 2434 2317 2221 2198 2175 2118 2104 2044 1967 1947 1849 1827 1778 1760 1749 1759 1786 1798 1836 1848 1863 1934 1946 1966 2015 1993 1965 1964 1992 1991 1990 2014 1989 2042 2041 2102 2082 2083 2066 2043 2067 2068 2084 2135 2136 2137 2103 2138 2173 2174 2197 2297 2346 2345 2344 2433 2514 2513 2497 2460 2432 2383 2401 2343 2458 2459 2479 2480 2512 2635 2570 2636 2676 2637 2719 2767 2735 2793 2792 2813 2849 2911 3031 3030 3096 2968 2998 3029 2967 3063 3122 3186 3212 3213 3267 3301 3243 3268 3302 3244 3214 3160 3161 3215 3303 3269 3304 3359 3324 3325 3305 3245 3162 3142 3187 3188 3189 3163 3164 3165 3216 3217 3327 3378 3406 3437 3473 3491 3534 3535 3579 3492 3407 3379 3361 3328 3380 3381 3438 3439 3493 3580 3628 3691 3692 3693 3820 3864 3863 3819 3690 3724 3689 3784 3955 3926 4037 4094 4159 4279 4357 4358 4259 4199 4160 4038 4231 4280 4161 4095 3956 3865 3866 3754 3725 3755 3821 3868 3867 3927 4071 4070 4128 4162 4200 4281 4384 4434 4564 4606 4737 4693 4864 4836 4865 4798 4933 4738 4629 4739 4800 4799 4888 4990 5020 5317 5346 5345 5344 5162 5299 5298 5297 5262 5161 5231 5230 5229 5199 5198 5059 5019 5127 5089 5018 4989 5088 5087 5086 4988 5058 5017 4960 4932 5016 5057 5015 5014 5056 5085 5084 5055 5013 4987 4887 4931 4959 4930 4929 4958 4957 4986 5012 5054 5083 5082 5126 5160 5197 5196 5195 5194 5125 5053 4956 4955 4985 4984 4924 4863 4925 4926 4927 4928 4831 4760 4830 4795 4653 4652 4690 4624 4605 4561 4538 4490 4432 4382 4402 4257 4195 4196 4154 4123 4007 3922 3894 3983 3982 4006 3948 3893 3814 3859 3947 3981 3892 3858 3749 3684 3622 3573 3574 3654 3750 3751 3655 3623 3624 3780 3860 3923 4032 4066 4033 4155 4226 4277 4383 4507 4583 4562 4539 4458 4356 4328 4508 4563 4626 4625 4736 4761 4796 4832 4762 4627 4691 4833 4834 4628 4584 4797 4835 4692 4540 4460 4303 4278 4230 4198 4093 4036 3954 3818 3783 3688 3627 3532 3490 3533 3472 3405 3404 3326 3360 3377 3403 3471 3436 3531 3657 3723 3782 3781 3861 3895 3952 3953 3817 3862 3925 3985 4035 4127 4229 4302 4331 4433 4459 4403 4329 4330 4227 4228 4258 4158 4126 4125 4069 4009 4034 3951 4008 4068 4124 4157 4197 4156 4092 4067 3984 3924 3950 3949 3815 3685 3575 3625 3489 3656 3752 3753 3576 3686 3816 3687 3577 3578 3626 3435 3402 3401 3400 3434 3433 3376 3375 3358 3357 3356 3323 3355 3354 3322 3266 3242 3156 3157 3140 3158 3159 3141 3121 3062 2997 2996 3028 3061 3095 3120 3094 3060 3059 3093 3092 3058 3057 2981 2935 2908 2837 2885 2909 2965 2966 2936 2910 2886 2847 2848 2812 2766 2801 2734 2614 2675 2694 2674 2765 2764 2811 2846 2884 2810 2763 2733 2762 2791 2836 2845 2883 2907 2962 2980 2963 2964 3091 3090 3089 3184 3264 3297 3298 3299 3300 3185 3265 3321 3374 3470 3469 3468 3488 3432 3353 3352 3296 3155 3088 3119 2932 2880 2881 2882 2933 2934 2790 2718 2701 2717 2716 2715 2700 2714 2732 2789 2788 2713 2693 2761 2760 2759 2758 2787 2809 2786 2785 2731 2712 2711 2673 2656 2672 2692 2691 2690 2729 2730 2784 2807 2783 2806 2805 2877 2906 2878 2808 2879 2931 3087 3118 3027 3026 2995 2961 2960 3025 3024 3023 3056 3022 3021 3055 3084 3085 3086 3139 3154 3210 3211 3263 3240 3241 3431 3467 3530 3572 3653 3722 3748 3946 3980 4091 4153 4225 4276 4301 4326 4325 4401 4354 4430 4456 4488 4529 4531 4559 4560 4532 4602 4603 4620 4648 4688 4650 4621 4534 4533 4505 4457 4380 4355 4194 4256 4327 4381 4431 4489 4535 4536 4537 4506 4604 4689 4735 4651 4623 4622 4734 4862 4829 4828 4794 4793 4792 4759 4791 4758 4861 4919 4920 4921 4922 4953 4978 4954 4923 5052 4982 4983 5079 5080 5081 5192 5193 5261 5813 5827 5856 5857 5874 5858 5888 5908 5909 5965 5982 5998 5983 5966 5999 6015 6034 6051 6102 6133 6101 6100 6014 5923 5907 5906 5905 5887 5873 6099 5678 5612 3743 3238 3204 3113 3080 3053 2989 3052 3016 3051 3112 3050 3015 3079 3049 3014 3013 3048 3078 3111 3136 3077 2988 2954 2987 2986 2985 2926 2925 2868 2872 2835 2748 2705 2702 2648 2628 2626 2602 2582 2667 2604 2558 2518 2605 2559 2519 2505 2501 2418 2425 2447 2474 2502 2506 2520 2560 2630 2629 2685 2750 2706 2726 2802 2955 2902 2841 2751 2752 2842 2843 2778 2753 2668 2606 2492 2542 2507 2493 2508 2521 2543 2561 2544 2583 2562 2584 2563 2564 2565 2545 2546 2522 2509 2475 2395 2448 2476 2494 2523 2524 2525 2547 2526 2495 2449 2450 2444 2426 2415 2377 2362 2229 2230 2267 2268 2285 2313 2335 2363 2378 2427 2416 2451 2527 2587 2586 2670 2757 2756 2844 2875 3018 2991 3083 3116 3294 3207 3183 3206 3293 3318 3396 3372 3317 3262 3205 3182 3114 3115 3082 3017 2958 2874 2780 2781 2708 2727 2669 2608 2585 2632 2653 2652 2607 2688 2651 2687 2755 2707 2631 2650 2649 2686 2779 2754 2803 2903 2990 3054 2957 2873 2956 3081 3137 3181 3239 3292 3347 3428 3463 3487 3524 3525 3569 3429 3526 3650 3718 3527 3373 3397 3348 3464 3528 3570 3618 3745 3719 3744 3857 3917 3944 3945 3975 4004 4062 4063 4031 4119 4120 4151 4190 4191 4088 4089 4064 4065 4090 4192 4252 4253 4299 4324 4378 4429 4487 4379 4300 4255 4254 4275 4224 4193 4121 4152 4122 4005 3921 3920 3979 3978 3919 3977 3976 3918 3779 3619 3651 3683 3720 3721 3620 3652 3746 3747 3621 3571 3529 3466 3465 3399 3320 3295 3319 3398 3430 3351 3350 3349 3208 3019 2992 2993 3153 3209 3138 3117 3020 2994 2959 2930 2905 2904 2876 2804 2782 2728 2710 2689 2709 2654 2671 2655 2566 2528 2452 2414 2396 2314 2336 2355 2364 2417 2379 2315 2374 2380 2397 2510 2588 2609 2633 2610 2611 2567 2477 2471 2453 2428 2365 2337 2338 2296 2269 2232 2231 2215 2206 2182 2170 2196 2219 2270 2291 2286 2271 2251 2252 2253 2367 2366 2454 2496 2529 2548 2568 2612 2634 2613 2589 2590 2569 2549 2550 2530 2511 2429 2398 2430 2399 2390 2368 2339 2340 2341 2342 2369 2381 2382 2431 2455 2456 2478 2457 2400 2316 2233 2234 2272 2235 2171 2207 2208 2220 2236 2237 2209 2172 2134 2117 2039 2040 2012 2013 1988 1945 1718 1887 1933 1932 1931 2011 2081 2152 2183 2133 2101 2065 1987 1944 1908 1886 1814 1785 1748 1717 1649 1706 1716 1747 1758 1777 1734 1691 1692 1648 1601 1575 1574 1561 1506 1483 1505 1541 1572 1573 1610 1666 1705 1715 1776 1825 1813 1826 1847 1907 1985 2010 1986 1930 1885 2038 2080 2100 2159 2116 2132 1984 2037 2099 2036 2115 2167 2158 2195 2079 2008 2035 1943 1982 2009 1983 1963 1929 1846 1812 1757 1733 1714 1704 1665 1646 1647 1600 1540 1504 1522 1467 1468 1451 1422 1375 1355 1343 1328 1280 1296 1313 1327 1342 1341 1312 1311 1326 1325 1340 1324 1279 1295 1354 1387 1373 1388 1374 1437 1436 1482 1466 1465 1503 1464 1502 1521 1501 1463 1500 1520 1550 1560 1571 1592 1622 1621 1634 1656 1664 1688 1689 1690 1702 1703 1756 1746 1745 1732 1768 1811 1824 1823 1862 1861 1884 1906 1905 1883 1845 1835 1822 1797 1722 1687 1663 1655 1633 1614 1620 1594 1607 1608 1609 1570 1539 1538 1496 1519 1497 1498 1499 1481 1462 1450 1435 1449 1409 1372 1353 1352 1351 1339 1408 1448 1447 1461 1495 1537 1549 1460 1407 1386 1406 1371 1434 1446 1494 1516 1548 1590 1569 1536 1517 1518 1559 1591 1645 1713 1720 1712 1711 1719 1731 1644 1662 1750 1775 1810 1809 1834 1860 1925 1902 1926 1844 1927 1962 1903 1882 1904 1928 1981 2007 2034 2064 2098 2114 2181 2157 2151 2113 2078 2150 2112 2077 2033 2006 1980 2051 2032 1979 1924 1859 1821 1820 1819 1858 1901 2063 2090 2076 2097 2096 2131 2149 2148 2095 2130 2147 2194 2228 2284 2295 2312 2334 2361 2424 2423 2446 2473 2504 2503 2472 2445 2422 2421 2394 2376 2393 2420 2419 2392 2375 2360 2333 2332 2311 2310 2283 2294 2330 2331 2359 2358 2357 2309 2308 2307 2391 2356 2329 2266 2227 2192 2169 2156 2193 2205 2146 2129 2111 2110 2145 2109 2128 2180 2191 2250 2306 2293 2226 2225 2218 2190 2189 2179 2168 2144 2125 2124 2123 2058 2059 2060 2061 2075 2092 2108 2126 2127 2093 2094 2030 2029 2028 1976 1959 1856 1920 1919 1840 1855 1918 1955 1958 1938 1953 1954 1997 1975 2000 2004 2027 2057 2122 2091 2056 2053 2054 2022 2023 2021 2020 2019 2026 2050 2055 2049 2052 2025 2001 1970 1950 1937 1916 1971 1999 1998 1974 2003 2002 1973 1957 1972 1956 1939 2024 2188 2246 2265 2249 2217 2216 2204 2178 2187 2247 2248 2292 2627 2666 2704 2747 2749 2777 2840 2871 2838 2869 2953 2984 3012 3047 3076 3110 3179 3203 3261 3291 3343 3371 3395 3462 3520 3486 3521 3566 3568 3567 3523 3522 3461 3427 3460 3346 3345 3344 3290 3260 3180 3135 3075 3109 3108 3074 3010 3011 2983 2952 2929 2901 2982 2928 2927 2870 2839 2776 2775 2703 2684 2665 2647 2603 2625 1851 1837 1737 1736 1735 1657 1658 1669 1667 1637 1595 1583 1576 1582 1551 1542 1527 1526 1523 1525 1524 1486 1471 1485 1508 1484 1470 1438 1426 1413 1412 1425 1440 1439 1424 1411 1394 1378 1357 1377 1393 1392 1390 1410 1376 1356 1344 1331 1303 1284 1302 1283 1282 1298 1301 1300 1330 1316 1299 1297 1273 1272 1246 1245 1238 1213 1202 1204 1214 1239 1199 1192 1203 1215 1225 1226 1263 1248 1247 1227 1304 1314 1358 1389 1395 1415 1423 1427 1414 1441 1452 1453 1507 1487 1488 1528 1543 1544 1529 1545 1668 1670 1693 1752 1769 1753 1779 1788 1799 1815 1853 1892 1915 1893 1854 1816 1800 1789 1762 1801 1790 1791 1792 1828 1878 1879 1894 1895 1896 1838 1829 1802 1780 1763 1803 1839 1873 1891 1913 1897 1890 1877 1870 1867 1852 1850 1869 1871 1866 1865 1868 1872 1875 1880 1876 1889 1914 1917 1940 1952 1951 1874 1830 1805 1761 1721 1681 1696 1660 1680 1725 1770 1787 1804 1764 1740 1739 1708 1676 1659 1694 1677 1678 1679 1629 1613 1598 1565 1511 1442 1430 1476 1564 1605 1628 1585 1579 1563 1510 1469 1455 1416 1360 1345 1381 1397 1429 1475 1509 1489 1531 1553 1578 1584 1604 1603 1597 1596 1615 1625 1638 1651 1650 1639 1640 1626 1627 1675 1724 1674 1673 1672 1671 1707 1723 1738 1695 1624 1546 1552 1577 1562 1530 1472 1473 1454 1474 1428 1396 1379 1359 1380 1332 1285 1286 1317 1315 1305 1287 1288 1276 1275 1274 1264 1251 1240 1250 1249 1228 1193 1186 1216 1241 1265 1306 1318 1382 1391 1361 1319 1346 1347 1362 1329 1417 1418 1398 1363 1333 1289 1253 1242 1230 1217 1281 1252 1229 1206 1205 1200 1182 1169 1163 1181 1175 1140 1133 1120 1098 1091 1086 1081 1067 1060 1061 1041 1028 1029 1014 1000 1009 1001 993 986 985 984 978 992 991 983 977 971 965 966 956 947 952 957 958 972 987 988 995 1002 1011 1017 1016 1015 1010 1030 1051 1055 1068 1074 1087 1092 1116 1121 1130 1134 1141 1154 1156 1147 1176 1177 1157 1142 1135 1136 1143 1148 1158 1170 1183 1194 1207 1187 1188 1201 1208 1243 1266 1218 1189 1184 1195 1231 1254 1290 1267 1232 1233 1219 1220 1234 1209 1190 1221 1222 1223 1256 1292 1308 1255 1277 1291 1307 1336 1337 1385 1401 1384 1365 1383 1349 1348 1335 1334 1364 1400 1399 1419 1443 1456 1512 1477 1547 1566 1567 1580 1599 1586 1616 1641 1652 1698 1682 1697 1726 1765 1781 1727 1683 1653 1642 1617 1581 1587 1532 1513 1457 1444 1554 1533 1555 1568 1588 1606 1630 1684 1685 1686 1661 1728 1782 1818 1795 1773 1794 1793 1766 1772 1771 1806 1817 1881 1921 1922 1898 1831 1841 1899 1977 1978 2062 2031 1923 1960 1941 2005 1961 1942 1857 1808 1833 1843 1842 1900 1832 1796 1783 1784 1807 1774 1699 1643 1631 1618 1556 1535 1534 1458 1445 1459 1420 1366 1402 1431 1403 1432 1478 1514 1515 1479 1490 1480 1491 1557 1619 1700 1729 1741 1742 1743 1754 1755 1744 1751 1767 1730 1701 1654 1709 1710 1632 1589 1558 1492 1493 1433 1369 1350 1368 1405 1421 1404 1367 1309 1257 1258 1259 1278 1268 1260 1320 1321 1370 1338 1269 1235 1210 1211 1236 1293 1310 1322 1323 1294 1271 1270 1237 1262 1261 1244 1212 1224 1198 1185 1180 1174 1173 1162 1153 1146 1129 1125 1108 1103 1085 1107 1097 1079 1080 1073 1071 1059 1050 1040 1036 1027 1026 1008 999 1007 1013 1034 1039 1035 1025 1047 1049 1058 1066 1070 1064 1048 1046 1045 1033 1020 1012 998 1024 1019 1023 1006 990 994 980 963 962 961 941 940 939 932 938 949 960 979 1004 1005 1022 1032 1038 1063 1057 1072 1083 1105 1115 1106 1102 1084 1089 1090 1096 1112 1118 1127 1137 1119 1124 1128 1138 1168 1179 1167 1161 1166 1165 1178 1197 1191 1196 1164 1160 1159 1132 1145 1152 1131 1122 1114 1104 1111 1101 1095 1110 1113 1123 1139 1144 1155 1151 1150 1172 1171 1149 1126 1117 1109 1099 1093 1088 1082 1069 1062 1075 1052 1065 1077 1078 1100 1094 1076 1054 1037 1053 1044 1018 1031 1043 1056 1042 1021 1003 996 997 989 973 953 936 931 937 927 901 894 890 891 874 864 882 895 906 905 918 913 914 902 883 875 868 876 915 907 896 884 897 919 933 974 981 975 964 968 954 946 942 923 908 885 877 871 865 870 869 860 839 813 809 808 807 806 825 810 815 826 830 842 852 859 858 854 851 845 850 849 844 834 833 838 843 841 840 848 847 853 846 835 832 831 827 828 829 824 814 812 811 801 790 788 789 787 783 778 777 765 764 763 762 774 773 772 796 795 805 786 782 761 751 749 745 741 740 738 737 739 742 744 748 755 771 781 794 804 803 837 856 873 872 900 893 889 881 888 892 904 926 945 944 967 959 948 935 925 917 916 899 887 880 867 857 863 855 823 800 793 780 770 759 760 754 750 747 743 746 753 758 776 769 768 779 799 822 802 798 785 767 752 757 756 766 775 784 792 797 791 816 817 818 819 820 821 836 862 861 866 878 879 886 898 912 911 922 930 934 943 951 970 969 976 982 955 950 929 928 924 920 921 909 903 910 734 694 687 688 689 674 671 679 685 690 681 682 680 677 726 727 722 718 717 715 710 707 704 705 708 711 713 716 719 724 723 729 728 730 733 735 736 732 731 725 721 720 714 712 709 706 702 701 700 699 698 697 696 693 686 692 695 691 683 684 678 676 675 673 672 670 669 667 666 663 665 664 668 662 644 641 638 637 634 633 628 627 656 658 660 661 659 655 652 649 651 657 654 653 650 648 645 647 632 636 643 646 642 640 639 635 631 625 622 623 630 626 617 614 610 607 603 600 602 606 608 609 613 616 619 621 624 629 620 618 615 612 611 605 604 601 597 599 598 594 596 595 593 591 590 588 587 592 589 586 583 579 577 582 581 585 584 580 578 576 575 573 571 570 574 572 569 567 568 561 558 553 552 557 556 560 562 559 555 554 551 550 549 548 546 547 545 544 519 516 524 515 514 517 525 526 518 527 414 416 415 335 299 290 273 289 309 323 322 342 341 340 321 320 315 319 318 313 269 295 310 298 294 270 271 278 272 250 251 244 231 54 53 52 49 44 40 39 51 50 48 43 29 28 27 25 24 18 10 7 19 20 17 14 13 9 6 26 23 22 1 5 2 3 4 8 11 12 15 16 21 36 37 31 32 30 33 38 34 35 138 159 192 193 202 195 178 129 142 165 166 143 117 118 112 131 119 116 136 160 164 174 180 176 172 169 156 144 155 154 158 167 168 179 186 184 175 185 189 196 200 197 209 213 207 201 190 181 194 204 199 205 206 216 217 215 212 214 219 222 223 232 224 233 234 235 239 249 253 252 274 301 300 324 343 344 352 358 359 360 353 354 346 345 325 317 326 327 302 303 286 275 258 245 240 237 236 241 254 256 265 268 276 279 282 284 304 297 314 316 328 336 329 332 337 347 350 351 349 339 333 330 312 307 305 293 288 281 266 264 261 255 277 291 296 308 306 283 287 285 280 267 262 257 248 246 242 238 230 229 228 227 225 226 221 220 218 211 210 203 198 183 182 188 177 191 187 173 170 161 171 162 149 128 130 146 150 141 145 140 121 115 132 153 152 151 163 157 139 133 126 120 113 105 100 89 93 103 101 97 91 81 78 79 83 82 85 74 75 72 70 68 62 61 66 67 71 69 63 64 65 73 76 80 86 98 102 108 107 99 95 87 90 84 77 88 92 94 109 122 124 134 147 135 125 123 104 96 106 110 114 127 137 148 111 208 243 247 259 263 260 292 311 331 334 338 348 376 383 390 387 380 378 377 375 371 373 370 363 364 362 357 356 355 361 365 367 366 368 369 372 374 379 381 384 386 388 385 382 389 393 394 397 398 399 401 412 413 420 421 429 422 423 426 427 430 431 438 446 462 460 455 463 454 432 440 445 444 451 452 464 465 453 470 479 482 489 513 501 497 485 495 484 490 500 512 502 499 498 510 503 496 491 486 487 480 472 471 467 466 468 478 483 488 511 481 477 461 441 442 436 428 437 439 433 450 469 473 492 493 504 505 506 520 528 531 529 521 507 494 475 474 456 424 417 408 409 404 407 406 403 402 395 392 391 396 400 405 410 411 418 419 425 447 448 434 457 443 435 449 458 476 508 509 522 532 534 536 538 541 543 542 540 539 537 535 533 530 57 58 59 60 45 46 41 42 47 55 56 459 523 564 563 565 566 703 1593 1602 1623 1636 1612 1611 1635 2328 2354 2413 2557 2556 2601 2624 2646 2664 2746 2951 3046 3134 3289 3617 3616 3615 3614 3682 3742 3813 3812 4027 3974 3916 3856 3778 3741 3717 3777 3681 3613 3519 3565 3649 3680 3564 3485 3518 3426 3459 3517 3563 3612 3679 3716 3715 3740 3776 3855 3890 3915 3891 4026 4085 4145 4002 4003 4058 4059 4086 4087 4147 4116 4273 4296 4353 4322 4295 4274 4223 4251 4250 4187 4146 4186 4271 4294 4350 4398 4523 4372 4397 4396 4447 4481 4480 4446 4421 4420 4419 4445 4479 4497 4553 4552 4639 4668 4776 4812 4903 5039 5137 5210 5241 5209 5208 5175 5038 4943 4902 4848 4811 4714 4638 4551 4522 4478 4444 4395 4371 4418 4293 4292 4270 4246 4221 4222 4185 4144 4184 4220 4245 4291 4269 4183 4143 4115 4057 4025 3973 4056 3972 3943 3854 3811 3810 3739 3714 3611 3562 3484 3425 3424 3458 3516 3515 3514 3561 3610 3774 3775 3678 3738 3809 3853 3887 3888 3913 3889 3914 4084 4219 4369 4496 4476 4443 4417 4349 4268 4321 4370 4477 4550 4637 4970 5037 5207 5327 5328 5356 5395 5396 5357 5358 5359 5560 5452 5576 5617 5597 5596 5665 5734 5799 5844 5798 5843 5926 5881 5880 5866 5831 5816 5722 5629 5514 5174 4847 4713 4667 4614 4521 4442 4348 4347 4346 4244 4217 4218 4113 4114 4024 3912 3852 3808 3737 3677 3648 3560 3559 3609 3647 3608 3607 3606 3605 3604 3675 3603 3674 3710 3558 3557 3646 3673 3709 3735 3769 3806 3807 3885 3847 3805 3884 3910 3940 3970 4022 3909 3846 3845 3804 3768 3556 3513 3457 3423 3422 3512 3456 3511 3483 3394 3645 3672 3644 3671 3708 3766 3803 3841 3767 3842 3938 3907 3997 4019 4082 4051 4105 4181 4213 4083 3998 3999 4020 4052 4053 4000 3967 4001 3968 3939 3908 3843 3844 3883 3969 4054 4108 4109 4055 4021 4110 4216 4343 4344 4367 4415 4414 4366 4342 4319 4266 4215 4141 4107 4106 4140 4182 4214 4290 4318 4394 4413 4495 4494 4519 4518 4517 4492 4493 4472 4473 4474 4412 4411 4393 4365 4341 4340 4317 4289 4339 4338 4337 4316 4392 4410 4471 4516 4547 4593 4662 4705 4704 4661 4633 4592 4611 4703 4805 4871 4895 4896 4872 4806 4770 4771 4873 4897 4874 4807 4740 4706 4634 4635 4612 4613 4571 4572 4573 4636 4574 4663 4707 4773 4708 4709 4710 4808 4711 4664 4576 4575 4548 4520 4416 4267 4142 4023 3941 3848 3770 3711 3771 3849 3942 3911 3886 3850 3772 3736 3676 3712 3713 3773 3851 3971 4112 4111 4243 4345 4368 4475 4320 4441 4595 4666 4775 4969 4968 5036 5106 5069 5107 5173 5240 5278 5304 5394 5512 5513 5559 5628 5705 5797 5796 5842 5865 5912 5896 5795 5733 5685 5646 5645 5616 5595 5575 5558 5479 5451 5393 5277 5172 5068 5035 4967 4942 4810 4712 4594 4549 4665 4774 4809 4966 5034 5104 5105 5206 5205 5326 5239 5171 5103 5170 5276 5325 5450 5614 5615 5594 5841 5895 5894 5893 5863 5815 5755 5704 5684 5664 5593 5557 5511 5392 5355 5354 5449 5540 5627 5510 5539 5324 5273 5274 5204 5100 5101 5169 5237 5275 5238 5102 5000 4999 4901 4965 5033 4998 4964 4900 4941 4940 4899 4772 4846 4898 5032 5136 5099 4963 5031 5168 5272 5236 5323 5322 5203 5098 4997 5030 4939 4870 4894 4938 5029 5135 5235 5271 5448 5537 5509 5420 5556 5574 5592 5661 5681 5753 5830 5829 5828 5752 5751 5721 5701 5750 5793 5814 5859 5876 5877 5891 5860 5878 5879 5861 5840 5794 5732 5702 5662 5625 5626 5682 5770 5703 5663 5538 5683 5754 5862 5952 5969 6058 6136 6172 6234 6271 6282 6283 6309 6351 6350 6321 6349 6348 6393 6423 6461 6462 6412 6381 6424 6413 6425 6444 6476 6475 6490 6506 6523 6538 6539 6524 6491 6507 6477 6445 6426 6382 6368 6394 6369 6310 6296 6272 6235 6216 6173 6120 6081 6001 5938 5892 5953 5939 5940 5971 5970 6002 6036 6059 6105 6137 6153 6174 6236 6106 6138 6082 6060 5972 5973 5985 6037 6061 5974 5864 5941 5986 5987 5988 5975 5954 5942 5976 6024 6083 6040 6023 6003 6022 6021 6020 6038 6039 6063 6062 6121 6154 6175 6247 6248 6176 6177 6178 6237 6249 6259 6273 6322 6323 6336 6353 6337 6297 6274 6284 6275 6250 6198 6217 6197 6179 6122 6084 6004 6064 6085 6107 6139 6180 6238 6218 6199 6181 6182 6155 6086 6087 6025 6088 6089 6090 6140 6141 6091 6041 6026 6042 6027 6005 6006 5955 5943 5897 5867 5817 5771 5735 5666 5630 5706 5772 5773 5898 5927 5978 6068 6067 6045 6066 6065 6108 6143 6144 6158 6159 6160 6161 6123 6109 6069 6092 6124 6186 6223 6222 6221 6240 6239 6220 6219 6315 6340 6325 6316 6300 6301 6326 6403 6433 6452 6487 6453 6454 6502 6530 6566 6573 6606 6619 6605 6588 6565 6514 6486 6432 6485 6501 6513 6512 6529 6484 6402 6388 6389 6376 6358 6314 6260 6251 6185 6157 6142 6029 6044 5977 5956 6028 6043 6156 6183 6184 6200 6286 6313 6356 6357 6418 6387 6375 6355 6339 6324 6312 6299 6285 6401 6468 6528 6550 6549 6548 6564 6572 6586 6602 6603 6604 6618 6617 6661 6662 6663 6689 6690 6702 6741 6703 6704 6587 6651 6672 6706 6728 6754 6755 6787 6798 6807 6819 6849 6859 6868 6909 6924 6937 6910 6850 6799 6891 6925 6932 6892 6947 6970 7001 6995 6996 6983 7014 7022 7060 7071 7074 7126 7121 7075 7046 7047 7048 7049 7050 7061 7062 7076 7087 7091 7111 7127 7138 7092 7105 7088 7063 7052 7051 7032 7016 7003 6949 6939 6938 6986 7031 7042 7041 7040 7030 7015 7002 6985 6984 6948 6893 6837 6831 6768 6779 6767 6809 6851 6808 6721 6607 6589 6551 6469 6470 6455 6434 6342 6341 6327 6302 6252 6201 6202 6187 6203 6224 6261 6241 6204 6277 6162 6146 6127 6094 6074 6147 6205 6242 6262 6328 6329 6359 6435 6436 6488 6516 6552 6515 6532 6531 6631 6652 6620 6597 6574 6567 6533 6456 6404 6360 6361 6343 6405 6437 6438 6439 6457 6489 6517 6553 6534 6458 6419 6406 6377 6362 6330 6289 6303 6288 6266 6265 6209 6189 6165 6190 6210 6226 6166 6131 6132 6191 6227 6192 6113 6050 5981 5963 5962 5996 6049 6033 6098 6032 6013 5995 5961 5949 5899 5934 5900 5855 5854 5871 5853 5823 5759 5711 5651 5650 5649 5635 5606 5582 5605 5567 5492 5374 5373 5438 5437 5408 5445 5491 5501 5436 5412 5407 5406 5435 5434 5433 5404 5405 5372 5371 5370 5403 5432 5431 5402 5401 5430 5442 5429 5428 5400 5367 5366 5333 5310 5311 5334 5368 5369 5335 5312 5286 5285 5251 5215 5180 5179 5214 5250 5249 5213 5212 5248 5247 5246 5211 5177 5142 5141 5071 5143 5178 5144 5112 5113 5120 5114 5075 5074 5045 5073 5072 5044 5043 5004 5003 5002 5001 4973 4974 4975 4976 4945 4907 4906 4905 4850 4875 4944 4914 4885 4949 4972 5007 5042 5041 5049 5050 5111 5185 5226 5244 5259 5284 5292 5314 5343 5362 5386 5414 5422 5415 5444 5482 5543 5591 5572 5531 5481 5454 5384 5387 5382 5342 5316 5338 5411 5480 5542 5503 5530 5474 5529 5599 5588 5642 5718 5719 5743 5742 5730 5724 5699 5677 5659 5641 5600 5587 5643 5660 5674 5697 5655 5647 5623 5632 5657 5708 5707 5700 5744 5757 5775 5765 5764 5820 5848 5809 5776 5758 5720 5709 5676 5654 5656 5667 5686 5698 5737 5807 5869 5821 5785 5777 5717 5687 5668 5675 5648 5603 5590 5562 5578 5609 5633 5602 5601 5577 5561 5532 5502 5571 5618 5589 5554 5516 5504 5473 5443 5397 5381 5341 5295 5290 5255 5258 5253 5156 5139 5140 5245 5308 5330 5339 5363 5383 5423 5475 5455 5424 5425 5456 5517 5518 5484 5483 5458 5457 5426 5398 5364 5331 5309 5332 5365 5399 5427 5459 5460 5461 5485 5519 5544 5563 5564 5565 5545 5546 5547 5520 5486 5462 5463 5464 5488 5487 5521 5548 5522 5489 5465 5466 5467 5490 5523 5549 5566 5553 5581 5580 5621 5579 5604 5619 5610 5611 5624 5634 5640 5688 5710 5696 5653 5620 5622 5658 5669 5689 5739 5727 5778 5852 5851 5801 5836 5835 5800 5738 5726 5716 5725 5746 5834 5870 5919 5933 5920 5947 5948 5994 5993 6077 6130 6208 6207 6264 6263 6253 6287 6225 6163 6148 6095 6075 6096 6097 6128 6206 6188 6164 6129 6076 6012 6011 5960 5918 5917 5992 5946 5885 5850 5791 5747 5790 5822 5833 5849 5884 5883 5932 5916 5931 5959 5980 6010 5979 5958 5945 5915 5930 5929 5944 5991 6009 6008 6031 6073 6112 6126 6125 6111 6072 6030 6007 6048 6047 6093 6145 6110 6071 6046 6070 5990 5989 5957 5913 5928 5914 5868 5847 5819 5774 5768 5767 5763 5804 5818 5812 5808 5782 5762 5766 5784 5787 5783 5781 5789 5786 5810 5806 5826 5846 5882 5845 5832 5811 5805 5788 5756 5745 5723 5736 5631 5598 5515 5541 5453 5421 5360 5361 5329 5279 5242 5108 5070 5040 5109 5138 5280 5305 5281 5220 5224 5218 5282 5315 5385 5413 5380 5340 5306 5294 5293 5289 5307 5296 5291 5243 5219 5184 5176 5154 5187 5191 5186 5223 5257 5228 5256 5225 5158 5151 5155 5124 5150 5149 5123 5119 4979 4948 4911 4904 4915 4884 4882 4860 4854 4814 4813 4784 4779 4778 4777 4669 4619 4686 4732 4726 4733 4755 4788 4849 4879 4856 4855 4827 4820 4785 4723 4728 4749 4750 4751 4724 4715 4684 4679 4647 4578 4577 4582 4581 4557 4530 4504 4486 4498 4448 4427 4449 4450 4455 4499 4524 4554 4601 4615 4640 4641 4682 4725 4729 4681 4680 4716 4717 4727 4756 4786 4783 4754 4752 4787 4789 4819 4822 4857 4916 4918 4913 4880 4912 4858 4853 4821 4815 4790 4824 4859 4883 4981 5118 5110 5010 5078 5122 5152 5153 5159 5183 5188 5217 5190 5221 5227 5260 5283 5254 5222 5189 5157 5121 5051 5048 5011 5009 5008 4971 4980 4952 4951 4950 4917 4886 4881 4825 4823 4816 4731 4741 4753 4718 4742 4757 4722 4670 4743 4780 4782 4744 4685 4671 4616 4649 4672 4673 4719 4687 4745 4781 4720 4675 4674 4642 4643 4646 4596 4558 4580 4579 4555 4527 4526 4525 4500 4501 4482 4451 4428 4452 4483 4484 4453 4485 4502 4528 4556 4597 4617 4644 4683 4746 4747 4730 4817 4826 4908 4851 5005 5076 5115 5145 5146 5077 5006 5116 5181 5216 5287 5313 5375 5376 5468 5524 5525 5493 5494 5377 5288 5182 5117 5147 5046 4947 4909 4877 4946 4876 4852 4645 4677 4676 4598 4618 4423 4374 4422 4377 4373 4351 4323 4297 4247 4248 4189 4117 4150 4188 4148 4149 4060 4028 4029 4030 4061 4118 4249 4272 4298 4352 4375 4376 4399 4400 4424 4425 4426 4454 4503 4599 4600 4678 4721 4748 4818 4878 4910 4977 5047 5148 5252 5336 5378 5409 5379 5337 5410 5498 5497 5469 5496 5526 5440 5439 5495 5550 5583 5636 5690 5712 5670 5713 5740 5779 5760 5837 5901 5902 5921 5872 5802 5761 5741 5714 5693 5692 5691 5637 5607 5608 5584 5551 5552 5568 5499 5500 5470 5471 5527 5441 5472 5528 5570 5569 5586 5585 5673 5715 5729 5695 5672 5639 5652 5638 5671 5694 5728 5780 5803 5825 5824 5886 5903 5904 5935 5922 5964 5997 6114 6115 6167 6149 6150 6168 6193 6230 6243 6255 6229 6212 6211 6228 6254 6267 6280 6305 6306 6292 6281 6307 6333 6345 6380 6379 6332 6319 6331 6344 6365 6364 6318 6279 6278 6304 6291 6290 6317 6363 6378 6420 6471 6407 6440 6503 6518 6554 6568 6609 6635 6679 6708 6730 6757 6743 6780 6811 6838 6810 6771 6722 6707 6678 6665 6608 6645 6634 6621 6633 6673 6692 6664 6644 6632 6598 6591 6590 6643 6642 6677 6691 6729 6756 6769 6770 6869 6878 6870 6879 6898 6911 6912 6940 6950 6961 6997 7005 7004 7033 7077 7106 7093 7089 7072 7064 7053 7043 7023 7034 7006 6987 6962 6951 6963 6971 6952 6933 6913 6880 6860 6839 6812 6840 6852 6841 6813 6772 6731 6744 6773 6732 6709 6636 6576 6575 6599 6555 6535 6441 6408 6442 6409 6443 6459 6472 6519 6520 6536 6577 6578 6610 6622 6646 6666 6667 6715 6733 6788 6842 6833 6832 6861 6881 6899 6882 6900 6941 6973 6972 7007 7044 7066 7090 7129 7130 7148 7151 7188 7189 7167 7168 7149 7112 7094 7054 7024 7035 6974 6914 6883 6862 6820 6789 6781 6774 6745 6734 6723 6710 6680 6681 6682 6693 6711 6724 6746 6758 6759 6760 6775 6782 6800 6821 6843 6871 6915 6942 6954 6953 6964 6988 7010 7009 7008 6998 7017 7055 7056 7057 7067 7079 7078 7095 7131 7113 7096 7114 7150 7170 7169 7159 7190 7199 7212 7225 7232 7240 7241 7249 7226 7242 7250 7267 7285 7298 7316 7303 7327 7340 7351 7352 7362 7369 7377 7398 7400 7415 7424 7442 7459 7455 7505 7479 7491 7520 7506 7536 7540 7571 7570 7584 7609 7610 7623 7624 7640 7641 7572 7573 7585 7577 7558 7559 7586 7591 7574 7560 7538 7537 7530 7525 7526 7514 7507 7480 7469 7440 7492 7508 7527 7587 7611 7612 7627 7631 7633 7632 7643 7644 7642 7662 7672 7677 7673 7689 7699 7700 7712 7726 7725 7739 7748 7759 7788 7798 7813 7833 7839 7849 7850 7851 7864 7890 7904 7913 7946 7966 8002 8008 8003 7984 7956 7957 7952 7926 7919 7896 7897 7927 7947 7948 7959 7953 7958 7967 7981 7987 7976 7975 7977 7985 7986 7993 7997 7996 8009 8015 8021 8016 8038 8029 8037 8043 8058 8081 8084 8085 8095 8099 8118 8104 8094 8067 8080 8057 8056 8083 8113 8126 8130 8147 8166 8165 8187 8173 8179 8193 8224 8234 8237 8228 8244 8268 8276 8292 8291 8302 8335 8358 8365 8360 8386 8385 8373 8357 8356 8343 8334 8324 8306 8288 8287 8267 8262 8254 8236 8261 8275 8286 8281 8266 8274 8305 8318 8323 8328 8376 8393 8390 8384 8397 8400 8411 8416 8410 8417 8421 8422 8423 8418 8402 8401 8387 8377 8391 8380 8378 8366 8338 8325 8293 8289 8251 8231 8222 8235 8238 8239 8245 8263 8277 8240 8225 8188 8167 8168 8174 8180 8183 8189 8181 8176 8175 8170 8169 8160 8159 8157 8155 8154 8138 8131 8119 8114 8139 8143 8144 8158 8182 8184 8194 8195 8202 8217 8226 8227 8229 8232 8246 8269 8299 8298 8312 8319 8326 8344 8349 8367 8394 8407 8406 8403 8420 8419 8424 8431 8428 8435 8444 8443 8442 8455 8462 8459 8470 8473 8484 8489 8505 8510 8524 8529 8539 8549 8567 8574 8583 8586 8582 8576 8579 8580 8585 8597 8601 8604 8624 8627 8632 8633 8639 8648 8649 8651 8655 8657 8656 8660 8662 8670 8668 8676 8708 8695 8716 8725 8742 8741 8751 8700 8658 8652 8629 8616 8615 8620 8628 8640 8641 8650 8664 8673 8690 8699 8707 8706 8705 8724 8732 8740 8739 8774 8796 8761 8801 8780 8802 8812 8820 8854 8863 8855 8864 8856 8838 8865 8839 8840 8841 8845 8829 8823 8814 8805 8787 8781 8782 8783 8776 8775 8769 8768 8762 8763 8764 8757 8758 8766 8765 8770 8771 8777 8791 8813 8827 8824 8803 8806 8815 8831 8846 8852 8857 8867 8901 8879 8868 8853 8847 8836 8832 8825 8807 8797 8808 8833 8816 8821 8793 8784 8792 8778 8772 8759 8752 8767 8809 8788 8754 8743 8733 8717 8734 8709 8710 8701 8696 8726 8744 8727 8702 8692 8691 8683 8680 8677 8674 8671 8669 8663 8661 8672 8675 8678 8679 8681 8684 8703 8711 8718 8728 8735 8745 8753 8756 8773 8785 8779 8789 8790 8799 8819 8822 8850 8859 8897 8887 8896 8924 8916 8936 8937 8947 8964 8950 8977 8982 8971 8923 8906 8886 8872 8837 8818 8817 8811 8804 8794 8798 8810 8828 8826 8849 8848 8858 8862 8882 8881 8885 8884 8895 8915 8931 8994 8995 8988 8976 8962 8961 8946 8932 8933 8904 8905 8921 8922 8934 8935 8963 8969 8970 8990 8989 8996 9002 9024 9054 9077 9116 9078 9040 9017 8991 9003 9004 9065 9079 9096 9106 9137 9177 9245 9296 9332 9287 9203 9204 9136 9135 9167 9176 9166 9175 9174 9127 9115 9076 9053 9095 9152 9126 9075 9151 9202 9201 9134 9189 9214 9244 9279 9286 9305 9321 9375 9386 9385 9365 9400 9431 9453 9430 9429 9437 9428 9416 9399 9377 9338 9320 9318 9329 9337 9352 9343 9336 9351 9350 9358 9384 9398 9407 9404 9415 9436 9475 9489 9529 9546 9598 9619 9631 9615 9592 9581 9555 9508 9483 9454 9490 9501 9523 9476 9477 9478 9467 9445 9417 9491 9455 9484 9492 9509 9524 9510 9530 9543 9537 9544 9549 9538 9525 9511 9493 9479 9468 9421 9420 9418 9405 9378 9387 9401 9408 9419 9422 9448 9449 9480 9496 9497 9469 9456 9457 9458 9504 9505 9513 9526 9498 9506 9470 9450 9459 9440 9432 9410 9409 9424 9423 9406 9394 9388 9380 9369 9370 9354 9359 9389 9355 9340 9325 9330 9313 9299 9292 9266 9291 9275 9247 9226 9215 9257 9235 9192 9179 9139 9138 9169 9191 9234 9233 9265 9274 9290 9316 9346 9345 9368 9379 9367 9339 9312 9298 9289 9288 9306 9324 9353 9366 9344 9322 9323 9297 9280 9255 9223 9224 9246 9256 9225 9153 9178 9128 9107 9041 8997 8992 8972 8951 8938 8917 8888 8877 8889 8918 8919 8939 8952 9025 8983 8965 8973 8978 9005 9018 9066 9097 9154 9190 9205 9168 9117 9026 9006 9027 9080 9098 9099 9042 9043 9028 9019 9020 8998 9055 9029 9030 9007 9044 9056 9081 9100 9108 9118 9155 9216 9248 9206 9140 9109 9082 9101 9067 9008 9031 9045 9032 9046 8999 9033 9068 9083 9119 9084 9057 9034 9035 9036 9058 9085 9110 9141 9170 9156 9129 9102 9157 9158 9142 9159 9207 9171 9172 9180 9208 9228 9239 9250 9251 9252 9270 9277 9281 9282 9295 9317 9302 9308 9294 9276 9260 9259 9249 9238 9227 9269 9268 9301 9267 9237 9236 9258 9293 9300 9331 9333 9360 9381 9371 9382 9395 9356 9326 9307 9327 9341 9347 9361 9383 9391 9390 9396 9402 9412 9425 9433 9443 9464 9487 9522 9534 9541 9542 9553 9551 9562 9571 9572 9579 9591 9595 9601 9605 9609 9612 9626 9578 9570 9564 9556 9528 9521 9520 9463 9486 9482 9499 9516 9485 9471 9451 9462 9442 9411 9441 9461 9460 9481 9515 9514 9519 9527 9540 9554 9550 9569 9584 9582 9545 9596 9580 9568 9575 9533 9532 9512 9503 9502 9495 9447 9446 9439 9438 9494 9531 9518 9539 9547 9577 9561 9558 9559 9567 9590 9604 9611 9620 9613 9602 9589 9563 9566 9583 9600 9617 9607 9625 9630 9632 9647 9651 9645 9636 9627 9624 9616 9597 9588 9603 9614 9576 9557 9587 9593 9618 9629 9641 9643 9653 9660 9657 9661 9662 9654 9663 9664 9671 9672 9679 9678 9686 9685 9688 9689 9694 9696 9684 9677 9676 9692 9702 9707 9713 9722 9727 9728 9732 9731 9712 9701 9682 9638 9633 9648 9644 9640 9586 9574 9594 9585 9599 9608 9623 9634 9635 9646 9650 9656 9668 9670 9673 9681 9690 9699 9705 9714 9708 9706 9716 9715 9709 9700 9697 9691 9675 9683 9693 9698 9718 9734 9735 9743 9749 9755 9776 9761 9759 9757 9752 9745 9742 9738 9729 9725 9723 9721 9711 9719 9720 9726 9737 9739 9740 9744 9748 9750 9756 9758 9760 9770 9772 9769 9777 9781 9798 9788 9804 9806 9815 9814 9818 9822 9819 9817 9827 9830 9836 9842 9845 9846 9847 9844 9843 9840 9826 9825 9821 9803 9802 9810 9792 9768 9765 9775 9787 9793 9801 9809 9813 9831 9829 9832 9839 9824 9823 9816 9805 9797 9791 9786 9783 9785 9790 9796 9795 9799 9800 9794 9828 9835 9841 9838 9837 9833 9834 9820 9812 9811 9807 9808 9789 9784 9782 9780 9778 9771 9767 9762 9766 9763 9773 9774 9779 9764 9754 9741 9751 9746 9753 9747 9736 9730 9733 9724 9717 9710 9704 9703 9695 9687 9680 9674 9669 9655 9659 9652 9639 9628 9610 9622 9642 9649 9667 9666 9665 9658 9637 9621 9606 9573 9552 9535 9517 9488 9472 9466 9465 9434 9426 9413 9392 9376 9372 9362 9334 9319 9309 9303 9310 9284 9314 9342 9373 9363 9364 9374 9403 9473 9507 9536 9548 9560 9565 9500 9474 9452 9444 9427 9435 9414 9397 9393 9357 9348 9349 9335 9328 9311 9315 9304 9273 9243 9199 9148 9092 9050 9015 9051 9074 9063 9105 9114 9125 9149 9188 9231 9200 9212 9213 9221 9263 9285 9278 9264 9232 9222 9150 9094 9093 9064 8981 9000 9016 9023 9052 8993 8949 8913 9001 9039 8975 8968 8960 8945 8914 8894 8871 8876 8880 8843 8870 8903 8869 8875 8883 8902 8944 8967 8980 8943 8930 8959 8920 8900 8912 8985 8984 9012 9038 9060 9071 9072 9061 9073 9062 9013 8986 8974 8987 9014 9022 9104 9124 9123 9147 9198 9230 9242 9262 9220 9165 9164 9121 9133 9122 9113 9091 9090 9089 9088 9087 9070 9120 9163 9146 9132 9145 9162 9161 9187 9197 9211 9196 9195 9194 9186 9185 9184 9173 9183 9182 9210 9219 9160 9209 9218 9229 9254 9241 9283 9272 9271 9261 9253 9240 9217 9193 9181 9143 9130 9111 9086 9059 9009 9047 9048 9010 9037 9069 9112 9131 9144 9103 9049 9021 9011 8958 8966 8957 8929 8911 8893 8866 8861 8842 8835 8851 8830 8834 8860 8892 8910 8979 8956 8955 8954 8928 8927 8948 8926 8891 8942 8953 8941 8909 8899 8898 8908 8925 8940 8907 8890 8878 8874 8873 8844 8800 8795 8786 8760 8755 8748 8750 8749 8747 8746 8736 8731 8729 8723 8722 8720 8719 8714 8713 8704 8737 8738 8730 8721 8715 8712 8698 8697 8694 8693 8689 8685 8687 8688 8686 8682 8602 8613 8606 8605 8598 8594 8595 8591 8589 8587 8584 8592 8596 8599 8609 8610 8603 8607 8611 8612 8614 8618 8617 8621 8622 8625 8634 8619 8630 8636 8635 8644 8643 8653 8659 8665 8666 8667 8654 8645 8646 8642 8638 8637 8647 8631 8626 8623 8608 8600 8593 8590 8588 8581 8578 8577 8571 8546 8547 8551 8552 8575 8559 8556 8565 8569 8570 8572 8573 8566 8557 8548 8538 8528 8522 8519 8509 8508 8493 8467 8447 8441 8413 8440 8439 8434 8472 8518 8521 8527 8520 8517 8512 8507 8504 8497 8492 8469 8483 8488 8491 8495 8496 8500 8499 8503 8502 8506 8515 8526 8532 8534 8536 8540 8542 8545 8550 8555 8564 8563 8562 8561 8544 8554 8553 8558 8560 8568 8543 8541 8537 8535 8530 8533 8531 8523 8514 8516 8525 8513 8511 8501 8498 8487 8478 8490 8494 8471 8461 8465 8479 8480 8468 8466 8454 8446 8430 8415 8412 8409 8405 8404 8396 8375 8372 8383 8374 8364 8359 8342 8341 8348 8327 8322 8333 8355 8371 8379 8382 8389 8408 8427 8433 8453 8458 8450 8438 8437 8449 8426 8452 8464 8477 8486 8485 8482 8476 8475 8481 8474 8463 8460 8457 8456 8451 8448 8445 8436 8432 8429 8425 8414 8399 8395 8392 8381 8368 8361 8350 8345 8339 8329 8309 8315 8314 8313 8307 8300 8295 8279 8264 8258 8257 8256 8252 8247 8284 8283 8282 8255 8278 8294 8241 8022 8017 8004 8010 8030 8044 8047 8059 8086 8100 8105 8087 8068 8031 8032 8005 7988 8011 8048 8060 8070 8069 8106 8121 8133 8120 8115 8132 8140 8152 8161 8171 8185 8198 8190 8197 8196 8203 8213 8212 8211 8210 8218 8230 8248 8249 8250 8253 8265 8270 8271 8272 8285 8301 8303 8310 8320 8336 8351 8346 8340 8347 8352 8353 8369 8388 8398 8370 8363 8362 8354 8337 8317 8311 8304 8321 8332 8331 8330 8316 8308 8296 8280 8259 8273 8297 8290 8260 8233 8242 8243 8223 8219 8220 8214 8206 8172 8149 8141 8146 8156 8164 8205 8192 8191 8204 8177 8162 8163 8153 8148 8142 8145 8134 8127 8116 8096 8091 8092 8088 8071 8061 8050 8049 8023 8033 8034 8039 8051 8074 8073 8072 8089 8107 8122 8109 8097 8075 8076 8052 8027 8018 8013 7983 7963 7979 7990 7999 8006 8026 8025 8040 8035 8024 8012 7998 7994 7989 7982 7971 7970 7969 7939 7932 7936 7928 7920 7901 7894 7906 7914 7921 7951 7935 7934 7910 7875 7860 7844 7859 7868 7872 7887 7895 7909 7931 7941 7950 7962 7961 7968 7978 7960 7954 7940 7930 7929 7915 7907 7908 7900 7899 7886 7874 7858 7822 7808 7809 7781 7790 7823 7824 7782 7825 7826 7834 7841 7819 7779 7732 7767 7766 7745 7731 7730 7708 7694 7684 7637 7604 7618 7670 7619 7600 7565 7562 7582 7601 7589 7583 7588 7566 7576 7648 7695 7715 7714 7752 7746 7751 7760 7750 7768 7775 7800 7795 7791 7816 7821 7856 7881 7870 7857 7853 7843 7835 7865 7866 7879 7884 7898 7883 7871 7862 7861 7854 7820 7810 7806 7793 7803 7792 7776 7762 7753 7754 7743 7701 7667 7635 7655 7664 7663 7685 7691 7703 7681 7666 7668 7653 7657 7674 7679 7693 7696 7713 7729 7716 7740 7741 7728 7722 7709 7733 7749 7761 7763 7777 7817 7827 7814 7818 7815 7783 7778 7796 7801 7784 7727 7719 7704 7680 7654 7692 7705 7690 7678 7665 7675 7656 7628 7625 7634 7645 7646 7649 7638 7650 7659 7686 7734 7706 7676 7697 7717 7710 7702 7720 7742 7769 7789 7794 7805 7804 7840 7855 7869 7882 7891 7885 7873 7842 7845 7852 7828 7811 7807 7799 7770 7802 7846 7867 7880 7893 7905 7902 7892 7925 7938 7949 7937 7916 7942 7973 7972 7995 8036 8028 8045 8053 8066 8065 8064 8079 8078 8077 8041 8063 8062 8082 8098 8108 8110 8135 8150 8207 8215 8186 8199 8221 8216 8208 8209 8200 8201 8178 8151 8136 8128 8125 8124 8123 8117 8111 8101 8090 8102 8137 8129 8112 8103 8093 8055 8014 8020 8042 8054 8046 8019 8000 7991 8001 8007 7992 7980 7964 7965 7945 7974 7955 7924 7918 7878 7832 7838 7831 7837 7877 7889 7912 7903 7923 7944 7943 7933 7917 7922 7911 7888 7876 7863 7830 7829 7836 7848 7847 7812 7797 7771 7747 7735 7736 7737 7723 7724 7757 7758 7772 7785 7773 7786 7787 7774 7738 7711 7698 7688 7687 7671 7661 7652 7639 7660 7651 7630 7622 7608 7607 7599 7557 7535 7549 7534 7548 7556 7555 7598 7575 7563 7579 7551 7564 7593 7602 7594 7561 7539 7523 7512 7504 7511 7493 7489 7510 7513 7490 7481 7473 7436 7441 7454 7453 7468 7458 7467 7466 7451 7452 7435 7423 7434 7427 7406 7395 7392 7389 7386 7385 7370 7354 7332 7328 7299 7331 7284 7260 7248 7266 7297 7315 7313 7295 7289 7301 7342 7365 7366 7364 7372 7384 7394 7388 7399 7405 7410 7428 7422 7417 7425 7465 7472 7483 7482 7457 7470 7509 7471 7414 7409 7379 7367 7361 7326 7288 7270 7239 7224 7198 7166 7181 7165 7158 7139 7128 7147 7146 7145 7187 7177 7178 7179 7180 7223 7259 7286 7273 7272 7300 7287 7238 7258 7269 7283 7265 7282 7257 7237 7231 7221 7222 7211 7210 7197 7176 7209 7220 7268 7281 7271 7296 7314 7329 7302 7317 7339 7341 7368 7387 7350 7378 7393 7396 7407 7397 7411 7416 7432 7437 7461 7485 7487 7516 7495 7488 7484 7478 7464 7456 7449 7450 7433 7439 7496 7497 7521 7519 7518 7532 7528 7533 7554 7547 7569 7568 7592 7621 7613 7620 7603 7590 7606 7605 7578 7567 7550 7541 7531 7542 7553 7552 7544 7529 7543 7522 7515 7503 7494 7463 7429 7460 7438 7426 7408 7403 7404 7383 7371 7363 7359 7360 7353 7348 7349 7338 7318 7312 7290 7330 7325 7280 7264 7236 7219 7294 7337 7324 7247 7293 7311 7347 7382 7448 7413 7412 7447 7462 7446 7475 7476 7477 7486 7501 7502 7517 7524 7546 7580 7581 7597 7617 7669 7683 7707 7721 7756 7765 7780 7764 7755 7744 7718 7682 7647 7629 7616 7626 7658 7636 7615 7596 7614 7595 7545 7500 7474 7444 7430 7445 7431 7421 7420 7401 7402 7381 7344 7345 7376 7346 7336 7310 7323 7309 7308 7307 7322 7343 7357 7358 7375 7380 7374 7356 7335 7306 7305 7292 7278 7279 7246 7235 7230 7201 7207 7208 7196 7175 7144 7104 7086 7103 7110 7120 7085 7102 7124 7136 7125 7119 7137 7143 7157 7174 7218 7206 7229 7234 7256 7263 7255 7245 7233 7228 7227 7217 7205 7204 7216 7215 7203 7200 7172 7194 7195 7186 7173 7164 7156 7135 7118 7142 7141 7117 7109 7099 7082 7069 7070 7083 7084 7100 7101 7065 7039 7029 6969 6994 7028 7045 7038 7037 7059 7068 7081 7098 7108 7116 7115 7132 7133 7134 7155 7171 7185 7193 7192 7184 7163 7154 7153 7254 7277 7321 7320 7276 7253 7244 7252 7262 7274 7275 7304 7319 7334 7355 7373 7391 7419 7499 7498 7443 7418 7390 7333 7291 7261 7251 7243 7202 7160 7152 7161 7162 7183 7191 7213 7214 7140 7122 7123 7107 7097 7080 7073 7058 7036 7021 7026 7025 7020 6992 6979 6958 6957 6929 6920 6897 6889 6876 6908 6921 6877 6922 6930 6931 6935 6959 6980 6981 6993 7013 7027 7000 6982 6960 6936 6923 6890 6864 6830 6805 6806 6797 6753 6742 6705 6720 6727 6766 6786 6796 6829 6848 6828 6818 6817 6804 6785 6795 6803 6847 6896 6875 6858 6846 6827 6816 6794 6826 6825 6778 6765 6740 6719 6714 6701 6688 6671 6650 6630 6641 6649 6616 6601 6585 6547 6511 6500 6467 6451 6430 6431 6400 6338 6276 6298 6354 6374 6386 6417 6429 6450 6466 6483 6465 6449 6427 6428 6416 6385 6399 6527 6482 6415 6398 6373 6352 6311 6335 6397 6448 6499 6546 6563 6584 6640 6660 6670 6676 6699 6700 6718 6802 6801 6793 6777 6764 6739 6726 6717 6713 6698 6687 6686 6675 6674 6669 6648 6628 6659 6658 6638 6627 6613 6594 6583 6582 6562 6544 6543 6495 6496 6446 6497 6545 6571 6595 6614 6629 6639 6615 6596 6498 6447 6384 6383 6372 6371 6370 6396 6395 6414 6464 6481 6494 6480 6479 6463 6478 6492 6493 6510 6526 6542 6541 6509 6508 6525 6540 6561 6560 6559 6570 6581 6569 6558 6557 6593 6612 6625 6626 6656 6657 6668 6685 6697 6725 6752 6776 6784 6792 6763 6738 6737 6736 6751 6762 6750 6749 6748 6783 6823 6834 6835 6854 6855 6856 6857 6844 6836 6824 6815 6845 6863 6867 6886 6905 6887 6888 6906 6907 6919 6918 6946 6966 6977 6990 6967 6968 6978 6991 7019 7012 7018 6989 7011 6976 6999 7182 6943 6944 6945 6955 6965 6975 6956 6934 6928 6927 6917 6895 6904 6903 6894 6885 6866 6865 6902 6926 6916 6901 6884 6874 6873 6872 6853 6822 6814 6790 6791 6761 6747 6735 6716 6712 6694 6695 6683 6684 6696 6624 6592 6647 6655 6654 6653 6637 6623 6611 6600 6580 6579 6556 6537 6522 6521 6504 6505 6473 6474 6460 6422 6411 6421 6410 6392 6367 6366 6347 6334 6391 6390 6346 6320 6295 6308 6270 6258 6246 6215 6171 6135 6119 6104 6080 6019 5968 5925 5911 5951 6057 6118 6214 6245 6257 6269 6294 6293 6268 6256 6233 6232 6152 6196 6244 6231 6213 6195 6194 6169 6170 6151 6134 6103 6056 6117 6055 6116 6079 6054 6078 6053 6052 6035 6016 6017 6018 6000 5984 5967 5950 5937 5924 5910 5890 5936 5889 5875 5838 5839 5792 5749 5680 5731 5748 5769 5679 5266 5302 5267 5268 5303 5352 5390 5418 5477 5507 5535 5613 5644 5573 5536 5508 5478 5447 5446 5419 5391 5353 5234 5269 5270 5134 5067 5066 5065 5097 5064 4996 4867 4802 4701 4700 4659 4589 4568 4515 4466 4389 4285 4284 4311 4388 4334 4387 4514 4465 4542 4699 4766 4892 4935 5028 5167 5166 5133 5027 5063 5132 4962 4891 5096 5026 5025 5024 5095 5202 5201 5165 5094 5061 5093 5092 5091 5164 5131 5163 5200 5130 5060 5090 5129 5233 5264 5301 5320 5349 5350 5321 5265 5351 5389 5476 5506 5534 5555 5533 5505 5417 5416 5388 5232 5263 5319 5318 5348 5347 5300 5128 4993 4992 4991 4866 4837 4838 4694 4654 4695 4696 4763 4567 4462 4435 4405 4406 4463 4510 4655 4889 4839 4840 4764 4656 4608 4586 4585 4511 4587 4609 4657 4697 4765 4841 4890 4934 4961 5021 5022 4994 4995 5062 5023 4801 4588 4464 4436 4309 4308 4307 4233 4131 4012 3986 3873 3761 3898 3987 3961 3831 3874 3832 3792 3793 3833 3875 3834 3762 3727 3698 3794 3795 3796 3899 3929 3988 4013 4074 4097 4283 4361 4437 4512 4631 4610 4698 4658 4632 4513 4438 4362 4310 4234 4166 4202 4167 4235 4236 4262 4263 4237 4238 4205 4170 4204 4203 4169 4132 4168 4075 4043 4014 3989 3962 3878 3837 3799 3763 3798 3836 3930 3901 3877 3900 3876 3835 3797 3728 3701 3702 3703 3639 3595 3596 3597 3598 3547 3482 3481 3447 3413 3446 3412 3387 3366 3278 3249 3228 3229 3230 3231 3250 3251 3280 3279 3335 3414 3448 3415 3416 3417 3388 3367 3336 3281 3252 3282 3312 3313 3368 3418 3450 3600 3599 3449 3548 3640 3669 3705 3731 3730 3704 3729 3838 3880 3879 3931 3902 3903 3991 3990 4015 4076 4098 4077 4099 4171 4172 4206 4173 4133 4134 4100 4207 4239 4312 4286 4390 4467 4407 4391 4408 4439 4468 4469 4543 4569 4590 4702 4842 4868 4936 4937 4893 4869 4843 4767 4803 4804 4844 4845 4769 4768 4660 4544 4440 4545 4570 4591 4546 4491 4470 4409 4364 4336 4314 4315 4288 4287 4242 4212 4211 4180 4179 4265 4178 4139 4104 4081 4080 4103 4138 4177 4210 4264 4241 4137 4102 4046 3993 3933 3932 3840 3801 3881 3934 3994 3965 3935 4017 3995 4047 4048 4049 4050 4018 3996 3966 3937 3936 3882 3802 3734 3707 3670 3643 3642 3602 3555 3509 3510 3455 3421 3420 3338 3370 3391 3392 3393 3339 3283 3254 3233 3107 3151 3178 3234 3255 3285 3284 3314 3340 3341 3342 3315 3316 3286 3256 3235 3202 3257 3258 3236 3237 3287 3288 3259 3152 3073 3045 3133 3072 3044 2950 2979 2900 2867 2866 2834 2833 2832 2865 2924 3009 2978 3008 2899 2949 2977 2976 2923 2898 2864 2897 2863 2831 2830 2774 2829 2948 3007 3043 3106 3105 3071 3042 3150 3177 3201 3337 3452 3550 3551 3508 3453 3369 3390 3454 3554 3553 3552 3641 3706 3765 3906 3905 3904 3992 4078 4079 4176 4209 4335 4363 4313 4240 4208 4174 4175 4135 4101 4136 4045 4044 3964 4016 3963 3764 3800 3732 3839 3733 3601 3549 3507 3451 3419 3389 3253 3232 3132 3104 2922 2800 2745 2725 2699 2645 2623 2622 2581 2517 2500 2499 2470 2412 2411 2469 2410 2353 2290 2264 2282 2245 2203 2202 2166 2143 2142 2121 2107 2074 2073 2048 2047 1996 1995 1994 1968 1969 1912 1888 1911 1910 1864 1909 1936 1935 1949 1948 2071 2018 2072 2155 2088 2089 2120 2165 2214 2263 2289 2325 2326 2327 2305 2373 2409 2443 2491 2516 2541 2621 2744 2828 3131 3176 3200 3199 3175 3130 3070 3103 3069 3041 3040 3068 3149 3198 3174 3148 3147 3173 3146 3129 3006 2975 2947 2920 2921 2799 2743 2742 2663 2600 2540 2490 2442 2441 2468 2408 2389 2324 2304 2288 2281 2244 2262 2287 2407 2489 2440 2439 2388 2278 2260 2213 2185 2176 2177 2163 2186 2243 2261 2279 2280 2224 2164 2154 2141 2106 2087 2017 2046 2086 2119 2140 2162 2201 2200 2212 2223 2241 2302 2276 2257 2275 2322 2372 2371 2350 2370 2349 2386 2465 2486 2437 2405 2466 2467 2438 2387 2351 2323 2277 2258 2242 2259 2303 2352 2406 2488 2487 2555 2598 2580 2539 2597 2596 2619 2620 2643 2659 2644 2660 2722 2723 2724 2681 2661 2682 2698 2741 2683 2599 2662 2773 2919 2946 2918 2896 2917 2916 2862 2861 2895 2860 2827 2859 2858 2826 2798 2825 2894 2857 2824 2856 2855 2797 2772 2771 2796 2823 2854 2944 2945 2974 3004 3037 3038 3005 3039 3067 3098 3099 3128 3100 3101 3102 3171 3144 3170 3196 3224 3225 3246 3273 3274 3247 3226 3197 3145 3172 3227 3248 3277 3365 3334 3364 3386 3445 3480 3506 3546 3594 3638 3668 3667 3666 3700 3699 3665 3636 3637 3591 3592 3593 3505 3504 3545 3544 3543 3590 3589 3542 3502 3503 3479 3478 3441 3442 3443 3444 3411 3385 3363 3333 3276 3311 3310 3275 3309 3332 3362 3382 3383 3384 3410 3409 3408 3440 3477 3501 3500 3541 3588 3635 3664 3634 3587 3663 3697 3696 3662 3695 3661 3633 3586 3585 3632 3584 3540 3499 3498 3539 3583 3582 3497 3476 3475 3631 3694 3830 3829 3828 3827 -1 EOF