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