p=[]; p[1984]=[
998,999,1016,1029,1035,1034,1023,1031,1043,1046,1042,1059,1058,1059,1047,1055,1074,1072,1076,1069,1063,1060,1051,1060,1038,1022,
1030,1017,1018,1018,1027,1033,1035,1039,1035,1044,1043,1032,1037,1041,1039,1040,1046,1061,1054,1065,1056,1056,1060,1064,1083,1088,
1101,1129,1110,1123,1131,1117,1121,1120,1102,1104,1114,1113,1108,1095,1094,1102,1096,1097,1105,1111,1117,1129,1106,1110,1116,1108,
1108,1108,1105,1120,1131,1138,1138,1137,1140,1142,1134,1134,1118,1110,1094,1079,1082,1095,1105,1113,1105,1109,1085,1075,1052,1056,
1056,1056,1027,1021,1056,1078,1078,1088,1072,1069,1076,1067,1065,1044,1040,1043,1056,1036,1042,1033,1033,1024,1038,1029,1041,1048,
1050,1063,1062,1042,1034,1014,1002,991,996,1003,1008,1009,1003,1010,987,990,996,999,996,997,1010,1018,1039,1065,1061,1069,
1081,1070,1096,1084,1092,1083,1076,1078,1074,1082,1090,1081,1087,1087,1082,1096,1102,1104,1105,1084,1083,1095,1099,1092,1103,1104,
1105,1110,1111,1110,1125,1129,1127,1122,1125,1136,1144,1140,1128,1119,1122,1128,1135,1139,1137,1137,1141,1144,1146,1124,1100,1089,
1111,1115,1128,1125,1130,1131,1136,1145,1151,1158,1169,1163,1161,1157,1158,1164,1175,1184,1182,1165,1174,1167,1159,1167,1158,1159,
1172,1178,1188,1188,1181,1192,1184,1183,1176,1190,1198,1199,1191,1197,1205,1213,1216,1221,1207,1205,1205,1,1205,1211,1226,1232
], p[1985]=[
1220,1206,1215,1229,1244,1259,1261,1249,1221,1233,1254,1260,1278,1279,1306,1284,1275,1288,1266,1249,1277,1281,1273,1268,1289,1290,
1296,1295,1298,1273,1282,1290,1282,1269,1276,1276,1279,1269,1259,1260,1259,1260,1251,1266,1275,1285,1286,1289,1291,1300,1295,1300,
1310,1300,1305,1307,1301,1303,1298,1290,1288,1287,1277,1278,1287,1275,1279,1279,1279,1270,1273,1269,1276,1289,1291,1304,1306,1300,
1295,1285,1286,1290,1295,1293,1291,1302,1309,1311,1311,1306,1308,1306,1316,1333,1327,1342,1344,1327,1331,1334,1334,1325,1314,1314,
1317,1312,1315,1313,1325,1337,1336,1322,1311,1300,1308,1291,1279,1276,1284,1284,1284,1276,1262,1267,1248,1237,1234,1235,1247,1251,
1239,1249,1260,1258,1240,1230,1238,1231,1244,1240,1247,1249,1253,1241,1233,1236,1222,1240,1249,1252,1262,1287,1280,1272,1288,1287,
1286,1286,1288,1285,1293,1302,1299,1295,1307,1314,1310,1314,1314,1311,1308,1324,1341,1340,1336,1327,1322,1332,1329,1311,1302,1313,
1309,1300,1296,1295,1307,1299,1292,1280,1275,1271,1281,1290,1296,1305,1305,1313,1307,1303,1308,1314,1322,1321,1321,1326,1336,1341,
1340,1332,1346,1350,1348,1348,1364,1374,1377,1379,1381,1384,1395,1385,1390,1376,1382,1397,1392,1404,1405,1412,1424,1443,1451,1456,
1432,1438,1429,1439,1419,1416,1400,1395,1402,1392,1390,1377,1379,1381,1377,1365,1379,1391,1387,1389,1392,1,1392,1399,1414,1413
], p[1986]=[
1421,1430,1424,1415,1404,1380,1395,1385,1370,1391,1395,1396,1378,1378,1391,1383,1392,1405,1426,1421,1429,1435,1425,1432,1424,1427,
1445,1462,1454,1470,1474,1478,1475,1492,1491,1492,1518,1533,1528,1535,1550,1544,1535,1549,1569,1566,1574,1572,1597,1625,1617,1624,
1623,1644,1660,1690,1688,1664,1634,1654,1669,1669,1669,1684,1703,1718,1710,1689,1676,1659,1690,1694,1683,1655,1662,1681,1680,1668,
1665,1633,1616,1623,1629,1656,1661,1640,1653,1653,1636,1610,1603,1602,1604,1623,1594,1576,1565,1573,1586,1592,1599,1617,1617,1612,
1625,1609,1603,1597,1602,1601,1613,1612,1605,1586,1571,1572,1582,1594,1605,1619,1630,1637,1623,1625,1629,1638,1639,1650,1661,1657,
1656,1649,1631,1599,1615,1627,1626,1597,1593,1597,1609,1584,1560,1559,1572,1548,1546,1549,1556,1566,1558,1562,1545,1562,1540,1530,
1527,1543,1558,1581,1588,1602,1609,1604,1605,1607,1607,1607,1616,1630,1637,1661,1673,1668,1671,1680,1685,1667,1673,1664,1637,1609,
1628,1597,1610,1614,1600,1617,1610,1603,1576,1569,1539,1556,1578,1573,1561,1579,1592,1588,1609,1599,1612,1593,1608,1605,1610,1590,
1591,1590,1573,1577,1586,1584,1597,1616,1632,1639,1638,1644,1649,1663,1656,1661,1655,1645,1644,1629,1618,1604,1611,1625,1637,1619,
1633,1633,1637,1618,1626,1615,1610,1614,1623,1636,1635,1634,1630,1637,1638,1636,1631,1632,1652,1661,1665,1,1665,1672,1673,1679
], p[1987]=[
1681,1680,1691,1722,1733,1752,1756,1763,1765,1789,1789,1778,1779,1762,1778,1795,1782,1814,1812,1798,1808,1833,1829,1847,1866,1898,
1911,1875,1896,1879,1898,1926,1942,1952,1930,1962,1940,1947,1973,1980,1979,1983,1998,2003,2003,1998,1974,1988,1979,1990,2000,1992,
2006,2007,1991,2018,2033,2056,2043,2038,2049,2003,1998,1973,1988,1965,1990,1987,1977,1963,1937,1917,1909,1922,1949,1949,1949,1940,
1956,1968,2002,1987,2022,2039,2051,2069,2069,2065,2087,2078,2127,2163,2143,2163,2180,2190,2192,2214,2174,2154,2168,2168,2153,2146,
2157,2203,2228,2220,2235,2214,2229,2228,2265,2256,2249,2290,2308,2309,2320,2293,2266,2245,2266,2284,2277,2291,2289,2284,2270,2297,
2328,2352,2365,2357,2371,2382,2387,2403,2419,2443,2429,2401,2391,2345,2340,2347,2334,2360,2383,2371,2361,2334,2308,2317,2261,2226,
2242,2275,2286,2290,2295,2295,2225,2198,2185,2206,2225,2248,2250,2246,2250,2250,2273,2250,2268,2275,2284,2275,2249,2253,2261,2272,
2265,2280,2305,2328,2335,2336,2352,2313,2343,2368,2368,2366,2374,2382,2386,2368,2360,2376,2367,2339,2350,2323,2302,2302,2052,1802,
1944,1833,1795,1684,1704,1658,1682,1750,1724,1654,1608,1639,1621,1565,1574,1639,1703,1678,1685,1660,1664,1639,1633,1658,1689,1664,
1661,1652,1580,1579,1590,1588,1583,1598,1624,1639,1620,1652,1653,1670,1690,1706,1717,1750,1747,1771,1791,1,1791,1730,1760,1714
], p[1988]=[
1714,1790,1787,1787,1773,1760,1739,1733,1743,1787,1790,1768,1753,1747,1771,1762,1767,1765,1784,1791,1777,1774,1766,1767,1738,1695,
1707,1719,1730,1734,1739,1735,1748,1736,1730,1747,1758,1760,1782,1767,1769,1782,1809,1813,1835,1818,1815,1815,1835,1812,1820,1837,
1826,1828,1856,1841,1835,1832,1783,1768,1747,1765,1757,1743,1743,1743,1738,1745,1761,1780,1811,1805,1810,1787,1779,1788,1799,1787,
1792,1772,1778,1801,1806,1804,1802,1802,1807,1795,1790,1801,1795,1793,1757,1772,1782,1777,1789,1778,1761,1770,1761,1783,1788,1785,
1784,1784,1785,1806,1810,1819,1833,1820,1828,1842,1850,1839,1866,1869,1862,1850,1844,1860,1879,1879,1871,1842,1857,1855,1858,1858,
1848,1855,1870,1856,1877,1877,1859,1871,1863,1862,1849,1845,1867,1864,1845,1839,1838,1841,1841,1854,1862,1856,1865,1870,1876,1876,
1863,1840,1835,1843,1817,1825,1831,1834,1844,1832,1818,1819,1780,1771,1771,1755,1754,1731,1747,1765,1768,1756,1740,1738,1745,1756,
1765,1769,1767,1760,1772,1797,1789,1792,1793,1808,1813,1829,1827,1803,1807,1826,1839,1845,1844,1838,1814,1831,1841,1860,1857,1863,
1864,1859,1848,1847,1851,1852,1858,1852,1858,1843,1838,1834,1820,1841,1826,1823,1803,1794,1802,1807,1824,1823,1811,1821,1837,1833,
1795,1782,1787,1792,1779,1765,1762,1767,1772,1758,1750,1748,1753,1756,1763,1774,1771,1777,1773,1769,1774,1774,1774,1788,1803,1793
], p[1989]=[
1793,1783,1793,1800,1811,1832,1836,1834,1851,1862,1872,1868,1892,1911,1918,1925,1941,1939,1960,2006,2043,2052,2040,2043,2070,2044,
2073,2096,2079,2056,2033,2049,2048,2034,2043,2066,2061,2034,2017,2020,1997,2002,2021,2040,2059,2073,2084,2083,2076,2085,2103,2125,
2121,2113,2073,2054,2072,2049,2057,2057,2057,2071,2072,2049,2075,2080,2083,2078,2053,2046,2025,2031,2033,2029,2054,2055,2074,2087,
2064,2061,2062,2071,2093,2116,2118,2118,2103,2106,2119,2133,2120,2125,2117,2111,2136,2150,2137,2156,2177,2205,2169,2152,2133,2137,
2140,2140,2130,2114,2103,2103,2089,2107,2118,2143,2142,2138,2123,2134,2130,2144,2155,2165,2172,2180,2168,2180,2206,2209,2182,2151,
2166,2174,2163,2161,2189,2195,2251,2257,2258,2274,2275,2273,2293,2292,2283,2259,2269,2265,2284,2306,2297,2292,2308,2306,2328,2342,
2348,2360,2347,2354,2326,2326,2346,2360,2375,2375,2371,2382,2393,2397,2397,2381,2381,2388,2408,2419,2426,2391,2416,2424,2401,2398,
2402,2382,2367,2374,2362,2370,2381,2370,2360,2336,2331,2292,2299,2289,2319,2312,2282,2278,2247,2219,2219,2238,2234,2163,2136,2170,
2189,2179,2190,2149,2162,2129,2082,2112,2143,2160,2154,2173,2170,2178,2204,2202,2217,2213,2215,2203,2210,2221,2183,2185,2192,2221,
2222,2224,2242,2256,2277,2311,2303,2328,2354,2347,2364,2351,2364,2386,2367,2345,2359,2342,2361,2353,2362,1,2362,2396,2399,2423
], p[1990]=[
2434,2464,2452,2445,2431,2436,2413,2418,2380,2366,2349,2374,2337,2335,2297,2291,2279,2290,2315,2329,2322,2337,2346,2355,2348,2321,
2307,2331,2314,2287,2293,2298,2314,2326,2297,2277,2260,2269,2224,2249,2255,2255,2238,2255,2231,2216,2230,2250,2234,2223,2225,2226,
2235,2264,2238,2260,2250,2259,2284,2298,2266,2275,2263,2248,2222,2241,2232,2240,2221,2228,2218,2216,2222,2222,2222,2215,2206,2185,
2187,2159,2160,2143,2134,2107,2103,2118,2138,2135,2162,2162,2182,2163,2157,2176,2215,2212,2222,2284,2269,2282,2311,2287,2277,2266,
2266,2296,2346,2345,2371,2379,2380,2359,2378,2367,2349,2371,2405,2403,2392,2371,2370,2371,2370,2379,2399,2400,2374,2356,2375,2372,
2372,2356,2331,2340,2338,2328,2361,2371,2382,2407,2415,2402,2387,2400,2360,2361,2365,2344,2330,2317,2326,2339,2305,2285,2220,2236,
2238,2245,2234,2220,2234,2239,2222,2177,2157,2108,2105,2075,2086,2086,2126,2126,2154,2163,2167,2148,2152,2121,2123,2147,2144,2142,
2127,2094,2094,2064,2066,2017,2026,1990,1999,2000,2009,1990,2031,2059,2087,2070,2144,2202,2134,2122,2102,2100,2102,2084,2068,2083,
2089,2102,2127,2111,2089,2063,2062,2034,2050,2028,2031,2050,2070,2070,2059,2041,2052,2056,2046,2060,2068,2096,2115,2126,2128,2171,
2152,2160,2144,2136,2149,2163,2146,2153,2178,2183,2183,2166,2157,2172,2168,2158,2162,2179,2159,2164,2156,1,2156,2168,2160,2144
], p[1991]=[
2128,2118,2126,2113,2100,2129,2109,2106,2081,2071,2055,2105,2103,2084,2082,2081,2099,2103,2118,2114,2153,2170,2166,2172,2202,2195,
2244,2245,2279,2265,2268,2294,2297,2318,2312,2297,2312,2314,2336,2322,2348,2381,2387,2383,2420,2460,2438,2455,2459,2455,2448,2501,
2494,2491,2459,2441,2475,2441,2432,2437,2465,2457,2457,2457,2488,2519,2525,2545,2530,2527,2519,2532,2526,2543,2520,2545,2538,2520,
2491,2504,2489,2482,2471,2498,2486,2508,2531,2523,2523,2541,2523,2542,2524,2487,2464,2459,2472,2454,2467,2483,2466,2483,2471,2471,
2480,2493,2491,2500,2516,2506,2522,2525,2506,2512,2543,2520,2515,2522,2524,2516,2485,2480,2488,2458,2461,2437,2453,2415,2444,2460,
2448,2470,2485,2467,2488,2508,2511,2497,2497,2557,2561,2547,2542,2559,2588,2581,2580,2589,2595,2596,2589,2592,2602,2585,2573,2597,
2601,2571,2569,2585,2609,2617,2621,2541,2555,2602,2623,2641,2641,2620,2624,2638,2646,2680,2669,2665,2663,2667,2653,2631,2627,2642,
2626,2606,2594,2584,2589,2600,2580,2577,2598,2596,2599,2622,2646,2644,2626,2625,2596,2600,2584,2571,2555,2575,2577,2579,2589,2601,
2576,2560,2561,2528,2515,2559,2553,2577,2566,2550,2528,2541,2534,2538,2559,2555,2576,2547,2562,2547,2503,2463,2473,2464,2446,2456,
2472,2448,2429,2420,2415,2420,2424,2407,2389,2410,2392,2380,2423,2452,2441,2433,2414,2392,2358,2345,2384,1,2384,2419,2420,2493
], p[1992]=[
2493,2504,2493,2483,2467,2498,2478,2490,2516,2537,2542,2537,2545,2543,2522,2525,2510,2540,2552,2547,2551,2571,2560,2557,2547,2534,
2517,2538,2537,2524,2523,2514,2541,2556,2537,2543,2542,2560,2547,2565,2562,2562,2554,2565,2558,2538,2533,2551,2575,2522,2493,2476,
2471,2491,2465,2468,2457,2441,2459,2465,2472,2448,2453,2440,2409,2405,2383,2401,2404,2393,2436,2573,2591,2601,2640,2639,2639,2639,
2626,2608,2610,2643,2658,2651,2665,2654,2660,2660,2662,2699,2702,2726,2738,2722,2721,2695,2683,2704,2701,2712,2702,2715,2715,2705,
2699,2694,2708,2698,2706,2681,2682,2669,2646,2635,2636,2614,2604,2594,2616,2598,2563,2585,2550,2561,2533,2557,2534,2516,2521,2494,
2476,2497,2469,2494,2473,2498,2491,2478,2484,2486,2483,2432,2404,2416,2388,2400,2377,2348,2373,2423,2412,2400,2420,2408,2393,2378,
2350,2326,2310,2303,2318,2357,2376,2355,2364,2359,2366,2311,2281,2285,2312,2313,2313,2298,2313,2382,2362,2372,2338,2328,2341,2371,
2422,2370,2378,2484,2567,2560,2586,2581,2621,2601,2560,2566,2553,2572,2550,2446,2488,2517,2539,2541,2557,2585,2575,2547,2564,2562,
2617,2646,2658,2670,2662,2670,2650,2642,2658,2688,2706,2692,2711,2703,2695,2715,2697,2726,2698,2680,2679,2704,2706,2732,2723,2727,
2710,2742,2760,2779,2792,2764,2771,2759,2755,2770,2751,2727,2716,2722,2718,2733,2740,2790,2808,2842,2827,2828,1,2828,2848,2833,
2847 ], p[1993]=[
2862,2834,2826,2817,2799,2773,2758,2745,2759,2765,2763,2738,2749,2773,2781,2772,2836,2833,2817,2807,2852,2834,2874,2866,2863,2870,
2831,2816,2834,2843,2846,2812,2814,2838,2840,2838,2818,2817,2829,2868,2883,2882,2919,2905,2922,2957,2950,2957,2953,2916,2922,2919,
2890,2880,2900,2864,2861,2861,2853,2853,2847,2861,2879,2878,2870,2839,2832,2822,2822,2822,2822,2847,2842,2840,2824,2830,2856,2870,
2881,2844,2822,2833,2797,2787,2813,2813,2813,2797,2786,2794,2830,2836,2861,2849,2847,2858,2847,2820,2817,2812,2826,2838,2847,2855,
2841,2841,2849,2863,2853,2830,2845,2844,2867,2860,2862,2886,2870,2883,2876,2879,2903,2908,2901,2895,2888,2897,2886,2900,2889,2858,
2839,2848,2848,2846,2843,2831,2837,2832,2832,2833,2843,2824,2814,2820,2828,2844,2879,2884,2918,2927,2942,2945,2941,2943,2970,2986,
2972,3006,3009,3010,3008,3025,3074,3066,3058,3042,3049,3079,3079,3101,3101,3100,3085,3073,3057,3059,3039,3035,3031,3037,3025,3028,
2989,3004,3006,3005,3002,3008,3001,3005,3026,3037,3030,3038,3038,3068,3085,3101,3092,3109,3102,3095,3081,3086,3121,3138,3130,3156,
3188,3199,3185,3165,3154,3163,3171,3164,3164,3162,3149,3086,3078,3096,3099,3100,3099,3093,3098,3120,3126,3108,3071,3069,3067,3093,
3111,3136,3167,3233,3224,3234,3237,3237,3277,3272,3261,3255,3248,3279,3311,3337,3365,3342,3356,3397,3412,3412,3412,3462,3429,3418
], p[1994]=[
3418,3409,3379,3403,3446,3441,3414,3372,3360,3401,3408,3437,3475,3470,3484,3481,3444,3436,3427,3447,3492,3482,3520,3492,3475,3419,
3440,3429,3407,3379,3364,3393,3418,3425,3383,3350,3334,3342,3268,3281,3328,3271,3248,3247,3278,3306,3264,3247,3234,3192,3233,3267,
3243,3256,3218,3198,3202,3155,3122,3129,3130,3123,3092,3086,3086,3086,3116,3132,3129,3121,3149,3159,3146,3132,3168,3138,3128,3098,
3101,3134,3106,3125,3150,3130,3125,3125,3100,3071,3106,3106,3098,3136,3131,3138,3119,3116,3124,3117,3123,3127,3108,3089,3021,3020,
2966,2966,2971,2932,2981,2998,3009,3005,3038,3029,3056,3016,3040,3046,3030,3023,2971,2940,2960,2942,2877,2900,2909,2946,2919,2936,
2970,2965,2947,2964,2962,2984,2964,3005,3050,3075,3082,3091,3077,3095,3115,3106,3117,3082,3096,3083,3097,3158,3160,3151,3168,3172,
3169,3167,3138,3142,3142,3147,3190,3183,3191,3171,3175,3205,3234,3265,3265,3250,3251,3217,3223,3242,3205,3204,3180,3139,3129,3121,
3080,3113,3065,3079,3037,3015,3021,3028,3000,3009,3039,2993,3026,2984,3002,2956,2984,2999,3032,3073,3101,3142,3107,3120,3085,3061,
3063,3033,3029,3001,3000,3030,3084,3097,3096,3081,3104,3098,3066,3064,3100,3104,3076,3095,3135,3147,3128,3131,3121,3079,3028,3037,
3034,3047,3061,3081,3040,3017,3034,3016,3013,3014,2977,2943,2946,2981,2973,3014,3034,3058,3070,3092,3083,3083,3083,3096,3066,3066
], p[1995]=[
3066,3066,3052,3032,3065,3056,3060,3049,3033,3048,3077,3054,3055,3029,2995,2954,2969,2982,3007,3022,2996,2992,3017,3035,3060,3062,
3073,3073,3099,3110,3081,3071,3075,3051,3044,3019,3023,3020,3049,3038,3025,3009,3041,3038,3025,3002,2977,2992,2987,3021,3012,3051,
3047,3094,3089,3124,3135,3140,3136,3153,3150,3128,3142,3176,3138,3143,3188,3190,3201,3211,3204,3191,3210,3209,3209,3209,3195,3170,
3175,3200,3209,3215,3226,3218,3217,3220,3248,3263,3264,3252,3252,3261,3290,3318,3310,3311,3301,3297,3286,3261,3285,3292,3327,3328,
3311,3311,3310,3319,3341,3345,3377,3380,3371,3381,3338,3345,3348,3340,3370,3366,3381,3377,3378,3404,3379,3309,3313,3283,3294,3315,
3324,3349,3395,3388,3463,3455,3464,3451,3447,3429,3443,3421,3405,3400,3413,3432,3433,3454,3458,3469,3463,3450,3500,3476,3482,3484,
3469,3468,3475,3468,3441,3444,3465,3471,3510,3536,3530,3516,3520,3525,3525,3503,3504,3478,3509,3523,3532,3558,3546,3555,3549,3536,
3571,3565,3565,3533,3541,3562,3558,3515,3507,3523,3485,3479,3508,3520,3524,3544,3544,3527,3510,3460,3474,3524,3568,3557,3562,3593,
3579,3551,3532,3535,3538,3520,3498,3510,3529,3519,3523,3500,3515,3522,3537,3542,3523,3537,3548,3571,3611,3609,3629,3604,3632,3603,
3624,3649,3649,3656,3664,3680,3670,3664,3663,3640,3630,3652,3655,3662,3672,3643,3596,3577,3614,3633,3658,1,3658,3676,3677,3689
], p[1996]=[
3688,3716,3714,3705,3721,3700,3672,3655,3657,3663,3711,3704,3749,3748,3754,3735,3758,3734,3735,3735,3735,3759,3753,3781,3747,3748,
3726,3708,3716,3727,3748,3745,3780,3771,3744,3715,3726,3740,3740,3704,3716,3738,3728,3753,3769,3777,3759,3758,3710,3675,3640,3640,
3682,3645,3670,3693,3685,3698,3707,3682,3661,3672,3673,3700,3718,3729,3725,3756,1,1,3759,3767,3744,3767,3791,3825,3806,3821,
3857,3853,3833,3818,3819,3833,3809,3818,3806,3776,3752,1,3723,3707,3728,3754,3739,3760,3776,3754,3790,3778,3789,3764,3747,3752,
1,3760,3776,3747,3748,3739,3755,3753,3760,3707,3729,3756,3769,3762,3754,3762,3756,3753,3728,3722,3711,3680,3696,3679,3711,3726,
3726,3714,3761,3743,3742,3752,3766,3749,3728,3698,3632,3658,3693,3711,3681,3708,3669,3685,3673,3679,3669,3703,3734,3771,3788,3788,
3811,3811,3811,3803,3823,3830,3837,3873,3864,3883,3872,3891,3908,1,3906,3919,3885,3868,3884,3856,3873,3887,3893,3911,3916,3906,
3933,3968,3977,3972,3956,3974,3964,3920,3911,3936,3933,3946,3954,3992,4015,4000,4025,4032,4036,4009,3995,4028,4039,4051,4024,4042,
4053,4073,4057,4028,3999,4022,4025,3994,3964,3979,3949,3928,3921,3936,3900,3911,3914,3934,3927,3926,3958,3962,3978,3963,3954,4019,
4055,4068,4049,4050,4058,4039,4062,4045,4051,3963,4012,4036,3983,3991,3972,3994,3980,4018,4051,4078,4087,4093,1,1,4091,4116,
4119 ], p[1997]=[
4057,4090,4107,4079,4088,4087,4057,4107,4168,4159,4198,4208,4194,4196,4219,4272,4219,4212,4237,4208,4228,4276,4258,4261,4282,4266,
4308,4308,4304,4304,4327,4341,4338,4332,4357,4356,4337,4331,4345,4329,4339,4308,4307,4358,4360,4399,4420,4437,4444,4423,4398,4424,
4373,4357,4332,4258,4255,4215,4271,4302,4313,1,1,4248,4237,4215,4237,4272,4269,4292,4313,4271,4252,4287,4295,4299,4311,4329,
4346,4388,4389,4370,4390,4433,4436,4445,4456,1,4519,4538,4580,4631,4670,4691,4687,4681,4694,4645,4608,4642,4652,4662,1,4682,
4678,4672,4621,4563,4558,4557,4576,4645,4687,4740,4725,4757,4783,4745,4682,4657,4654,4594,4576,4596,4640,4658,4640,4605,4728,4751,
4832,4813,4811,4759,4762,4768,4800,4857,4899,4964,4949,4877,4806,4847,4875,4863,4852,4863,4877,4927,4908,4899,4896,4961,5026,5087,
5031,5032,5076,5004,4991,4866,4835,4914,4958,4978,4901,1,4886,4907,4845,4818,4870,4952,4977,4991,4994,4985,4951,4905,4855,4848,
4903,4976,5013,5046,5024,5076,5028,5077,5066,5226,5220,5244,5317,5296,5331,5300,5306,5262,5218,5227,5300,5299,5264,5288,5271,5211,
5226,5149,4992,4970,4841,4755,4872,4802,4842,4906,4897,4908,4864,4764,4807,4794,4720,4711,4742,4867,4845,4830,4908,4986,4899,4864,
4891,4889,4832,4922,4978,4971,5082,5143,5187,5177,5131,5036,5045,5122,5203,5191,5168,5020,5018,5050,5014,1,1,5112,5132,5136
], p[1998]=[
5194,5263,5264,5224,5237,5138,5069,5084,5107,5166,5263,5274,5278,5272,5253,5181,5237,5326,5373,5422,5459,5599,5613,5596,5606,5630,
5601,5613,5608,5553,5582,5620,5710,5723,5719,5752,5703,5651,5745,5765,5767,5821,5808,5733,5696,5783,5819,5829,5830,5795,5782,5785,
5835,5904,5998,5956,5947,5984,5968,5906,5939,5912,5932,6018,6053,6064,6106,6094,6055,6106,1,1,6104,6074,6002,5922,5954,5955,
5931,5898,5864,5722,5807,5833,5928,6010,1,5987,5992,5938,5970,6028,5957,5973,5949,5918,5826,5878,5907,5936,5956,1,5971,5870,
5862,5871,5838,5842,5898,5861,5947,6038,6020,5987,5853,5770,5716,5730,5833,5812,5748,5713,5772,5805,5859,5877,5885,5833,5920,5960,
5988,5990,6003,6010,5970,5930,5958,6100,6152,6117,6174,6179,6133,5990,5976,5892,5836,5836,5844,5911,5837,5810,5736,5633,5594,5680,
5588,5433,5462,5400,5455,5467,5648,5694,5667,5477,5554,5654,5545,5369,5249,1,5169,5236,5119,5167,5347,5344,5311,5137,5119,5269,
5282,5292,5133,5056,4990,5103,5215,5168,5061,5094,5109,5064,4908,4750,4649,4854,4829,4699,4823,5038,4990,5038,5056,5133,5078,5252,
5207,5230,5217,5232,5331,5294,5359,5438,5526,5504,5623,5480,5491,5434,5432,5477,5449,5463,5511,5503,5474,5606,5718,5848,5798,5755,
5828,5844,5744,5538,5507,5566,5582,5577,5616,5669,5660,5542,5535,5557,5630,5685,5742,5877,5843,5909,5867,1,1,5942,5883,1
], p[1999]=[
5879,5958,6149,6101,6147,6085,6034,5850,5820,5941,6124,6028,6106,6022,5861,5881,5886,5876,5873,5896,6012,6013,5940,5940,5855,5835,
5780,5770,5889,5951,6023,6109,6078,6075,6031,6070,6155,6308,6207,6175,6061,6061,6048,6102,6206,6209,6238,6242,6336,6282,6207,6202,
6141,6114,6163,6153,6061,6017,6085,6139,6253,6264,6295,6330,1,1,6415,6473,6438,6473,6441,6513,6494,6466,6421,6515,6320,6311,
6414,6428,6504,6594,6599,6498,6552,1,6533,6402,6407,6356,6349,6378,6343,6457,6300,6166,6206,6267,6368,6353,6322,6249,6237,6200,
6226,1,6250,6302,6349,6362,6412,6432,6453,6403,6485,6430,6451,6505,6494,6528,6581,6552,6497,6417,6435,6406,6307,6319,6489,6492,
6592,6621,6597,6557,6563,6546,6446,6473,6575,6563,6484,6392,6330,6298,6207,6169,6263,6297,6118,6232,6288,6251,6235,6102,6121,6127,
5978,6014,6153,6245,6235,6167,6202,6118,6181,6322,6315,6370,6384,6375,1,6246,6276,6196,6332,6376,6310,6254,6261,6191,6169,6116,
6068,6015,6040,6057,5957,5914,5970,5938,6079,6007,6021,6030,5971,6053,6085,6098,6201,6199,6235,6175,6113,6039,5907,5869,5994,6007,
5939,6059,6009,6092,6046,6149,6256,6284,6252,6281,6331,6357,6374,6436,6447,6551,6512,6534,6583,6556,6551,6482,6442,6534,6562,6683,
6685,6692,6597,6646,6654,6742,6694,6661,6619,6681,6740,6711,6702,6634,6672,6725,6731,6708,6729,6777,6807,1,1,6836,6930,1
], p[2000]=[
6666,6536,6447,6505,6608,6519,6533,6532,6658,6670,6505,6446,6349,6346,6380,6274,6376,6441,6376,6269,6291,6303,6324,6185,6119,6286,
6315,6280,6193,6069,6005,6147,6209,6165,6082,6015,6144,6087,6198,6100,6233,6365,6432,6488,6568,6467,6411,6532,6569,6467,6487,6447,
6557,6558,6625,6618,6610,6595,6739,6687,6650,6599,6445,6540,6462,6427,6379,6451,6570,6533,6379,6351,6357,6178,5995,6074,6185,6241,
1,1,6283,6257,6179,6327,1,6373,6185,6200,6239,6216,6124,6101,6246,6284,6248,6318,6196,6233,6045,6036,6087,6119,6231,6217,
1,6360,6359,6471,6626,6547,6547,6504,6497,6444,6431,6447,6536,6491,6526,6490,6527,6478,6414,6392,6405,6375,6314,6239,6313,6470,
6417,6383,6420,6498,6466,6476,6519,6476,6475,6526,6451,6466,6469,6378,6381,6391,6387,6352,6336,6365,6379,6391,6317,6364,6388,6358,
6414,6387,6385,6420,6476,6532,6518,6544,6542,6585,6566,6557,6564,1,6586,6615,6673,6795,6798,6753,6695,6689,6601,6582,6556,6478,
6556,6417,6410,6404,6280,6199,6206,6257,6213,6269,6264,6294,6285,6345,6335,6382,6391,6265,6248,6118,6132,6210,6286,6203,6148,6219,
6276,6316,6438,6368,6302,6367,6388,6438,6458,6392,6385,6431,6467,6477,6442,6400,6275,6413,6432,6430,6440,6345,6382,6221,6287,6328,
6375,6250,6165,6142,6170,6159,6299,6273,6231,6288,6370,6390,6403,6264,6176,6247,6295,6177,6116,6098,1,1,6218,6223,6223
], p[2001]=[
6175,6040,6186,6198,6150,6088,6060,6115,6166,6170,6083,6197,6210,6209,6232,6215,6264,6256,6294,6317,6335,6298,6252,6256,6269,6293,
6226,6206,6164,6241,6229,6176,6198,6088,6094,5980,5972,6003,5944,5917,5941,5918,5909,5859,5931,6012,6002,6003,5917,5827,5721,5626,
5729,5563,5552,5647,5541,5315,5402,5577,5728,5614,5588,5634,5619,5463,5536,5622,5602,5663,5803,5788,5767,1,1,5761,5890,5872,
5880,5871,5840,5828,5868,5951,5967,5928,5904,5766,5870,1,5886,5894,5964,5897,5691,5843,5884,5905,5915,5942,5977,5898,5916,5890,
1,5864,5797,5796,5810,5857,5923,5902,5948,5951,5861,5804,5820,5753,5723,5672,5680,5700,5641,5666,5662,5556,5608,5638,5643,5717,
5640,5601,5550,5479,5469,5468,5392,5482,5537,5517,5428,5405,5437,5387,5405,5320,5276,5286,5403,5447,5529,5547,5585,5548,5526,5537,
5477,5403,5427,5431,5508,5462,5390,5342,5358,5430,5409,5397,5472,1,5435,5418,5333,5345,5312,5380,5316,5204,5070,5034,4746,4882,
4944,4756,4899,4849,4722,4557,4434,4614,4663,4696,4764,4903,4786,4832,4882,5016,5036,5033,5010,5153,5165,5146,5067,5083,5203,5116,
5018,5070,5193,5168,5087,5189,5086,5004,5040,5071,5130,5209,5214,5216,5278,5244,5146,5277,5241,5238,5291,5338,5299,5314,5346,5293,
5303,5266,5205,5209,5204,5165,5212,5334,5370,5265,5185,5161,5120,5075,5061,5136,5151,5121,5080,5159,5177,1,1,5213,5242,5217
], p[2002]=[
5218,5319,5324,5294,5250,5229,5191,5199,5114,5166,5128,5139,5127,5139,5149,5181,5233,5193,5224,5131,5089,5165,5190,5167,5093,5074,
5127,5128,5162,5136,5154,5209,5183,5154,5093,5024,5073,5051,5101,5139,5178,5101,5169,5242,5214,5246,5282,5286,5259,5253,5272,5261,
5293,5300,5316,5267,5253,5251,5204,5196,5215,5272,1,1,5251,5248,5210,5234,5179,5180,5229,5137,5161,5201,5260,5264,5229,5244,
5222,5191,5218,5198,5159,5154,5166,5126,5174,5203,1,5120,5209,5198,5171,5205,5240,5259,5249,5218,5208,5197,5152,5175,5169,5136,
5074,5083,5041,5085,1,1,4989,4958,4920,4928,4935,4852,4772,4631,4757,4702,4652,4580,4605,4542,4631,4531,4541,4656,4686,4547,
4393,4471,4616,4601,4543,4420,4230,4224,3995,4022,4191,4297,4098,3896,3858,3777,3966,4017,4203,4181,4246,4045,4076,3996,4131,4094,
4241,4322,4222,4272,4171,4328,4330,4427,4369,4365,4435,4390,1,4450,4274,4209,4227,4181,4029,4027,4011,4107,4062,4176,4211,4085,
4008,4044,4025,3865,3814,3860,3739,3671,3696,3851,3907,3722,3797,3905,3880,3814,3781,3731,3742,3777,3953,3932,4130,4058,4171,4131,
4134,4119,4007,4104,4051,4091,3936,4003,4040,3997,4142,4146,4104,4081,4035,4016,4085,4029,4053,4092,4116,4097,4095,4190,4175,4122,
4071,4144,4185,4169,4154,4075,4049,4032,4014,3934,3925,3975,3935,3878,3984,3909,3835,3841,3890,3937,3942,1,1,3829,3901,3940
], p[2003]=[
4010,4005,4001,3957,3925,3934,3974,3948,3946,3888,3882,3821,3779,3737,3678,3622,3604,3481,3490,3484,3579,3567,3689,3590,3679,3597,
3599,3579,3669,3616,3611,3612,3692,3730,3658,3687,3727,3702,3622,3593,3570,3656,3685,3625,3564,3555,3492,3436,3453,3287,3487,3602,
3722,3747,3765,3766,3861,3743,3762,3793,3729,3709,3613,3685,3753,3771,3814,3936,3869,3861,3803,3808,3849,3917,3855,3889,1,1,
3918,3967,3899,3870,3940,3928,3926,3880,3953,1,4006,3993,3929,3969,3987,4000,3975,4011,4049,3941,3972,3936,3991,3980,1,3992,
4072,4084,4048,4129,4116,4127,4104,4151,4129,4113,4150,4161,4134,4153,4190,4207,4132,4160,4088,4061,4068,4042,4068,4031,3964,4007,
4025,4022,4075,4074,4055,4029,4058,4128,4103,4077,4057,4073,4044,4080,4087,4150,4131,4149,4137,4141,4157,4098,4100,4121,4070,4096,
4148,4177,4186,4181,4238,4247,4272,4251,4217,4224,4226,1,4177,4206,4198,4161,4204,4204,4262,4249,4257,4292,4264,4252,4242,4238,
4261,4299,4293,4315,4257,4228,4222,4236,4202,4157,4143,4091,4169,4209,4274,4270,4272,4269,4314,4311,4362,4334,4369,4340,4344,4348,
4352,4286,4240,4239,4251,4273,4266,4301,4288,4333,4330,4303,4324,4377,4342,4345,4371,4373,4397,4339,4355,4327,4308,4319,4382,4389,
4370,4361,4343,4410,4379,4392,4378,4367,4360,4380,4335,4331,4348,4348,4333,4354,4397,4412,4424,4441,4445,1,1,4458,4470,4477
], p[2004]=[
4510,4513,4505,4473,4494,4466,4450,4440,4461,4456,4488,4518,4499,4511,4477,4461,4446,4447,4468,4412,4391,4381,4391,4399,4384,4403,
4434,4405,4396,4378,4412,4408,4462,4443,4516,4515,4524,4497,4508,4516,4492,4537,4540,4525,4559,4547,4554,4542,4545,4445,4467,4413,
4429,4457,4398,4418,4334,4319,4310,4374,4358,4407,4413,4386,4411,4466,4481,4473,4469,4490,1,1,4516,4485,4506,4537,4546,4569,
4540,4572,4570,4572,4576,4525,4520,4490,1,4547,4570,4516,4498,4395,4455,4413,4454,4442,4403,4414,4472,4429,4431,4429,4418,4438,
4454,4431,1,4423,4423,4435,4455,4492,4505,4490,4486,4484,4433,4459,4491,4493,4506,4502,4469,4487,4503,4494,4519,4512,4464,4425,
4407,4403,4371,4358,4381,4393,4360,4358,4373,4341,4339,4321,4339,4377,4306,4326,4287,4325,4356,4419,4413,4416,4430,4408,4413,4338,
4314,4351,4312,4328,4302,4350,4359,4355,4363,4369,4405,4408,4412,4454,4490,1,4459,4502,4519,4551,4564,4566,4558,4538,4545,4559,
4546,4549,4557,4591,4580,4608,4592,4568,4578,4541,4567,4588,4571,4660,4682,4707,4706,4699,4699,4686,4648,4635,4629,4623,4627,4655,
4616,4617,4615,4565,4583,4630,4643,4624,4674,4693,4719,4728,4740,4717,4718,4735,4777,4794,4803,4770,4796,4805,4761,4733,4742,4719,
4753,4742,4750,4703,4736,4751,4748,4723,4729,4704,4688,4694,4737,4723,4728,4735,4697,4731,4733,4777,4788,4798,1,1,4820,4820,
4814 ], p[2005]=[
4847,4806,4824,4854,4841,4819,4784,4800,4821,4847,4824,4818,4801,4803,4813,4843,4847,4853,4833,4852,4906,4916,4908,4942,4980,4996,
4990,5000,5044,5042,5059,5053,5057,5057,5061,5033,4989,4972,5007,4969,5001,4993,5015,5036,5027,5011,4996,4962,4982,4975,5000,4938,
4922,4923,4934,4937,4910,4923,1,1,4919,4901,4894,4914,4897,4943,4947,4977,4984,4973,4946,4961,4945,4892,4827,4856,4822,4820,
4849,4865,4846,4789,4790,4802,1,4861,4883,4902,4919,4910,4892,4875,4893,4887,4884,4899,4949,4963,4972,4990,4983,4972,4995,4986,
1,4964,5011,5005,4999,4980,5025,5004,5009,5030,5050,5047,5020,5045,5078,5072,5082,5099,5114,5079,5044,5090,5109,5113,5161,5184,
5190,5230,5158,5232,5242,5217,5246,5260,5231,5214,5202,5215,5222,5242,5271,5256,5264,5270,5282,5291,5328,5332,5316,5315,5344,5364,
5378,5359,5346,5344,5322,5293,5269,5313,5318,5300,5275,5256,5228,1,5256,5297,5329,5327,5338,5359,5366,5341,5359,5375,5338,5347,
5384,5408,5430,5416,5370,5386,5414,5453,5447,5495,5478,5478,5502,5494,5428,5372,5362,5375,5381,5342,5265,5275,5287,5264,5168,5164,
5142,5208,5182,5228,5183,5213,5317,5344,5359,5432,5424,5461,5461,5440,5424,5465,5470,5440,5430,5460,5499,5498,5517,5532,5511,5524,
5477,5491,5423,5486,5528,5510,5539,5529,5531,5517,5502,5507,5521,5495,5532,5540,5548,5587,5597,5596,1,1,5623,5638,5619
], p[2006]=[
5682,5715,5691,5732,5732,5689,5732,5735,5711,5740,5699,5664,5693,5672,5661,5634,5704,5723,5787,5780,5760,5802,5747,5759,5772,5747,
5725,5809,5764,5794,5792,5792,5829,5846,5863,5858,5872,5836,5861,5876,5792,5844,5833,5859,5898,5857,5813,5856,5908,5953,5951,5965,
5993,5999,5992,5991,6008,5990,6036,5972,5936,5959,6015,5965,6024,6005,6044,6046,6026,6067,6017,6001,6029,6044,6090,6081,6133,6099,
6087,6104,6060,6023,6082,6010,6037,6092,6067,6106,6083,6042,5912,5841,5846,5676,5672,5657,5533,5679,5587,5678,5791,5652,5724,5750,
5765,5762,5670,5706,5563,5655,5621,5520,5507,5619,5597,5626,5658,5665,5684,5692,5681,5652,5679,5792,5833,5884,5884,5827,5890,5889,
5897,5857,5861,5765,5708,5701,5682,5778,5771,5720,5834,5851,5877,5930,5975,5928,5881,5932,5838,5889,5829,5818,5861,5823,5820,5871,
5898,5897,5900,5903,5915,5903,5860,5869,5879,5888,5929,5906,5949,5987,5982,5929,5858,5879,5851,5896,5892,5877,5877,5890,5832,5866,
5897,5822,5798,5874,5930,5971,5961,5958,5937,5967,6005,6001,6031,6073,6074,6121,6157,6172,6109,6150,6156,6155,6166,6183,6215,6185,
6161,6127,6129,6150,6149,6148,6225,6244,6239,6232,6208,6194,6187,6230,6255,6192,6205,6203,6160,6140,6122,6050,6026,6084,6049,6022,
6050,6086,6090,6132,6152,6160,6156,6193,6228,6260,6247,6204,6199,6184,1,6245,6241
], p[2007]=[
6311,6319,6287,6220,6194,6196,6161,6230,6239,6264,6216,6205,6210,6237,6218,6228,6315,6269,6228,6240,6242,6203,6282,6311,6318,6346,
6370,6346,6383,6354,6382,6421,6433,6420,6444,6412,6357,6381,6402,6435,6286,6172,6116,6116,6059,6139,6157,6228,6245,6233,6161,6001,
6133,6131,6189,6220,6257,6318,6339,6292,6293,6267,6324,6308,6316,6366,6365,6397,6418,6413,6416,6462,6516,6498,6449,6441,6487,6480,
6430,6462,6469,6419,6449,6420,6485,6538,6604,6550,6550,6524,6566,6556,6569,6560,6579,6641,6637,6607,6616,6566,6571,6607,6602,6622,
6677,6664,6633,6523,6505,6505,6568,6521,6560,6650,6732,6704,6650,6649,6596,6567,6588,6559,6528,6571,6608,6591,6640,6673,6635,6690,
6713,6631,6615,6698,6717,6698,6659,6567,6640,6585,6624,6499,6454,6251,6215,6206,6360,6251,6300,6224,6189,6309,6394,6271,6038,6219,
6144,6109,5859,6064,6079,6086,6196,6197,6220,6102,6132,6212,6303,6315,6377,6271,6313,6191,6134,6281,6306,6364,6289,6183,6283,6460,
6429,6457,6466,6397,6433,6486,6467,6506,6500,6535,6548,6596,6541,6615,6633,6725,6731,6645,6614,6678,6609,6528,6459,6514,6482,6576,
6661,6706,6659,6722,6586,6531,6461,6475,6385,6382,6305,6338,6362,6432,6360,6291,6121,6227,6071,6155,6262,6181,6141,6306,6349,6433,
6387,6315,6494,6486,6555,6565,6537,6560,6364,6397,6278,6279,6285,6346,6434,1,6498,6477
], p[2008]=[
6417,6479,6349,6336,6357,6273,6223,6202,6216,6026,5943,5902,5902,5578,5740,5609,5876,5869,5789,5885,5837,5880,6029,6026,5868,5875,
5724,5784,5708,5910,5880,5879,5788,5947,5967,5894,5932,5889,6000,6087,6077,5966,5884,5819,5768,5854,5766,5700,5629,5690,5776,5692,
5632,5414,5606,5546,5495,5689,5660,5718,5693,5702,5853,5916,5891,5947,6015,5990,5984,5965,5896,5832,5907,6046,5980,6057,6053,6035,
6084,6051,6091,6090,6089,6087,6087,6216,6215,6261,6271,6205,6221,6212,6216,6252,6304,6377,6192,6198,6182,6087,6059,6070,6068,6054,
6008,6058,5970,5995,5907,5878,5827,5723,5791,5803,5795,5862,5757,5708,5621,5667,5635,5666,5518,5530,5626,5480,5426,5477,5413,5513,
5441,5530,5407,5262,5300,5172,5151,5286,5376,5404,5364,5450,5362,5353,5313,5319,5421,5412,5355,5320,5455,5486,5478,5489,5542,5535,
5449,5498,5455,5450,5320,5372,5370,5506,5471,5528,5601,5637,5603,5621,5500,5362,5241,5446,5416,5366,5318,5417,5204,5026,4912,4880,
5311,5236,5136,5096,5197,5089,4819,4903,4960,4870,4980,4589,4605,4367,4314,3932,4257,4394,4080,3861,4063,4283,4230,4041,4088,3883,
3853,3926,4243,4292,4377,4443,4640,4531,4272,4365,4404,4247,4182,4169,4233,4132,4209,4006,3875,3781,4153,4171,4153,4226,4288,4066,
4123,4170,4164,4049,4300,4381,4367,4389,4280,4278,4309,4324,4331,4287,4249,4256,1,4319,4393
], p[2009]=[
4562,4580,4639,4508,4505,4449,4426,4399,4181,4121,4147,4109,4091,4060,4052,4053,4209,4194,4295,4190,4150,4078,4165,4229,4229,4292,
4308,4213,4234,4202,4190,4135,4034,4007,4018,3889,3851,3816,3849,3916,3830,3626,3512,3646,3530,3531,3542,3715,3694,3712,3754,3864,
3857,3805,3817,3843,3953,3912,3900,3925,3899,3763,3926,3956,4125,4030,3994,3931,3926,3984,3989,3968,4053,4093,3991,3988,4031,4018,
4156,4167,4096,4190,4244,4243,4337,4397,4399,4462,4436,4426,4331,4363,4348,4447,4482,4468,4346,4365,4412,4416,4388,4418,4506,4477,
4383,4387,4439,4405,4405,4437,4462,4442,4326,4329,4279,4281,4346,4234,4230,4280,4253,4241,4294,4249,4341,4234,4236,4195,4187,4140,
4159,4127,4202,4238,4347,4362,4389,4444,4481,4494,4560,4577,4586,4529,4548,4632,4608,4683,4671,4647,4691,4732,4722,4671,4717,4756,
4714,4645,4686,4690,4757,4851,4896,4917,4891,4869,4909,4820,4818,4797,4852,4933,4947,5004,4988,5012,5019,5042,5124,5164,5173,5134,
5143,5139,5079,5082,5166,5160,5134,5048,4989,5024,5138,5109,5155,5162,5210,5154,5256,5223,5190,5282,5243,5258,5207,5243,5192,5201,
5080,5138,5045,5105,5037,5108,5126,5143,5235,5231,5267,5277,5296,5383,5346,5342,5268,5251,5356,5324,5365,5194,5246,5191,5312,5327,
5313,5322,5311,5223,5204,5244,5262,5315,5286,5320,5218,5197,5294,5329,5372,1,5438,5398
], p[2010]=[
5500,5523,5530,5527,5534,5538,5499,5474,5498,5455,5494,5513,5421,5335,5303,5260,5277,5218,5146,5189,5247,5283,5253,5139,5061,5092,
5112,5132,5162,5143,5168,5244,5277,5325,5358,5352,5315,5343,5278,5355,5406,5484,5533,5527,5600,5607,5602,5641,5617,5626,5594,5620,
5645,5643,5650,5645,5674,5678,5728,5703,5711,5672,5680,5745,5780,5762,5713,5771,5778,5762,5796,5825,5744,5728,5784,5723,5665,5724,
5754,5604,5587,5618,5553,5411,5342,5261,5123,5387,5334,5384,5434,5263,5263,5307,5158,5073,5063,5070,4941,5038,5195,5188,5163,5151,
5211,5126,5069,5028,5086,5133,5164,5202,5218,5238,5254,5251,5299,5247,5179,5100,5047,5072,4914,4917,4806,4838,4824,4965,5015,5106,
5133,5167,5271,5254,5211,5159,5148,5140,5215,5314,5313,5351,5366,5320,5314,5258,5397,5397,5386,5366,5332,5411,5376,5245,5266,5275,
5276,5351,5303,5211,5195,5235,5156,5109,5156,5202,5225,5366,5371,5428,5439,5408,5430,5494,5502,5566,5567,5556,5540,5509,5603,5576,
5552,5547,5599,5573,5578,5569,5549,5593,5556,5636,5681,5662,5658,5672,5662,5747,5727,5703,5743,5704,5729,5758,5741,5752,5707,5646,
5678,5675,5695,5757,5749,5863,5875,5850,5875,5817,5815,5797,5820,5682,5693,5769,5733,5681,5581,5657,5699,5669,5551,5528,5643,5768,
5745,5770,5809,5795,5808,5813,5861,5891,5882,5881,5872,5892,5952,5984,5996,6009,5996,5971,5900
], p[2011]=[
6014,6044,6020,5984,5956,6014,6051,6024,6002,5986,6056,5977,5868,5896,5944,5918,5969,5965,5881,5863,5958,6000,5983,5997,6051,6091,
6052,6020,6063,6060,6037,6085,6087,6083,6015,5997,5924,5920,6001,5994,5936,5915,6005,5990,5974,5975,5937,5845,5829,5775,5695,5598,
5696,5718,5786,5763,5796,5881,5901,5905,5932,5948,5909,6010,6017,6007,6041,6007,6056,6053,5965,6010,5964,5996,5870,5897,6022,6018,
6069,6068,6070,1,6083,5984,5920,5977,5943,6019,5976,5945,5926,5924,5861,5924,5956,5949,5836,5858,5870,5881,5939,5990,5929,5848,
5855,5863,5865,5809,5856,5766,5774,5803,5743,5699,5715,5693,5775,5773,5674,5698,5722,5767,5856,5946,5990,6018,6024,6003,6055,5991,
5929,5869,5906,5847,5844,5753,5790,5854,5900,5935,5925,5930,5857,5873,5815,5774,5718,5585,5393,5247,5069,5165,5007,5163,5320,5351,
5358,5332,5092,5041,5095,5129,5206,5131,5130,5269,5395,5419,5292,5103,5157,5319,5340,5215,5130,5174,5227,5338,5368,5260,5364,5288,
5042,5067,5089,5294,5218,5197,5129,5076,4944,5102,5291,5303,5399,5396,5442,5403,5466,5437,5410,5451,5385,5489,5548,5526,5553,5714,
5702,5544,5422,5484,5546,5527,5511,5567,5460,5445,5545,5519,5517,5509,5423,5363,5223,5207,5140,5128,5165,5313,5337,5505,5489,5552,
5568,5569,5547,5484,5529,5428,5490,5367,5401,5387,5365,5420,5390,5457,5513,5507,5567,5572
], p[2012]=[
5700,5669,5624,5650,5612,5697,5671,5662,5637,5657,5694,5702,5741,5729,5783,5752,5723,5795,5734,5671,5682,5791,5796,5901,5892,5890,
5876,5896,5852,5906,5900,5892,5885,5905,5945,5928,5917,5938,5935,5916,5928,5872,5931,5911,5875,5766,5791,5860,5888,5893,5956,5945,
5941,5966,5961,5891,5892,5846,5855,5903,5870,5809,5742,5769,5875,5838,5704,5724,5596,5635,5711,5652,5666,5767,5745,5745,5772,5666,
5710,5719,5749,5777,5738,5812,5758,5767,5655,5555,5530,5544,5576,5466,5438,5405,5338,5268,5305,5403,5266,5350,5352,5391,5297,5321,
5260,5384,5448,5435,5432,5474,5484,5467,5479,5491,5586,5622,5566,5514,5451,5447,5524,5493,5571,5641,5688,5685,5693,5663,5627,5664,
5665,5608,5666,5662,5629,5686,5714,5652,5534,5499,5498,5573,5627,5694,5635,5713,5662,5787,5809,5841,5846,5852,5847,5832,5865,5833,
5835,5852,5824,5858,5774,5777,5777,5776,5744,5720,5712,5758,5672,5658,5777,5795,5793,5792,5782,5820,5916,5894,5868,5889,5855,5853,
5839,5860,5768,5779,5742,5821,5810,5826,5828,5871,5842,5810,5777,5830,5793,5806,5871,5911,5917,5896,5883,5798,5805,5805,5807,5795,
5850,5783,5862,5869,5839,5885,5792,5776,5770,5767,5786,5722,5678,5606,5738,5748,5752,5791,5819,5787,5800,5803,5870,5867,5871,5869,
5892,5901,5914,5922,5925,5946,5930,5922,5912,5936,5962,5958,5940,5954,5954,5925,5898
], p[2013]=[
6027,6047,6090,6065,6054,6099,6102,6122,6108,6117,6104,6132,6154,6181,6179,6198,6265,6285,6294,6339,6323,6277,6347,6247,6283,6295,
6228,6264,6277,6338,6359,6327,6328,6318,6379,6395,6292,6336,6355,6270,6326,6361,6379,6346,6432,6428,6439,6484,6504,6511,6482,6529,
6490,6458,6441,6433,6389,6393,6378,6399,6388,6412,6491,6420,6344,6250,6277,6313,6387,6416,6384,6344,6305,6244,6244,6287,6281,6406,
6432,6443,6426,6458,6430,6451,6461,6522,6557,6584,6593,6625,6632,6686,6694,6688,6723,6756,6804,6840,6697,6654,6762,6627,6657,6583,
6525,6559,6419,6336,6412,6401,6340,6300,6305,6308,6331,6374,6349,6160,6116,6029,6102,6166,6243,6216,6308,6304,6230,6422,6376,6450,
6513,6505,6543,6545,6586,6556,6572,6634,6631,6623,6597,6620,6588,6555,6560,6571,6621,6682,6648,6620,6604,6511,6530,6583,6574,6612,
6587,6483,6500,6466,6454,6391,6447,6492,6441,6430,6483,6413,6506,6468,6475,6532,6547,6531,6584,6588,6589,6584,6623,6570,6559,6625,
6596,6557,6572,6552,6566,6513,6462,6460,6438,6449,6454,6437,6366,6338,6431,6487,6508,6549,6572,6576,6623,6654,6696,6675,6713,6721,
6726,6775,6778,6731,6735,6764,6747,6742,6697,6708,6728,6727,6630,6666,6693,6724,6698,6681,6681,6674,6695,6636,6650,6655,6651,6595,
6532,6510,6498,6552,6560,6523,6508,6445,6440,6522,6486,6492,6585,6607,6679,1,6751,6731
], p[2014]=[
6718,6731,6731,6756,6722,6691,6740,6757,6767,6820,6815,6829,6837,6834,6826,6773,6664,6551,6572,6544,6539,6510,6466,6449,6458,6558,
6572,6592,6673,6675,6659,6664,6736,6796,6797,6813,6838,6866,6831,6799,6810,6810,6708,6824,6775,6789,6713,6690,6686,6621,6554,6528,
6568,6605,6573,6542,6557,6520,6605,6605,6588,6616,6598,6653,6659,6649,6696,6623,6591,6636,6642,6562,6584,6542,6584,6625,6682,6675,
6703,6686,6700,6770,6780,6809,6822,6799,6796,6839,6815,6852,6873,6879,6841,6856,6845,6802,6821,6821,6816,6845,6851,6871,6845,6864,
6836,6819,6814,6858,6875,6874,6839,6843,6778,6755,6767,6779,6808,6825,6801,6787,6734,6735,6758,6744,6803,6816,6865,6866,6824,6739,
6718,6672,6690,6746,6711,6785,6738,6750,6728,6795,6798,6822,6792,6788,6808,6773,6730,6679,6678,6683,6636,6597,6567,6633,6632,6657,
6685,6689,6741,6779,6756,6778,6775,6823,6831,6806,6820,6825,6829,6874,6878,6855,6835,6829,6830,6800,6807,6804,6792,6781,6819,6838,
6774,6676,6706,6640,6649,6647,6623,6558,6446,6528,6564,6496,6482,6432,6340,6366,6393,6212,6196,6310,6267,6372,6400,6419,6389,6364,
6402,6454,6464,6547,6488,6454,6539,6551,6567,6611,6627,6611,6636,6654,6672,6709,6697,6679,6751,6730,6731,6729,6723,6723,6656,6742,
6717,6679,6743,6672,6530,6500,6462,6301,6183,6332,6337,6466,6545,6577,6598,1,6634,6547
], p[2015]=[
6548,6417,6367,6420,6570,6501,6501,6542,6389,6499,6550,6586,6620,6728,6797,6833,6852,6812,6826,6811,6749,6783,6872,6860,6866,6853,
6837,6829,6818,6828,6874,6857,6898,6898,6889,6915,6912,6950,6935,6950,6947,6941,6889,6919,6961,6912,6877,6703,6722,6761,6741,6804,
6838,6945,6962,7023,7038,7020,6991,6895,6855,6891,6773,6810,6834,6962,6937,7015,7090,7064,7075,7097,7061,6995,7052,7063,7028,7054,
7071,7104,7031,6946,6961,6986,6928,6934,6887,7047,7030,6934,6950,6973,6961,6969,6995,7007,7014,7032,6949,7033,7041,6984,6954,6928,
6951,6859,6805,6790,6754,6830,6847,6785,6711,6710,6681,6708,6711,6826,6835,6845,6808,6754,6621,6521,6609,6631,6586,6536,6432,6491,
6582,6673,6738,6754,6754,6797,6775,6789,6769,6667,6655,6580,6505,6555,6631,6669,6696,6689,6687,6752,6747,6719,6736,6665,6571,6568,
6551,6550,6526,6404,6368,6188,5899,6081,5979,6192,6248,6059,6083,6194,6043,6075,6146,6229,6156,6118,6085,6138,6229,6187,6104,6109,
5936,6032,5962,6109,5959,5909,6062,6073,6130,6299,6326,6336,6375,6416,6371,6342,6270,6339,6378,6352,6345,6348,6376,6444,6417,6365,
6438,6396,6361,6362,6384,6413,6365,6354,6295,6275,6297,6179,6118,6146,6269,6279,6330,6335,6306,6277,6338,6393,6375,6356,6396,6421,
6275,6238,6224,6135,6127,6088,5953,5874,6018,6061,6103,6052,6035,6083,6241,1,6315,6274
], p[2016]=[
6093,6137,6073,5954,5912,5872,5929,5961,5918,5804,5780,5877,5674,5774,5900,5877,5912,5990,5932,6084,6060,5922,5837,5899,5848,5689,
5632,5672,5537,5708,5824,5862,6030,5972,5950,6038,5962,5867,6013,6096,6097,6153,6147,6131,6199,6182,6125,6146,6037,6140,6175,6140,
6176,6201,6190,6185,6193,6199,6107,6106,6203,6175,6146,6165,6091,6162,6137,6204,6200,6242,6363,6365,6344,6354,6405,6410,6381,6310,
6261,6285,6320,6322,6242,6186,6112,6117,6126,6115,6157,6163,6104,6139,6151,6168,6166,6053,6156,6136,6219,6263,6266,6271,6231,6192,
6186,6210,6273,6285,6302,6232,6116,6045,5924,5967,5951,6021,6204,6227,6261,6338,6139,5982,6140,6360,6504,6578,6522,6545,6464,6534,
6591,6683,6681,6670,6655,6669,6695,6697,6729,6700,6731,6710,6724,6750,6721,6724,6694,6645,6634,6740,6794,6809,6851,6866,6915,6916,
6941,6894,6859,6869,6859,6829,6869,6836,6817,6838,6821,6782,6746,6895,6879,6826,6847,6859,6777,6701,6666,6673,6730,6710,6814,6831,
6835,6911,6909,6818,6808,6849,6919,6899,6984,7074,7033,7000,7044,7098,7071,7024,6978,7014,6948,7000,7022,7027,7021,6986,7018,6958,
6987,6996,6954,6917,6845,6791,6693,6807,6843,6912,6828,6730,6753,6793,6750,6795,6776,6778,6820,6818,6829,6841,6800,6772,6784,6753,
6731,6747,6780,6902,6932,6954,6890,6969,6949,6999,7012,7017,7044,7041,7064,7068,7106,7120,7143
], p[2017]=[
7178,7190,7195,7210,7238,7276,7291,7292,7338,7327,7220,7248,7208,7198,7151,7150,7164,7162,7185,7119,7099,7108,7141,7188,7172,7186,
7189,7230,7259,7279,7269,7302,7278,7300,7300,7275,7302,7271,7244,7253,7263,7383,7382,7374,7350,7339,7335,7315,7343,7367,7358,7369,
7416,7425,7430,7378,7325,7341,7337,7294,7343,7374,7370,7323,7283,7322,7332,7303,7349,7349,7366,7349,7328,7148,7114,7119,7115,7265,
7276,7289,7237,7204,7250,7235,7248,7297,7301,7342,7385,7387,7435,7454,7522,7504,7436,7471,7496,7485,7515,7518,7548,7527,7520,7544,
7548,7526,7525,7479,7450,7527,7512,7500,7474,7419,7464,7524,7473,7448,7439,7424,7447,7434,7388,7350,7313,7377,7357,7368,7337,7351,
7370,7330,7417,7413,7378,7404,7390,7431,7488,7453,7378,7435,7452,7443,7368,7372,7424,7411,7475,7512,7532,7543,7498,7390,7310,7354,
7384,7433,7388,7324,7319,7382,7383,7407,7402,7337,7365,7431,7439,7412,7373,7354,7397,7378,7414,7401,7380,7295,7216,7253,7275,7272,
7264,7311,7301,7286,7314,7323,7373,7439,7468,7468,7508,7523,7508,7538,7534,7556,7535,7527,7516,7543,7523,7523,7525,7527,7447,7487,
7505,7488,7493,7488,7555,7560,7562,7513,7530,7484,7433,7415,7414,7373,7387,7381,7390,7411,7419,7417,7410,7384,7461,7394,7327,7301,
7339,7328,7348,7321,7394,7454,7500,7497,7448,7491,7537,7544,7525,7604,7593,7621,7623,7688
], p[2018]=[
7648,7671,7696,7724,7697,7731,7749,7763,7779,7769,7756,7725,7701,7731,7715,7732,7643,7616,7666,7672,7588,7534,7490,7443,7335,7141,
7279,7171,7092,7177,7168,7214,7235,7295,7248,7247,7282,7252,7244,7290,7283,7232,7176,7070,7116,7147,7158,7203,7225,7215,7139,7133,
7140,7164,7043,7061,7039,6953,6922,6889,7000,7045,7057,7031,7034,7200,7184,7195,7267,7257,7258,7265,7198,7226,7317,7329,7368,7399,
7425,7379,7421,7502,7509,7520,7543,7503,7567,7566,7663,7701,7725,7711,7723,7734,7788,7779,7859,7878,7788,7717,7730,7633,7690,7678,
7702,7741,7687,7712,7704,7681,7737,7704,7704,7766,7634,7631,7604,7627,7556,7682,7510,7538,7622,7616,7637,7548,7593,7573,7603,7618,
7688,7692,7592,7651,7662,7601,7626,7676,7684,7679,7656,7709,7658,7663,7701,7701,7749,7653,7576,7659,7664,7719,7777,7742,7667,7643,
7612,7498,7556,7559,7591,7566,7574,7563,7578,7617,7563,7516,7432,7505,7458,7383,7319,7278,7279,7274,7313,7282,7304,7302,7300,7331,
7367,7490,7458,7508,7512,7545,7510,7496,7475,7510,7418,7319,7233,7238,7146,7007,6996,7029,7059,7055,7027,7050,7043,6955,6963,7004,
6940,7026,7036,7128,7115,7094,7104,7041,7117,7141,7105,7053,7054,7034,7038,7014,7001,6948,7050,6960,6953,7036,7017,7005,7039,6980,
7062,7023,6922,6704,6778,6722,6807,6880,6878,6845,6773,6702,6766,6712,6721,6686,6585,6734,6728
], p[2019]=[
6734,6693,6837,6811,6862,6907,6943,6918,6855,6895,6863,6835,6968,6971,6901,6843,6819,6809,6747,6834,6942,6969,7020,7034,7177,7173,
7094,7071,7129,7133,7191,7197,7237,7220,7179,7229,7167,7179,7184,7151,7107,7075,7107,7134,7183,7196,7158,7104,7131,7151,7159,7185,
7228,7299,7324,7291,7355,7208,7178,7196,7194,7234,7279,7317,7391,7418,7402,7447,7452,7426,7422,7418,7437,7437,7470,7471,7460,7523,
7472,7434,7428,7441,7418,7385,7351,7381,7261,7271,7207,7203,7164,7242,7297,7354,7349,7311,7329,7334,7231,7278,7269,7185,7218,7162,
7185,7214,7220,7260,7332,7376,7399,7368,7369,7346,7357,7443,7404,7424,7408,7417,7422,7416,7402,7426,7498,7559,7609,7604,7553,7549,
7537,7531,7510,7506,7532,7577,7536,7493,7509,7515,7557,7502,7489,7549,7687,7647,7587,7585,7407,7224,7172,7199,7286,7254,7227,7251,
7148,7067,7117,7190,7125,7204,7128,7095,7090,7115,7184,7207,7282,7268,7311,7271,7282,7236,7268,7338,7345,7368,7321,7320,7314,7356,
7345,7326,7291,7290,7351,7426,7408,7360,7123,7078,7155,7198,7143,7167,7186,7247,7214,7212,7168,7182,7151,7164,7213,7261,7328,7325,
7331,7306,7331,7248,7302,7370,7388,7397,7406,7359,7329,7365,7351,7293,7303,7308,7324,7263,7239,7327,7396,7403,7430,7416,7347,7286,
7159,7189,7138,7240,7234,7214,7216,7274,7353,7519,7525,7541,7574,7583,7624,7632,7645,7587,7542
], p[2020]=[
7604,7622,7575,7574,7575,7598,7588,7618,7622,7643,7610,7675,7651,7611,7572,7508,7586,7412,7481,7484,7382,7286,7326,7440,7483,7505,
7467,7447,7499,7534,7452,7409,7433,7382,7457,7437,7404,7157,7018,7043,6796,6581,6655,6718,6816,6705,6463,5966,5960,5877,5238,5366,
5151,5295,5081,5152,5191,4994,5446,5688,5816,5510,5564,5672,5455,5480,5416,5582,5705,5678,5843,5791,5598,5628,5787,5813,5641,5771,
5827,5752,5847,5959,6115,5901,5763,5754,5849,5854,5936,5940,5995,5904,5742,5800,6049,6002,6067,6015,5993,6068,6144,6219,6077,6166,
6220,6382,6341,6484,6473,6336,6329,6077,6105,6065,6243,6253,6224,6293,6245,6320,6124,6147,6159,6226,6170,6158,6240,6157,6286,6190,
6156,6050,6095,6176,6180,6293,6251,6290,6262,6270,6207,6211,6124,6105,6129,6132,5990,5898,6033,6036,6105,6027,6032,6051,6154,6280,
6186,6090,6127,6077,6112,6013,6002,6105,6037,6046,6000,5964,5862,5941,5851,5799,5937,5930,6013,6003,6032,6026,6106,6079,6050,6007,
5804,5830,5899,5823,5843,5928,5898,5866,5880,5902,5943,5950,5946,5978,6017,6001,5970,5935,5833,5920,5885,5889,5777,5786,5860,5792,
5729,5583,5582,5577,5655,5787,5883,5906,5910,6186,6297,6382,6339,6316,6421,6365,6385,6334,6352,6334,6432,6391,6363,6368,6266,6385,
6463,6490,6550,6555,6559,6564,6600,6547,6532,6513,6571,6551,6529,6416,6496,6502,6603,6556,6461
], p[2021]=[
6572,6612,6842,6857,6873,6799,6754,6746,6802,6736,6721,6713,6740,6715,6695,6639,6654,6567,6526,6408,6466,6517,6508,6504,6489,6524,6532,6524,6529,6590,6756,6749,6711,6617,6624,6612,6626,6659,6652,6483,6589,6614,6676,6651,6631,6719,6730,6726,6737,6762,6750,6804,6763,6780,6709,6726,6699,6713,6675,6741,6736,6772,6714,6737,6824,6885,6942,6916,6889,6891,6940,6984,7020,7000,6860,6895,6938,6939,6963,6945,6964,6962,6970,6923,7039,7076,7130,7124,6948,7005,6963,7044,7033,7034,6950,7020,7018,7052,7030,7027,7020,7023,7081,7108,7064,7069,7077,7095,7081,7088,7134,7147,7173,7185,7153,7018,7062,7090,7074,7110,7136,7073,7088,7038,7125,7123,7165,7101,7151,7031,7122,7125,7125,7091,7012,7008,6844,6881,6998,6968,7028,7025,6996,7017,7078,7032,7082,7106,7124,7120,7123,7132,7161,7220,7193,7219,7154,7181,7169,7059,7088,7109,7126,7150,7125,7148,7120,7150,7164,7138,7187,7149,7096,7024,7029,7068,7034,7017,7028,6964,6904,6981,7083,7078,7052,7063,7028,7108,7086,7027,7011,7077,6996,7078,7096,7147,7130,7142,7208,7234,7204,7218,7223,7190,7205,7223,7278,7253,7250,7238,7289,7275,7249,7280,7304,7300,7274,7340,7384,7348,7352,7327,7291,7256,7224,7256,7267,7286,7310,7044,7110,7060,7169,7129,7122,7232,7340,7337,7321,7292,7231,7219,7171,7261,7270,7198,7297,7342,7373,7372,7421,7403,7385
]