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