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