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