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