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