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