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