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