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