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