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