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