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