mines = [1,2,4,5,6,7,9,10,12,13,14,15,17,18,19,21,26,27,28,30,33,34,35,36,42,43,44,46,50,51,58,59,60,62,66,67,74,75,76,78,81,82,83,86,89,90,92,93,94,95,97,98,100,101,102,103,105,106,107,109,114,115,116,118,122,124,125,126,127,129,130,131,134,137,138,140,141,142,143,145,146,148,149,150,151,153,154,155,157,162,163,164,166,170,172,173,174,175,177,178,182,185,186,188,191,193,194,196,197,198,202,204,205,206,207,209,210,214,217,218,223,225,226,227,230,231,233,234,236,244,246,249,250,253,257,258,263,265,266,269,271,273,274,276,277,279,281,282,284,285,286,287,289,290,292,293,294,298,299,300,302,305,306,307,308,314,315,316,318,322,323,327,330,331,332,334,338,339,343,346,347,348,350,353,354,357,361,362,367,369,370,373,375,377,378,380,381,383,385,386,388,389,390,391,393,394,396,397,398,402,403,404,406,410,412,413,414,415,417,418,419,421,423,425,426,427,430,431,433,434,435,438,442,444,445,446,447,449,450,451,454,455,457,458,462,465,466,468,471,473,474,476,477,478,482,483,484,486,490,492,493,494,495,497,498,499,501,503,505,506,507,510,511,513,514,515,518,522,524,525,526,527,529,530,531,534,535,537,538,542,545,546,548,551,553,554,556,557,558,562,564,565,566,567,569,570,572,573,574,577,578,580,581,582,583,585,586,588,589,593,594,596,597,598,599,601,602,605,606,607,609,610,612,615,617,618,620,621,622,628,630,633,634,638,641,642,644,647,649,650,652,653,654,658,659,660,662,665,666,667,668,674,675,676,678,682,683,686,690,691,692,694,698,699,702,706,707,708,710,713,714,718,721,722,724,727,729,730,732,733,734,738,739,740,742,746,748,749,750,751,753,754,758,761,762,764,767,769,770,772,773,774,778,779,780,782,786,788,789,790,791,793,794,795,797,799,801,802,803,806,807,809,810,811,814,818,820,821,822,823,825,826,827,830,831,833,834,838,841,842,844,847,849,850,852,853,854,858,860,861,862,863,865,866,868,869,870,873,874,876,877,878,879,881,882,884,885,889,890,892,893,894,895,897,898,901,902,903,905,906,908,911,913,914,916,917,918,924,926,929,930,931,934,935,937,938,939,940,943,945,946,947,950,951,954,955,956,958,961,962,963,964,970,971,972,974,978,979,982,983,986,987,988,990,994,995,998,999,1002,1003,1004,1006,1009,1010,1011,1014,1015,1017,1018,1019,1020,1023,1025,1026,1027,1030,1031,1034,1035,1036,1038,1042,1044,1045,1046,1047,1049,1050,1053,1057,1058,1061,1063,1065,1066,1067,1069,1070,1074,1075,1076,1078,1082,1084,1085,1086,1087,1089,1090,1091,1093,1095,1097,1098,1099,1102,1103,1105,1106,1107,1110,1114,1116,1117,1118,1119,1121,1122,1123,1126,1127,1129,1130,1134,1137,1138,1140,1143,1145,1146,1148,1149,1150,1154,1156,1157,1158,1159,1161,1162,1164,1165,1166,1169,1170,1172,1173,1174,1175,1177,1178,1180,1181,1185,1186,1188,1189,1190,1191,1193,1194,1197,1198,1199,1201,1202,1204,1207,1209,1210,1212,1213,1214,1220,1222,1225,1226,1227,1230,1231,1233,1234,1235,1236,1239,1241,1242,1244,1245,1246,1249,1250,1254,1255,1258,1259,1260,1262,1265,1266,1267,1268,1274,1275,1276,1278,1282,1283,1285,1290,1291,1292,1294,1298,1299,1301,1302,1306,1307,1309,1311,1314,1315,1317,1319,1322,1323,1326,1327,1330,1331,1333,1338,1339,1340,1342,1345,1346,1347,1350,1351,1353,1354,1355,1356,1359,1361,1362,1364,1365,1366,1369,1370,1374,1375,1378,1379,1380,1382,1386,1388,1389,1390,1391,1393,1394,1398,1401,1402,1404,1407,1409,1410,1412,1413,1414,1418,1419,1420,1422,1426,1428,1429,1430,1431,1433,1434,1438,1441,1442,1444,1447,1449,1450,1452,1453,1454,1458,1460,1461,1462,1463,1465,1466,1467,1470,1471,1473,1474,1475,1476,1479,1481,1482,1484,1485,1486,1489,1490,1494,1495,1500,1502,1505,1506,1509,1510,1511,1513,1514,1519,1521,1522,1524,1525,1527,1529,1530,1533,1535,1537,1538,1539,1542,1543,1546,1547,1548,1550,1553,1554,1555,1556,1562,1563,1564,1566,1570,1571,1573,1575,1578,1579,1580,1582,1586,1587,1589,1590,1594,1595,1602,1603,1604,1606,1609,1610,1613,1614,1615,1617,1618,1623,1625,1626,1628,1629,1631,1633,1634,1637,1639,1641,1642,1643,1646,1647,1650,1651,1652,1654,1658,1660,1661,1662,1663,1665,1666,1667,1669,1671,1673,1674,1675,1678,1679,1681,1682,1683,1686,1690,1692,1693,1694,1695,1697,1698,1701,1702,1703,1705,1706,1711,1713,1714,1716,1717,1719,1721,1722,1725,1727,1729,1730,1731,1734,1735,1738,1739,1740,1742,1746,1748,1749,1750,1751,1753,1754,1755,1757,1759,1761,1762,1763,1766,1767,1769,1770,1771,1774,1778,1780,1781,1782,1783,1785,1786,1787,1790,1791,1793,1794,1798,1801,1802,1804,1807,1809,1810,1812,1813,1814,1818,1820,1821,1822,1823,1825,1826,1828,1829,1830,1833,1834,1836,1837,1838,1839,1841,1842,1844,1845,1849,1850,1852,1853,1854,1855,1857,1858,1861,1862,1863,1865,1866,1868,1871,1873,1874,1876,1877,1878,1884,1886,1889,1890,1892,1893,1895,1897,1898,1903,1905,1906,1908,1909,1910,1914,1915,1916,1918,1921,1922,1923,1924,1930,1931,1932,1934,1938,1939,1941,1942,1946,1947,1948,1950,1954,1955,1959,1962,1963,1966,1970,1971,1972,1974,1977,1978,1980,1981,1983,1985,1986,1991,1993,1994,1996,1997,1998,2002,2003,2004,2006,2010,2012,2013,2014,2015,2017,2018,2019,2021,2022,2025,2026,2031,2033,2034,2035,2038,2042,2044,2045,2046,2047,2049,2050,2054,2055,2057,2058,2063,2065,2066,2070,2071,2073,2074,2076,2081,2082,2085,2087,2090,2092,2093,2094,2095,2097,2098,2100,2101,2103,2105,2106,2111,2113,2114,2116,2117,2118,2122,2123,2124,2126,2130,2132,2133,2134,2135,2137,2138,2139,2141,2143,2145,2146,2147,2150,2151,2153,2154,2155,2158,2162,2164,2165,2166,2167,2169,2170,2171,2174,2175,2177,2178,2182,2185,2186,2188,2191,2193,2194,2196,2197,2198,2202,2204,2205,2206,2207,2209,2210,2212,2213,2214,2217,2218,2220,2221,2222,2223,2225,2226,2228,2229,2233,2234,2236,2237,2238,2239,2241,2242,2245,2246,2247,2249,2250,2252,2255,2257,2258,2260,2261,2262,2268,2270,2273,2274,2276,2277,2281,2282,2283,2290,2291,2292,2294,2297,2298,2299,2300,2306,2307,2308,2310,2314,2315,2317,2318,2319,2322,2323,2324,2326,2330,2331,2333,2334,2335,2338,2339,2340,2342,2345,2346,2348,2349,2353,2354,2355,2362,2363,2364,2366,2370,2372,2373,2374,2375,2377,2378,2379,2381,2382,2385,2386,2391,2393,2394,2395,2398,2402,2404,2405,2406,2407,2409,2410,2411,2414,2415,2417,2418,2419,2425,2426,2428,2429,2430,2431,2433,2434,2436,2437,2438,2439,2441,2442,2444,2445,2450,2452,2453,2454,2455,2457,2458,2460,2461,2465,2466,2467,2473,2474,2477,2482,2483,2484,2486,2490,2492,2493,2494,2495,2497,2498,2499,2501,2503,2505,2506,2507,2510,2511,2513,2514,2515,2518,2522,2524,2525,2526,2527,2529,2530,2531,2534,2535,2537,2538,2542,2545,2546,2548,2551,2553,2554,2556,2557,2558,2562,2564,2565,2566,2567,2569,2570,2572,2573,2574,2577,2578,2580,2581,2582,2583,2585,2586,2588,2589,2593,2594,2596,2597,2598,2599,2601,2602,2605,2606,2607,2609,2610,2612,2615,2617,2618,2620,2621,2622,2628,2630,2633,2634,2636,2637,2639,2641,2642,2647,2649,2650,2652,2655,2657,2658,2660,2661,2666,2667,2668,2670,2673,2674,2675,2676,2682,2683,2684,2686,2690,2691,2692,2698,2699,2700,2702,2706,2707,2708,2714,2715,2716,2718,2721,2722,2724,2725,2727,2729,2730,2735,2737,2738,2740,2743,2745,2746,2748,2749,2754,2755,2756,2758,2762,2764,2765,2766,2767,2769,2770,2771,2773,2774,2777,2778,2783,2785,2786,2787,2790,2794,2796,2797,2798,2799,2801,2802,2804,2805,2807,2809,2810,2815,2817,2818,2820,2823,2825,2826,2828,2829,2834,2835,2836,2838,2842,2844,2845,2846,2847,2849,2850,2851,2853,2855,2857,2858,2859,2862,2863,2865,2866,2867,2870,2874,2876,2877,2878,2879,2881,2882,2883,2886,2887,2889,2890,2894,2897,2898,2900,2903,2905,2906,2908,2909,2910,2914,2916,2917,2918,2919,2921,2922,2924,2925,2926,2929,2930,2932,2933,2934,2935,2937,2938,2940,2941,2945,2946,2948,2949,2950,2951,2953,2954,2957,2958,2959,2961,2962,2964,2967,2969,2970,2972,2973,2974,2980,2982,2985,2986,2988,2989,2990,2993,2994,2997,2999,3001,3002,3003,3005,3006,3007,3009,3010,3011,3014,3015,3018,3019,3020,3022,3025,3026,3027,3028,3034,3035,3036,3038,3042,3043,3044,3047,3050,3051,3052,3054,3058,3059,3060,3063,3066,3067,3068,3070,3073,3074,3076,3077,3078,3081,3082,3085,3087,3089,3090,3091,3093,3094,3095,3097,3098,3099,3102,3103,3106,3107,3108,3110,3114,3116,3117,3118,3119,3121,3122,3123,3125,3126,3129,3130,3135,3137,3138,3139,3142,3146,3148,3149,3150,3151,3153,3154,3155,3158,3159,3161,3162,3163,3169,3170,3172,3173,3174,3175,3177,3178,3180,3181,3182,3183,3185,3186,3188,3189,3194,3196,3197,3198,3199,3201,3202,3204,3205,3206,3209,3210,3213,3215,3217,3218,3219,3221,3222,3223,3225,3226,3227,3230,3231,3234,3235,3236,3238,3242,3244,3245,3246,3247,3249,3250,3251,3253,3255,3257,3258,3259,3262,3263,3265,3266,3267,3270,3274,3276,3277,3278,3279,3281,3282,3283,3286,3287,3289,3290,3294,3297,3298,3300,3303,3305,3306,3308,3309,3310,3314,3316,3317,3318,3319,3321,3322,3324,3325,3326,3329,3330,3332,3333,3334,3335,3337,3338,3340,3341,3345,3346,3348,3349,3350,3351,3353,3354,3357,3358,3359,3361,3362,3364,3367,3369,3370,3372,3373,3374,3380,3382,3385,3386,3387,3389,3391,3393,3394,3395,3397,3399,3401,3402,3406,3407,3409,3410,3411,3418,3419,3420,3422,3425,3426,3427,3428,3434,3435,3436,3438,3442,3443,3447,3450,3451,3458,3459,3460,3462,3466,3467,3471,3474,3475,3482,3483,3484,3486,3489,3490,3491,3493,3495,3497,3498,3499,3501,3503,3505,3506,3510,3511,3513,3514,3515,3522,3523,3524,3526,3530,3532,3533,3534,3535,3537,3538,3539,3541,3542,3545,3546,3551,3553,3554,3555,3558,3562,3564,3565,3566,3567,3569,3570,3571,3574,3575,3577,3578,3579,3585,3586,3588,3589,3590,3591,3593,3594,3596,3597,3598,3599,3601,3602,3604,3605,3610,3612,3613,3614,3615,3617,3618,3619,3621,3623,3625,3626,3627,3629,3631,3633,3634,3638,3639,3641,3642,3643,3650,3651,3652,3654,3658,3660,3661,3662,3663,3665,3666,3667,3669,3671,3673,3674,3675,3678,3679,3681,3682,3683,3686,3690,3692,3693,3694,3695,3697,3698,3699,3702,3703,3705,3706,3710,3713,3714,3716,3719,3721,3722,3724,3725,3726,3730,3732,3733,3734,3735,3737,3738,3740,3741,3742,3745,3746,3748,3749,3750,3751,3753,3754,3756,3757,3761,3762,3764,3765,3766,3767,3769,3770,3773,3774,3775,3777,3778,3780,3783,3785,3786,3788,3789,3790,3796,3798,3801,3802,3803,3809,3810,3811,3814,3817,3818,3820,3821,3822,3823,3825,3826,3827,3828,3833,3834,3835,3836,3839,3842,3843,3844,3846,3849,3850,3851,3852,3858,3859,3860,3862,3866,3867,3871,3874,3875,3878,3879,3882,3883,3884,3886,3890,3891,3895,3898,3899,3902,3903,3906,3907,3908,3910,3913,3914,3915,3921,3922,3923,3926,3929,3930,3932,3933,3934,3935,3937,3938,3939,3940,3945,3946,3947,3948,3951,3954,3955,3956,3958,3962,3964,3965,3966,3967,3969,3970,3974,3977,3978,3980,3983,3985,3986,3988,3989,3990,3994,3995,3996,3998,4002,4004,4005,4006,4007,4009,4010,4011,4013,4015,4017,4018,4019,4022,4023,4025,4026,4027,4030,4034,4036,4037,4038,4039,4041,4042,4043,4046,4047,4049,4050,4054,4057,4058,4060,4063,4065,4066,4068,4069,4070,4074,4076,4077,4078,4079,4081,4082,4084,4085,4086,4089,4090,4092,4093,4094,4095,4097,4098,4100,4101,4105,4106,4108,4109,4110,4111,4113,4114,4117,4118,4119,4121,4122,4124,4127,4129,4130,4132,4133,4134,4140,4142,4145,4146,4147,4149,4150,4151,4153,4154,4155,4157,4158,4159,4161,4162,4163,4165,4166,4167,4170,4172,4173,4175,4177,4178,4181,4185,4186,4191,4193,4194,4195,4197,4201,4202,4207,4210,4211,4212,4214,4217,4218,4219,4220,4226,4227,4228,4230,4234,4235,4238,4239,4242,4243,4246,4247,4250,4251,4252,4254,4258,4259,4262,4263,4266,4267,4270,4271,4274,4275,4276,4278,4281,4282,4283,4285,4286,4287,4289,4290,4291,4293,4294,4295,4297,4298,4299,4301,4302,4303,4306,4308,4309,4311,4313,4314,4317,4321,4322,4327,4329,4330,4331,4333,4337,4338,4343,4346,4347,4348,4350,4354,4356,4357,4358,4359,4361,4362,4363,4365,4366,4369,4370,4375,4377,4378,4379,4382,4386,4388,4389,4390,4391,4393,4394,4395,4397,4398,4399,4401,4402,4403,4405,4406,4407,4409,4410,4411,4413,4414,4415,4418,4419,4420,4422,4426,4428,4429,4430,4431,4433,4434,4435,4437,4439,4441,4442,4443,4446,4447,4449,4450,4451,4454,4458,4460,4461,4462,4463,4465,4466,4467,4470,4471,4473,4474,4478,4481,4482,4484,4487,4489,4490,4492,4493,4494,4498,4500,4501,4502,4503,4505,4506,4508,4509,4510,4513,4514,4516,4517,4518,4519,4521,4522,4524,4525,4529,4530,4532,4533,4534,4535,4537,4538,4541,4542,4543,4545,4546,4548,4551,4553,4554,4556,4557,4558,4564,4566,4569,4570,4574,4577,4578,4583,4585,4586,4590,4591,4593,4594,4596,4598,4599,4601,4602,4603,4605,4607,4609,4610,4611,4618,4619,4620,4622,4625,4626,4627,4628,4634,4635,4636,4638,4642,4643,4646,4647,4650,4651,4653,4658,4659,4660,4662,4666,4667,4670,4671,4674,4675,4677,4682,4683,4684,4686,4689,4690,4694,4697,4698,4703,4705,4706,4710,4711,4713,4714,4716,4718,4719,4721,4722,4723,4725,4727,4729,4730,4731,4738,4739,4740,4742,4746,4748,4749,4750,4751,4753,4754,4755,4757,4758,4761,4762,4767,4769,4770,4771,4774,4778,4780,4781,4782,4783,4785,4786,4790,4793,4794,4799,4801,4802,4806,4807,4809,4810,4812,4814,4815,4817,4818,4819,4821,4823,4825,4826,4827,4833,4834,4835,4838,4839,4842,4843,4844,4846,4850,4852,4853,4854,4855,4857,4858,4859,4861,4863,4865,4866,4867,4870,4871,4873,4874,4875,4878,4882,4884,4885,4886,4887,4889,4890,4891,4894,4895,4897,4898,4902,4905,4906,4908,4911,4913,4914,4916,4917,4918,4922,4924,4925,4926,4927,4929,4930,4932,4933,4934,4937,4938,4940,4941,4942,4943,4945,4946,4948,4949,4953,4954,4956,4957,4958,4959,4961,4962,4965,4966,4967,4969,4970,4972,4975,4977,4978,4980,4981,4982,4988,4990,4993,4994,4996,4997,5001,5002,5004,5007,5009,5010,5011,5014,5015,5017,5018,5019,5021,5026,5027,5028,5030,5033,5034,5035,5036,5042,5043,5044,5046,5050,5051,5054,5055,5058,5059,5060,5066,5067,5068,5070,5074,5075,5078,5079,5082,5083,5084,5090,5091,5092,5094,5097,5100,5101,5103,5105,5106,5111,5113,5114,5116,5119,5121,5122,5124,5125,5129,5130,5132,5135,5137,5138,5140,5141,5142,5145,5146,5149,5150,5151,5154,5161,5164,5165,5169,5170,5172,5175,5177,5178,5179,5182,5183,5185,5186,5187,5189,5194,5201,5204,5205,5207,5209,5210,5215,5217,5218,5220,5221,5222,5225,5226,5231,5233,5234,5237,5238,5239,5241,5242,5245,5247,5249,5250,5251,5254,5258,5259,5260,5262,5266,5268,5269,5270,5271,5273,5274,5275,5277,5278,5281,5282,5287,5289,5290,5291,5294,5298,5300,5301,5302,5303,5305,5306,5308,5309,5313,5314,5316,5319,5321,5322,5323,5326,5327,5329,5330,5331,5333,5338,5339,5340,5342,5346,5348,5349,5350,5351,5353,5354,5355,5357,5359,5361,5362,5363,5366,5367,5369,5370,5371,5374,5378,5380,5381,5382,5383,5385,5386,5387,5390,5391,5393,5394,5398,5401,5402,5404,5407,5409,5410,5412,5413,5414,5418,5420,5421,5422,5423,5425,5426,5428,5429,5430,5433,5434,5436,5437,5438,5439,5441,5442,5444,5445,5449,5450,5452,5453,5454,5455,5457,5458,5461,5462,5463,5465,5466,5468,5471,5473,5474,5476,5477,5478,5484,5486,5489,5490,5492,5495,5497,5498,5499,5502,5505,5506,5510,5511,5514,5515,5516,5518,5521,5522,5523,5524,5530,5531,5532,5534,5538,5539,5542,5543,5546,5547,5548,5551,5554,5555,5556,5558,5562,5563,5566,5567,5570,5571,5572,5575,5578,5579,5580,5582,5585,5586,5588,5591,5593,5594,5595,5598,5601,5602,5606,5607,5609,5610,5613,5618,5619,5620,5622,5626,5628,5629,5630,5631,5633,5634,5635,5637,5638,5641,5642,5647,5649,5650,5651,5654,5658,5660,5661,5662,5663,5665,5666,5667,5670,5673,5674,5675,5677,5679,5681,5682,5684,5685,5686,5690,5692,5693,5694,5695,5697,5698,5700,5703,5705,5706,5707,5710,5713,5714,5718,5719,5721,5722,5725,5730,5731,5732,5734,5738,5740,5741,5742,5743,5745,5746,5747,5749,5751,5753,5754,5755,5758,5759,5761,5762,5763,5766,5770,5772,5773,5774,5775,5777,5778,5779,5782,5783,5785,5786,5790,5793,5794,5796,5799,5801,5802,5804,5805,5806,5810,5812,5813,5814,5815,5817,5818,5820,5821,5822,5825,5826,5828,5829,5830,5831,5833,5834,5836,5837,5841,5842,5844,5845,5846,5847,5849,5850,5853,5854,5855,5857,5858,5860,5863,5865,5866,5868,5869,5870,5876,5878,5881,5882,5885,5886,5887,5889,5890,5892,5893,5894,5897,5898,5903,5905,5906,5907,5909,5913,5914,5915,5918,5919,5922,5923,5924,5926,5929,5930,5931,5932,5938,5939,5940,5942,5946,5947,5949,5954,5955,5959,5962,5963,5964,5966,5970,5971,5973,5978,5979,5983,5986,5987,5988,5990,5993,5997,5998,5999,6001,6002,6004,6005,6006,6009,6010,6015,6017,6018,6019,6021,6025,6026,6027,6030,6031,6034,6041,6046,6049,6050,6051,6053,6055,6057,6058,6061,6062,6063,6066,6068,6069,6071,6073,6075,6078,6081,6082,6085,6087,6089,6090,6091,6097,6098,6100,6101,6102,6103,6105,6106,6107,6110,6113,6114,6115,6117,6121,6122,6124,6127,6129,6130,6132,6133,6134,6137,6138,6141,6142,6143,6146,6153,6155,6158,6159,6161,6162,6163,6164,6167,6169,6170,6171,6174,6175,6177,6178,6179,6181,6185,6186,6189,6191,6193,6194,6196,6197,6199,6202,6210,6212,6217,6218,6223,6225,6226,6229,6233,6234,6236,6237,6239,6241,6242,6244,6247,6249,6250,6252,6253,6254,6258,6260,6263,6266,6267,6268,6270,6274,6276,6277,6278,6279,6281,6282,6283,6285,6286,6289,6290,6295,6297,6298,6299,6302,6306,6308,6309,6310,6311,6313,6314,6316,6317,6321,6322,6324,6327,6329,6330,6334,6338,6340,6341,6342,6343,6345,6346,6349,6350,6351,6353,6354,6356,6357,6358,6361,6362,6367,6369,6370,6371,6373,6377,6378,6379,6382,6383,6386,6387,6388,6390,6394,6396,6397,6398,6399,6401,6402,6403,6405,6407,6409,6410,6411,6414,6415,6417,6418,6419,6422,6426,6428,6429,6430,6431,6433,6434,6435,6438,6439,6441,6442,6446,6449,6450,6452,6455,6457,6458,6460,6461,6462,6466,6468,6469,6470,6471,6473,6474,6476,6477,6478,6481,6482,6484,6485,6486,6487,6489,6490,6492,6493,6497,6498,6500,6501,6502,6503,6505,6506,6509,6510,6511,6513,6514,6516,6519,6521,6522,6524,6525,6526,6532,6534,6537,6538,6540,6541,6542,6545,6546,6548,6549,6550,6551,6553,6554,6558,6561,6562,6564,6565,6566,6567,6569,6570,6573,6577,6578,6579,6580,6583,6586,6587,6588,6590,6593,6594,6595,6596,6602,6603,6604,6606,6610,6611,6613,6614,6618,6619,6621,6623,6626,6627,6629,6631,6634,6635,6638,6639,6642,6643,6645,6650,6651,6652,6654,6658,6659,6661,6662,6666,6667,6669,6671,6674,6675,6677,6679,6682,6683,6686,6687,6690,6691,6693,6698,6699,6700,6702,6705,6706,6708,6709,6710,6713,6714,6716,6717,6718,6719,6721,6722,6726,6729,6730,6732,6733,6734,6735,6737,6738,6741,6745,6746,6747,6748,6751,6754,6755,6756,6758,6762,6764,6765,6766,6767,6769,6770,6772,6773,6774,6777,6778,6780,6781,6782,6783,6785,6786,6788,6789,6790,6793,6794,6797,6799,6801,6802,6803,6804,6809,6810,6812,6815,6817,6818,6819,6822,6823,6825,6826,6827,6829,6833,6834,6837,6839,6841,6842,6844,6845,6846,6849,6850,6851,6853,6858,6859,6860,6862,6866,6868,6869,6870,6871,6873,6874,6875,6877,6879,6881,6882,6883,6886,6887,6889,6890,6891,6894,6898,6900,6901,6902,6903,6905,6906,6907,6910,6911,6913,6914,6918,6921,6922,6924,6927,6929,6930,6932,6933,6934,6938,6940,6941,6942,6943,6945,6946,6948,6949,6950,6953,6954,6956,6957,6958,6959,6961,6962,6964,6965,6969,6970,6972,6973,6974,6975,6977,6978,6981,6982,6983,6985,6986,6988,6991,6993,6994,6996,6997,6998,7004,7006,7009,7011,7012,7013,7014,7015,7017,7018,7023,7025,7026,7027,7033,7034,7035,7037,7042,7043,7044,7046,7049,7050,7051,7052,7058,7059,7060,7062,7066,7067,7071,7074,7075,7082,7083,7090,7091,7092,7094,7098,7099,7101,7102,7106,7107,7109,7111,7114,7115,7117,7119,7122,7123,7126,7127,7130,7131,7133,7138,7139,7140,7142,7146,7147,7148,7150,7154,7156,7157,7158,7159,7161,7162,7164,7165,7166,7169,7170,7172,7173,7174,7175,7177,7178,7180,7181,7182,7185,7186,7189,7191,7193,7194,7195,7196,7201,7202,7204,7207,7209,7210,7211,7214,7215,7217,7218,7219,7221,7225,7226,7229,7231,7233,7234,7236,7237,7238,7241,7242,7243,7245,7250,7251,7252,7254,7258,7260,7261,7262,7263,7265,7266,7270,7273,7274,7276,7279,7281,7282,7284,7285,7286,7290,7292,7293,7294,7295,7297,7298,7301,7302,7305,7306,7311,7313,7314,7316,7317,7321,7322,7323,7326,7327,7329,7330,7333,7335,7340,7342,7345,7346,7348,7349,7350,7353,7354,7357,7358,7359,7361,7362,7364,7367,7369,7370,7372,7373,7374,7377,7378,7379,7380,7386,7387,7388,7390,7393,7394,7395,7396,7402,7403,7404,7406,7410,7411,7415,7418,7419,7426,7427,7431,7434,7435,7436,7438,7442,7443,7447,7450,7451,7458,7459,7462,7466,7467,7468,7470,7473,7474,7476,7477,7478,7481,7482,7485,7486,7487,7489,7490,7492,7495,7497,7498,7500,7501,7502,7505,7506,7507,7508,7514,7521,7522,7523,7525,7527,7529,7530,7531,7534,7535,7537,7538,7541,7543,7545,7546,7547,7550,7554,7556,7557,7562,7564,7565,7570,7572,7573,7578,7579,7580,7582,7586,7588,7589,7590,7591,7593,7594,7596,7597,7598,7601,7602,7604,7605,7606,7607,7609,7610,7612,7613,7614,7617,7618,7621,7623,7625,7626,7627,7628,7633,7634,7636,7639,7641,7642,7643,7646,7647,7649,7650,7651,7653,7657,7658,7661,7663,7665,7666,7668,7669,7670,7673,7674,7675,7677,7682,7683,7684,7686,7690,7692,7693,7694,7695,7697,7698,7702,7705,7706,7708,7711,7713,7714,7716,7717,7718,7722,7724,7725,7726,7727,7729,7730,7733,7734,7737,7738,7743,7745,7746,7748,7749,7753,7754,7755,7758,7759,7761,7762,7765,7767,7772,7774]



clear = []

result = []

stri = 'a'



flag=True

temp_num = 1

while flag:

	clear.append(temp_num)

	if temp_num == 1024:

		flag = False

	temp_num = temp_num + 1



temp_num = 0

while temp_num <1024:

	result.append(0)

	temp_num+=1



for x in mines:

	result.insert(x-1,1)



temp_num = 0

while temp_num <1024:

	stri+=str(result[temp_num])

	temp_num+=1

print(stri)