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