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