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