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