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