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