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