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