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