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