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