{4095, 2046, 4092, 2044, 4089, 2040, 4088, 2042, 4083, 2034, 4080, 2032, 4081, 2032, 4084, 2038, 4071, 2022, 4068, 2020, 4065, 2016, 4064, 2018, 4067, 2018, 4064, 2016, 4073, 2024, 4076, 2030, 4047, 1998, 4044, 1996, 4041, 1992, 4040, 1994, 4035, 1986, 4032, 1984, 4033, 1984, 4036, 1990, 4039, 1990, 4036, 1988, 4033, 1984, 4032, 1986, 4051, 2002, 4048, 2000, 4057, 2008, 4060, 2014, 3999, 1950, 3996, 1948, 3993, 1944, 3992, 1946, 3987, 1938, 3984, 1936, 3985, 1936, 3988, 1942, 3975, 1926, 3972, 1924, 3969, 1920, 3968, 1922, 3971, 1922, 3968, 1920, 3977, 1928, 3980, 1934, 3983, 1934, 3980, 1932, 3977, 1928, 3976, 1930, 3971, 1922, 3968, 1920, 3969, 1920, 3972, 1926, 4007, 1958, 4004, 1956, 4001, 1952, 4000, 1954, 4019, 1970, 4016, 1968, 4025, 1976, 4028, 1982, 3903, 1854, 3900, 1852, 3897, 1848, 3896, 1850, 3891, 1842, 3888, 1840, 3889, 1840, 3892, 1846, 3879, 1830, 3876, 1828, 3873, 1824, 3872, 1826, 3875, 1826, 3872, 1824, 3881, 1832, 3884, 1838, 3855, 1806, 3852, 1804, 3849, 1800, 3848, 1802, 3843, 1794, 3840, 1792, 3841, 1792, 3844, 1798, 3847, 1798, 3844, 1796, 3841, 1792, 3840, 1794, 3859, 1810, 3856, 1808, 3865, 1816, 3868, 1822, 3871, 1822, 3868, 1820, 3865, 1816, 3864, 1818, 3859, 1810, 3856, 1808, 3857, 1808, 3860, 1814, 3847, 1798, 3844, 1796, 3841, 1792, 3840, 1794, 3843, 1794, 3840, 1792, 3849, 1800, 3852, 1806, 3919, 1870, 3916, 1868, 3913, 1864, 3912, 1866, 3907, 1858, 3904, 1856, 3905, 1856, 3908, 1862, 3943, 1894, 3940, 1892, 3937, 1888, 3936, 1890, 3955, 1906, 3952, 1904, 3961, 1912, 3964, 1918, 3711, 1662, 3708, 1660, 3705, 1656, 3704, 1658, 3699, 1650, 3696, 1648, 3697, 1648, 3700, 1654, 3687, 1638, 3684, 1636, 3681, 1632, 3680, 1634, 3683, 1634, 3680, 1632, 3689, 1640, 3692, 1646, 3663, 1614, 3660, 1612, 3657, 1608, 3656, 1610, 3651, 1602, 3648, 1600, 3649, 1600, 3652, 1606, 3655, 1606, 3652, 1604, 3649, 1600, 3648, 1602, 3667, 1618, 3664, 1616, 3673, 1624, 3676, 1630, 3615, 1566, 3612, 1564, 3609, 1560, 3608, 1562, 3603, 1554, 3600, 1552, 3601, 1552, 3604, 1558, 3591, 1542, 3588, 1540, 3585, 1536, 3584, 1538, 3587, 1538, 3584, 1536, 3593, 1544, 3596, 1550, 3599, 1550, 3596, 1548, 3593, 1544, 3592, 1546, 3587, 1538, 3584, 1536, 3585, 1536, 3588, 1542, 3623, 1574, 3620, 1572, 3617, 1568, 3616, 1570, 3635, 1586, 3632, 1584, 3641, 1592, 3644, 1598, 3647, 1598, 3644, 1596, 3641, 1592, 3640, 1594, 3635, 1586, 3632, 1584, 3633, 1584, 3636, 1590, 3623, 1574, 3620, 1572, 3617, 1568, 3616, 1570, 3619, 1570, 3616, 1568, 3625, 1576, 3628, 1582, 3599, 1550, 3596, 1548, 3593, 1544, 3592, 1546, 3587, 1538, 3584, 1536, 3585, 1536, 3588, 1542, 3591, 1542, 3588, 1540, 3585, 1536, 3584, 1538, 3603, 1554, 3600, 1552, 3609, 1560, 3612, 1566, 3743, 1694, 3740, 1692, 3737, 1688, 3736, 1690, 3731, 1682, 3728, 1680, 3729, 1680, 3732, 1686, 3719, 1670, 3716, 1668, 3713, 1664, 3712, 1666, 3715, 1666, 3712, 1664, 3721, 1672, 3724, 1678, 3791, 1742, 3788, 1740, 3785, 1736, 3784, 1738, 3779, 1730, 3776, 1728, 3777, 1728, 3780, 1734, 3815, 1766, 3812, 1764, 3809, 1760, 3808, 1762, 3827, 1778, 3824, 1776, 3833, 1784, 3836, 1790, 3327, 1278, 3324, 1276, 3321, 1272, 3320, 1274, 3315, 1266, 3312, 1264, 3313, 1264, 3316, 1270, 3303, 1254, 3300, 1252, 3297, 1248, 3296, 1250, 3299, 1250, 3296, 1248, 3305, 1256, 3308, 1262, 3279, 1230, 3276, 1228, 3273, 1224, 3272, 1226, 3267, 1218, 3264, 1216, 3265, 1216, 3268, 1222, 3271, 1222, 3268, 1220, 3265, 1216, 3264, 1218, 3283, 1234, 3280, 1232, 3289, 1240, 3292, 1246, 3231, 1182, 3228, 1180, 3225, 1176, 3224, 1178, 3219, 1170, 3216, 1168, 3217, 1168, 3220, 1174, 3207, 1158, 3204, 1156, 3201, 1152, 3200, 1154, 3203, 1154, 3200, 1152, 3209, 1160, 3212, 1166, 3215, 1166, 3212, 1164, 3209, 1160, 3208, 1162, 3203, 1154, 3200, 1152, 3201, 1152, 3204, 1158, 3239, 1190, 3236, 1188, 3233, 1184, 3232, 1186, 3251, 1202, 3248, 1200, 3257, 1208, 3260, 1214, 3135, 1086, 3132, 1084, 3129, 1080, 3128, 1082, 3123, 1074, 3120, 1072, 3121, 1072, 3124, 1078, 3111, 1062, 3108, 1060, 3105, 1056, 3104, 1058, 3107, 1058, 3104, 1056, 3113, 1064, 3116, 1070, 3087, 1038, 3084, 1036, 3081, 1032, 3080, 1034, 3075, 1026, 3072, 1024, 3073, 1024, 3076, 1030, 3079, 1030, 3076, 1028, 3073, 1024, 3072, 1026, 3091, 1042, 3088, 1040, 3097, 1048, 3100, 1054, 3103, 1054, 3100, 1052, 3097, 1048, 3096, 1050, 3091, 1042, 3088, 1040, 3089, 1040, 3092, 1046, 3079, 1030, 3076, 1028, 3073, 1024, 3072, 1026, 3075, 1026, 3072, 1024, 3081, 1032, 3084, 1038, 3151, 1102, 3148, 1100, 3145, 1096, 3144, 1098, 3139, 1090, 3136, 1088, 3137, 1088, 3140, 1094, 3175, 1126, 3172, 1124, 3169, 1120, 3168, 1122, 3187, 1138, 3184, 1136, 3193, 1144, 3196, 1150, 3199, 1150, 3196, 1148, 3193, 1144, 3192, 1146, 3187, 1138, 3184, 1136, 3185, 1136, 3188, 1142, 3175, 1126, 3172, 1124, 3169, 1120, 3168, 1122, 3171, 1122, 3168, 1120, 3177, 1128, 3180, 1134, 3151, 1102, 3148, 1100, 3145, 1096, 3144, 1098, 3139, 1090, 3136, 1088, 3137, 1088, 3140, 1094, 3143, 1094, 3140, 1092, 3137, 1088, 3136, 1090, 3155, 1106, 3152, 1104, 3161, 1112, 3164, 1118, 3103, 1054, 3100, 1052, 3097, 1048, 3096, 1050, 3091, 1042, 3088, 1040, 3089, 1040, 3092, 1046, 3079, 1030, 3076, 1028, 3073, 1024, 3072, 1026, 3075, 1026, 3072, 1024, 3081, 1032, 3084, 1038, 3087, 1038, 3084, 1036, 3081, 1032, 3080, 1034, 3075, 1026, 3072, 1024, 3073, 1024, 3076, 1030, 3111, 1062, 3108, 1060, 3105, 1056, 3104, 1058, 3123, 1074, 3120, 1072, 3129, 1080, 3132, 1086, 3391, 1342, 3388, 1340, 3385, 1336, 3384, 1338, 3379, 1330, 3376, 1328, 3377, 1328, 3380, 1334, 3367, 1318, 3364, 1316, 3361, 1312, 3360, 1314, 3363, 1314, 3360, 1312, 3369, 1320, 3372, 1326, 3343, 1294, 3340, 1292, 3337, 1288, 3336, 1290, 3331, 1282, 3328, 1280, 3329, 1280, 3332, 1286, 3335, 1286, 3332, 1284, 3329, 1280, 3328, 1282, 3347, 1298, 3344, 1296, 3353, 1304, 3356, 1310, 3487, 1438, 3484, 1436, 3481, 1432, 3480, 1434, 3475, 1426, 3472, 1424, 3473, 1424, 3476, 1430, 3463, 1414, 3460, 1412, 3457, 1408, 3456, 1410, 3459, 1410, 3456, 1408, 3465, 1416, 3468, 1422, 3535, 1486, 3532, 1484, 3529, 1480, 3528, 1482, 3523, 1474, 3520, 1472, 3521, 1472, 3524, 1478, 3559, 1510, 3556, 1508, 3553, 1504, 3552, 1506, 3571, 1522, 3568, 1520, 3577, 1528, 3580, 1534, 2559, 510, 2556, 508, 2553, 504, 2552, 506, 2547, 498, 2544, 496, 2545, 496, 2548, 502, 2535, 486, 2532, 484, 2529, 480, 2528, 482, 2531, 482, 2528, 480, 2537, 488, 2540, 494, 2511, 462, 2508, 460, 2505, 456, 2504, 458, 2499, 450, 2496, 448, 2497, 448, 2500, 454, 2503, 454, 2500, 452, 2497, 448, 2496, 450, 2515, 466, 2512, 464, 2521, 472, 2524, 478, 2463, 414, 2460, 412, 2457, 408, 2456, 410, 2451, 402, 2448, 400, 2449, 400, 2452, 406, 2439, 390, 2436, 388, 2433, 384, 2432, 386, 2435, 386, 2432, 384, 2441, 392, 2444, 398, 2447, 398, 2444, 396, 2441, 392, 2440, 394, 2435, 386, 2432, 384, 2433, 384, 2436, 390, 2471, 422, 2468, 420, 2465, 416, 2464, 418, 2483, 434, 2480, 432, 2489, 440, 2492, 446, 2367, 318, 2364, 316, 2361, 312, 2360, 314, 2355, 306, 2352, 304, 2353, 304, 2356, 310, 2343, 294, 2340, 292, 2337, 288, 2336, 290, 2339, 290, 2336, 288, 2345, 296, 2348, 302, 2319, 270, 2316, 268, 2313, 264, 2312, 266, 2307, 258, 2304, 256, 2305, 256, 2308, 262, 2311, 262, 2308, 260, 2305, 256, 2304, 258, 2323, 274, 2320, 272, 2329, 280, 2332, 286, 2335, 286, 2332, 284, 2329, 280, 2328, 282, 2323, 274, 2320, 272, 2321, 272, 2324, 278, 2311, 262, 2308, 260, 2305, 256, 2304, 258, 2307, 258, 2304, 256, 2313, 264, 2316, 270, 2383, 334, 2380, 332, 2377, 328, 2376, 330, 2371, 322, 2368, 320, 2369, 320, 2372, 326, 2407, 358, 2404, 356, 2401, 352, 2400, 354, 2419, 370, 2416, 368, 2425, 376, 2428, 382, 2175, 126, 2172, 124, 2169, 120, 2168, 122, 2163, 114, 2160, 112, 2161, 112, 2164, 118, 2151, 102, 2148, 100, 2145, 96, 2144, 98, 2147, 98, 2144, 96, 2153, 104, 2156, 110, 2127, 78, 2124, 76, 2121, 72, 2120, 74, 2115, 66, 2112, 64, 2113, 64, 2116, 70, 2119, 70, 2116, 68, 2113, 64, 2112, 66, 2131, 82, 2128, 80, 2137, 88, 2140, 94, 2079, 30, 2076, 28, 2073, 24, 2072, 26, 2067, 18, 2064, 16, 2065, 16, 2068, 22, 2055, 6, 2052, 4, 2049, 0, 2048, 2, 2051, 2, 2048, 0, 2057, 8, 2060, 14, 2063, 14, 2060, 12, 2057, 8, 2056, 10, 2051, 2, 2048, 0, 2049, 0, 2052, 6, 2087, 38, 2084, 36, 2081, 32, 2080, 34, 2099, 50, 2096, 48, 2105, 56, 2108, 62, 2111, 62, 2108, 60, 2105, 56, 2104, 58, 2099, 50, 2096, 48, 2097, 48, 2100, 54, 2087, 38, 2084, 36, 2081, 32, 2080, 34, 2083, 34, 2080, 32, 2089, 40, 2092, 46, 2063, 14, 2060, 12, 2057, 8, 2056, 10, 2051, 2, 2048, 0, 2049, 0, 2052, 6, 2055, 6, 2052, 4, 2049, 0, 2048, 2, 2067, 18, 2064, 16, 2073, 24, 2076, 30, 2207, 158, 2204, 156, 2201, 152, 2200, 154, 2195, 146, 2192, 144, 2193, 144, 2196, 150, 2183, 134, 2180, 132, 2177, 128, 2176, 130, 2179, 130, 2176, 128, 2185, 136, 2188, 142, 2255, 206, 2252, 204, 2249, 200, 2248, 202, 2243, 194, 2240, 192, 2241, 192, 2244, 198, 2279, 230, 2276, 228, 2273, 224, 2272, 226, 2291, 242, 2288, 240, 2297, 248, 2300, 254, 2303, 254, 2300, 252, 2297, 248, 2296, 250, 2291, 242, 2288, 240, 2289, 240, 2292, 246, 2279, 230, 2276, 228, 2273, 224, 2272, 226, 2275, 226, 2272, 224, 2281, 232, 2284, 238, 2255, 206, 2252, 204, 2249, 200, 2248, 202, 2243, 194, 2240, 192, 2241, 192, 2244, 198, 2247, 198, 2244, 196, 2241, 192, 2240, 194, 2259, 210, 2256, 208, 2265, 216, 2268, 222, 2207, 158, 2204, 156, 2201, 152, 2200, 154, 2195, 146, 2192, 144, 2193, 144, 2196, 150, 2183, 134, 2180, 132, 2177, 128, 2176, 130, 2179, 130, 2176, 128, 2185, 136, 2188, 142, 2191, 142, 2188, 140, 2185, 136, 2184, 138, 2179, 130, 2176, 128, 2177, 128, 2180, 134, 2215, 166, 2212, 164, 2209, 160, 2208, 162, 2227, 178, 2224, 176, 2233, 184, 2236, 190, 2111, 62, 2108, 60, 2105, 56, 2104, 58, 2099, 50, 2096, 48, 2097, 48, 2100, 54, 2087, 38, 2084, 36, 2081, 32, 2080, 34, 2083, 34, 2080, 32, 2089, 40, 2092, 46, 2063, 14, 2060, 12, 2057, 8, 2056, 10, 2051, 2, 2048, 0, 2049, 0, 2052, 6, 2055, 6, 2052, 4, 2049, 0, 2048, 2, 2067, 18, 2064, 16, 2073, 24, 2076, 30, 2079, 30, 2076, 28, 2073, 24, 2072, 26, 2067, 18, 2064, 16, 2065, 16, 2068, 22, 2055, 6, 2052, 4, 2049, 0, 2048, 2, 2051, 2, 2048, 0, 2057, 8, 2060, 14, 2127, 78, 2124, 76, 2121, 72, 2120, 74, 2115, 66, 2112, 64, 2113, 64, 2116, 70, 2151, 102, 2148, 100, 2145, 96, 2144, 98, 2163, 114, 2160, 112, 2169, 120, 2172, 126, 2687, 638, 2684, 636, 2681, 632, 2680, 634, 2675, 626, 2672, 624, 2673, 624, 2676, 630, 2663, 614, 2660, 612, 2657, 608, 2656, 610, 2659, 610, 2656, 608, 2665, 616, 2668, 622, 2639, 590, 2636, 588, 2633, 584, 2632, 586, 2627, 578, 2624, 576, 2625, 576, 2628, 582, 2631, 582, 2628, 580, 2625, 576, 2624, 578, 2643, 594, 2640, 592, 2649, 600, 2652, 606, 2591, 542, 2588, 540, 2585, 536, 2584, 538, 2579, 530, 2576, 528, 2577, 528, 2580, 534, 2567, 518, 2564, 516, 2561, 512, 2560, 514, 2563, 514, 2560, 512, 2569, 520, 2572, 526, 2575, 526, 2572, 524, 2569, 520, 2568, 522, 2563, 514, 2560, 512, 2561, 512, 2564, 518, 2599, 550, 2596, 548, 2593, 544, 2592, 546, 2611, 562, 2608, 560, 2617, 568, 2620, 574, 2879, 830, 2876, 828, 2873, 824, 2872, 826, 2867, 818, 2864, 816, 2865, 816, 2868, 822, 2855, 806, 2852, 804, 2849, 800, 2848, 802, 2851, 802, 2848, 800, 2857, 808, 2860, 814, 2831, 782, 2828, 780, 2825, 776, 2824, 778, 2819, 770, 2816, 768, 2817, 768, 2820, 774, 2823, 774, 2820, 772, 2817, 768, 2816, 770, 2835, 786, 2832, 784, 2841, 792, 2844, 798, 2975, 926, 2972, 924, 2969, 920, 2968, 922, 2963, 914, 2960, 912, 2961, 912, 2964, 918, 2951, 902, 2948, 900, 2945, 896, 2944, 898, 2947, 898, 2944, 896, 2953, 904, 2956, 910, 3023, 974, 3020, 972, 3017, 968, 3016, 970, 3011, 962, 3008, 960, 3009, 960, 3012, 966, 3047, 998, 3044, 996, 3041, 992, 3040, 994, 3059, 1010, 3056, 1008, 3065, 1016, 3068, 1022, 1023, 1022, 1020, 1021, 1017, 1016, 1016, 1019, 1011, 1010, 1008, 1009, 1009, 1008, 1012, 1015, 999, 998, 996, 997, 993, 992, 992, 995, 995, 994, 992, 993, 1001, 1000, 1004, 1007, 975, 974, 972, 973, 969, 968, 968, 971, 963, 962, 960, 961, 961, 960, 964, 967, 967, 966, 964, 965, 961, 960, 960, 963, 979, 978, 976, 977, 985, 984, 988, 991, 927, 926, 924, 925, 921, 920, 920, 923, 915, 914, 912, 913, 913, 912, 916, 919, 903, 902, 900, 901, 897, 896, 896, 899, 899, 898, 896, 897, 905, 904, 908, 911, 911, 910, 908, 909, 905, 904, 904, 907, 899, 898, 896, 897, 897, 896, 900, 903, 935, 934, 932, 933, 929, 928, 928, 931, 947, 946, 944, 945, 953, 952, 956, 959, 831, 830, 828, 829, 825, 824, 824, 827, 819, 818, 816, 817, 817, 816, 820, 823, 807, 806, 804, 805, 801, 800, 800, 803, 803, 802, 800, 801, 809, 808, 812, 815, 783, 782, 780, 781, 777, 776, 776, 779, 771, 770, 768, 769, 769, 768, 772, 775, 775, 774, 772, 773, 769, 768, 768, 771, 787, 786, 784, 785, 793, 792, 796, 799, 799, 798, 796, 797, 793, 792, 792, 795, 787, 786, 784, 785, 785, 784, 788, 791, 775, 774, 772, 773, 769, 768, 768, 771, 771, 770, 768, 769, 777, 776, 780, 783, 847, 846, 844, 845, 841, 840, 840, 843, 835, 834, 832, 833, 833, 832, 836, 839, 871, 870, 868, 869, 865, 864, 864, 867, 883, 882, 880, 881, 889, 888, 892, 895, 639, 638, 636, 637, 633, 632, 632, 635, 627, 626, 624, 625, 625, 624, 628, 631, 615, 614, 612, 613, 609, 608, 608, 611, 611, 610, 608, 609, 617, 616, 620, 623, 591, 590, 588, 589, 585, 584, 584, 587, 579, 578, 576, 577, 577, 576, 580, 583, 583, 582, 580, 581, 577, 576, 576, 579, 595, 594, 592, 593, 601, 600, 604, 607, 543, 542, 540, 541, 537, 536, 536, 539, 531, 530, 528, 529, 529, 528, 532, 535, 519, 518, 516, 517, 513, 512, 512, 515, 515, 514, 512, 513, 521, 520, 524, 527, 527, 526, 524, 525, 521, 520, 520, 523, 515, 514, 512, 513, 513, 512, 516, 519, 551, 550, 548, 549, 545, 544, 544, 547, 563, 562, 560, 561, 569, 568, 572, 575, 575, 574, 572, 573, 569, 568, 568, 571, 563, 562, 560, 561, 561, 560, 564, 567, 551, 550, 548, 549, 545, 544, 544, 547, 547, 546, 544, 545, 553, 552, 556, 559, 527, 526, 524, 525, 521, 520, 520, 523, 515, 514, 512, 513, 513, 512, 516, 519, 519, 518, 516, 517, 513, 512, 512, 515, 531, 530, 528, 529, 537, 536, 540, 543, 671, 670, 668, 669, 665, 664, 664, 667, 659, 658, 656, 657, 657, 656, 660, 663, 647, 646, 644, 645, 641, 640, 640, 643, 643, 642, 640, 641, 649, 648, 652, 655, 719, 718, 716, 717, 713, 712, 712, 715, 707, 706, 704, 705, 705, 704, 708, 711, 743, 742, 740, 741, 737, 736, 736, 739, 755, 754, 752, 753, 761, 760, 764, 767, 255, 254, 252, 253, 249, 248, 248, 251, 243, 242, 240, 241, 241, 240, 244, 247, 231, 230, 228, 229, 225, 224, 224, 227, 227, 226, 224, 225, 233, 232, 236, 239, 207, 206, 204, 205, 201, 200, 200, 203, 195, 194, 192, 193, 193, 192, 196, 199, 199, 198, 196, 197, 193, 192, 192, 195, 211, 210, 208, 209, 217, 216, 220, 223, 159, 158, 156, 157, 153, 152, 152, 155, 147, 146, 144, 145, 145, 144, 148, 151, 135, 134, 132, 133, 129, 128, 128, 131, 131, 130, 128, 129, 137, 136, 140, 143, 143, 142, 140, 141, 137, 136, 136, 139, 131, 130, 128, 129, 129, 128, 132, 135, 167, 166, 164, 165, 161, 160, 160, 163, 179, 178, 176, 177, 185, 184, 188, 191, 63, 62, 60, 61, 57, 56, 56, 59, 51, 50, 48, 49, 49, 48, 52, 55, 39, 38, 36, 37, 33, 32, 32, 35, 35, 34, 32, 33, 41, 40, 44, 47, 15, 14, 12, 13, 9, 8, 8, 11, 3, 2, 0, 1, 1, 0, 4, 7, 7, 6, 4, 5, 1, 0, 0, 3, 19, 18, 16, 17, 25, 24, 28, 31, 31, 30, 28, 29, 25, 24, 24, 27, 19, 18, 16, 17, 17, 16, 20, 23, 7, 6, 4, 5, 1, 0, 0, 3, 3, 2, 0, 1, 9, 8, 12, 15, 79, 78, 76, 77, 73, 72, 72, 75, 67, 66, 64, 65, 65, 64, 68, 71, 103, 102, 100, 101, 97, 96, 96, 99, 115, 114, 112, 113, 121, 120, 124, 127, 127, 126, 124, 125, 121, 120, 120, 123, 115, 114, 112, 113, 113, 112, 116, 119, 103, 102, 100, 101, 97, 96, 96, 99, 99, 98, 96, 97, 105, 104, 108, 111, 79, 78, 76, 77, 73, 72, 72, 75, 67, 66, 64, 65, 65, 64, 68, 71, 71, 70, 68, 69, 65, 64, 64, 67, 83, 82, 80, 81, 89, 88, 92, 95, 31, 30, 28, 29, 25, 24, 24, 27, 19, 18, 16, 17, 17, 16, 20, 23, 7, 6, 4, 5, 1, 0, 0, 3, 3, 2, 0, 1, 9, 8, 12, 15, 15, 14, 12, 13, 9, 8, 8, 11, 3, 2, 0, 1, 1, 0, 4, 7, 39, 38, 36, 37, 33, 32, 32, 35, 51, 50, 48, 49, 57, 56, 60, 63, 319, 318, 316, 317, 313, 312, 312, 315, 307, 306, 304, 305, 305, 304, 308, 311, 295, 294, 292, 293, 289, 288, 288, 291, 291, 290, 288, 289, 297, 296, 300, 303, 271, 270, 268, 269, 265, 264, 264, 267, 259, 258, 256, 257, 257, 256, 260, 263, 263, 262, 260, 261, 257, 256, 256, 259, 275, 274, 272, 273, 281, 280, 284, 287, 415, 414, 412, 413, 409, 408, 408, 411, 403, 402, 400, 401, 401, 400, 404, 407, 391, 390, 388, 389, 385, 384, 384, 387, 387, 386, 384, 385, 393, 392, 396, 399, 463, 462, 460, 461, 457, 456, 456, 459, 451, 450, 448, 449, 449, 448, 452, 455, 487, 486, 484, 485, 481, 480, 480, 483, 499, 498, 496, 497, 505, 504, 508, 511, 511, 2558, 508, 2557, 505, 2552, 504, 2555, 499, 2546, 496, 2545, 497, 2544, 500, 2551, 487, 2534, 484, 2533, 481, 2528, 480, 2531, 483, 2530, 480, 2529, 489, 2536, 492, 2543, 463, 2510, 460, 2509, 457, 2504, 456, 2507, 451, 2498, 448, 2497, 449, 2496, 452, 2503, 455, 2502, 452, 2501, 449, 2496, 448, 2499, 467, 2514, 464, 2513, 473, 2520, 476, 2527, 415, 2462, 412, 2461, 409, 2456, 408, 2459, 403, 2450, 400, 2449, 401, 2448, 404, 2455, 391, 2438, 388, 2437, 385, 2432, 384, 2435, 387, 2434, 384, 2433, 393, 2440, 396, 2447, 399, 2446, 396, 2445, 393, 2440, 392, 2443, 387, 2434, 384, 2433, 385, 2432, 388, 2439, 423, 2470, 420, 2469, 417, 2464, 416, 2467, 435, 2482, 432, 2481, 441, 2488, 444, 2495, 319, 2366, 316, 2365, 313, 2360, 312, 2363, 307, 2354, 304, 2353, 305, 2352, 308, 2359, 295, 2342, 292, 2341, 289, 2336, 288, 2339, 291, 2338, 288, 2337, 297, 2344, 300, 2351, 271, 2318, 268, 2317, 265, 2312, 264, 2315, 259, 2306, 256, 2305, 257, 2304, 260, 2311, 263, 2310, 260, 2309, 257, 2304, 256, 2307, 275, 2322, 272, 2321, 281, 2328, 284, 2335, 287, 2334, 284, 2333, 281, 2328, 280, 2331, 275, 2322, 272, 2321, 273, 2320, 276, 2327, 263, 2310, 260, 2309, 257, 2304, 256, 2307, 259, 2306, 256, 2305, 265, 2312, 268, 2319, 335, 2382, 332, 2381, 329, 2376, 328, 2379, 323, 2370, 320, 2369, 321, 2368, 324, 2375, 359, 2406, 356, 2405, 353, 2400, 352, 2403, 371, 2418, 368, 2417, 377, 2424, 380, 2431, 127, 2174, 124, 2173, 121, 2168, 120, 2171, 115, 2162, 112, 2161, 113, 2160, 116, 2167, 103, 2150, 100, 2149, 97, 2144, 96, 2147, 99, 2146, 96, 2145, 105, 2152, 108, 2159, 79, 2126, 76, 2125, 73, 2120, 72, 2123, 67, 2114, 64, 2113, 65, 2112, 68, 2119, 71, 2118, 68, 2117, 65, 2112, 64, 2115, 83, 2130, 80, 2129, 89, 2136, 92, 2143, 31, 2078, 28, 2077, 25, 2072, 24, 2075, 19, 2066, 16, 2065, 17, 2064, 20, 2071, 7, 2054, 4, 2053, 1, 2048, 0, 2051, 3, 2050, 0, 2049, 9, 2056, 12, 2063, 15, 2062, 12, 2061, 9, 2056, 8, 2059, 3, 2050, 0, 2049, 1, 2048, 4, 2055, 39, 2086, 36, 2085, 33, 2080, 32, 2083, 51, 2098, 48, 2097, 57, 2104, 60, 2111, 63, 2110, 60, 2109, 57, 2104, 56, 2107, 51, 2098, 48, 2097, 49, 2096, 52, 2103, 39, 2086, 36, 2085, 33, 2080, 32, 2083, 35, 2082, 32, 2081, 41, 2088, 44, 2095, 15, 2062, 12, 2061, 9, 2056, 8, 2059, 3, 2050, 0, 2049, 1, 2048, 4, 2055, 7, 2054, 4, 2053, 1, 2048, 0, 2051, 19, 2066, 16, 2065, 25, 2072, 28, 2079, 159, 2206, 156, 2205, 153, 2200, 152, 2203, 147, 2194, 144, 2193, 145, 2192, 148, 2199, 135, 2182, 132, 2181, 129, 2176, 128, 2179, 131, 2178, 128, 2177, 137, 2184, 140, 2191, 207, 2254, 204, 2253, 201, 2248, 200, 2251, 195, 2242, 192, 2241, 193, 2240, 196, 2247, 231, 2278, 228, 2277, 225, 2272, 224, 2275, 243, 2290, 240, 2289, 249, 2296, 252, 2303, 1279, 3326, 1276, 3325, 1273, 3320, 1272, 3323, 1267, 3314, 1264, 3313, 1265, 3312, 1268, 3319, 1255, 3302, 1252, 3301, 1249, 3296, 1248, 3299, 1251, 3298, 1248, 3297, 1257, 3304, 1260, 3311, 1231, 3278, 1228, 3277, 1225, 3272, 1224, 3275, 1219, 3266, 1216, 3265, 1217, 3264, 1220, 3271, 1223, 3270, 1220, 3269, 1217, 3264, 1216, 3267, 1235, 3282, 1232, 3281, 1241, 3288, 1244, 3295, 1183, 3230, 1180, 3229, 1177, 3224, 1176, 3227, 1171, 3218, 1168, 3217, 1169, 3216, 1172, 3223, 1159, 3206, 1156, 3205, 1153, 3200, 1152, 3203, 1155, 3202, 1152, 3201, 1161, 3208, 1164, 3215, 1167, 3214, 1164, 3213, 1161, 3208, 1160, 3211, 1155, 3202, 1152, 3201, 1153, 3200, 1156, 3207, 1191, 3238, 1188, 3237, 1185, 3232, 1184, 3235, 1203, 3250, 1200, 3249, 1209, 3256, 1212, 3263, 1087, 3134, 1084, 3133, 1081, 3128, 1080, 3131, 1075, 3122, 1072, 3121, 1073, 3120, 1076, 3127, 1063, 3110, 1060, 3109, 1057, 3104, 1056, 3107, 1059, 3106, 1056, 3105, 1065, 3112, 1068, 3119, 1039, 3086, 1036, 3085, 1033, 3080, 1032, 3083, 1027, 3074, 1024, 3073, 1025, 3072, 1028, 3079, 1031, 3078, 1028, 3077, 1025, 3072, 1024, 3075, 1043, 3090, 1040, 3089, 1049, 3096, 1052, 3103, 1055, 3102, 1052, 3101, 1049, 3096, 1048, 3099, 1043, 3090, 1040, 3089, 1041, 3088, 1044, 3095, 1031, 3078, 1028, 3077, 1025, 3072, 1024, 3075, 1027, 3074, 1024, 3073, 1033, 3080, 1036, 3087, 1103, 3150, 1100, 3149, 1097, 3144, 1096, 3147, 1091, 3138, 1088, 3137, 1089, 3136, 1092, 3143, 1127, 3174, 1124, 3173, 1121, 3168, 1120, 3171, 1139, 3186, 1136, 3185, 1145, 3192, 1148, 3199, 1663, 3710, 1660, 3709, 1657, 3704, 1656, 3707, 1651, 3698, 1648, 3697, 1649, 3696, 1652, 3703, 1639, 3686, 1636, 3685, 1633, 3680, 1632, 3683, 1635, 3682, 1632, 3681, 1641, 3688, 1644, 3695, 1615, 3662, 1612, 3661, 1609, 3656, 1608, 3659, 1603, 3650, 1600, 3649, 1601, 3648, 1604, 3655, 1607, 3654, 1604, 3653, 1601, 3648, 1600, 3651, 1619, 3666, 1616, 3665, 1625, 3672, 1628, 3679, 1567, 3614, 1564, 3613, 1561, 3608, 1560, 3611, 1555, 3602, 1552, 3601, 1553, 3600, 1556, 3607, 1543, 3590, 1540, 3589, 1537, 3584, 1536, 3587, 1539, 3586, 1536, 3585, 1545, 3592, 1548, 3599, 1551, 3598, 1548, 3597, 1545, 3592, 1544, 3595, 1539, 3586, 1536, 3585, 1537, 3584, 1540, 3591, 1575, 3622, 1572, 3621, 1569, 3616, 1568, 3619, 1587, 3634, 1584, 3633, 1593, 3640, 1596, 3647, 1855, 3902, 1852, 3901, 1849, 3896, 1848, 3899, 1843, 3890, 1840, 3889, 1841, 3888, 1844, 3895, 1831, 3878, 1828, 3877, 1825, 3872, 1824, 3875, 1827, 3874, 1824, 3873, 1833, 3880, 1836, 3887, 1807, 3854, 1804, 3853, 1801, 3848, 1800, 3851, 1795, 3842, 1792, 3841, 1793, 3840, 1796, 3847, 1799, 3846, 1796, 3845, 1793, 3840, 1792, 3843, 1811, 3858, 1808, 3857, 1817, 3864, 1820, 3871, 1951, 3998, 1948, 3997, 1945, 3992, 1944, 3995, 1939, 3986, 1936, 3985, 1937, 3984, 1940, 3991, 1927, 3974, 1924, 3973, 1921, 3968, 1920, 3971, 1923, 3970, 1920, 3969, 1929, 3976, 1932, 3983, 1999, 4046, 1996, 4045, 1993, 4040, 1992, 4043, 1987, 4034, 1984, 4033, 1985, 4032, 1988, 4039, 2023, 4070, 2020, 4069, 2017, 4064, 2016, 4067, 2035, 4082, 2032, 4081, 2041, 4088, 2044, 4095}