a11 := (1,2,4,8,16,32,64,128,256,501,956,657,1246,2235,3673,4771,3989,4844, 6065,3739,2957,4560,2593,4009)(3,6,12,24,48,96,192,381,734,1379,2440, 2110,3517,4080,2264,3702,5278,5975,5773,4673,5978,6437,1732,2977)(5,10, 20,40,80,160,319,620,1180,2124,3534,5130,2395,3869,5428,2800,4371,4801, 5018,6144,6120,2972,4569,1119)(7,14,28,56,112,224,440,842,1570,2732,3938, 5481,415,797,1489,521,994,1822,3111,4718,1960,3302,2499,3428)(9,18,36,72, 144,287,561,1070,1950,3273,1894,3215,4833,4106,5615,6364,2484,2115,3522, 889,1648,2842,4426,3643)(11,22,44,88,176,351,682,1290,2305,3758,3708, 5285,5046,6154,5173,6042,1239,2222,3658,5237,4758,5005,3550,5145)(13,26, 52,104,208,412,791,1479,2595,4109,5619,2632,4155,658,1248,2238,3676,5254, 83,166,331,644,1222,2192)(15,30,60,120,240,471,901,1667,2524,3880,5440, 5332,884,1640,2835,4415,5816,2432,3911,2037,2739,1289,2304,3756)(17,34, 68,136,271,530,1012,1855,3164,1199,2155,3576,802,1498,2624,4144,4876, 3416,5023,6039,6426,3853,5417,550)(19,38,76,152,303,592,1129,2044,3417, 727,1367,2421,3548,4991,6134,6230,5397,6141,4168,5663,1726,2967,3528, 4530)(21,42,84,168,335,652,1236,2217,1935,3271,3875,5435,5702,6055,6303, 3567,5160,3519,3610,1562,2719,4265,5743,2103)(23,46,92,184,366,707,1334, 2367,3033,4631,352,441,844,1573,2735,1684,2897,4493,5879,398,764,1435, 2529,4032)(25,50,100,200,397,762,1432,137,273,533,1018,1703,2929,4525, 5902,5368,6095,1176,2116,3523,4131,4037,5569,5431)(27,54,108,216,426,817, 1525,2663,227,446,853,1589,2756,4313,5692,6054,1366,1906,3230,4851,5942, 4515,5013,4138)(29,58,116,232,456,873,1624,2809,2575,151,301,588,1122, 1448,2169,532,1016,1863,3177,4796,3026,3897,1720,2958)(31,62,124,248,486, 928,1713,2945)(33,66,132,264,516,984,1805,3083,4024,4923,5722,6396,5331, 714,1345,117,234,460,881,894,1657,2858,4447,1508)(35,70,140,279,545,706, 1332,2365,3839,1440,2535,4040,2685,427,819,1529,2671,255,87,174,347,675, 1277,2284)(37,74,148,295,403,774,1450,2548,3489,5087,205,406,780,1460, 2564,4070,4986,2259,3291,4901,3056,2916,4511,5892)(39,78,156,311,608, 1159,2091,3490,5088,1338,2375,2321,3777,2142,3318,2486,3982,5273,6251, 5889,4959,560,1068,1947)(41,82,164,327,636,472,903,1671,2879,4473,5687, 5617,2763,4320,439,840,1566,2150,3569,3794,4191,3461,5067,5536)(43,86, 172,343,667,1261,1606,2781,4346,5792,6365,5291,1843,3142,4755,3020,4622, 5882,6435,6376,2123,3532,1696,2919)(45,90,180,203,402,772,1447,2545,4049, 5330,6107,4872,3653,5233,834,1555,225,442,846,1577,2742,4293,814,1520) (47,94,188,374,373,195,387,745,1400,2470,3831,3220,4775,2310,3765,5337, 6271,1132,1202,483,922,721,1358,432)(49,98,196,389,748,1406,2480,3974, 2487,3984,4020,5555,5574,3468,5069,2311,3766,5339,6278,3710,1041,1901, 3008,3965)(51,102,204,404,776,1453,2553,4056,5444,6060,3495,1864,3179, 4797,5680,6117,790,1478,2157,3579,4572,4059,5584,6068)(53,106,212,418, 803,1500,2628,4149,468,895,221,435,833,1553,2706,4249,5728,4164,1642, 2588,3233,3580,1344,1104)(55,110,220,433,830,1548,949,1747,3000,4600, 5865,5985,5518,5398,1873,3190,3129,3602,5191,5688,6389,6058,5523,2334) (57,114,228,448,857,1597,382,736,1382,2445,3927,5472,3141,3024,2714,4260, 3730,1856,2666,4202,4816,6045,4477,5872)(59,118,236,463,886,1643,2521, 3629,417,801,1496,2620,4137,5638,361,699,1319,312,610,1162,2094,2644, 4174,1272)(61,122,244,478,913,1688,2904,4501,1322,2351,3819,5386,4412, 2570,2852,4439,5295,6257,864,1609,1075,1957,3297,4904)(63,126,252,494, 942,1735,725,1364,495,944,1738,2986,1645,822,1534,1134,2053,674,1275, 1771,2872,4463,5860,5550)(65,130,260,508,969,1779,3045,1393,2054,3433, 4881,476)(67,134,268,524,1000,1832,3123,4732,4932,3388,2129,3541,5138, 5627,4920,5502,6153,6464,3136,4749,6009,4208,5695,5258)(69,138,275,537, 1026,1878,3197,4817)(71,142,283,553,1054,751,1412,2489,3328,4936,4752, 1831,3121,2884,4478,4301,2772,4333,5784,5089,6178,5124,5457,2018)(73,146, 291,569,1086,1973,3325,4933,6102,5935,1094,1984,2606,4121,5629,4422,5840, 2178,3608,5195,6063,6086,4912,6035)(75,150,299,584,1114,2017,3376,4983, 6128,2430,3908,2886,3750,3338,4945,3611,5197,3426,2900,3891,5443,6273, 4405,394)(77,154,307,600,1145,957,1276,2282,3725,2534,4039,5571,6087, 6007,5230,229,450,861,1603,2777,4338,5786,6317,6478)(79,158,315,613,1167, 2102,3505,4183,5678,5317,5906,497,948,1745,1618,302,590,1126,2038,3407, 529,1010,1851,3156)(81,162,323,628,1194,2148,1470,2580,4068,4938,6104, 5644,1217,2185,3615,5201,5756,5806,6110,5997,2294,3740,3516,4768)(85,170, 339,659,1249,2239,2203,3637,2939,4539,4317,5776,4928,6091,6432,2607,1380, 868,1615,2796,4366,5760,5859,1584)(89,178,355,688,1302,2320,2841,4424, 4240,5719,6270,3806,5370,3003,963,1438,2532,4036,4602,2223,3659,2290, 3733,5310)(91,182,362,700,1321,2349,2246,1297,2314,3770,5342,3309,4914, 5589,3873,5433,3722,5300,2191,3621,5207,4440,4669,314)(93,186,370,715, 1347,2387,3860,3205,4824,270,528,1008,1847,3150,4522,4432,5142,4998,6138, 1636,2828,4407,5833,3465)(95,190,377,726,1365,2418,3894,4406,2149,1801, 3077,4679,5982,5162,1484,635,676,1279,2287,3731,2153,3573,5167,6215)(97, 194,385,741,1392,2458,3949,5488,6330,5028,6148,5856,6430,668,1263,2263, 912,1686,2901,4498,4035,1545,1053,1922)(99,198,393,756,1420,2502,1809, 3089,4694,4154,5564,866,1611,2790,4033,2045,3419,4990,6133,5783,4350, 5095,4264,1195)(101,202,400,768,1441,2537,2617,3393)(103,206,408,784,135, 161,321,624,1186,434,660,1250,2108,3514,872,1622,2807,4379,5484,4900, 2390,3864,5422,338)(105,210,414,795,1485,2603,2561,4066,185,368,711,1339, 2377,2707,423,811,1514,2651,3149,4761,5923,2378,3851,5414)(107,214,422, 810,1512,1616,2798,4368,5804,3885,1554,2708,4250,5730,6387,3145,4757, 6013,6296,5420,5082,6025,5546,4924)(109,218,430,825,1540,2687,4227,5710) (111,222,437,837,1561,2717,3378,1256,2251,2538,2954,4554,5920,1237,2219, 2909,4330,3147,320,622,1183,2130,3543,4774)(113,226,444,850,1583,585, 1116,2021,1254,2247,2195,3626,705,157,313,611,896,841,1568,2729,4278, 5748,5129,2907)(115,230,452,865,1454,2555,4058,5583,6277,1987,3337,4944, 2014,3374,4981,1786,3055,4656,5967,6268,3618,5203,3484,5083)(119,238,467, 893,1655,2544,2131,3545,5141,6202,5658,3649)(121,242,475,531,1014,1859, 3169,4782,1974,3326,4934,1968,1828,296,578,1103,2000,3353,1633,2824,4401, 5828,1817,3104)(123,246,482,920,1701,1918,3248,4869,5976,6333,6260,5305, 2248,3685,5260,3099,3066,1251,2242,2859,2288,3044,4644,1071)(125,250,490, 935,1727,2969,1658,2860,4450,1025,1876,3194,4115,3343,4951,6114,6361, 6196,6385,4331,2266,3705,5281,767)(127,254,498,950,1749,3004,3278,4889, 3382,4988,6131,2162,3586,4813,6044,5489,5887,6436,2914,4508,231,454,869, 1617)(129,258,183,364,704,1329,2360,3832,5396,2668,4205,3687,2060,3442, 5044,999,649,1230,2206,3640,443,848,1579,2743)(131,262,512,977,1794,3067, 4668,991,1816,3102,290,567,1082,1969,3317,4589,1513,2649,4181,5322,3403, 3542,5139,2220)(133,266,520,992,1818,3106,4713,5959,2888,4483,5873,511, 975,1790,3062,4361,4838,3063,1762,3023,3225,3530,3151,4764)(139,277,541, 470,899,1664,2869,241,473,905,972,1785,3053,3513,5109,6005,2301,3751, 5326,1409,2485,3980,3535,5132)(141,281,549,1047,1912,3240,4858,209)(143, 285,557,1062,1938,2556,2317,1121,2030,1221,149,297,580,1107,2005,3361, 3187,4806,4044,4662,5970,5870,6398,6313)(145,289,565,1078,1961,3304,4909, 1219,2188,2941,4540,5566)(147,293,573,1093,1425,2510,519,990,1814,3098, 985,1806,3085,4689,2496,2997,4596,1494,2616,2964,3239,914,1690,2908)(153, 305,596,1137,2026,3390,4996,4619,3324,4868,4403,3776,4618,4778,5334,931, 1719,2956,4558,5922,6442,4601,5614,6170)(155,309,604,1152,2080,3472,1924, 3256,4875,5077,6172,2171,3598,2081,3474,5074,3660,1811,1629,2818,4392, 3590,5180,6221)(159,317,616,1173,1127,2040,1401,2472,3964,4804,1854,3162, 4772,3459,5063,4420,1200,781,1462,2566,4074,1754,2446,1902)(163,325,632, 1201,2158,3581,1631,2586,4099,5463,1204,2161,3584,1691,2910,4145,5646, 6380,4018,4835,556,1060,1934,647)(165,329,640,1214,2179,3143,4756,2411, 3888,1164,2097,3498,878,1632,2822,2283,3726,5304,5948,2814,336,654,1240, 2224)(167,333,648,1228,2202,3636,3485,3354,384,739,1388,2451,3937,5480, 4152,5651,1791,1149,2074,2896,3502,5100,6182,3258)(169,337,656,1244,2232, 1815,3100,4706,5995,304,594,1133,2051,3261,4878,6080,5423,5106,6186,6388, 175,349,679,1285)(171,341,663,1255,2249,2147,1144,1303,2322,3779,5349, 4194,631,961,1767,3030,2020,3381,3249,794,1483,1049,1174,2112)(173,345, 671,1269,2271,3711,1569,2731)(177,353,684,1294,1674,2885,4480,5453,934, 1725,2965,1700,2925,4521,2598,509,971,1783,3050,3963,4294,3511,5107,947) (179,357,691,939,1731,2975,1274,2279,3011,4612,5944,6370,6074,6256,2022, 3383,4989,6132,5700,2767,4328,3125,4734,3986)(181,360,697,1316,1596,2768, 3134,4745,4541,5911,6030,2370,3844,5406,6306,4224,5708,1264,1328,2359, 3830,3166,2857,2087)(187,372,718,1353,2398,1463,2568,4077,5597,2213,3648, 5227,4629,916,902,1669,2876,4469,4122,3086,2262,3244,4862,6075)(189,197, 391,752,1083,1970,3319,4925,4453,5853,5989,6355,5979,2855,4443,5327,4943, 3752,5328,2942,1948,3285,4895,6088)(191,379,730,1372,2429,804,1502,2631, 4153,898,1662,2865,3690,5265,1659,2861,4452,5852,1574,477,911,421,808, 1509)(193,383,737,1384,481,919,1699,2923,1590,2757,574,1095,1986,3012, 4613,5156,5309,2376,3850,5080,1826,3115,4723,5064)(199,395,759,1426,2512, 4011,5548,2866,4458,5533,2748,3639,5219,5683,1235,544,1039,740,1390,2454, 1904,681,1288,2302)(201,399,766,1439,2533,3623,980,1798,3073,4016,1526, 2665,4200,5691,843,1572,1231,2208,2164,3589,5179,5990,4118,941)(207,410, 787,1473,2585,4098,4763,272)(211,416,799,1493,2460,3952,5491,1519,436, 835,1557,2710,4253,5734,3976,5516,6163,3349,4956,6116,4481,5455,1601, 2774)(213,420,806,1506,2639,4167,5661,1385,513,979,1797,3072,4674,2850, 4435,4239,5717,755,1418,2498,3345,1941,3276,4573)(215,424,813,1518,2657, 4192,1476,1511,2647,4179,5675,6384,3001,1784,3052,3208,3913,1623,662, 1253,2245,1324,2354,3801)(217,428,821,1533,2677,2449,3933,3424)(219,431, 827,1542,2690,4232,4184,5679,4978,6108,5140,5043,1411,390,750,1410,1336, 2371,552,1052,1920,3251,365,396)(223,438,838,1291,609,757,1422,2506)(233, 458,877,1630,2819,1293,2309,1867,1407,2482,3977,5517,3902,3866,3295,4489, 5789,6185,4343,5790,6269,6451,4632,1678)(235,286,559,1066,1944,2686,4225, 2976,3793,5363,2837,4419,3185,257,503,960,1765,3027,369,713,1343,2384, 3857,3356)(237,465,890,910,1683,703,1327,2357,3827,3270,1890,3212,4829, 6037,5958,4743,3762,5333,3515,5111,3303,4907,3876,5437)(239,469,897,1660, 2481,3975,5016,4899)(243,278,543,1037,1896,2205,1155,2084,3479,548,1046, 1910,3236,2121,2119,3527,5123,5299,6261,3018,2473,1953,376,724)(245,480, 917,1695,2917,4512,3619,5205,2138,3555,5150,6207,1819,1802,3078,2862, 3264,4542,1413,2491,2399,1189,1091,1979)(247,484,924,1707,2935,4534,5464, 280,547,1044,1907,3232,4852,3614,5199,2441,1837,3132,4742,1621,2805,4376, 5809,5449)(249,488,932,1721,388,747,1404,2476,3061,3341,4395,2770,701, 1323,2353,3127,4737,4853,2315,3771,5344,4451,5851,2882)(251,492,938,1730, 2974,3358,1111,2011,3370,959,1763,3025,4626,4499,3922,5467,1029,1883, 3204,2648,332,646,1225,2198)(253,496,946,1742,2993,4590,4523,824,1538, 2684,4010,5547,5811,2475,3969,5506,4235,1193,2146,3566,4580,5931,1125, 2036)(259,506,965,1772,3035,3414,5020,1034,1891,1262,2261,3699,3645,5223, 6231,4307,5766,6311,3183,1206,2165,3591,5182,2227)(261,510,973,500,954, 1757,407,782,1464,2569,4079,5598,4516,5895,4140,5641,5371,2825,4402,5830, 6187,6468,5534,6347)(263,514,852,1587,2754,4309,629,1196)(265,518,988, 1436,2530,4034,5567,3920,2517,4019,5554,5303,6011,2513,4012,5549,6290, 3732,5308,6262,3286,2156,2880,4372)(267,522,996,1760,3021,4482,639,1212, 2175,3603,3360,4968,5277,5664,3845,3638,5217,6193,3315,4921,5200,1773, 3036,1278)(269,526,1004,1840,3137,4751,1307,2328,3787,4088,3418,5025, 1063,1940,1704,2930,1510,2645,4176,5672,5596,4997,6137,5194)(274,535, 1022,1871)(276,539,1030,1885,2330,3789,5359,5477,1764,2830,4411,2332, 3792,3028,4323,3694,5270,5175,3817,5384,5984,4606,4387,3995)(282,551, 1050,1917,3246,4865,4657,5188,5754,6407,1848,3152,4765,6016,2243,3681, 4337,326,634,851,1585,2736,4285,1268)(284,555,1058,1295,1775,3039,4638, 5956,6165,1663,2867,4460,2501,3998,5537,2702,4245,5724,6397,2297,3745, 1752,3009,4609)(288,563,1074,1956,3157,3834,2413,3670,2720,4266,4210, 5697,5154,2490,3988,4335,3825,5392,3395,3275,1875,845,1575,2738)(292,571, 1090,1978,3329,2565,4072,5593,1098,1991,3247,4867,4841,3497,5094,6180, 6188,6324,2509,4008,5544,2425,3904,5425)(294,575,1097,1796,3070,4671, 5218,4664,5973,6097,6421,5981,587,1120,2028,3394,4999,5492,3031,3918, 4268,5581,6358,5821)(298,582,1110,2010,2166,3592,5183,1350,1163,1113, 2015,1247,2236,3674,3114,4722,1102,597,1139,2061,3443,5045,3029,2795) (300,586,1118,2025,3389,2002,3355,4962,4136,4883,4526,4545,5438,3635, 5215,3955,5496,6331,6281,1712,2943,2611,1320,2347)(306,598,1141,2064, 3446,4746,5904,1067,1946,2806,4378,1962,2383,3855,2427,3907,4866,2406, 3881,2959,2462,3953,5493,6001)(308,602,1148,2072,3101,4708,3940,4710, 5996,6450,5214,3408,4970,5729,5387,4193,1694,2915,1227,2200,2625,1115, 2019,3379)(310,606)(316,615,1171,2109,2613,4128,807,729,1371,2428,1036, 1895,2190,3620,2650,4182,5677,6232,3994,5532,6346,1468,2576,4086)(318, 618,1177,2118,929,1715,2949,4548,5916,1013,1857,1427,2514,4014,2761,4316, 4143,5153,5565,5508,6263,5531,6345,4254)(322,626,1190,1142,1346,2386, 3493,1921,3253,499,952,1753)(324,630,1198,2154,3575,5170,5883,5940,4993, 3107,4714,4459,5857,5514,5686,6386,2488,1877,3196,4815,758,1424,2056, 3436)(328,638,1210,2172,3599,5039,4820,6047,5358,3432,1889,2776,2996, 4594,2323,2366,3841,5403,6227,2098,2063,579,1105,1087)(330,642,1218,2186, 3616,2380,1205,2163,3588,5177,2952,4552,4464,4355,5778,5192,6225,6366, 4172,2678,4215,5701,6169,6466)(334,650,1232,2210,3646,5225)(340,661,1252, 2244)(342,665,1258,542,1035,1893,3213,1045,1909,3235,4855,3887,1100,1995, 2817,4325,2582,906,1676,2889,3804,350,680,1287)(344,669,1265,1741,2356, 3826,5393,6298,4251,5389,1156,2086,3483,5081,6175,2987,4583,2050,577, 1101,1997,3348,4954,2661)(346,673,1273,2277,2001,2983,2873,1756,3015, 1130,2046,3421,5027,6147,4022,5558,2638,4165,2361,3627,1457,858,1598, 2769)(348,677,1281,2291,3734,5312,3641,2455,3943,4259,5739,4319,1515, 2653,4185,4400,1933,3269,605,1154,2082,3476,2182,708)(354,686,1298,1211, 2174,2233,1990,800,1495,2618,4133,633,1203,2077,3467,2404,3878,4314,2875, 4468,5864,589,1124,2034)(356,689,1304,2324,3781,4783,6023,1537)(358,693, 1309,2331,3790,5360,5592,5632,6377,5057,5361,5721,5541,6349,2791,4358, 1153,1866,847,386,743,1396,2463,3594)(359,695,1312,2337,1789,3060,4660, 5969,5747,1804,3081,3577,3926,5471,4703,749,1408,1391,2456,3945,4887, 2415,2946,4544)(363,702,1325,493,940,1733,2979,4576,5929,6099,6445,4063, 3889,5196,4574,3367,4976,5930,6444,6234,6362,4448,2012,3372)(367,709, 1335,2369,3843,4107,4561,5241)(371,716,1349,2391,779,1458,1778,2027,3392, 3753,5329,3784,5355,6237,5261,2734,1033,987,1810,3091,4696,4805,4825,880) (375,722,1360,2410,3886,5441,6314,2832,3721,5298,4762,6015,5599,5238, 3617,1959,3301,4906,4653,4604,989,1812,3094,4700)(378,728,1369,2424,1552, 2704,2810,4383,5255,4642,5765,6181,5731,411,789,1477,2592,3719,5297,4892, 5689,6305,3195,4725)(380,732,1376,2436,3917,5461,2503,4001,5385,6297, 5084,2250)(392,754,1417,2497,1782,3049,4650,5947,3518,4467,4807,6038, 3822,5390,4931,6101,623,1184,2132,2926,4281,1852,3158,1744)(401,770,1444, 1160,1185,2134,862,1605,2780,4344,5302,5245,6125,5676,5682,4031,4021, 5557,3174,4791,607,1157,1945,3281)(405,778,1456,2559,4062,5588,6360,6081, 887,1644,2838,2646,3823,2167,1668,2874,4466,4161,3491,5090,4015,5552, 3697,5274)(409,785,1469,2578,4089,5605,453,867,1613,2254,710,1337,2373, 3846,5408,5725,5650,1015,1861,3173,4789,6028,3274,4625)(413,793,459,879, 1634,788,1475,2589,4102,5497,5126,6198,4142,2465,3504,4292,1858,3167, 4779,5815,6152,5267,5858,3677)(419,805,1504,2635,4160,5656,5718,4052) (425,815,1522,2659)(429,823,1536,2682,4221,5706,5474,6327,2133,3546,5143, 1065,1943,2961,2032,3400,5006,1445,2540,3252,4874,6079,2052,3431)(445, 672,1271,2275,1992,3342,4950,6113,4519,1567,2727,4274,4646,5466,2043, 3415,5021,6124,6460,6447,5800,4288,993,1820)(447,855,1593,2762,4318,4013, 3296,3441,5042,1207,1980,3331,3034,4633,5955,6275,5939,5582,5954,2285, 3729,3155,2722,4269)(449,859,1600,2773,4315,5774,6381,3859)(451,863,1607, 2783,4349,5796,3178,1982)(455,871,1059,1932,3267,3774,4212,5699,1886, 3207,3108,4716,1395,2461,2928,4524,5900,6130,6441,4651,5963,6420,5897, 3613)(457,875,1627,2815,491,937,1728,2971,3981,5522,2278,1043,1905,3228, 4847,6069,4728,5187,765,1437,2494,3992,4377,1722)(461,883,1639,2833,1348, 2389,2176,3605,5193,5927,6012,5933,4788,6027,3954,874,1625,2811,4385, 2577,1860,3171,4786,6026)(462,564,1076,1958,3299,1170,2107,3512,2374, 3848,5209,6228,2298,3746,5321,2672,4209,5696,2547,3552,4414,5836,1835, 3128)(464,888,1646,828,1544,2692,3863,4948,2471,3962,2049,3427,5033,1399, 2468,1356,2403,3744,5320,1879,3198,4818,2300,3749)(466,891,1651,1539, 2197,3628,5178,6219,3714,5292,4567,5307,5402,6304,6473,4738,6006,5823, 4188,5684,4553,5135,2793,4362)(474,907,1677,909,1681,2893,4488,1243,2230, 3667,5127,5767,4485,5875,3698,489,933,1723,2962,1089,1977,2397,3872,5432) (479,915,1692,1729,831,1550,2701,1370,2426,3905,5454,5844,1106,2003,3357, 4964,2716,4263,5742,6402,5633,5636,2602,2355)(485,926,1710,2940,4103, 5612,1975,3327,1306,2326,1665,2871,4374,2847,4431,4475,1850,687,1300, 2035,3404,5010,5579,6126)(487,930,1717,2953,3068,4670,4134,5637)(502,958, 1761,3022,4623,5951,2009,2274,3717,3568,5161,4214,4946,3095,1359,2408, 3884,2870,763,1433,2525,4027,3413,5019)(504,962,1769,3032,733,1377,527, 1006,1844,3144,1381,2443,3925,4877,5131,6199,5945,1315,2341,3805,1517, 1266,2267,2658)(505,964,1770,2452,3939,5482,4444,5848)(507,967,1776,3040, 4639,1005,1842,3140,4754,5609,5654,4585,4617,4132,2973,4571,1011,1853, 3160,2125,2372,3585,5176,6218)(515,982,1146,2069,3456,5060,4691,3924, 5469,5988,5409,6307,5545,3386,4624,4645,5961,5712,6393,5036,3797,5366, 2419,3896)(517,986,1808,832,685,1296,2313,3768,1821,3109,4717,5242,6213, 4186,5681,921,1472,2583,4094,3445,5049,5284,5171,5649)(523,998,1829,3119, 4727,1524,2662,4197,3882,1884,1983,3333,4105,771,591,1128,2042,2308,3763, 5335,6004,4190,1714,2947)(525,1002,1836,3130,4739,4305,5764,4085)(534, 1020,849,1581,2747,1197,2152,3571,3656,5235,3669,4236,3622,5208,5907, 5793,2786,2980,3014,4616,5671,5912,6379,3478)(536,1024,1874,3192,4810, 4533,5280,4961,5673,3630,4663,5972,5645,3742,5318,3429,4840,6062,3700, 5276,6253,3829,5395,6300)(538,1028,1881,3103,2643,3824,3365,1913,3242, 995,1824,1419,2500,796,1487,2106,2229,3666,5243,3778,3942,4814,5925,5813) (540,1032,1888,3209,4203,4736,576,1099,1993,3344,4952,4071,5251,6240, 5643,6373,6449,6057,1702,2927,1389,2453,3941,2184)(546,1042,1903,2519, 3840,3254,3609,3224,4842,5229,2634,4159,5655,6226,3041,4641,5391,5602, 6143,5630,3368,554,1056,1927)(558,1064,1942,3277,860,1602,2775,4336,5373, 6295,6332,4095,5608,3298,4905,4129,5634,6235,5578,5346,5624,2789,4356, 3305)(562,1072,1952,3290,4598,1108,2006,3363,4971,5749,5769,6410,5603, 5613,1758,3017,4581,2664,1405,2478,3972,5511,3712,5289)(566,1080,1965, 3310,4614,5946,4701,5992,2336,3798,5367,1966,3312,4918,1151,2078,3469, 1911,3238,2385,2994,4592,3862,1823)(568,1084,1580,2745,4298,5452)(570, 1088,1976,1614,1716,2951,4551,5918,5986,2368,2088,3486,2477,3971,5509, 3334,2797,4367,4741,2711,4255,5736,5250,6239)(572,1092,1981,3332,4940, 6106,5315,6266,6465,6167,3069,2467,3959,4750,1354,2400,3874,2654,4187, 2345,3811,5377,3847,4446)(581,645,1224,2196,3537,5133,5319,3582)(583, 1112,2013,1301,2318,2623,2417,1880,1191,2143,3561,5155,3706,5283,2090, 3488,5086,6177,2803,4375,3769,2095,3494,5092)(593,1131,2048,3425,5030, 1930,2041,3412,4223,3122,4730,3533,5128,4550,5917,4496,3686,5262,6248, 6424,6288,6459,6243,6276)(595,1135,2055,3434,5035,4363,2159,3272,3438, 5038,6070,3836,3529,5125,5604,6367,4861,3131,4740,4955,2636,742,1394,809) (599,1143,1582,2749,3692,5268,1641,2836,4417,5837,1038,1897,2801,4373, 5364,2599,4114,4790,6029,5168,6216,2211,2567,4076)(601,1147,2071,3460, 5065,3076,4678,637,1208,2168,3595,5186,6022,5818,5834,3633,1488,2608,719, 1355,1181,2126,3536,4462)(603,1150,2076,2343,3808,5374,1368,2423,3901, 5348,5732,5807,5459,983,1803,3080,4683,1362,2414,2004,3359,4966,1994, 2515)(612,1165,2099,3391,2216,3651,3191,2511)(614,1169,2105,3510,5105, 6184,6429,5503)(617,1175,2114,3451,3097,4704,4677,670,1267,2269,1652, 2849,4434,5845,3958,4345,4270,5744,2713,4258,5149,6206,1892,1387)(619, 1179,2122,1718,2955,4556,5698,4595,3663,3682,1416,2495,3307,1140,625, 1188,2139,3557,4042,3211,4828,5525,4000,5539)(621,1182,2128,3288,4898, 3010,4611,4685,2270,3709,5287,1556,1656,2856,4445,5849,651,1234,2214, 3625,4334,696,1314,2340)(627,1192,2145,3564,5099,3499,836,1559)(641,1216, 2183,3612,4610,4885,6082,5936,4547,5915,6077,4130,5635,6378,6417,4942, 2407,3883,966,1774,3038,4636,4321,4697)(643,1220,2189,2552,4055,2101, 3503,3154,3966,5504,6335,6463,4007,4388,5819,3410,5017,4173,2820,4394, 5824,1073,1954,3292)(653,1238,2221,1739,2988,4584,5934,5740,4252,5733, 6176,5347)(655,1242,2228,3665,1736,2984,2350,3818)(664,818,1527,2667, 4204,4536,5909,4507,3799,2526,4028,5562,2700,4244,5723,2531,3043,2694, 3501,5098,6151,4241,4092,4995)(666,1260,2258,2007,3364,976,1792,3064) (678,1283,2295,3201,4822,6049,6351,4973,2528,1023,1284,2296,3743,1599, 2771,2753,4308,3168,4780,5354,1333,1908,3234,4279)(683,1292,2307,3761, 3457,5061,1027,1245,2234,3671,4682,5413,6309,1528,2669,3895,1507,2641, 4170,4963,892,1653,2851,4437)(690,1305,1311,2335,3796,5365,6291,5863, 4597,4233,5714,6395,6284,4348,5343,2346,3813,4397,5827,4562,3473,3082, 4686,5987)(692,816,1523,1588,2459,3951,5490,2709,3218,4836,5479,6201, 6458,3088,4693,5451,3856,5256,6244,4972,1465,2571,4081,694)(698,1318, 2344,3809,5110,5829,5953,6446)(712,1341,2381,3657,5236,3266,3377,4984, 4719,5572,6356,4926,3300,1017,1865,3181,3849,5412,6168,2821,4396,5825, 3524,5117)(717,1351,2394,3867,2868,4461,5102,4729)(720,1357,2405,3879, 3051,4652,2944,3401,2808,4380,3120,1750,3005,4605,5941,1955,3294,4902, 4418,5838,4859,6073,3090,1031)(723,1361,2412,3833,2750,4303,5232,5500, 2016,3375,4982,5198,1825,1532,2676,1693,2913,4506,5890,4272,5746,5868, 6433,2968)(731,1374,2092,2985,2240,3678,5257,6246)(735,1081,1967,3314, 3435,5037,5709,6051,6452,4111,1870,3186,3898,5448,4503,5885,5622,5350, 2029,3396,5001,6139,4843,5561)(738,1386,2450,3935,5478,6328,1689,2906, 1862,3175,4793,5527,3373,4979,6127,6431,3791,753,1415,1650,2846,4430, 3159,4769)(744,1398,2466,3957,5499,3900,5450,5999,3217,1682,2895,4491, 5447,6192,4073,2978,4575,3997,5535,6254,3632,5213,925,1709)(746,1402, 1178,2120,3237,4201,4915,6096,5928,3906,5324,2401,1576,2740,4289,5755, 2135,3549,4075,5594,6363,6299,3912,5210)(760,1428,2516,4017,5553,6350, 6479,6428,5735,6399,5943,6293,6408,6475,6474,5050,6156,6353,5070,918, 1697,2921,4518,4975)(761,1430,2520,1270,2273,3715,1551,2703,4247,1051, 1919,3250,4871,1213,2177,3606,5152,4919,2201,3634,3229,4849,4731,5401) (769,1442,856,1595,2766,4326,5781,3313)(773,1449,2281,3724,2085,3481, 1215,2181,997,1827,3117,2558,4060,5586,1592,2760,3455,5059,1608,2785, 1628,1326,1077,1461)(775,1451,2550,4053,3054,4655,5966,6448,4667,4634, 5908,6369,6316,5234,5158,5513,2257,3695,5271,5427,1310,2333,1869,3105) (777,1455,2557,2902,4500,5884,6241,4607,2960,4563,1158,2089,3487,2073, 3462,4555,4543,3547,4357,5798,6418,6375,4370,4748)(783,1466,2572,4082, 4030,5563,6354,2966,4566,5147,6203,3932)(786,1471,2581,3868,5426,6046, 5620,4896,1558,2712,4256,5737,6111,5919,5886,6414,6480,4065,3820,5388, 2794,4364,5801,6368)(792,1480,2597,4112,2970,4568,5893,5914,5159,6209, 6470,4834,3110,2744,4296,5560,6352,4811,6041,6002,6391,6129,5228,6233) (798,1491,2612,4127,4246,5726,2834,3559,1330,1780,3046,4382,5814,4863, 3672,4591,5524,6341,2891,4486,1109,2008,3366,4974)(812,1516,908,1679, 1768,2627,4147,3919)(820,1531,2674,2660,4195,1882,3202,4680,5495,1317, 2342,1841,3139,4753,1833,3124,3200,1680,2435,3915,5275,6021,3757,4339) (826,1541,2688,4229,5667,3199,4819,5758,6342,4310,5768,5750,6405,6264, 2141,1872,3189,4808,4433,5843,4977,3006,4297,4930)(829,1546,2695,4237, 3861,5421,3330,4538,5910,3930,5224,5416,4206,5269,5850,2193,3624,4425, 1998,3350,4957,6118,6292,1887)(839,1564,2723,3978,4684,5022,5660,6150, 6157,5530,6344,3293,1604,2778,4340,5787,6123,6282,6457,6122,2799,4369, 5805,5913)(854,1591,2758,2655,4189,5685,5116,4198,5690,5666,5151,5501, 6334,3430,3544,1117,2023,3385,4992,5540,4391,4603,5826,6259)(870,1619, 2802,1937)(876,882,1637,2829,4409,2718,3999,5538,6301,5202,1168,2104, 3508,5103,5803,3071,4672,2067,3452,5056,6161,6392,4582,3506)(885,943, 1737,2737,4286,4888,5407,5785,6272,6454,2457,3947,4408,4886,2562,4067, 5590,5977,6423,5034,2726,3322,4929,3406)(900,1666,2681,4220,5705,5073, 5052,6158,5311,4908,6092,1434,2527,2136,3551,5146,5185,4733,3786,5356, 2782,3470,1233,2212)(904,1673,2883,4476,1486,2605,4120,5628,6247,5694, 4712,5998,3482,2062,3016,4234,5716,3842,5404,5439,2629,4151,5248,4760) (923,1705,2931,4527,4705,5994,2252,1971,3321,4927,6100,4967,1138,2059, 3440,4795,1915,3245,4864,6076,6109,5240,2992,4588)(927,1711,2779,4342, 2325,3783,5353,3928,5473,6326,4162,4715)(936,951,1751,3007,3182,4180, 4479,4821,6048,3420,5026,6146,6434,5808,6348,2292,3736,1459,2563,4069, 4166,5362,1743,2995)(945,1740,2990,3877,5164,6211,2934,4532,3037,4635, 5759,5521,6340,6476,4827,6053,4608,2058,3439,5040,4627,3206,4826,3340) (953,1755,3013,4615,5383,3812,5379,3507,2096,3496,4284,5751,6406,1706, 2933,4531,5905,4848,5325,1209,2170,3596,1467,2574)(955,1759,3019,4177, 1503,2633,4157,5653,3283,4894,2918,4514,5894,4724,3216,2911,4504,4890, 6083,6059,6427,1223,2194,1403)(968,1777,3042,4226,4492,5878,3748,4637) (970,1781,3048,2642,1055,1925,3257,4428,4707,5771,6411,6419,5810,5032, 5799,6302,1397,2464,3956,5498,2845,3903,3838,4688)(974,1788,3058,4659, 5231,4570,5341,6280,2619,4135,2286,2306,3759,2437,3226,2573,4083,3466, 4341,5788,6416,6195,3946,5486)(978,1795,1166,2100,3203,4216,5108,3704) (981,1800,3075,4676,5120,4113,5623,6315,4897,6017,5595,1951,3289,2560, 4064,4510,5631,6337,6404,5066,2173,3601,4299,5761)(1001,1834,3126,4735, 5652,5616,5952,3815,1429,2518,1793,3065,4666,5410,3565,5157,6208,1187, 2137,3553,5148,5795,4709,2784)(1003,1838,1474,2587,4100,5610,4257,3223, 3351,4958,4471,5867,1342,2382,3854,3138,4557,2898,4494,5880,1521,2479, 3973,1161)(1007,1846,3148,2033,3402,5009,4854,5510,3983,4282,2932,4529, 4353,5797,5903,4766,4295,2604,4119,5626,5313,6265,6472,6217)(1009,1849, 3153,1241,2226,3664,3362,4969,2765,4324,4839,2070,3458,5062,6164,3968, 5505,1530,2673,4211,4787,2140,3558,3647)(1019,1868,3184,4803)(1021,1423, 2508,4006,4798,6034,6453,6162)(1040,1899,3221,1352,2396,3870,5429,4175, 5670,3521,5115,6191,6443,6220,2303,3754,2827,3163,4773,6019,1620,2542, 1257,2253)(1048,1914,3243,4767,1612,2792,4360,3260,3737,5314,2505,4004, 4565,5926,5780,6415,2362,3835,5399,5137,3093,4699,5991,6323)(1057,1929, 3263,1610,2788,4354,5378,3996)(1061,1936,1670,2877,4470,5866,1331,2363) (1069,1949,3287,4126)(1079,1963,3306,4910,5575,6357,3716,5294)(1085,1972, 3323,3336,4287,5752,2698,1996,3346,1746,2998,1928,3262,4261,3188,3241, 1675,2887,3788,5357,6287,3780,5351,4043)(1096,1988,3133,4744,1505,2637, 4163,5657)(1123,1543,2691,4218,5703,3921,5465,5458,4785,6024,1482,2600, 3526,5121,6197,6382,3764,5041,4148,5648,6136,4093,4156,2187)(1136,2057, 3437,3652,2670,4207)(1172,2111,2741,4291,1549,2699,4242,5720,1708,2937, 2507,4005,5542,3475,4410,5835,2584,4096,5462,6322,2151,3113,4721,4416) (1226,1431,2522,4023,5559,5512,6336,1563,2721,4267,5091,5507,6103,5290, 1985,3335,4941,2755,4311,5770,2683,4222,3772,3795)(1229,2204,2804,2093, 2591,2991,1571,2733)(1259,2256,3693,4911,2675,4213,1443,2539,2492,3990, 5529,4620)(1280,2289,1446,2543,4047,1375,2434,3914)(1282,2293,3738,4505, 5888,5921,6245,2079,3471,5071,4513,5296,6258,3540,1414,2493,3991,3384, 4045,5419,6310,3950,3176,3993)(1286,2299,3747,5323,5055,5007,4048,5577) (1299,2316,3773,3311,4916,3059,1535,2680,4219,5704,6325,4283)(1308,2329, 1898,3219,4329,5226,5430,5024,4230,2936,4535,2905,4502,2864,4455,5220, 5727,5072,4549,4248,1923,3255,2348,3816)(1313,2339,3802,2594,4108,5618, 4171,5543,3970,5048,1649,2844,4429,3727,5306,5777,6119,3735,4649,5962, 5436,1373,2431,3909)(1340,2379,3852,1672,2881,2705,3047,4647)(1363,2416, 3893,5446,4873,2656,1931,3265,4880,4675,5980,4830)(1378,2439,3112,4720, 6003,2894,4490,5877)(1383,2447,3929,5475,5551,4665,5974,4846,6067,2364, 3837,5400,4178,5674,5113,3604,4474,5869,6145,4630,5434,4304,5763,6409) (1421,2504,4002,3280,4891,1766,2999,4599)(1452,2551,4054,3193,4812,6043, 4965,5382,5012,6142,6462,2878,4472,4781,5891,3755,2751,2127,3538,2083, 3477,5076,5468,3316)(1481,1586,2752,4306,3688,5263,5745,1635,2826,4404, 2938,4537,2912,4386,1724,2963,1565,2725,4273,4792,2696,4238,4436,5707) (1490,2610,4124,4384,3411,4351,3944,5485)(1492,2614,3728,4937,2536,4041, 1497,2622,4141,5642,3782,5352,6285,4078,2358,3828,4593,5938,2409,2693, 4026,2237,3675,5252)(1499,2626,3539,2276,3718,2272,3713,4985)(1501,2630, 3397,2180,3597,4456,5753,3320)(1547,2697,2546,4050,2438,3509,4398,4454, 5854,2469,3960,3165,4776,6020,6401,2746,4300,5587,2724,4271,2231,1647, 2402,3463)(1560,2715,4262,5487,6014,4389,2218,3654)(1578,2113,3520,5114, 4564,4870,6078,3684,5259,4809,5932,4837,5842,4243,4029,3531,5085,5134, 2892,4487,3563,3689,5264,6249)(1594,2764,4322,5779,6289,6320,5418,5611) (1626,2813,2024,3387,4994,5871,5000,5924,6413,5964,5983,6229,5075,3282, 4893,4275,3447,5051,2523,4025,5136,6200,1900,3222)(1638,2831,4413,1839, 3135,4747,6008,2065,3448,5053,6159,5515,6338,1845,3146,4759,4359,5293, 2948,4546,5002,5659,6283,5876)(1654,2853,4441,5847,3347,4953,3449,2596) (1661,2863,4117,5625,6223,6121,5216,4365,2327,3785,3587,5097,5960,6236, 3696,5272,3578,5172,6149,5494,5957,2280,3723,5301)(1685,2899,4495,4823, 6050,4857,5415,5896)(1687,2903,2268,3707,2215,3650,2601,4116,1807,3087, 4692,5568,4794,6032,2031,3398,5003,5104,6183,3858,3172,3593,5184,6222) (1698,2922,2679,4217,5519,2047,3423,5029)(1734,2981,3161,4770,4302,5762, 2640,4169,5665,3760,2541,4046,5576,5693,5832,4922,5239,4061,2759,3890, 5442,5861,5470,1916)(1748,3002,3444,5047,6155,6205,6312,6477)(1787,3057, 4658,5968,2444,3683,3892,5445)(1799,3074,2255,3691,5266,2920,4517,2393, 3084,4687,3560,3554,4449,5556,3807,5372,6190,4577,3231,2352,3821,5206, 6115,2615)(1813,3096,4702,4860,3814,5381,4381,5812)(1830,3079,4681,2848, 3369,2068,3454,5058,3987,2843,4427,2840,4423,5841,6425,4884,4654,5965, 6294,3572,5165,6212,6461,6372)(1926,3259,4711,4661,5585,6359,5483,6329, 3583,5174,2839,4421,5839,2039,3409,5015,5898,6135,6390,3701,3380,4987, 2554,4057)(1939,2260,2442,3923,4038,2924,4520,3607)(1964,3308,4913,6094, 4587,2816,4390,5820,5068,2160,2241,3679)(1989,3339,4947,2823,4399,2483, 3979,5520,6339,3170,4784,5338,3936,5394,2689,4231,5713,6394,5573,4980, 4856,6072,6456,4960)(1999,3352,2579,4090,3422,4935,5738,6400)(2066,3450, 5054,4091,5606,5093,6179,6467,6061,6455,5008,6140,4290,5757,6403,6422, 6438,5591,4628,5166,6214,5253,6242,6471)(2075,3464,2338,3800,5204,3500, 5096,6166)(2117,3525,5119,6194,3556,4228,5711,4150)(2144,3214,4831,6056, 5993,6279,6274,5014,4559,2199,3631,5212)(2207,3642,2652,3284,4003,4393, 5822,5405)(2209,3644,5222,6064,6371,4939,6105,4917)(2225,3662,4146,5647, 6085,5189,6224,4199,3570,5163,6210,3227,4845,6066,6098,5601,5831,6250, 6440,4578,2854,4442,2319,3775)(2265,3703,5279,6093,6031,5580,5607,4528) (2312,2474,3967,3910,5456,4832,3371,4643)(2388,3655,4312,5772,6412,5122, 4640,3810,5376,4903,4196,4101)(2392,3865,5424,4347,5794,5380,6173,3948) (2420,3180,4799,5345,3661,2433)(2422,3899,4332,5101,5802,3985,5526,6286) (2448,3931,5476,6089,3600,5190,3803,5369)(2549,4051,4648,5112,6189,3210, 4110,5621,2787,4352,5079,6174,6374,3767,5340,2812,3934,5118,5881,6052, 6171,3916,5460,6321)(2590,4104,4465,5862,5288,5639,6319,6160)(2609,4123, 5286,6255)(2621,4139,5640,6084,3741,5316,6267,5249,6238,3680,3268,2950) (2728,4276,4277,3720,4438,5846,6033,6000)(2730,4280,5144,6204,6469,5411, 6308,5181)(2890,3668,5246,5668,6252,5662,6383,3871,4497,4777,5899,6439) (2982,4579,3453,4621,5949,5855,2989,4586)(3092,4698,4457,4087,5211,3405, 5011,4125)(3116,3562,4879,4695,5244,5741,4850,6071)(3118,4726,4327,4800, 5901,3480,5078,4158)(3279,4084,5600,4484,5874,4097,4949,6112)(3399,5004, 4509,5247,6090,3492,4690,5715)(3574,5169,5282,4802,6036,6018,5817,5937) (3961,5031,5775,5782)(4882,5375,5528,6343,5971,6318,5791,5950)(5221,5336) (5570,5669,6040,6010);