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