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