{4095, 4094, 4093, 4092, 4091, 4088, 4089, 4090, 4087, 4086, 4081, 4080, 4083, 4080, 4085, 4086, 4079, 4078, 4077, 4076, 4067, 4064, 4065, 4066, 4071, 4070, 4065, 4064, 4075, 4072, 4077, 4078, 4063, 4062, 4061, 4060, 4059, 4056, 4057, 4058, 4039, 4038, 4033, 4032, 4035, 4032, 4037, 4038, 4047, 4046, 4045, 4044, 4035, 4032, 4033, 4034, 4055, 4054, 4049, 4048, 4059, 4056, 4061, 4062, 4031, 4030, 4029, 4028, 4027, 4024, 4025, 4026, 4023, 4022, 4017, 4016, 4019, 4016, 4021, 4022, 3983, 3982, 3981, 3980, 3971, 3968, 3969, 3970, 3975, 3974, 3969, 3968, 3979, 3976, 3981, 3982, 3999, 3998, 3997, 3996, 3995, 3992, 3993, 3994, 3975, 3974, 3969, 3968, 3971, 3968, 3973, 3974, 4015, 4014, 4013, 4012, 4003, 4000, 4001, 4002, 4023, 4022, 4017, 4016, 4027, 4024, 4029, 4030, 3967, 3966, 3965, 3964, 3963, 3960, 3961, 3962, 3959, 3958, 3953, 3952, 3955, 3952, 3957, 3958, 3951, 3950, 3949, 3948, 3939, 3936, 3937, 3938, 3943, 3942, 3937, 3936, 3947, 3944, 3949, 3950, 3871, 3870, 3869, 3868, 3867, 3864, 3865, 3866, 3847, 3846, 3841, 3840, 3843, 3840, 3845, 3846, 3855, 3854, 3853, 3852, 3843, 3840, 3841, 3842, 3863, 3862, 3857, 3856, 3867, 3864, 3869, 3870, 3903, 3902, 3901, 3900, 3899, 3896, 3897, 3898, 3895, 3894, 3889, 3888, 3891, 3888, 3893, 3894, 3855, 3854, 3853, 3852, 3843, 3840, 3841, 3842, 3847, 3846, 3841, 3840, 3851, 3848, 3853, 3854, 3935, 3934, 3933, 3932, 3931, 3928, 3929, 3930, 3911, 3910, 3905, 3904, 3907, 3904, 3909, 3910, 3951, 3950, 3949, 3948, 3939, 3936, 3937, 3938, 3959, 3958, 3953, 3952, 3963, 3960, 3965, 3966, 3839, 3838, 3837, 3836, 3835, 3832, 3833, 3834, 3831, 3830, 3825, 3824, 3827, 3824, 3829, 3830, 3823, 3822, 3821, 3820, 3811, 3808, 3809, 3810, 3815, 3814, 3809, 3808, 3819, 3816, 3821, 3822, 3807, 3806, 3805, 3804, 3803, 3800, 3801, 3802, 3783, 3782, 3777, 3776, 3779, 3776, 3781, 3782, 3791, 3790, 3789, 3788, 3779, 3776, 3777, 3778, 3799, 3798, 3793, 3792, 3803, 3800, 3805, 3806, 3647, 3646, 3645, 3644, 3643, 3640, 3641, 3642, 3639, 3638, 3633, 3632, 3635, 3632, 3637, 3638, 3599, 3598, 3597, 3596, 3587, 3584, 3585, 3586, 3591, 3590, 3585, 3584, 3595, 3592, 3597, 3598, 3615, 3614, 3613, 3612, 3611, 3608, 3609, 3610, 3591, 3590, 3585, 3584, 3587, 3584, 3589, 3590, 3631, 3630, 3629, 3628, 3619, 3616, 3617, 3618, 3639, 3638, 3633, 3632, 3643, 3640, 3645, 3646, 3711, 3710, 3709, 3708, 3707, 3704, 3705, 3706, 3703, 3702, 3697, 3696, 3699, 3696, 3701, 3702, 3695, 3694, 3693, 3692, 3683, 3680, 3681, 3682, 3687, 3686, 3681, 3680, 3691, 3688, 3693, 3694, 3615, 3614, 3613, 3612, 3611, 3608, 3609, 3610, 3591, 3590, 3585, 3584, 3587, 3584, 3589, 3590, 3599, 3598, 3597, 3596, 3587, 3584, 3585, 3586, 3607, 3606, 3601, 3600, 3611, 3608, 3613, 3614, 3775, 3774, 3773, 3772, 3771, 3768, 3769, 3770, 3767, 3766, 3761, 3760, 3763, 3760, 3765, 3766, 3727, 3726, 3725, 3724, 3715, 3712, 3713, 3714, 3719, 3718, 3713, 3712, 3723, 3720, 3725, 3726, 3807, 3806, 3805, 3804, 3803, 3800, 3801, 3802, 3783, 3782, 3777, 3776, 3779, 3776, 3781, 3782, 3823, 3822, 3821, 3820, 3811, 3808, 3809, 3810, 3831, 3830, 3825, 3824, 3835, 3832, 3837, 3838, 3583, 3582, 3581, 3580, 3579, 3576, 3577, 3578, 3575, 3574, 3569, 3568, 3571, 3568, 3573, 3574, 3567, 3566, 3565, 3564, 3555, 3552, 3553, 3554, 3559, 3558, 3553, 3552, 3563, 3560, 3565, 3566, 3551, 3550, 3549, 3548, 3547, 3544, 3545, 3546, 3527, 3526, 3521, 3520, 3523, 3520, 3525, 3526, 3535, 3534, 3533, 3532, 3523, 3520, 3521, 3522, 3543, 3542, 3537, 3536, 3547, 3544, 3549, 3550, 3519, 3518, 3517, 3516, 3515, 3512, 3513, 3514, 3511, 3510, 3505, 3504, 3507, 3504, 3509, 3510, 3471, 3470, 3469, 3468, 3459, 3456, 3457, 3458, 3463, 3462, 3457, 3456, 3467, 3464, 3469, 3470, 3487, 3486, 3485, 3484, 3483, 3480, 3481, 3482, 3463, 3462, 3457, 3456, 3459, 3456, 3461, 3462, 3503, 3502, 3501, 3500, 3491, 3488, 3489, 3490, 3511, 3510, 3505, 3504, 3515, 3512, 3517, 3518, 3199, 3198, 3197, 3196, 3195, 3192, 3193, 3194, 3191, 3190, 3185, 3184, 3187, 3184, 3189, 3190, 3183, 3182, 3181, 3180, 3171, 3168, 3169, 3170, 3175, 3174, 3169, 3168, 3179, 3176, 3181, 3182, 3103, 3102, 3101, 3100, 3099, 3096, 3097, 3098, 3079, 3078, 3073, 3072, 3075, 3072, 3077, 3078, 3087, 3086, 3085, 3084, 3075, 3072, 3073, 3074, 3095, 3094, 3089, 3088, 3099, 3096, 3101, 3102, 3135, 3134, 3133, 3132, 3131, 3128, 3129, 3130, 3127, 3126, 3121, 3120, 3123, 3120, 3125, 3126, 3087, 3086, 3085, 3084, 3075, 3072, 3073, 3074, 3079, 3078, 3073, 3072, 3083, 3080, 3085, 3086, 3167, 3166, 3165, 3164, 3163, 3160, 3161, 3162, 3143, 3142, 3137, 3136, 3139, 3136, 3141, 3142, 3183, 3182, 3181, 3180, 3171, 3168, 3169, 3170, 3191, 3190, 3185, 3184, 3195, 3192, 3197, 3198, 3327, 3326, 3325, 3324, 3323, 3320, 3321, 3322, 3319, 3318, 3313, 3312, 3315, 3312, 3317, 3318, 3311, 3310, 3309, 3308, 3299, 3296, 3297, 3298, 3303, 3302, 3297, 3296, 3307, 3304, 3309, 3310, 3295, 3294, 3293, 3292, 3291, 3288, 3289, 3290, 3271, 3270, 3265, 3264, 3267, 3264, 3269, 3270, 3279, 3278, 3277, 3276, 3267, 3264, 3265, 3266, 3287, 3286, 3281, 3280, 3291, 3288, 3293, 3294, 3135, 3134, 3133, 3132, 3131, 3128, 3129, 3130, 3127, 3126, 3121, 3120, 3123, 3120, 3125, 3126, 3087, 3086, 3085, 3084, 3075, 3072, 3073, 3074, 3079, 3078, 3073, 3072, 3083, 3080, 3085, 3086, 3103, 3102, 3101, 3100, 3099, 3096, 3097, 3098, 3079, 3078, 3073, 3072, 3075, 3072, 3077, 3078, 3119, 3118, 3117, 3116, 3107, 3104, 3105, 3106, 3127, 3126, 3121, 3120, 3131, 3128, 3133, 3134, 3455, 3454, 3453, 3452, 3451, 3448, 3449, 3450, 3447, 3446, 3441, 3440, 3443, 3440, 3445, 3446, 3439, 3438, 3437, 3436, 3427, 3424, 3425, 3426, 3431, 3430, 3425, 3424, 3435, 3432, 3437, 3438, 3359, 3358, 3357, 3356, 3355, 3352, 3353, 3354, 3335, 3334, 3329, 3328, 3331, 3328, 3333, 3334, 3343, 3342, 3341, 3340, 3331, 3328, 3329, 3330, 3351, 3350, 3345, 3344, 3355, 3352, 3357, 3358, 3519, 3518, 3517, 3516, 3515, 3512, 3513, 3514, 3511, 3510, 3505, 3504, 3507, 3504, 3509, 3510, 3471, 3470, 3469, 3468, 3459, 3456, 3457, 3458, 3463, 3462, 3457, 3456, 3467, 3464, 3469, 3470, 3551, 3550, 3549, 3548, 3547, 3544, 3545, 3546, 3527, 3526, 3521, 3520, 3523, 3520, 3525, 3526, 3567, 3566, 3565, 3564, 3555, 3552, 3553, 3554, 3575, 3574, 3569, 3568, 3579, 3576, 3581, 3582, 3071, 1022, 3069, 1020, 3067, 1016, 3065, 1018, 3063, 1014, 3057, 1008, 3059, 1008, 3061, 1014, 3055, 1006, 3053, 1004, 3043, 992, 3041, 994, 3047, 998, 3041, 992, 3051, 1000, 3053, 1006, 3039, 990, 3037, 988, 3035, 984, 3033, 986, 3015, 966, 3009, 960, 3011, 960, 3013, 966, 3023, 974, 3021, 972, 3011, 960, 3009, 962, 3031, 982, 3025, 976, 3035, 984, 3037, 990, 3007, 958, 3005, 956, 3003, 952, 3001, 954, 2999, 950, 2993, 944, 2995, 944, 2997, 950, 2959, 910, 2957, 908, 2947, 896, 2945, 898, 2951, 902, 2945, 896, 2955, 904, 2957, 910, 2975, 926, 2973, 924, 2971, 920, 2969, 922, 2951, 902, 2945, 896, 2947, 896, 2949, 902, 2991, 942, 2989, 940, 2979, 928, 2977, 930, 2999, 950, 2993, 944, 3003, 952, 3005, 958, 2943, 894, 2941, 892, 2939, 888, 2937, 890, 2935, 886, 2929, 880, 2931, 880, 2933, 886, 2927, 878, 2925, 876, 2915, 864, 2913, 866, 2919, 870, 2913, 864, 2923, 872, 2925, 878, 2847, 798, 2845, 796, 2843, 792, 2841, 794, 2823, 774, 2817, 768, 2819, 768, 2821, 774, 2831, 782, 2829, 780, 2819, 768, 2817, 770, 2839, 790, 2833, 784, 2843, 792, 2845, 798, 2879, 830, 2877, 828, 2875, 824, 2873, 826, 2871, 822, 2865, 816, 2867, 816, 2869, 822, 2831, 782, 2829, 780, 2819, 768, 2817, 770, 2823, 774, 2817, 768, 2827, 776, 2829, 782, 2911, 862, 2909, 860, 2907, 856, 2905, 858, 2887, 838, 2881, 832, 2883, 832, 2885, 838, 2927, 878, 2925, 876, 2915, 864, 2913, 866, 2935, 886, 2929, 880, 2939, 888, 2941, 894, 2303, 254, 2301, 252, 2299, 248, 2297, 250, 2295, 246, 2289, 240, 2291, 240, 2293, 246, 2287, 238, 2285, 236, 2275, 224, 2273, 226, 2279, 230, 2273, 224, 2283, 232, 2285, 238, 2271, 222, 2269, 220, 2267, 216, 2265, 218, 2247, 198, 2241, 192, 2243, 192, 2245, 198, 2255, 206, 2253, 204, 2243, 192, 2241, 194, 2263, 214, 2257, 208, 2267, 216, 2269, 222, 2111, 62, 2109, 60, 2107, 56, 2105, 58, 2103, 54, 2097, 48, 2099, 48, 2101, 54, 2063, 14, 2061, 12, 2051, 0, 2049, 2, 2055, 6, 2049, 0, 2059, 8, 2061, 14, 2079, 30, 2077, 28, 2075, 24, 2073, 26, 2055, 6, 2049, 0, 2051, 0, 2053, 6, 2095, 46, 2093, 44, 2083, 32, 2081, 34, 2103, 54, 2097, 48, 2107, 56, 2109, 62, 2175, 126, 2173, 124, 2171, 120, 2169, 122, 2167, 118, 2161, 112, 2163, 112, 2165, 118, 2159, 110, 2157, 108, 2147, 96, 2145, 98, 2151, 102, 2145, 96, 2155, 104, 2157, 110, 2079, 30, 2077, 28, 2075, 24, 2073, 26, 2055, 6, 2049, 0, 2051, 0, 2053, 6, 2063, 14, 2061, 12, 2051, 0, 2049, 2, 2071, 22, 2065, 16, 2075, 24, 2077, 30, 2239, 190, 2237, 188, 2235, 184, 2233, 186, 2231, 182, 2225, 176, 2227, 176, 2229, 182, 2191, 142, 2189, 140, 2179, 128, 2177, 130, 2183, 134, 2177, 128, 2187, 136, 2189, 142, 2271, 222, 2269, 220, 2267, 216, 2265, 218, 2247, 198, 2241, 192, 2243, 192, 2245, 198, 2287, 238, 2285, 236, 2275, 224, 2273, 226, 2295, 246, 2289, 240, 2299, 248, 2301, 254, 2559, 510, 2557, 508, 2555, 504, 2553, 506, 2551, 502, 2545, 496, 2547, 496, 2549, 502, 2543, 494, 2541, 492, 2531, 480, 2529, 482, 2535, 486, 2529, 480, 2539, 488, 2541, 494, 2527, 478, 2525, 476, 2523, 472, 2521, 474, 2503, 454, 2497, 448, 2499, 448, 2501, 454, 2511, 462, 2509, 460, 2499, 448, 2497, 450, 2519, 470, 2513, 464, 2523, 472, 2525, 478, 2495, 446, 2493, 444, 2491, 440, 2489, 442, 2487, 438, 2481, 432, 2483, 432, 2485, 438, 2447, 398, 2445, 396, 2435, 384, 2433, 386, 2439, 390, 2433, 384, 2443, 392, 2445, 398, 2463, 414, 2461, 412, 2459, 408, 2457, 410, 2439, 390, 2433, 384, 2435, 384, 2437, 390, 2479, 430, 2477, 428, 2467, 416, 2465, 418, 2487, 438, 2481, 432, 2491, 440, 2493, 446, 2175, 126, 2173, 124, 2171, 120, 2169, 122, 2167, 118, 2161, 112, 2163, 112, 2165, 118, 2159, 110, 2157, 108, 2147, 96, 2145, 98, 2151, 102, 2145, 96, 2155, 104, 2157, 110, 2079, 30, 2077, 28, 2075, 24, 2073, 26, 2055, 6, 2049, 0, 2051, 0, 2053, 6, 2063, 14, 2061, 12, 2051, 0, 2049, 2, 2071, 22, 2065, 16, 2075, 24, 2077, 30, 2111, 62, 2109, 60, 2107, 56, 2105, 58, 2103, 54, 2097, 48, 2099, 48, 2101, 54, 2063, 14, 2061, 12, 2051, 0, 2049, 2, 2055, 6, 2049, 0, 2059, 8, 2061, 14, 2143, 94, 2141, 92, 2139, 88, 2137, 90, 2119, 70, 2113, 64, 2115, 64, 2117, 70, 2159, 110, 2157, 108, 2147, 96, 2145, 98, 2167, 118, 2161, 112, 2171, 120, 2173, 126, 2815, 766, 2813, 764, 2811, 760, 2809, 762, 2807, 758, 2801, 752, 2803, 752, 2805, 758, 2799, 750, 2797, 748, 2787, 736, 2785, 738, 2791, 742, 2785, 736, 2795, 744, 2797, 750, 2783, 734, 2781, 732, 2779, 728, 2777, 730, 2759, 710, 2753, 704, 2755, 704, 2757, 710, 2767, 718, 2765, 716, 2755, 704, 2753, 706, 2775, 726, 2769, 720, 2779, 728, 2781, 734, 2623, 574, 2621, 572, 2619, 568, 2617, 570, 2615, 566, 2609, 560, 2611, 560, 2613, 566, 2575, 526, 2573, 524, 2563, 512, 2561, 514, 2567, 518, 2561, 512, 2571, 520, 2573, 526, 2591, 542, 2589, 540, 2587, 536, 2585, 538, 2567, 518, 2561, 512, 2563, 512, 2565, 518, 2607, 558, 2605, 556, 2595, 544, 2593, 546, 2615, 566, 2609, 560, 2619, 568, 2621, 574, 2943, 894, 2941, 892, 2939, 888, 2937, 890, 2935, 886, 2929, 880, 2931, 880, 2933, 886, 2927, 878, 2925, 876, 2915, 864, 2913, 866, 2919, 870, 2913, 864, 2923, 872, 2925, 878, 2847, 798, 2845, 796, 2843, 792, 2841, 794, 2823, 774, 2817, 768, 2819, 768, 2821, 774, 2831, 782, 2829, 780, 2819, 768, 2817, 770, 2839, 790, 2833, 784, 2843, 792, 2845, 798, 3007, 958, 3005, 956, 3003, 952, 3001, 954, 2999, 950, 2993, 944, 2995, 944, 2997, 950, 2959, 910, 2957, 908, 2947, 896, 2945, 898, 2951, 902, 2945, 896, 2955, 904, 2957, 910, 3039, 990, 3037, 988, 3035, 984, 3033, 986, 3015, 966, 3009, 960, 3011, 960, 3013, 966, 3055, 1006, 3053, 1004, 3043, 992, 3041, 994, 3063, 1014, 3057, 1008, 3067, 1016, 3069, 1022, 2047, 2046, 2044, 2045, 2043, 2040, 2040, 2043, 2039, 2038, 2032, 2033, 2035, 2032, 2036, 2039, 2031, 2030, 2028, 2029, 2019, 2016, 2016, 2019, 2023, 2022, 2016, 2017, 2027, 2024, 2028, 2031, 2015, 2014, 2012, 2013, 2011, 2008, 2008, 2011, 1991, 1990, 1984, 1985, 1987, 1984, 1988, 1991, 1999, 1998, 1996, 1997, 1987, 1984, 1984, 1987, 2007, 2006, 2000, 2001, 2011, 2008, 2012, 2015, 1983, 1982, 1980, 1981, 1979, 1976, 1976, 1979, 1975, 1974, 1968, 1969, 1971, 1968, 1972, 1975, 1935, 1934, 1932, 1933, 1923, 1920, 1920, 1923, 1927, 1926, 1920, 1921, 1931, 1928, 1932, 1935, 1951, 1950, 1948, 1949, 1947, 1944, 1944, 1947, 1927, 1926, 1920, 1921, 1923, 1920, 1924, 1927, 1967, 1966, 1964, 1965, 1955, 1952, 1952, 1955, 1975, 1974, 1968, 1969, 1979, 1976, 1980, 1983, 1919, 1918, 1916, 1917, 1915, 1912, 1912, 1915, 1911, 1910, 1904, 1905, 1907, 1904, 1908, 1911, 1903, 1902, 1900, 1901, 1891, 1888, 1888, 1891, 1895, 1894, 1888, 1889, 1899, 1896, 1900, 1903, 1823, 1822, 1820, 1821, 1819, 1816, 1816, 1819, 1799, 1798, 1792, 1793, 1795, 1792, 1796, 1799, 1807, 1806, 1804, 1805, 1795, 1792, 1792, 1795, 1815, 1814, 1808, 1809, 1819, 1816, 1820, 1823, 1855, 1854, 1852, 1853, 1851, 1848, 1848, 1851, 1847, 1846, 1840, 1841, 1843, 1840, 1844, 1847, 1807, 1806, 1804, 1805, 1795, 1792, 1792, 1795, 1799, 1798, 1792, 1793, 1803, 1800, 1804, 1807, 1887, 1886, 1884, 1885, 1883, 1880, 1880, 1883, 1863, 1862, 1856, 1857, 1859, 1856, 1860, 1863, 1903, 1902, 1900, 1901, 1891, 1888, 1888, 1891, 1911, 1910, 1904, 1905, 1915, 1912, 1916, 1919, 1791, 1790, 1788, 1789, 1787, 1784, 1784, 1787, 1783, 1782, 1776, 1777, 1779, 1776, 1780, 1783, 1775, 1774, 1772, 1773, 1763, 1760, 1760, 1763, 1767, 1766, 1760, 1761, 1771, 1768, 1772, 1775, 1759, 1758, 1756, 1757, 1755, 1752, 1752, 1755, 1735, 1734, 1728, 1729, 1731, 1728, 1732, 1735, 1743, 1742, 1740, 1741, 1731, 1728, 1728, 1731, 1751, 1750, 1744, 1745, 1755, 1752, 1756, 1759, 1599, 1598, 1596, 1597, 1595, 1592, 1592, 1595, 1591, 1590, 1584, 1585, 1587, 1584, 1588, 1591, 1551, 1550, 1548, 1549, 1539, 1536, 1536, 1539, 1543, 1542, 1536, 1537, 1547, 1544, 1548, 1551, 1567, 1566, 1564, 1565, 1563, 1560, 1560, 1563, 1543, 1542, 1536, 1537, 1539, 1536, 1540, 1543, 1583, 1582, 1580, 1581, 1571, 1568, 1568, 1571, 1591, 1590, 1584, 1585, 1595, 1592, 1596, 1599, 1663, 1662, 1660, 1661, 1659, 1656, 1656, 1659, 1655, 1654, 1648, 1649, 1651, 1648, 1652, 1655, 1647, 1646, 1644, 1645, 1635, 1632, 1632, 1635, 1639, 1638, 1632, 1633, 1643, 1640, 1644, 1647, 1567, 1566, 1564, 1565, 1563, 1560, 1560, 1563, 1543, 1542, 1536, 1537, 1539, 1536, 1540, 1543, 1551, 1550, 1548, 1549, 1539, 1536, 1536, 1539, 1559, 1558, 1552, 1553, 1563, 1560, 1564, 1567, 1727, 1726, 1724, 1725, 1723, 1720, 1720, 1723, 1719, 1718, 1712, 1713, 1715, 1712, 1716, 1719, 1679, 1678, 1676, 1677, 1667, 1664, 1664, 1667, 1671, 1670, 1664, 1665, 1675, 1672, 1676, 1679, 1759, 1758, 1756, 1757, 1755, 1752, 1752, 1755, 1735, 1734, 1728, 1729, 1731, 1728, 1732, 1735, 1775, 1774, 1772, 1773, 1763, 1760, 1760, 1763, 1783, 1782, 1776, 1777, 1787, 1784, 1788, 1791, 511, 510, 508, 509, 507, 504, 504, 507, 503, 502, 496, 497, 499, 496, 500, 503, 495, 494, 492, 493, 483, 480, 480, 483, 487, 486, 480, 481, 491, 488, 492, 495, 479, 478, 476, 477, 475, 472, 472, 475, 455, 454, 448, 449, 451, 448, 452, 455, 463, 462, 460, 461, 451, 448, 448, 451, 471, 470, 464, 465, 475, 472, 476, 479, 447, 446, 444, 445, 443, 440, 440, 443, 439, 438, 432, 433, 435, 432, 436, 439, 399, 398, 396, 397, 387, 384, 384, 387, 391, 390, 384, 385, 395, 392, 396, 399, 415, 414, 412, 413, 411, 408, 408, 411, 391, 390, 384, 385, 387, 384, 388, 391, 431, 430, 428, 429, 419, 416, 416, 419, 439, 438, 432, 433, 443, 440, 444, 447, 127, 126, 124, 125, 123, 120, 120, 123, 119, 118, 112, 113, 115, 112, 116, 119, 111, 110, 108, 109, 99, 96, 96, 99, 103, 102, 96, 97, 107, 104, 108, 111, 31, 30, 28, 29, 27, 24, 24, 27, 7, 6, 0, 1, 3, 0, 4, 7, 15, 14, 12, 13, 3, 0, 0, 3, 23, 22, 16, 17, 27, 24, 28, 31, 63, 62, 60, 61, 59, 56, 56, 59, 55, 54, 48, 49, 51, 48, 52, 55, 15, 14, 12, 13, 3, 0, 0, 3, 7, 6, 0, 1, 11, 8, 12, 15, 95, 94, 92, 93, 91, 88, 88, 91, 71, 70, 64, 65, 67, 64, 68, 71, 111, 110, 108, 109, 99, 96, 96, 99, 119, 118, 112, 113, 123, 120, 124, 127, 255, 254, 252, 253, 251, 248, 248, 251, 247, 246, 240, 241, 243, 240, 244, 247, 239, 238, 236, 237, 227, 224, 224, 227, 231, 230, 224, 225, 235, 232, 236, 239, 223, 222, 220, 221, 219, 216, 216, 219, 199, 198, 192, 193, 195, 192, 196, 199, 207, 206, 204, 205, 195, 192, 192, 195, 215, 214, 208, 209, 219, 216, 220, 223, 63, 62, 60, 61, 59, 56, 56, 59, 55, 54, 48, 49, 51, 48, 52, 55, 15, 14, 12, 13, 3, 0, 0, 3, 7, 6, 0, 1, 11, 8, 12, 15, 31, 30, 28, 29, 27, 24, 24, 27, 7, 6, 0, 1, 3, 0, 4, 7, 47, 46, 44, 45, 35, 32, 32, 35, 55, 54, 48, 49, 59, 56, 60, 63, 383, 382, 380, 381, 379, 376, 376, 379, 375, 374, 368, 369, 371, 368, 372, 375, 367, 366, 364, 365, 355, 352, 352, 355, 359, 358, 352, 353, 363, 360, 364, 367, 287, 286, 284, 285, 283, 280, 280, 283, 263, 262, 256, 257, 259, 256, 260, 263, 271, 270, 268, 269, 259, 256, 256, 259, 279, 278, 272, 273, 283, 280, 284, 287, 447, 446, 444, 445, 443, 440, 440, 443, 439, 438, 432, 433, 435, 432, 436, 439, 399, 398, 396, 397, 387, 384, 384, 387, 391, 390, 384, 385, 395, 392, 396, 399, 479, 478, 476, 477, 475, 472, 472, 475, 455, 454, 448, 449, 451, 448, 452, 455, 495, 494, 492, 493, 483, 480, 480, 483, 503, 502, 496, 497, 507, 504, 508, 511, 1023, 3070, 1020, 3069, 1019, 3064, 1016, 3067, 1015, 3062, 1008, 3057, 1011, 3056, 1012, 3063, 1007, 3054, 1004, 3053, 995, 3040, 992, 3043, 999, 3046, 992, 3041, 1003, 3048, 1004, 3055, 991, 3038, 988, 3037, 987, 3032, 984, 3035, 967, 3014, 960, 3009, 963, 3008, 964, 3015, 975, 3022, 972, 3021, 963, 3008, 960, 3011, 983, 3030, 976, 3025, 987, 3032, 988, 3039, 959, 3006, 956, 3005, 955, 3000, 952, 3003, 951, 2998, 944, 2993, 947, 2992, 948, 2999, 911, 2958, 908, 2957, 899, 2944, 896, 2947, 903, 2950, 896, 2945, 907, 2952, 908, 2959, 927, 2974, 924, 2973, 923, 2968, 920, 2971, 903, 2950, 896, 2945, 899, 2944, 900, 2951, 943, 2990, 940, 2989, 931, 2976, 928, 2979, 951, 2998, 944, 2993, 955, 3000, 956, 3007, 895, 2942, 892, 2941, 891, 2936, 888, 2939, 887, 2934, 880, 2929, 883, 2928, 884, 2935, 879, 2926, 876, 2925, 867, 2912, 864, 2915, 871, 2918, 864, 2913, 875, 2920, 876, 2927, 799, 2846, 796, 2845, 795, 2840, 792, 2843, 775, 2822, 768, 2817, 771, 2816, 772, 2823, 783, 2830, 780, 2829, 771, 2816, 768, 2819, 791, 2838, 784, 2833, 795, 2840, 796, 2847, 831, 2878, 828, 2877, 827, 2872, 824, 2875, 823, 2870, 816, 2865, 819, 2864, 820, 2871, 783, 2830, 780, 2829, 771, 2816, 768, 2819, 775, 2822, 768, 2817, 779, 2824, 780, 2831, 863, 2910, 860, 2909, 859, 2904, 856, 2907, 839, 2886, 832, 2881, 835, 2880, 836, 2887, 879, 2926, 876, 2925, 867, 2912, 864, 2915, 887, 2934, 880, 2929, 891, 2936, 892, 2943, 255, 2302, 252, 2301, 251, 2296, 248, 2299, 247, 2294, 240, 2289, 243, 2288, 244, 2295, 239, 2286, 236, 2285, 227, 2272, 224, 2275, 231, 2278, 224, 2273, 235, 2280, 236, 2287, 223, 2270, 220, 2269, 219, 2264, 216, 2267, 199, 2246, 192, 2241, 195, 2240, 196, 2247, 207, 2254, 204, 2253, 195, 2240, 192, 2243, 215, 2262, 208, 2257, 219, 2264, 220, 2271, 63, 2110, 60, 2109, 59, 2104, 56, 2107, 55, 2102, 48, 2097, 51, 2096, 52, 2103, 15, 2062, 12, 2061, 3, 2048, 0, 2051, 7, 2054, 0, 2049, 11, 2056, 12, 2063, 31, 2078, 28, 2077, 27, 2072, 24, 2075, 7, 2054, 0, 2049, 3, 2048, 4, 2055, 47, 2094, 44, 2093, 35, 2080, 32, 2083, 55, 2102, 48, 2097, 59, 2104, 60, 2111, 127, 2174, 124, 2173, 123, 2168, 120, 2171, 119, 2166, 112, 2161, 115, 2160, 116, 2167, 111, 2158, 108, 2157, 99, 2144, 96, 2147, 103, 2150, 96, 2145, 107, 2152, 108, 2159, 31, 2078, 28, 2077, 27, 2072, 24, 2075, 7, 2054, 0, 2049, 3, 2048, 4, 2055, 15, 2062, 12, 2061, 3, 2048, 0, 2051, 23, 2070, 16, 2065, 27, 2072, 28, 2079, 191, 2238, 188, 2237, 187, 2232, 184, 2235, 183, 2230, 176, 2225, 179, 2224, 180, 2231, 143, 2190, 140, 2189, 131, 2176, 128, 2179, 135, 2182, 128, 2177, 139, 2184, 140, 2191, 223, 2270, 220, 2269, 219, 2264, 216, 2267, 199, 2246, 192, 2241, 195, 2240, 196, 2247, 239, 2286, 236, 2285, 227, 2272, 224, 2275, 247, 2294, 240, 2289, 251, 2296, 252, 2303, 1535, 3582, 1532, 3581, 1531, 3576, 1528, 3579, 1527, 3574, 1520, 3569, 1523, 3568, 1524, 3575, 1519, 3566, 1516, 3565, 1507, 3552, 1504, 3555, 1511, 3558, 1504, 3553, 1515, 3560, 1516, 3567, 1503, 3550, 1500, 3549, 1499, 3544, 1496, 3547, 1479, 3526, 1472, 3521, 1475, 3520, 1476, 3527, 1487, 3534, 1484, 3533, 1475, 3520, 1472, 3523, 1495, 3542, 1488, 3537, 1499, 3544, 1500, 3551, 1471, 3518, 1468, 3517, 1467, 3512, 1464, 3515, 1463, 3510, 1456, 3505, 1459, 3504, 1460, 3511, 1423, 3470, 1420, 3469, 1411, 3456, 1408, 3459, 1415, 3462, 1408, 3457, 1419, 3464, 1420, 3471, 1439, 3486, 1436, 3485, 1435, 3480, 1432, 3483, 1415, 3462, 1408, 3457, 1411, 3456, 1412, 3463, 1455, 3502, 1452, 3501, 1443, 3488, 1440, 3491, 1463, 3510, 1456, 3505, 1467, 3512, 1468, 3519, 1151, 3198, 1148, 3197, 1147, 3192, 1144, 3195, 1143, 3190, 1136, 3185, 1139, 3184, 1140, 3191, 1135, 3182, 1132, 3181, 1123, 3168, 1120, 3171, 1127, 3174, 1120, 3169, 1131, 3176, 1132, 3183, 1055, 3102, 1052, 3101, 1051, 3096, 1048, 3099, 1031, 3078, 1024, 3073, 1027, 3072, 1028, 3079, 1039, 3086, 1036, 3085, 1027, 3072, 1024, 3075, 1047, 3094, 1040, 3089, 1051, 3096, 1052, 3103, 1087, 3134, 1084, 3133, 1083, 3128, 1080, 3131, 1079, 3126, 1072, 3121, 1075, 3120, 1076, 3127, 1039, 3086, 1036, 3085, 1027, 3072, 1024, 3075, 1031, 3078, 1024, 3073, 1035, 3080, 1036, 3087, 1119, 3166, 1116, 3165, 1115, 3160, 1112, 3163, 1095, 3142, 1088, 3137, 1091, 3136, 1092, 3143, 1135, 3182, 1132, 3181, 1123, 3168, 1120, 3171, 1143, 3190, 1136, 3185, 1147, 3192, 1148, 3199, 1791, 3838, 1788, 3837, 1787, 3832, 1784, 3835, 1783, 3830, 1776, 3825, 1779, 3824, 1780, 3831, 1775, 3822, 1772, 3821, 1763, 3808, 1760, 3811, 1767, 3814, 1760, 3809, 1771, 3816, 1772, 3823, 1759, 3806, 1756, 3805, 1755, 3800, 1752, 3803, 1735, 3782, 1728, 3777, 1731, 3776, 1732, 3783, 1743, 3790, 1740, 3789, 1731, 3776, 1728, 3779, 1751, 3798, 1744, 3793, 1755, 3800, 1756, 3807, 1599, 3646, 1596, 3645, 1595, 3640, 1592, 3643, 1591, 3638, 1584, 3633, 1587, 3632, 1588, 3639, 1551, 3598, 1548, 3597, 1539, 3584, 1536, 3587, 1543, 3590, 1536, 3585, 1547, 3592, 1548, 3599, 1567, 3614, 1564, 3613, 1563, 3608, 1560, 3611, 1543, 3590, 1536, 3585, 1539, 3584, 1540, 3591, 1583, 3630, 1580, 3629, 1571, 3616, 1568, 3619, 1591, 3638, 1584, 3633, 1595, 3640, 1596, 3647, 1919, 3966, 1916, 3965, 1915, 3960, 1912, 3963, 1911, 3958, 1904, 3953, 1907, 3952, 1908, 3959, 1903, 3950, 1900, 3949, 1891, 3936, 1888, 3939, 1895, 3942, 1888, 3937, 1899, 3944, 1900, 3951, 1823, 3870, 1820, 3869, 1819, 3864, 1816, 3867, 1799, 3846, 1792, 3841, 1795, 3840, 1796, 3847, 1807, 3854, 1804, 3853, 1795, 3840, 1792, 3843, 1815, 3862, 1808, 3857, 1819, 3864, 1820, 3871, 1983, 4030, 1980, 4029, 1979, 4024, 1976, 4027, 1975, 4022, 1968, 4017, 1971, 4016, 1972, 4023, 1935, 3982, 1932, 3981, 1923, 3968, 1920, 3971, 1927, 3974, 1920, 3969, 1931, 3976, 1932, 3983, 2015, 4062, 2012, 4061, 2011, 4056, 2008, 4059, 1991, 4038, 1984, 4033, 1987, 4032, 1988, 4039, 2031, 4078, 2028, 4077, 2019, 4064, 2016, 4067, 2039, 4086, 2032, 4081, 2043, 4088, 2044, 4095}