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