bin1 := (1,2,4,7,11,18,28)(3,5,8,13,21,32,41)(6,9,15,23,35,27,40)(10,16,25,37,
     17,26,39)(12,19,29,42,55,73,97)(14,22,34,47,63,86,78)(20,30,43,57,76,98,
     124)(24,36,50,67,92,117,75)(31,44,59,79,100,127,159)(33,45,60,81,102,56,
     74)(38,52,69,95,121,152,72)(46,61,83,105,134,168,211)(48,64,87,94,119,
     104,133)(49,65,89,112,142,54,71)(51,68,93,118,91,115,146)(53,70,96,122,
     154,85,108)(58,77,99,125,157,197,253)(62,84,107,137,171,217,279)(66,90,
     114,144,181,231,299)(80,101,129,162,203,263,340)(82,103,132,166,209,272,
     352)(88,111,140,175,224,288,377)(106,135,169,213,274,355,461)(109,110,
     138,172,219,281,367)(113,143,179,229,295,385,493)(116,147,185,236,305,
     394,504)(120,150,189,243,314,408,523)(123,155,194,248,321,167,210)(126,
     158,199,256,329,183,234)(128,160,201,259,334,432,555)(130,163,204,264,
     342,444,252)(131,164,206,267,345,258,332)(136,170,215,276,359,466,599)
     (139,173,221,283,370,478,612)(141,176,225,289,379,488,266)(145,182,233,
     302,391,501,294)(148,186,238,307,398,510,644)(149,187,240,310,402,514,
     212)(151,190,245,316,410,153,191)(156,195,250,324,420,541,193)(161,202,
     261,337,437,562,693)(165,207,269,347,450,579,714)(174,222,285,372,482,
     618,765)(177,226,290,380,489,423,544)(178,227,292,383,491,228,293)(180,
     230,297,388,498,635,789)(184,235,303,392,502,287,375)(188,241,312,405,
     519,460,333)(192,247,319,414,532,665,822)(196,251,326,422,543,524,658)
     (198,254,327,424,546,674,834)(200,257,331,430,554,684,325)(205,265,344,
     446,573,706,533)(208,270,349,452,582,718,894)(214,275,357,463,595,734,
     915)(216,277,361,401,298,389,301)(218,280,365,473,606,750,935)(220,282,
     369,477,611,758,343)(223,286,374,485,622,772,963)(232,300,356,462,594,
     732,376)(237,306,396,507,318,412,529)(239,308,399,512,647,506,431)(242,
     313,360,467,600,740,924)(244,315,409,525,660,817,1025)(246,317,411,528,
     664,821,1031)(249,322,417,537,671,831,1042)(255,328,426,549,677,837,1045)
     (260,335,434,558,687,851,1065)(262,338,439,565,696,864,1081)(268,346,449,
     577,712,885,1109)(271,350,454,585,721,899,1128)(273,353,458,590,384,492,
     630)(278,362,469,602,744,397,508)(284,371,480,615,762,952,1192)(291,381,
     448,575,709,881,1104)(296,386,495,632,784,981,1231)(304,387,496,509,407,
     521,531)(309,400,393,503,640,795,995)(311,403,516,651,805,1007,1261)(320,
     415,534,667,825,1034,1298)(323,418,538,672,832,1043,1309)(330,428,551,
     680,841,1051,1319)(336,435,559,689,853,1069,1342)(339,440,566,697,866,
     676,835)(341,442,568,700,749,413,530)(348,451,581,717,892,1119,382)(351,
     455,586,722,901,1130,1416)(354,459,592,729,910,1032,1294)(358,464,597,
     736,919,1149,1436)(363,470,457,588,725,906,1137)(364,471,604,746,931,
     1167,1458)(366,474,607,751,936,1171,1464)(368,475,608,753,939,1176,1472)
     (373,483,619,767,958,1198,1504)(378,438,563,694,860,1076,1353)(390,499,
     636,557,686,733,913)(395,505,642,797,998,589,726)(404,517,652,807,1010,
     1264,1588)(406,520,656,813,1019,1279,1607)(416,535,668,827,1037,1303,
     1633)(419,539,522,657,814,1020,1281)(421,542,526,661,818,1027,858)(425,
     547,456,587,723,903,1133)(427,486,623,773,965,1209,1520)(429,552,681,843,
     1054,1323,1659)(433,556,685,849,1062,1335,1676)(436,560,691,855,933,1169,
     1461)(441,567,698,867,874,1093,675)(443,569,702,871,1090,1369,1719)(445,
     571,704,875,1095,1374,955)(447,574,708,880,1102,1384,545)(453,583,719,
     896,1124,1409,1428)(465,598,738,922,1154,1441,1803)(468,601,742,926,1160,
     1449,1814)(472,605,748,934,1170,1463,1831)(476,609,755,942,1179,1477,
     1846)(479,613,760,948,1188,1488,1862)(481,616,763,953,1123,1407,1760)
     (484,620,769,960,1202,1509,1889)(487,624,775,968,888,666,823)(490,627,
     778,973,1219,1532,1414)(494,631,782,979,1228,1543,513)(497,634,787,984,
     711,883,1106)(500,637,791,989,1239,633,785)(511,645,798,716,890,1116,
     1400)(515,649,802,1003,1256,1578,1970)(518,653,809,1013,1269,1594,1992)
     (527,662,679,839,1049,1316,1649)(536,669,806,1008,1262,1243,1561)(540,
     673,833,964,1207,1517,1898)(548,625,776,970,1214,870,1089)(550,678,838,
     1047,1313,1644,641)(553,682,845,1057,1328,1666,2075)(561,692,857,1074,
     1349,1694,2110)(564,695,862,1078,1357,1581,1361)(570,703,873,1092,1372,
     1722,2140)(572,705,877,1098,1378,1730,2151)(576,710,882,1105,1387,1739,
     2163)(578,713,887,1112,1395,900,1129)(580,715,889,1114,1397,1142,1427)
     (584,720,898,1127,1413,865,1082)(591,727,907,1139,1423,1778,2199)(593,
     730,911,1143,1429,1784,2205)(596,735,917,1148,1435,1793,2219)(603,745,
     930,1166,1457,1826,2251)(610,756,943,1181,1479,1850,2283)(614,761,950,
     1190,1492,1867,2306)(617,764,954,1194,1498,905,1135)(621,770,743,927,
     1162,1451,1817)(626,777,971,1216,1528,1912,1132)(628,779,975,1222,1535,
     1922,2365)(629,780,976,1223,1536,1901,2343)(638,792,991,1241,1558,1552,
     1943)(639,793,993,1244,1563,1953,2394)(643,655,811,1017,1275,1602,2003)
     (646,799,999,1250,1568,1958,2399)(648,801,1001,1253,1573,1964,914)(650,
     803,1005,1258,1582,1975,2420)(654,810,1015,1272,1598,1998,2448)(659,816,
     1023,1286,1068,1341,1297)(663,819,1028,1290,1620,2024,2477)(670,829,1039,
     1305,1635,2040,2497)(683,846,1059,1330,1668,2079,2542)(688,852,1067,1340,
     1682,1972,2416)(690,854,1071,1345,1688,2100,2571)(699,868,1086,1363,1711,
     2130,2611)(701,869,1088,1366,1716,1864,2301)(707,878,1099,1379,1732,1064,
     1337)(724,904,1134,1419,1771,2190,2677)(728,908,941,1178,1476,1845,2278)
     (731,912,1145,1431,1786,2209,2698)(737,920,1151,1276,1603,2005,2454)(739,
     923,1156,1444,1807,1399,1751)(741,925,1158,1447,1811,2235,1933)(747,932,
     1168,1459,1828,2254,2758)(752,937,1173,1467,1835,2265,2774)(754,940,1177,
     1474,1842,2275,2788)(757,944,1183,1481,1853,2287,2806)(759,946,1185,1484,
     1857,2294,2816)(766,956,1195,1500,1704,2122,2600)(768,959,1200,1506,1885,
     2326,2861)(771,962,1205,1514,828,1038,1304)(774,966,1211,1522,1904,2347,
     1083)(781,977,1225,1539,1927,2370,2913)(783,980,1230,1360,1708,1295,1624)
     (786,983,1234,1549,1940,2002,2451)(788,985,972,1217,1529,1913,2353)(790,
     987,1237,1553,1944,2383,2927)(794,994,1246,1009,1263,1497,1873)(796,996,
     1247,1565,1954,2277,2065)(800,1000,1252,1571,1962,2404,2948)(804,1006,
     1260,1585,1979,2426,2975)(808,1011,1266,1590,1986,2435,1911)(812,1018,
     1277,1604,2007,2456,1772)(815,1021,1283,1611,2013,2463,1417)(820,1029,
     1291,1621,1126,1411,1764)(824,1033,1296,1626,2028,2481,3037)(826,1035,
     1300,1628,2032,2487,1909)(830,1040,1306,1636,2041,2447,3002)(836,1044,
     1311,1640,2044,2501,3062)(840,1050,1318,1652,2057,2516,3079)(842,1052,
     1321,1655,2061,1584,1977)(844,1055,1325,1661,2069,2530,3098)(847,872,
     1091,1370,1308,1282,1609)(848,1060,1332,1671,2083,2549,3123)(850,1063,
     1336,1391,1742,2165,2649)(856,1072,1346,1690,2103,2453,3008)(859,1075,
     1351,1697,1115,1398,1750)(861,1077,1355,1702,2119,2596,3180)(863,1079,
     1358,1268,1593,1990,2438)(876,1096,1375,1725,2144,2626,3220)(879,1100,
     1381,1734,2157,2641,2791)(884,1107,1390,1741,2164,2647,3245)(886,1110,
     1393,1744,1538,1925,2367)(891,1117,1401,1754,2176,2661,3262)(893,1120,
     967,1212,1524,1619,2023)(895,1122,1406,1758,2181,2668,3273)(897,1125,
     1410,1763,1227,1541,1931)(902,1131,1418,1769,2188,1293,1623)(909,1140,
     1425,1780,2202,2692,3296)(916,1146,1432,1788,2211,2701,3304)(918,921,
     1152,1439,1799,2224,2717)(928,1163,1452,1819,2241,2740,3345)(929,1164,
     1454,1821,2244,2745,3351)(938,1174,1469,1838,2269,2779,3396)(945,969,
     1213,1525,1908,2350,1677)(947,1186,1485,1858,2296,2819,3436)(949,1189,
     1490,1865,2302,2827,3448)(951,1191,1494,1869,2309,2836,3458)(957,1196,
     1502,1878,1656,2062,2523)(961,1203,1511,1892,2334,2872,3504)(974,1220,
     1533,1919,2361,2903,1385)(978,1226,1540,1929,2372,2789,3407)(982,1232,
     1546,1936,1229,1544,1934)(986,1236,1551,1942,2381,2882,3515)(988,1238,
     1555,1475,1843,1118,1402)(990,1240,1557,1947,2387,1861,1881)(992,1242,
     1560,1950,2389,2932,1956)(997,1248,1012,1267,1592,1989,2186)(1002,1254,
     1575,1967,2411,2958,3595)(1004,1257,1580,1973,2418,2967,3032)(1014,1270,
     1595,1993,2441,2931,2688)(1016,1273,1499,1874,2315,2844,2734)(1022,1284,
     1613,2015,2465,1041,1307)(1024,1287,1615,2018,2469,3021,3670)(1026,1288,
     1617,2020,2472,3024,1781)(1030,1292,1622,2025,2479,3033,3685)(1036,1301,
     1630,2034,2490,3049,2720)(1046,1312,1642,2047,2506,3069,2803)(1048,1314,
     1646,2051,1339,1680,2090)(1053,1322,1657,2063,1586,1980,2428)(1056,1326,
     1663,2071,2533,3028,3680)(1058,1087,1364,1713,2133,2614,1632)(1061,1333,
     1673,2085,2551,1747,2169)(1066,1338,1679,2088,2555,3128,3787)(1070,1343,
     1685,2095,2563,2757,3367)(1073,1347,1692,2106,2580,3159,3826)(1080,1359,
     1707,2125,2604,2638,3236)(1084,1362,1709,2127,2607,3194,3219)(1085,1150,
     1437,1796,2222,2715,3321)(1094,1368,1718,2138,2619,3210,1519)(1097,1376,
     1727,2147,2630,3226,3899)(1101,1382,1736,2160,1111,1394,1745)(1103,1235,
     1550,1941,2380,2925,2908)(1108,1182,1210,1521,1903,2346,2888)(1113,1396,
     1748,2171,2655,3253,2914)(1121,1404,1756,2177,2663,3265,3061)(1136,1420,
     1773,2192,1531,1916,2357)(1138,1421,1775,2194,2682,1371,1720)(1141,1426,
     1782,2203,2693,2805,3421)(1144,1430,1785,2207,2696,3299,3975)(1147,1433,
     1790,2214,2706,3312,3992)(1153,1440,1801,2226,2189,2675,3281)(1155,1442,
     1805,2231,2727,3332,4016)(1157,1445,1808,2234,2579,3157,1648)(1159,1448,
     1812,2236,2733,3337,3675)(1161,1450,1815,2238,2736,3339,1643)(1165,1455,
     1823,2246,2748,3356,4042)(1172,1465,1833,2261,2768,3380,4075)(1175,1470,
     1839,2270,2781,3399,4097)(1180,1478,1848,2280,2795,2936,1389)(1184,1482,
     1854,2289,2809,3425,4128)(1187,1486,1859,2297,2821,3439,4147)(1193,1496,
     1872,2312,2842,3465,4178)(1197,1503,1880,2321,2853,3480,4196)(1199,1505,
     1883,2324,2858,3486,4204)(1201,1507,1887,2328,2863,3493,1798)(1204,1512,
     1894,2336,2876,1412,1765)(1206,1515,1896,2339,2880,3514,2150)(1208,1518,
     1900,2342,1564,1460,1829)(1215,1527,1910,2351,2894,3529,2161)(1218,1530,
     1915,2356,2899,3535,4251)(1221,1534,1921,2364,2907,3542,1755)(1224,1537,
     1924,2366,2909,3543,2206)(1233,1547,1937,2375,2920,3551,4267)(1245,1392,
     1743,2166,2651,3248,3921)(1249,1567,1957,1852,2286,2804,3420)(1251,1569,
     1959,2401,2944,3578,2048)(1255,1576,1969,2413,2961,3598,4323)(1259,1583,
     1976,2422,2970,3611,4340)(1265,1589,1984,2433,2984,2676,3282)(1271,1596,
     1995,2443,2997,1658,2064)(1274,1600,2000,2450,2476,3030,3682)(1278,1605,
     1699,2115,1310,1638,1810)(1280,1608,1952,2392,2937,3567,4284)(1285,1614,
     2017,2468,3019,3667,4404)(1289,1618,2022,2475,3029,2012,2461)(1299,1627,
     2030,2484,3041,3692,1770)(1302,1631,2036,2492,3052,3704,4364)(1315,1647,
     2053,2021,2473,3026,3677)(1317,1650,2054,2512,3073,3723,4455)(1320,1653,
     2059,2519,3084,3737,4474)(1324,1660,2067,2528,3094,3749,2035)(1327,1664,
     2073,2535,3020,3668,4294)(1329,1667,2077,2539,3110,3765,1526)(1331,1669,
     2081,2545,3119,3776,4519)(1334,1674,2086,2552,3126,3785,3461)(1344,1686,
     2097,2566,3143,3808,4557)(1348,1693,2108,2583,3163,1629,2033)(1350,1695,
     2112,2587,3167,3836,4593)(1352,1698,2114,2590,3171,3223,1577)(1354,1700,
     2117,2593,3176,3849,4612)(1356,1703,2121,2598,3184,3858,4624)(1365,1714,
     2134,2615,3204,3880,4648)(1367,1717,2137,1794,2220,2713,3319)(1373,1723,
     2141,2622,3214,3890,1923)(1377,1728,2148,2632,3229,3902,4674)(1380,1733,
     2155,2639,3238,3911,1721)(1383,1737,2162,2645,2105,2578,3156)(1386,1738,
     1768,1783,2204,2694,3298)(1388,1740,1818,2240,2739,3344,2393)(1403,1480,
     1851,2285,2802,3419,3036)(1405,1757,2179,2666,3270,3949,4723)(1408,1761,
     2184,2672,3278,3958,4732)(1415,1767,2187,2674,3280,3961,4736)(1422,1776,
     2196,2684,3289,3778,4521)(1424,1779,2201,2691,3294,2799,3415)(1434,1791,
     2216,2709,2767,3378,4072)(1438,1797,1572,1963,2406,2951,3585)(1443,1806,
     2232,2729,3334,2950,3584)(1446,1809,2004,2452,3007,3654,4390)(1453,1820,
     2243,2743,3349,4035,1616)(1456,1824,2248,2751,3361,4048,4841)(1462,1830,
     2257,2762,3372,4062,4857)(1466,1834,2263,2771,3385,3658,4029)(1468,1836,
     2266,2775,3389,4085,2360)(1471,1495,1870,2310,2838,2340,2881)(1473,1840,
     2272,2783,2369,2911,2384)(1483,1855,2291,2811,3429,4134,4939)(1487,1860,
     2298,2822,3440,4149,4952)(1489,1863,2300,2825,3445,3552,4268)(1491,1866,
     2304,2830,3452,4160,4968)(1493,1868,2307,2833,3454,4163,4971)(1501,1876,
     2318,2849,3474,4189,2221)(1508,1888,2330,2865,3496,4211,5026)(1510,1890,
     2332,2868,3500,4215,1766)(1513,1895,2338,2878,1687,2098,2568)(1516,1897,
     2341,2883,3517,1683,2093)(1523,1905,2230,2725,3330,4014,4695)(1542,1932,
     2373,2917,3547,4116,4796)(1545,1935,2374,2918,3548,4262,5078)(1548,1938,
     2376,2921,3553,4269,5082)(1554,1945,2385,2928,3558,4273,5087)(1556,1946,
     2386,2929,3559,4274,2912)(1559,1948,2242,2741,3346,4032,4823)(1562,1951,
     2391,2935,3565,4282,5096)(1566,1955,2397,2940,3571,4289,2462)(1570,1960,
     2146,2628,3224,3240,2525)(1574,1965,2408,2953,3588,4310,1787)(1579,1971,
     2415,2963,3602,4327,5139)(1587,1981,2429,2978,3621,4353,5170)(1591,1987,
     2436,2988,3634,4369,5186)(1597,1996,2445,2999,3566,4283,5097)(1599,1999,
     2449,3005,3653,4389,1795)(1601,2001,1705,2123,2602,3188,3861)(1606,2008,
     2457,3010,3656,3482,4199)(1610,2011,2460,3014,3661,4397,5215)(1612,2014,
     2464,3016,3663,4400,5219)(1625,2026,2039,2495,3056,3516,4231)(1634,2038,
     2494,3054,3237,3910,4683)(1637,2042,2390,2933,3562,4279,5092)(1639,2043,
     2432,2982,3628,4363,5180)(1641,2045,2503,3065,3715,4339,5153)(1645,2049,
     2508,3072,3722,4453,5275)(1651,2055,2513,3074,3725,4457,5278)(1654,2060,
     2521,3087,3740,4479,5310)(1662,2070,2532,3101,3756,4498,4787)(1665,2074,
     2537,2478,3031,3683,4416)(1670,2082,2547,3121,3779,4522,5361)(1672,2084,
     2550,3125,3783,4526,2857)(1675,1706,2124,1920,2362,2904,2378)(1678,2087,
     2554,2623,3215,3891,2329)(1681,2091,2558,3132,3792,4536,5376)(1684,2094,
     2561,3137,3798,4543,4002)(1689,2101,2573,3150,3814,4566,5415)(1691,2104,
     2577,3155,3822,4577,5428)(1696,2113,2589,3169,3840,2156,2640)(1701,2118,
     2595,3178,3852,4616,5472)(1710,2128,2609,3196,1777,2197,2686)(1712,2131,
     2612,3201,3875,4643,4784)(1715,2135,2616,3206,3883,4653,5511)(1724,2142,
     2624,3217,3753,4495,5329)(1726,2145,2627,3222,3896,4667,5518)(1729,2149,
     2634,3231,3904,4676,5530)(1731,2152,2635,3232,3671,4407,5229)(1735,2158,
     2643,3243,3914,4688,5504)(1746,2168,2652,1939,2377,2922,3554)(1749,2172,
     2656,3254,3929,4703,3974)(1752,2174,2658,3257,3934,4200,2731)(1753,2175,
     2660,3260,3938,4711,5072)(1759,2182,2670,3276,3955,4730,5591)(1762,2185,
     2253,2756,3366,4054,4848)(1774,2193,2681,3285,3964,4741,5602)(1789,2212,
     2703,3307,3985,4766,5431)(1792,2217,2710,3315,3997,4781,5646)(1800,2225,
     2719,3325,4007,4797,5662)(1802,2227,2722,3327,4010,2989,3635)(1804,2229,
     2724,3329,4013,3652,2052)(1813,2237,2191,2678,1988,2437,2990)(1816,2239,
     2737,3341,4028,4818,5685)(1822,2245,2747,3354,4040,4834,1949)(1825,2249,
     2753,3362,4049,4842,3640)(1827,2252,2755,2841,3463,4175,4983)(1832,2259,
     2765,3376,4068,4863,2900)(1837,2267,2776,3391,4088,3055,3706)(1841,2273,
     2785,3403,4103,4903,3497)(1844,2276,2790,2027,2480,3035,3687)(1847,2279,
     2793,3409,4110,4910,5782)(1849,2281,2797,2860,3489,4206,5017)(1856,2292,
     2813,3432,4138,4945,5823)(1871,2311,2840,3462,4173,4592,5450)(1875,2316,
     2846,3469,4184,4992,5872)(1877,2319,2851,3476,4191,5001,5882)(1879,2320,
     2852,3478,4194,5005,5888)(1882,2322,2855,3483,4201,5012,2223)(1884,2325,
     2859,3488,3202,3876,2250)(1886,2327,2862,3492,4208,5020,5904)(1891,2333,
     2870,3502,4219,3413,4114)(1893,2335,2874,3506,4223,5037,2633)(1899,2126,
     2605,3192,3865,4633,4169)(1902,2344,2885,3519,4234,4822,5549)(1906,2348,
     2891,3525,4241,2159,2644)(1907,2349,2892,3527,4243,5062,5954)(1914,2354,
     2897,3533,4249,5068,2601)(1917,2358,2648,3246,3917,4692,5547)(1918,2359,
     2901,3537,4252,5070,5961)(1926,2368,2910,3544,4257,5075,5965)(1928,2371,
     2915,3545,4258,4849,5712)(1930,2173,2657,3256,3932,4706,5566)(1961,2402,
     2946,3580,4300,4746,5608)(1966,2409,2955,3590,4313,2518,3082)(1968,2111,
     2586,3166,3835,4591,5449)(1974,2419,2608,3195,3867,4635,2889)(1978,2424,
     2972,3613,4344,5159,3097)(1982,2430,2979,3623,4355,5172,6061)(1983,2431,
     2981,3626,4360,5067,5959)(1985,2434,2986,3632,4367,4626,5480)(1991,2439,
     2993,3639,4373,5191,6076)(1994,2442,2996,3644,4379,5199,5691)(1997,2446,
     3001,3650,4386,5205,6092)(2006,2455,3009,3655,3154,3820,4575)(2009,2458,
     3012,3659,4394,5211,6100)(2010,2037,2493,3011,3657,2826,3446)(2016,2466,
     3017,3665,4402,5221,4662)(2019,2470,3022,3672,4408,3825,4581)(2029,2482,
     3039,3689,4422,2606,3193)(2031,2485,3043,3695,3908,4680,5535)(2046,2504,
     3066,3716,3068,3718,4450)(2050,2509,2467,3018,2778,3394,4091)(2056,2514,
     3076,3728,4461,5285,6167)(2058,2517,3081,3733,4468,5294,2850)(2066,2526,
     3091,3746,4484,4000,4786)(2068,2529,3096,3752,4494,5328,6213)(2072,2534,
     3104,3759,4501,5334,4847)(2076,2538,3109,3763,4506,5300,6185)(2078,2540,
     3112,3768,4510,5345,6230)(2080,2543,3116,3772,4515,5353,3484)(2089,2556,
     3130,3789,4533,5373,6261)(2092,2559,3134,3513,4229,5045,5374)(2096,2564,
     3141,3804,4553,5398,6293)(2099,2569,3146,3810,4561,5408,6303)(2102,2574,
     3151,3816,4568,2985,3630)(2107,2581,3161,3829,4585,5437,6337)(2109,2584,
     2966,3605,4332,4949,4831)(2116,2591,3173,3845,4605,5464,6366)(2120,2597,
     3182,3856,4620,5475,6382)(2129,2610,3198,3871,4639,5497,6402)(2132,2613,
     3203,3878,4646,5429,6327)(2136,2617,3208,3886,4656,5515,6418)(2139,2620,
     3211,3888,3490,3295,2167)(2143,2625,3218,3895,4665,5522,5725)(2153,2636,
     3233,3906,4678,5054,5948)(2154,2637,3235,3909,4682,4645,5503)(2170,2654,
     3251,3926,4702,5560,6454)(2178,2664,3267,3945,4717,5368,6257)(2180,2667,
     3272,3951,4726,5585,5555)(2183,2671,3277,3957,4731,2293,2814)(2195,2683,
     3287,3967,4744,5606,6503)(2198,2687,2396,2939,3569,4286,4901)(2200,2689,
     3291,3970,4748,4023,4814)(2208,2697,3301,3978,3003,2352,2895)(2210,2699,
     3303,3980,4759,5262,5134)(2213,2704,3309,3987,4769,4304,5114)(2215,2707,
     3313,3994,4777,5640,6040)(2218,2711,3316,3998,4783,5649,6548)(2228,2723,
     3328,4011,4802,5669,6051)(2233,2730,3336,4022,4813,5682,6583)(2247,2749,
     3358,4044,4839,5704,6036)(2255,2759,3368,4055,4850,5714,6614)(2256,2760,
     3369,4057,4609,3920,4694)(2258,2763,3373,4064,4859,5726,6626)(2260,2766,
     3377,4070,2486,3044,2873)(2262,2769,3382,4078,4872,5744,6646)(2264,2772,
     3386,4082,4878,5750,6654)(2268,2777,3393,4090,4887,5763,6666)(2271,2782,
     3401,4100,4899,5773,6679)(2274,2786,3405,4105,2531,3099,3754)(2282,2798,
     3414,4115,4917,5790,6693)(2284,2800,3417,4117,4918,2524,3089)(2288,2807,
     3423,4125,4928,5802,6704)(2290,2810,3427,4131,4935,5811,6715)(2295,2817,
     3434,4141,4261,5077,5968)(2299,2823,3442,4151,4956,5834,6744)(2303,2828,
     3450,4158,4964,5843,6756)(2305,2831,3275,3953,3564,4281,4424)(2308,2834,
     3456,4166,4278,5090,3694)(2313,2398,2941,3573,4292,5105,5988)(2314,2843,
     3467,4181,2824,3443,4153)(2317,2847,3471,4187,4996,5877,6788)(2323,2856,
     3485,4203,5014,5900,6808)(2331,2866,3498,4213,5028,5913,5109)(2337,2877,
     3510,4226,5041,5932,3045)(2345,2886,3521,4237,5051,5946,6858)(2355,2898,
     2646,3244,3916,4691,5545)(2363,2905,3539,3557,4272,5085,5974)(2379,2923,
     3555,4270,5083,5973,4725)(2382,2926,2837,3459,4170,4977,5856)(2388,2930,
     3560,4276,4321,3678,4413)(2395,2938,3568,4285,5099,5984,6884)(2400,2942,
     3575,4295,5106,4826,5690)(2403,2947,3582,4303,4969,5529,6427)(2405,2949,
     3583,4305,5116,5998,2752)(2407,2952,3587,4309,5120,6002,6900)(2410,2956,
     3592,4316,5128,6011,6912)(2412,2959,3596,4320,5132,6015,3239)(2414,2962,
     3600,4324,5135,6019,6921)(2417,2965,3604,4330,5142,6030,2570)(2421,2968,
     3608,4335,5148,4374,4663)(2423,2971,3612,4342,5156,6046,3893)(2425,2973,
     3614,4345,4990,2541,3113)(2427,2976,3618,4348,5164,4805,5673)(2440,2994,
     3641,4375,5193,6079,5216)(2444,2998,3647,4383,5203,6090,5420)(2459,3013,
     3660,4396,5214,4489,3894)(2471,3023,3674,4410,2474,3027,3679)(2483,3040,
     3691,4425,5243,3664,4401)(2488,3046,3697,4429,5247,6102,6997)(2489,3047,
     3698,4431,3879,4647,5505)(2491,3050,3701,4435,5255,4666,4414)(2496,3057,
     3509,4224,5039,5929,6842)(2498,3058,3709,4440,5261,3885,4655)(2499,3059,
     3711,4443,4122,4923,5796)(2500,3060,3712,2679,3187,3860,4627)(2502,3063,
     3713,4445,5266,6148,2845)(2505,3067,3717,4448,5269,6153,7043)(2507,3070,
     3720,4451,5272,6156,4387)(2510,2864,3494,4209,5022,5906,6817)(2511,2890,
     3523,4239,5055,5950,4306)(2515,3077,3729,4462,5286,4288,5102)(2520,3085,
     3738,4476,5306,6189,7086)(2522,3088,3742,3784,4527,4844,5708)(2527,3092,
     3747,4486,5319,6205,7104)(2536,3106,3761,4503,5338,6222,3508)(2544,3117,
     3773,3915,4689,5543,6440)(2546,3120,3719,3129,3788,4531,5371)(2548,3122,
     3781,4523,5362,6249,7152)(2553,3127,3786,4530,5369,6258,7160)(2557,3131,
     3791,4291,3724,4456,4449)(2560,3135,3795,4539,5380,6269,7171)(2562,3138,
     3800,4546,5389,6281,3966)(2565,3142,3806,4555,5402,3242,3913)(2567,3144,
     3809,4559,3475,4190,4999)(2572,3148,3812,4563,5411,6308,4737)(2575,3152,
     3818,4571,5421,6319,7226)(2576,3153,3819,4573,5423,6321,7229)(2582,3162,
     3831,4587,5441,4167,4975)(2585,3164,3832,4588,5443,5680,6580)(2588,3168,
     3838,4595,2906,3540,3928)(2592,3174,3847,4608,4497,5331,6216)(2594,3177,
     3850,4613,3922,4696,5550)(2599,3185,3340,4026,4817,5684,4025)(2603,3189,
     3862,4629,5484,5086,5975)(2618,3209,2829,3264,3464,4176,4984)(2621,3212,
     3889,4660,5519,6422,7323)(2629,2700,2773,3387,4083,4879,5752)(2631,3227,
     3390,4086,4882,5757,6659)(2642,3241,3912,4685,5540,6436,4421)(2650,3247,
     3919,4693,5548,6443,6775)(2653,3249,3923,4698,5553,6448,4733)(2659,3258,
     3935,4707,3271,3950,4724)(2662,3263,3941,4712,5571,6463,3780)(2665,3268,
     3946,4719,5579,6214,7113)(2669,3274,3952,4727,5587,6482,2815)(2673,3279,
     3959,4734,5595,6490,7387)(2680,3283,3962,4738,5598,6494,7389)(2685,3290,
     3969,4747,5609,6505,7401)(2690,3292,3971,4750,5612,6508,7403)(2695,2754,
     3363,4051,3645,4380,4107)(2702,3305,3982,4762,5625,6023,6925)(2705,3310,
     3989,4019,3526,4242,5060)(2708,3314,3996,4780,5644,6544,7443)(2712,3317,
     3662,4398,5217,6104,6998)(2714,3320,4001,4788,5652,6552,5008)(2716,3322,
     4003,4790,5655,6556,7451)(2718,3323,4005,4793,5659,4806,3107)(2721,3326,
     4008,4799,5665,6564,7460)(2726,3331,4015,3636,4370,5187,6072)(2728,3333,
     4018,4809,5676,6575,7088)(2732,2893,3528,4245,5064,5957,6867)(2735,3111,
     3766,4508,5343,2987,3633)(2738,3342,3536,2875,3507,3103,3758)(2742,3347,
     4033,4825,5689,6590,7480)(2744,3350,4036,4828,5694,5532,6429)(2746,3352,
     4037,4830,5697,5147,6035)(2750,3359,4046,4840,5706,4681,5536)(2761,3370,
     4059,4854,5720,6622,7516)(2764,3374,4065,4860,5728,6628,7520)(2770,3383,
     4079,4874,5746,6649,7545)(2780,3397,4094,4892,5061,3042,3693)(2784,3402,
     4102,4902,5776,6681,6473)(2787,3406,4106,4905,5780,6685,7584)(2792,3408,
     4109,4908,5722,5581,6476)(2794,3410,4111,4911,5783,6687,7587)(2796,3412,
     4113,4914,4684,5539,5348)(2801,3418,4119,4921,5794,5936,5803)(2808,3424,
     4127,4931,5804,6705,7604)(2812,3430,4135,4941,5817,6722,7625)(2818,3435,
     4142,4946,5123,6005,6904)(2820,3437,4144,4948,5826,6733,7073)(2832,3453,
     4161,4021,4812,5681,6582)(2835,3457,4168,4976,5854,3190,3863)(2839,3460,
     4172,4980,5860,6186,7082)(2848,3472,4177,4985,5863,6777,7680)(2854,3481,
     4198,5011,5895,5224,6109)(2867,3499,4214,4266,2896,3531,4247)(2869,3501,
     4217,5031,5917,6067,6967)(2871,3503,4220,5033,5920,6831,5238)(2879,3512,
     4228,5044,5935,6849,6393)(2884,3518,4232,5047,5939,6852,7754)(2887,3522,
     4238,5053,3782,4524,5363)(2902,3538,4254,5071,5963,5056,4896)(2916,3546,
     4259,3620,4351,5168,3940)(2919,3549,4264,5081,5972,6876,6869)(2924,3556,
     4271,5084,5184,5006,5889)(2934,3563,4280,5093,5981,6034,6938)(2943,3576,
     4296,5108,5222,6107,7003)(2945,3579,4299,5113,5994,5528,6421)(2954,3589,
     4312,5124,6007,6907,7158)(2957,3593,4317,4430,5248,6131,7021)(2960,3597,
     4322,5133,6017,6612,7507)(2964,3603,4328,5140,6026,6929,6492)(2969,3609,
     4337,5150,5277,5357,3416)(2974,3615,4346,5160,6052,6953,7831)(2977,3619,
     4350,5167,6058,6960,6599)(2980,3624,4357,5174,6064,6965,6589)(2983,3629,
     3866,4634,5488,3477,4192)(2991,3637,4371,5188,6073,3918,4611)(2992,3638,
     4372,5190,5196,3550,4265)(2995,3642,4376,5195,6082,4570,5419)(3000,3648,
     4384,5015,3200,3873,4641)(3004,3651,4388,5207,6095,6992,7860)(3006,3388,
     4084,4880,5754,6657,6260)(3015,3530,4246,5065,3616,3684,4121)(3025,3676,
     4411,5234,6119,7011,3124)(3034,3686,4418,5239,6122,5538,6434)(3038,3688,
     4420,5241,5155,6044,6829)(3048,3699,4432,5250,5867,4393,5209)(3051,3702,
     4436,5257,4399,3574,4293)(3053,3705,3455,4164,4973,3882,4651)(3064,3714,
     3799,4544,5387,3649,4385)(3071,3520,4235,5049,5942,4382,5201)(3075,3726,
     4458,5280,6161,3681,4415)(3078,3730,4463,5287,6170,6747,7653)(3080,3731,
     4465,5289,6173,7068,7935)(3083,3735,4471,5299,6184,6536,7433)(3086,3739,
     4477,5308,6191,7089,7947)(3090,3744,4481,5313,6197,7093,7080)(3093,3748,
     4488,5322,6208,7107,7973)(3095,3750,4491,5325,6210,7110,7977)(3100,3755,
     4012,4803,5671,6570,7466)(3102,3757,4499,5332,6217,7116,7984)(3105,3760,
     4502,5336,6220,7119,7986)(3108,3762,4504,5339,6223,7121,7988)(3114,3769,
     4511,5347,6233,6619,7513)(3115,3770,4512,5349,6235,7135,7161)(3118,3774,
     4516,5354,6242,7145,8007)(3133,3793,4537,4853,5718,6586,7478)(3136,3796,
     4541,5383,6273,4356,5173)(3139,3801,4548,5392,6285,6617,7510)(3140,3802,
     4550,5394,6288,7193,7818)(3145,3230,3903,4428,5246,5719,6620)(3147,3811,
     4063,4858,3960,4735,5597)(3149,3813,4565,5414,6312,7218,8071)(3158,3824,
     4580,5432,6330,7238,8089)(3160,3827,4583,5434,6334,7243,4039)(3165,3833,
     4589,5445,4710,3252,3927)(3170,3841,4599,5456,6356,6979,6372)(3172,3843,
     4602,5460,6361,7271,6768)(3175,3848,4610,5468,6373,7279,5678)(3179,3853,
     3255,3930,4077,4871,4909)(3181,3854,4617,5473,6379,6920,4815)(3183,3857,
     4622,5477,5036,5925,6838)(3186,3859,4625,3570,4287,5101,4658)(3191,3864,
     4631,5486,6392,5401,6296)(3197,3869,4637,5493,6398,7300,4500)(3199,3872,
     4640,4869,5740,6641,4392)(3205,3881,4650,5507,6412,4967,5847)(3207,3884,
     4654,5513,6416,7320,7651)(3213,3622,4354,3371,4060,4855,5721)(3216,3892,
     4664,4118,4919,5792,6695)(3221,3703,4069,4864,5735,6635,7529)(3225,3898,
     4670,5525,6425,7326,8173)(3228,3901,4672,4152,4957,5835,6746)(3234,3907,
     4679,5533,6430,7331,8177)(3250,3924,4700,5556,6451,4518,5356)(3259,3936,
     4708,3942,4713,5572,6464)(3261,3939,3837,4594,5452,6351,6674)(3266,3943,
     4714,5573,6465,7362,6449)(3269,3947,4721,5582,6477,7373,8219)(3284,3963,
     3561,4277,5089,5978,6878)(3286,3965,4743,5604,6501,7396,8241)(3288,3968,
     4447,5268,6152,7041,7909)(3293,3972,4752,4009,4800,5666,6565)(3297,3973,
     4753,5615,6511,7406,7305)(3300,3976,4754,4233,5048,5940,6853)(3302,3979,
     4757,5619,6516,7410,8251)(3306,3983,4764,5058,5242,6124,4621)(3308,3986,
     4768,5631,5136,6020,6923)(3311,3990,4773,5281,6162,7055,7921)(3318,3999,
     4785,5651,6550,7447,6952)(3324,4006,4795,5660,6531,7425,8264)(3335,4020,
     4811,5679,6579,7474,8300)(3338,4024,3790,4534,5270,3468,4182)(3343,4030,
     4820,5687,6588,4180,4988)(3348,4034,4827,5692,6591,7482,8305)(3353,4038,
     4832,5698,6125,7016,7881)(3355,4041,4835,5701,6602,7495,7869)(3357,4043,
     4837,5702,6604,7498,7000)(3360,4047,4071,4865,5736,6636,7530)(3364,4052,
     4845,5709,6608,7503,8323)(3365,4053,4846,5710,6610,7505,8327)(3375,4066,
     4861,5730,6630,7523,8339)(3379,4073,4867,5738,6639,5254,6137)(3381,4076,
     4870,5742,6643,7539,8355)(3384,4080,4876,5747,5953,6863,7763)(3392,4089,
     4885,5761,6663,7563,5989)(3395,4092,4890,5765,6668,7568,8382)(3398,4095,
     4894,5768,6672,7572,8387)(3400,4098,4897,5770,6675,5578,6472)(3404,4104,
     4904,5778,6683,7581,6081)(3411,4112,4912,5784,6688,7588,8402)(3422,4123,
     4925,5399,6294,7197,8048)(3426,4129,4933,5807,6710,7611,8430)(3428,4132,
     4936,5812,6717,7620,7067)(3431,4136,4942,5818,6723,7627,8445)(3433,4139,
     3449,4157,4962,5840,6753)(3438,4145,4950,5828,4881,5755,6098)(3441,4150,
     4954,5832,6740,4081,4877)(3444,4154,4959,5837,6750,7655,8471)(3447,4156,
     4961,5696,6596,7489,7726)(3451,4159,4966,5846,5596,6491,3599)(3466,4179,
     4987,5866,6778,6381,7288)(3470,4185,4993,5873,6784,7685,7075)(3473,4188,
     4997,5878,6790,7690,8509)(3479,4195,5007,5891,6801,5594,5546)(3487,4205,
     5016,5901,6809,7711,8530)(3491,4207,5018,5457,6357,4771,5635)(3495,4210,
     5024,5908,6821,7722,8539)(3505,4221,5034,5922,6834,6645,7541)(3511,4227,
     5043,5934,6848,5318,6203)(3524,4240,5057,4031,4821,5052,5947)(3532,4248,
     4718,5577,6471,7369,6982)(3534,4250,5069,5960,6870,6084,6981)(3541,4255,
     5073,5964,6871,7769,8573)(3572,4290,5104,5987,5169,5724,3743)(3577,4297,
     5110,5990,6887,6013,6915)(3581,4301,4426,5244,6126,7017,7882)(3586,4307,
     5117,5999,6894,6255,7157)(3591,4314,5125,6008,6908,7795,8594)(3594,4318,
     5130,6012,6914,5616,5259)(3601,4325,5137,6022,3690,4423,3933)(3606,4333,
     5145,6033,6937,5943,6856)(3607,4334,5146,4875,5686,6587,4260)(3610,4338,
     5152,6041,6942,7822,4794)(3617,4347,5162,6054,6956,7835,6881)(3625,4358,
     5176,6065,6966,7842,8625)(3627,4361,5178,6066,6226,7124,5648)(3631,4366,
     5183,6070,6971,7848,8630)(3643,4377,5197,6083,6980,7854,8637)(3646,4381,
     5200,6087,6985,7024,7889)(3666,4403,5223,6108,6581,6598,7491)(3669,4405,
     5226,6111,5144,6032,6935)(3673,4409,5232,6117,7009,7873,8648)(3696,4427,
     5245,6128,5341,6225,6326)(3700,4433,5252,6134,5498,3708,4438)(3707,4253,
     5066,5958,6868,7768,8572)(3710,4441,5263,6145,6551,4824,5688)(3721,4452,
     5274,6159,7050,7917,6250)(3727,4459,5282,6163,6946,5192,6077)(3732,4466,
     5291,6176,7072,7939,5298)(3734,4469,5296,6180,6730,7637,8172)(3736,4472,
     5301,5650,6549,3842,4600)(3741,4480,5311,6194,5565,5713,6613)(3745,4482,
     5315,6200,7097,7960,8731)(3751,4492,5326,6211,7111,7454,8285)(3764,4507,
     5342,6227,7126,5570,6462)(3767,4509,5344,6229,7129,6018,6919)(3771,4513,
     5351,6237,7139,8002,8762)(3775,4517,5355,6243,7146,8009,8768)(3777,4520,
     5358,6244,7147,7033,7897)(3794,4538,5378,6266,7168,8028,4742)(3797,4542,
     5385,6276,7177,8036,8757)(3803,4551,5395,6289,7130,7994,5869)(3805,4554,
     5400,6295,7199,8050,8807)(3807,4556,5404,5279,6160,7052,7919)(3815,4567,
     5417,4995,5875,4574,5424)(3817,4569,5418,6317,7223,4532,5372)(3821,4576,
     5426,6324,7233,8085,8839)(3823,4578,5430,6329,7236,7328,7322)(3828,4584,
     5436,6335,4808,5675,6574)(3830,4586,5439,6340,7249,8102,8856)(3834,4590,
     5447,6346,7257,8110,8863)(3839,4596,4628,5482,6389,7295,8145)(3844,4603,
     5461,6362,7273,5038,5927)(3846,4606,5466,6369,5446,6345,7256)(3851,4614,
     5469,6374,5921,6832,7734)(3855,4618,5474,6380,7287,4126,4929)(3868,4636,
     5491,6396,7298,7756,8562)(3870,4638,5495,6400,7303,7686,6143)(3874,4642,
     5500,6405,7307,8149,8906)(3877,4644,5502,6408,7311,5845,6759)(3887,4657,
     5516,6419,7321,5094,4140)(3897,4668,5076,5966,6584,7475,6348)(3900,4671,
     5526,6426,7327,6885,5107)(3905,4677,4884,5759,5284,6166,7061)(3925,4701,
     5558,6453,7353,8197,5559)(3931,4704,5563,6457,7358,4986,5864)(3937,4709,
     5569,6461,7360,8203,8954)(3944,4715,5574,6467,7364,8207,8958)(3948,4722,
     5584,6478,7374,4359,5177)(3954,4728,5589,6485,7381,8231,8981)(3956,4444,
     5264,6146,7034,7898,8671)(3977,4755,5617,6513,7407,8247,8994)(3981,4760,
     5622,6520,7416,8254,9001)(3984,4765,5627,6525,7420,8258,9005)(3988,4770,
     5634,6532,7427,8265,9011)(3991,4774,4789,5653,6553,4505,5340)(3993,4775,
     5638,6535,7432,8271,9018)(3995,4778,5641,6540,7438,8275,9025)(4004,4791,
     5657,6559,7455,7830,8615)(4017,4807,4056,4851,5716,6616,7509)(4027,4352,
     4720,5580,6475,7372,6623)(4045,4434,5253,6136,7027,7892,7863)(4050,4843,
     5707,4938,5814,6594,7486)(4058,4852,5717,6618,7512,7244,8098)(4061,4856,
     5723,6624,7517,8334,9061)(4067,4862,5732,6632,7524,8341,9068)(4074,4868,
     5739,6640,7535,8349,9078)(4087,4652,5509,5731,6631,4256,5074)(4093,4891,
     4819,4740,5600,6497,5112)(4096,4895,5210,6099,6995,7864,8642)(4099,4898,
     5771,6676,7574,8389,9119)(4101,4900,5774,6680,7578,5194,6080)(4108,4906,
     5781,6686,7586,8399,9129)(4120,4922,5795,6698,7597,8414,7731)(4124,4926,
     5799,5884,6796,7699,8519)(4130,4934,5809,6712,7615,8433,9161)(4133,4937,
     5813,6127,7018,6188,7084)(4137,4943,5820,6725,7631,8450,9177)(4143,4947,
     5824,6731,7639,8457,4302)(4146,4829,5695,6595,5386,6277,6512)(4148,4951,
     5830,6737,7646,8465,9191)(4155,4960,5838,4833,5699,6600,7492)(4162,4970,
     5850,6763,7668,8488,9213)(4165,4974,4729,5590,6487,7384,8069)(4171,4978,
     5857,6769,7675,8309,9046)(4174,4981,5861,6774,7678,8498,5567)(4183,4991,
     5870,6781,7682,8501,8684)(4186,4994,5874,6785,4989,5868,6779)(4193,5003,
     5885,6797,7700,8520,4758)(4197,5009,5892,6802,5490,6395,7297)(4202,5013,
     5898,6806,7707,8526,6247)(4212,5027,5911,5743,6644,7540,7577)(4216,5029,
     5915,6828,7732,4417,5237)(4218,5032,5614,6510,7405,7846,8127)(4222,5035,
     5924,6837,7740,8549,9263)(4225,5040,4529,5367,6256,7159,8019)(4230,5046,
     4558,5405,5166,6056,6957)(4236,5050,5944,6857,7757,5941,6854)(4244,5063,
     5956,6866,5425,6021,6924)(4263,5079,5969,6873,7771,8574,5163)(4275,5088,
     5977,6877,7774,8246,5775)(4298,5111,5992,6888,7778,8582,8843)(4308,5118,
     6000,6896,7786,8587,9288)(4311,5122,6004,6903,7790,8222,8972)(4315,5126,
     5158,6049,6950,7005,5129)(4319,5131,6014,4406,5227,6112,5976)(4326,5138,
     6024,6927,7807,8148,6096)(4329,5141,6028,6931,6238,7140,7426)(4331,5143,
     6031,6934,5202,6088,6986)(4336,5149,5880,6792,7693,8513,5435)(4341,5154,
     6043,6944,5095,5982,6882)(4343,5157,6048,6948,7828,5335,6219)(4349,5165,
     6055,6528,6993,7861,5303)(4362,5179,5777,6682,7579,8391,9121)(4365,5181,
     6068,6969,7845,4883,5758)(4368,5185,6071,6972,6578,7473,8299)(4378,5198,
     6085,6983,7855,8638,8106)(4391,5208,6097,5427,6325,7234,8086)(4395,5212,
     6101,6996,6264,7165,5103)(4412,5235,6121,7013,7878,8655,4442)(4419,5240,
     4953,5831,6739,7647,7805)(4437,5258,6140,7031,7895,8669,9366)(4439,5260,
     6142,7032,7896,8670,7178)(4446,5267,6150,7039,7905,8679,7511)(4454,5276,
     6120,5991,6114,7006,7759)(4460,5283,6165,7059,5230,6115,7007)(4464,5288,
     6171,7065,7932,8704,8930)(4467,5292,6177,7074,6994,7862,4836)(4470,5297,
     6182,7081,7944,5448,6347)(4473,5302,5161,6053,6955,7834,8619)(4475,5304,
     5593,6489,7163,8022,6262)(4478,5309,6193,6738,6290,7194,8046)(4483,5316,
     6201,7099,7963,8013,8772)(4485,5317,6202,5656,6557,7452,8283)(4487,5320,
     6206,6973,7849,8632,9331)(4490,5323,6209,7109,7976,8744,9435)(4493,5327,
     4998,5879,5025,5909,6823)(4496,5330,6215,7114,7983,8750,6370)(4514,5352,
     6239,7141,6284,7187,6130)(4525,5364,6075,6975,7852,8635,9335)(4528,5366,
     6254,7156,8017,8777,9466)(4535,5375,6263,7164,8024,8782,4930)(4540,5381,
     6271,7173,7949,8720,9410)(4545,5388,6279,7181,8037,8322,8191)(4547,5390,
     6282,7184,6576,7470,8297)(4549,5393,6287,7191,8043,8801,9489)(4552,5396,
     6291,6791,7691,8511,5324)(4560,5406,6300,7204,4632,5487,6394)(4562,5409,
     6305,7211,4761,5623,6521)(4564,5412,6309,7215,8067,8821,9508)(4572,5422,
     6320,7228,8080,8141,8903)(4579,5121,6003,6901,7788,7047,6571)(4582,5433,
     6332,7241,8094,8849,9531)(4597,5454,6353,5630,6527,5010,5893)(4598,5455,
     6355,7264,8117,8559,7528)(4601,5458,6358,7267,8119,8877,7857)(4604,5462,
     6363,7274,8124,8883,9558)(4607,5467,6371,5910,6824,7725,7299)(4615,5470,
     6375,7282,8133,8894,9568)(4619,5290,6174,7069,7825,8612,9312)(4623,5478,
     6386,7293,8144,6650,7546)(4630,5485,6391,7296,8147,6803,7703)(4649,5506,
     6410,7313,8161,8921,9589)(4659,5517,6420,5931,6844,5980,6103)(4661,5520,
     5855,5733,6633,7525,8342)(4669,5524,5967,6872,7770,7330,8175)(4673,5527,
     6232,7132,7997,6435,7336)(4675,4810,5677,6577,7472,6336,7245)(4686,5541,
     5871,6782,7683,8502,9059)(4687,5542,6439,7339,6897,6302,7207)(4690,5544,
     6441,7341,8184,8936,9603)(4697,5551,6445,7345,8188,8937,9605)(4699,5554,
     6450,7351,8195,8946,5568)(4705,5564,6459,7359,7804,7762,8568)(4716,5575,
     6469,7366,8211,8964,9626)(4739,5599,5588,6483,7379,8228,8979)(4745,5607,
     6504,7400,8245,8045,6038)(4749,5611,6507,5100,5985,6886,7777)(4751,5613,
     6509,7404,6745,7652,8468)(4756,5618,4963,5841,6754,7551,8367)(4763,4893,
     5767,6671,7571,8386,9116)(4767,5629,6526,7421,8260,9007,9658)(4772,5636,
     6533,7428,8267,8618,6268)(4776,5639,6537,7435,5749,6652,7549)(4779,5642,
     6542,7302,8150,8338,9066)(4782,5647,6547,7446,7592,6234,7134)(4792,5658,
     6561,7457,8287,9034,9362)(4798,5663,6562,7458,8288,6094,6991)(4801,5667,
     6546,6941,7820,8122,8881)(4804,5672,6572,7467,8051,6558,7453)(4816,5683,
     6585,7477,8302,8185,6773)(4838,5703,6605,6458,7325,8171,6183)(4866,5737,
     6637,7532,7633,8452,9179)(4873,5745,6648,7544,8359,8298,8578)(4886,5762,
     6665,7565,6933,7814,8606)(4888,5206,6093,6990,7859,8641,6496)(4889,5764,
     6667,7567,8381,9112,9743)(4907,5496,6401,7304,6789,7689,8507)(4913,5785,
     5021,5905,6815,7716,5945)(4915,5787,5962,5531,6428,7329,5489)(4916,5788,
     6691,6555,7449,6438,7338)(4920,5793,6697,7596,8413,6158,7049)(4924,5797,
     6700,7598,5806,6708,7608)(4927,5800,6702,7600,8418,9144,9767)(4932,5805,
     6707,7607,8426,9154,7933)(4940,5815,6719,7622,8326,7487,8310)(4944,5821,
     6727,7634,8453,9180,9699)(4955,5833,6742,5926,5937,6850,7751)(4958,5836,
     6748,6977,7853,8636,9336)(4965,5844,6758,7664,8483,9206,9824)(4972,5851,
     6765,7670,5463,6364,7250)(4979,5858,6770,6814,7715,8535,9249)(4982,5862,
     6776,7679,7840,5481,6388)(5000,5881,6794,7695,8515,8993,8802)(5002,5883,
     6795,7697,8517,9117,9748)(5004,5886,6799,7702,8522,8624,9324)(5019,5902,
     6811,7713,8532,9246,9862)(5023,5907,6819,7720,6621,7514,8333)(5030,5916,
     5610,6506,5231,6116,7008)(5042,5933,6846,7749,6224,7122,7196)(5059,5952,
     6862,7761,8567,9273,9885)(5080,5970,6874,7772,8575,5483,6390)(5091,5979,
     6879,7775,8577,9280,9892)(5098,5983,6883,6918,6460,5661,5896)(5115,5996,
     6891,7780,8584,9285,9895)(5119,6001,6898,6847,7750,8557,9266)(5127,6010,
     6911,7800,7912,8686,9036)(5151,6039,6940,7819,8609,9311,9414)(5171,6059,
     6299,7203,8054,8516,9237)(5175,5213,5350,6236,7137,8000,8759)(5182,6069,
     6970,7847,8401,7214,8065)(5189,6074,6974,7850,8633,9332,9238)(5204,6091,
     6988,7858,8640,7042,7910)(5218,5225,6110,7004,7870,8646,7868)(5220,6106,
     7001,7866,8644,5534,6431)(5228,6113,5360,6246,7150,7823,8611)(5233,6118,
     7010,7875,8651,9345,9696)(5236,5711,6611,7506,8328,9056,6144)(5249,6132,
     7022,7886,5668,6567,7463)(5251,6133,7023,7888,7739,8548,7766)(5256,6138,
     5928,6840,7743,8552,7028)(5265,6147,7036,7901,8675,9370,9949)(5271,6154,
     7045,7913,6913,5337,6221)(5273,6157,6661,7559,8374,9101,6855)(5293,6178,
     7076,7941,8714,9405,9982)(5295,6179,7078,6129,7020,7885,7787)(5305,6187,
     7083,7945,8718,9408,7748)(5307,6190,7087,7872,8647,8683,9378)(5312,6195,
     7091,7950,8722,8765,7268)(5314,6198,7095,7956,8727,9418,6360)(5321,6207,
     7106,7971,8739,9138,7812)(5333,6218,5471,6376,7283,8134,7816)(5346,6231,
     7131,7996,8758,7053,5523)(5359,6245,7148,8011,8770,9458,10018)(5365,6252,
     7154,7791,8591,9292,9902)(5370,6259,7162,8021,8780,9470,10027)(5377,6265,
     7167,8026,8786,9301,9910)(5379,6267,7170,5674,6573,7468,8295)(5382,6272,
     7175,6607,7501,8320,7051)(5384,6274,6407,7309,8156,8914,9582)(5391,6283,
     7186,7785,8586,8396,6978)(5397,6292,6298,7202,8053,8809,7415)(5403,6297,
     7201,8052,8808,9494,10045)(5407,6301,7206,8056,8812,9060,9698)(5410,6306,
     7212,8062,8816,9501,10055)(5413,6310,7216,7580,8392,9123,9753)(5416,6314,
     7220,8073,8449,9176,9798)(5438,6338,7246,7120,7987,7200,7015)(5440,6341,
     7251,8103,6086,5995,6889)(5442,6342,7252,8105,8858,9537,10075)(5444,6343,
     7253,7851,8634,9334,8129)(5451,6349,7259,8111,8865,8329,9057)(5453,6352,
     7261,8114,8869,9546,8176)(5459,6359,7269,8120,5810,6713,7617)(5465,6367,
     7277,8128,8887,9559,5715)(5476,6383,7290,8140,8902,8202,8953)(5479,6387,
     7294,6424,5930,6843,7745)(5492,6397,6615,7508,8330,9058,9697)(5494,6399,
     7301,6466,7363,8206,8956)(5499,6403,6316,6566,7461,7856,8639)(5501,6406,
     7308,8154,8911,8318,7781)(5508,6413,7316,8165,8925,9594,8628)(5510,5729,
     6629,7521,8104,6841,7744)(5512,6414,7317,8166,8926,9595,10113)(5514,6417,
     7225,8077,8831,9515,10063)(5521,6423,7324,7471,7488,8311,5986)(5537,6433,
     7335,8181,8933,9600,7056)(5552,6446,7347,8190,8940,9609,10120)(5557,6452,
     6248,7151,8014,8773,9461)(5561,6455,7355,8008,8767,9455,8331)(5562,6456,
     7357,8201,8952,8360,9087)(5576,6470,7368,8214,8967,9555,10087)(5583,5919,
     6442,7342,8186,7371,8216)(5586,6480,7376,8223,8379,6141,5865)(5592,6488,
     7386,8235,8860,9539,10043)(5601,6498,7392,8238,8987,9640,8478)(5603,6499,
     7393,6736,7645,8463,6062)(5605,6502,7398,8243,8942,9375,9953)(5620,6517,
     7412,6813,7709,8528,9245)(5621,6518,7413,8253,8999,9649,10157)(5624,6522,
     6323,7231,8082,8835,9518)(5626,6523,6328,7235,8087,8840,9339)(5628,5700,
     6601,7493,8313,9048,9691)(5632,6529,7423,8262,8991,9644,9884)(5633,6530,
     7424,8263,9010,9661,7169)(5637,6534,7430,8269,9016,9666,7195)(5643,6543,
     7442,8279,8406,9134,9759)(5645,6545,5997,6892,7334,8180,8932)(5654,6554,
     7448,8282,8610,7101,7965)(5664,6563,6836,5903,6812,7714,8533)(5670,6569,
     6638,7533,8347,9074,8870)(5693,6592,7484,8307,7710,8529,7117)(5705,6606,
     7500,8319,9052,9693,10191)(5727,6627,7519,8336,9064,9701,9888)(5734,6634,
     7527,8344,8394,9124,9752)(5741,6642,7537,8352,9081,9720,7724)(5748,6651,
     7547,8363,9090,5951,6860)(5751,6655,6354,7262,8115,8871,9390)(5753,6656,
     7553,8369,9095,9729,5993)(5756,6658,7556,8370,9097,9730,7671)(5760,6662,
     7561,8376,9105,9737,10233)(5766,6669,7526,8343,9070,9705,10205)(5769,
     6673,7573,8388,9118,9750,9725)(5772,6677,7575,8390,9120,9751,10239)(5779,
     6684,7583,8395,9125,6275,7176)(5786,6690,7590,8405,7208,7692,8332)(5789,
     6692,7591,8407,9135,9761,10244)(5791,6694,7594,8410,9139,7136,7998)(5798,
     6168,7062,7928,7989,6701,7599)(5801,6703,7601,8420,9146,9769,9247)(5808,
     6711,7613,7502,8321,8938,9606)(5816,6720,7623,8440,9100,9733,10227)(5819,
     6724,7629,8447,9174,9796,10275)(5822,6728,7635,7642,8460,9187,9504)(5825,
     6732,7641,8459,9186,9807,10282)(5827,6734,7643,8461,9188,9808,8097)(5829,
     6735,7644,6660,7558,8373,9099)(5839,6751,7657,8474,9172,9795,10274)(5842,
     6755,7661,8479,9201,9820,10292)(5848,6761,7666,8485,9209,8200,8170)(5849,
     6762,7667,8487,9212,9831,10299)(5852,6766,7672,8491,9218,9836,10305)
     (5853,6767,7673,8493,9221,9840,10310)(5859,6771,7676,8496,9224,9843,
     10312)(5876,6787,6006,6905,7792,6384,7291)(5887,6800,7098,7961,8732,9241,
     9570)(5890,6479,7375,7982,8748,6964,7839)(5894,6804,7552,8368,9094,9587,
     10108)(5897,6805,6989,6318,7224,8076,8829)(5899,6807,7708,8527,7968,7943,
     8716)(5912,6825,7727,8541,9254,9867,10329)(5914,6826,7729,6560,7456,8286,
     8885)(5918,6830,7733,8543,9256,9870,10330)(5923,6835,7738,8547,9261,9874,
     8834)(5938,6851,7753,8560,7522,8337,9065)(5949,6859,7422,8261,9009,9660,
     10164)(5955,6865,7125,7990,8752,9442,8182)(5971,6875,7773,8576,9279,9891,
     10343)(6009,6909,7797,8596,9297,9906,10353)(6016,6917,7802,8599,9302,
     9446,10010)(6025,6928,7809,7999,7916,8690,9381)(6027,6930,7811,8605,9307,
     9914,10358)(6029,6932,7515,7758,8564,9269,7180)(6037,6939,6437,7337,8183,
     8723,9413)(6042,6943,7824,7002,7867,8645,9342)(6045,6432,7333,8179,7281,
     8132,8892)(6047,6947,7827,8563,9268,9879,10121)(6050,6951,6078,6976,6839,
     7741,8550)(6057,6958,6060,6962,7837,8621,9322)(6063,6963,7838,8622,9323,
     7183,8039)(6089,6987,7306,8151,8908,6816,7717)(6105,6999,7865,8643,9340,
     9927,6916)(6123,7014,7880,8658,9353,9938,9195)(6135,7025,6653,7550,8366,
     9093,9516)(6139,7030,7894,8668,9365,9946,10212)(6149,7037,7902,6793,7094,
     7954,8724)(6151,7040,7907,8681,7813,8512,9234)(6155,7046,7465,8294,9040,
     9359,9941)(6164,7057,7923,8695,7874,8649,7344)(6169,7063,7929,8700,9391,
     9968,9259)(6172,7066,7934,8706,9398,9973,10388)(6175,7070,7937,8709,9400,
     9384,9962)(6181,7079,7942,8715,6772,7677,8497)(6192,7090,7948,8719,9409,
     7361,8204)(6196,7092,7952,7038,7903,8676,9372)(6199,7096,7958,7593,8408,
     9136,9762)(6204,7102,7966,7263,8116,8873,7272)(6212,7112,7980,8747,9438,
     7085,7946)(6228,7127,7992,8754,9444,7918,6699)(6240,7142,8003,6945,7332,
     8178,8602)(6241,7143,8004,8764,8893,9567,10095)(6251,7153,8015,8774,9463,
     10022,8464)(6253,7155,8016,8776,9465,9053,9689)(6270,7172,8031,6709,7609,
     8427,9155)(6278,7179,7810,8604,9305,9912,9799)(6280,7182,8038,8795,9482,
     10038,10428)(6286,7189,8041,8799,9487,9575,10100)(6304,7209,8058,8213,
     8966,9629,10139)(6307,7213,8064,8819,9505,10059,10441)(6311,7217,8070,
     8823,9308,9915,10359)(6313,7219,8072,8825,9512,9320,7123)(6315,7221,8074,
     6568,7464,8293,9039)(6322,7230,8081,7402,7927,8698,7554)(6331,7239,8091,
     8846,9528,10068,9853)(6333,7242,8096,8851,9534,9343,9367)(6339,7247,8100,
     8853,7418,6922,7803)(6344,7254,8108,8861,9412,9987,10396)(6350,7260,8112,
     8866,9542,10080,10451)(6365,6385,7292,8142,8904,9576,10101)(6368,7278,
     8130,8888,9561,10089,10078)(6377,7284,8135,7133,7884,8660,9357)(6378,
     7285,8137,7719,8537,7476,8301)(6404,7185,7995,8756,6500,7394,8239)(6409,
     7312,8160,8919,9588,7844,8627)(6411,7314,8163,8923,9591,10110,10472)
     (6415,7318,8168,6833,7735,8544,9257)(6444,7343,7906,8680,9377,9956,8879)
     (6447,7348,8192,8941,9610,7796,8595)(6468,7365,8209,8961,9624,10134,9578)
     (6474,7370,8215,8968,9630,10140,8217)(6481,7377,8225,8974,9634,9404,9980)
     (6484,7380,8230,7940,8712,9402,9977)(6486,7382,8232,8982,9638,10147,
     10496)(6493,7388,8236,8985,9639,10149,8830)(6495,7390,8237,8099,8852,
     7648,7817)(6514,7408,8248,8429,8443,7385,8234)(6515,7409,8250,8997,8525,
     9244,9861)(6519,7414,7227,8078,8832,9075,9711)(6524,7419,8256,9003,9652,
     10159,10508)(6538,6926,6890,7779,7626,8444,7951)(6539,7436,7783,7367,
     8212,8965,9517)(6541,7439,8277,9027,9675,9965,10371)(6593,7485,8308,9045,
     8717,9407,9984)(6597,7490,8312,9047,9690,10189,9086)(6603,7496,8316,8257,
     9004,9654,9963)(6609,7504,8325,9055,7922,8694,9387)(6625,7518,8335,9062,
     9700,10198,9457)(6647,7542,8356,9083,7736,8545,9258)(6664,7564,8378,9108,
     9739,10236,10554)(6670,7569,8383,8508,9232,9089,9724)(6678,7576,7767,
     8571,9276,9889,10342)(6689,7589,8403,9131,9338,9926,9228)(6696,7595,8412,
     9141,9764,10246,9419)(6706,7605,8424,7931,8702,9394,9607)(6714,6783,7684,
     8503,9229,9847,10315)(6716,7619,8435,9153,9775,9294,9904)(6718,7621,8437,
     9166,9789,10268,7077)(6721,7624,8442,7794,8593,9295,9905)(6726,7632,8451,
     9178,9801,10278,10510)(6729,7636,8454,7431,8270,9017,9667)(6741,7649,
     7459,8289,9035,9681,10180)(6743,6760,7665,8484,9208,9827,10040)(6749,
     7654,8470,9194,9812,10284,10581)(6752,7658,8475,9198,9818,10291,9971)
     (6757,7662,8480,9202,9821,10293,10587)(6764,7669,8490,9216,9834,10303,
     10594)(6780,7108,7974,8741,9430,8806,9493)(6786,7687,8505,9231,9850,8854,
     9535)(6798,7701,8521,9243,9860,10325,10606)(6810,7712,8531,7483,8306,
     9044,8663)(6818,7718,8536,9250,9865,9133,9757)(6820,7721,8218,8969,9632,
     10141,10493)(6822,7723,8540,7991,8753,9443,7450)(6827,7730,8542,9217,
     9835,10116,10476)(6845,7747,8555,9264,8136,8896,9569)(6861,7760,8566,
     9272,9883,10339,10613)(6864,7764,8569,7970,8738,9426,7746)(6880,7776,
     8579,9281,8469,9192,9809)(6893,7782,8208,8959,9621,10129,10485)(6895,
     7784,8585,8284,9031,9679,8035)(6899,7258,7265,8029,8789,6961,7836)(6902,
     7789,8589,7286,8138,8898,9571)(6906,7793,7383,8233,8984,8891,9565)(6910,
     7798,8597,9299,9908,10336,10610)(6936,7815,8607,8581,9283,9894,9096)
     (6949,7829,8614,9314,9917,10360,9434)(6954,7832,8616,9317,9920,10362,
     10623)(6959,7469,8296,7399,8244,8992,9645)(6968,7843,8626,9326,9922,
     10363,8146)(6984,7531,8345,9072,9695,10194,10345)(7012,7876,8653,9346,
     9728,7925,7391)(7019,7883,8659,9355,9939,10351,10619)(7026,7891,8666,
     8734,8266,9012,9663)(7029,7893,8667,9363,9944,10375,10074)(7035,7899,
     8673,7560,8375,9103,9735)(7044,7911,8685,7494,8314,9049,9533)(7048,7914,
     8090,8844,9525,10067,9510)(7054,7920,8693,9385,9225,8672,8187)(7058,7924,
     7877,8155,8912,9580,9791)(7060,7926,8697,9389,9967,9707,10207)(7064,7930,
     8701,9393,9970,9159,9780)(7071,7938,8710,9401,9976,9109,9740)(7100,7964,
     8735,9424,9996,7696,7821)(7103,7967,8736,9425,7801,8018,8778)(7105,7969,
     8737,9358,7444,7806,8601)(7115,7674,8494,9222,9842,7978,8745)(7118,7985,
     8751,9441,9813,10285,10582)(7128,7993,8755,9445,10009,9817,10289)(7138,
     8001,8760,9448,9566,8775,7728)(7144,8005,8766,9453,8205,8221,8971)(7149,
     8012,8771,9460,10020,10354,9604)(7166,8025,8784,9473,10030,10097,10464)
     (7174,8033,8792,9480,9306,9913,10250)(7188,8040,8797,9286,9436,10001,
     8895)(7190,8042,7192,8044,8803,9490,10042)(7198,8049,8805,9492,10044,
     9783,7499)(7205,8055,8811,9495,10046,10429,7441)(7210,8059,8813,9496,
     10047,9682,10181)(7222,8075,8827,9171,8249,8996,8661)(7232,8083,8836,
     8358,9085,9574,10099)(7237,8088,8842,9524,7887,8662,8290)(7240,8092,8847,
     9530,10070,7871,7429)(7248,8101,7650,7557,8371,9098,9732)(7255,8109,7742,
     8551,8730,9421,9995)(7266,8118,8875,9549,9951,10378,8006)(7270,8121,8880,
     9554,8010,8769,9456)(7275,8125,8884,8152,8909,9579,8553)(7276,8126,8886,
     8788,8796,9483,10004)(7280,8131,8890,9564,8455,9181,9803)(7289,8139,8900,
     9573,10098,10037,9758)(7310,8157,8915,8901,7638,8456,9183)(7315,8164,
     8924,9593,10112,10200,10430)(7319,8169,8929,9598,7543,8357,9084)(7340,
     8020,8779,9468,10024,10418,8828)(7346,8189,8939,9608,10119,10478,7900)
     (7349,7354,8198,8949,7808,8603,9303)(7350,8193,8943,9612,9287,9896,7981)
     (7352,8196,8948,9616,10124,8224,8973)(7356,8199,8950,7618,8434,9162,9784)
     (7378,8226,8976,9352,9936,10368,10626)(7395,8240,8988,9641,10150,10498,
     10690)(7397,8242,8989,9642,10151,10499,10691)(7411,8252,8315,9050,9692,
     10190,9348)(7417,8255,9002,9651,10158,10507,9507)(7434,8272,9020,9671,
     9170,9794,10273)(7437,8274,9023,9674,10175,10517,10701)(7440,8278,9028,
     9676,10177,10518,10133)(7445,8280,8556,9265,9876,10334,9325)(7462,8291,
     9037,9440,10006,9688,10187)(7479,8303,7603,8422,9149,7660,8477)(7481,
     8304,7972,8740,9428,7705,8523)(7497,8317,8583,9284,9477,10033,10425)
     (7534,8348,9076,9713,10211,10537,10709)(7536,8350,9079,9716,10215,10540,
     9871)(7538,8353,9082,9721,10220,10251,10561)(7548,8364,9091,9726,10224,
     10547,9684)(7555,7737,8546,9260,9873,7957,8728)(7562,8377,9107,9738,
     10234,10552,9527)(7566,8380,9110,8473,9197,9816,10288)(7570,8384,9113,
     9744,9937,10369,10627)(7582,8393,9013,9545,10082,10453,10667)(7585,8397,
     9126,9754,10241,10557,10488)(7602,8421,9147,9771,10252,10543,9617)(7606,
     8425,9152,9774,10256,10565,10719)(7610,8428,9157,9163,9785,10263,9150)
     (7612,8431,8897,8810,9371,9950,10377)(7614,8432,9160,9781,10262,10569,
     10617)(7616,8419,9145,9102,9734,10229,9770)(7628,8446,9173,8986,8259,
     9006,9656)(7630,8448,9175,9797,10276,10575,9051)(7640,8458,9184,8590,
     9291,9900,10348)(7656,8472,9196,9814,10287,10585,9422)(7659,8476,9199,
     9819,8047,8804,9491)(7663,8481,9203,9822,8878,9552,10085)(7681,8499,9226,
     9104,9736,10231,9981)(7688,8506,8657,9351,9935,8838,9520)(7694,8514,9236,
     9856,10319,9955,10245)(7698,8518,9240,9858,10322,9766,10249)(7704,7765,
     8570,9275,9887,10083,10454)(7706,8524,8957,8990,9643,8876,9550)(7752,
     8558,9069,9703,10202,10531,10706)(7755,8561,9267,9878,10163,10511,10696)
     (7799,8598,8650,9344,9930,10365,10624)(7826,8613,9313,8489,9214,8845,
     9526)(7833,8617,9319,8983,8068,8822,9509)(7841,8623,8913,9581,10103,
     10466,10008)(7879,8656,9350,9934,10286,10583,9928)(7890,8664,9360,9942,
     10373,10630,9800)(7904,8677,9373,9864,9469,10025,10419)(7908,8682,8794,
     8678,9374,9952,10379)(7915,8689,9379,9957,10204,10232,10550)(7936,8707,
     8229,8980,7962,8733,9423)(7953,7979,8746,9437,10003,10404,10572)(7955,
     8725,9415,9988,9447,10011,10408)(7959,8729,9420,9993,10400,10644,10629)
     (7975,8742,9432,10000,10403,10182,10520)(8023,8781,8220,8970,8404,9132,
     8554)(8027,8787,9476,9251,9356,9940,9341)(8030,8790,9478,10035,9185,9806,
     10281)(8032,8791,9479,10036,10026,10420,9514)(8034,8793,9481,8057,8510,
     9233,9253)(8060,8814,9498,10050,9869,9992,10399)(8061,8815,9500,10053,
     10436,9919,9636)(8063,8817,9502,10056,10438,10640,8978)(8066,8820,9506,
     8918,9586,10107,9849)(8079,8833,8889,9562,10091,10459,10671)(8084,8837,
     9519,10064,8841,9522,10065)(8093,8848,8438,9167,9790,9989,10397)(8095,
     8850,9532,10072,10448,8743,9433)(8107,8859,9538,10076,10449,9205,9614)
     (8113,8867,9544,10081,10452,10666,9063)(8123,8882,9556,8398,9127,9304,
     9911)(8143,8905,9200,8652,8153,8910,8920)(8158,8916,9584,10106,10467,
     10333,10609)(8159,8917,9585,9122,9462,10021,10416)(8162,8922,9590,10109,
     10471,10677,10586)(8167,8927,9597,9722,10221,10544,10562)(8174,8931,9599,
     10115,9704,10203,10532)(8194,8944,9613,10122,10479,10682,9631)(8210,8962,
     8721,9411,9986,8692,9383)(8227,8977,9637,10146,8385,9114,9745)(8268,9014,
     9664,10167,10513,10551,8688)(8273,9021,9672,9657,9662,8711,9354)(8276,
     9026,8534,9248,9863,10327,10607)(8281,8538,9252,9866,10328,9471,10028)
     (8292,9038,9683,10183,10521,10703,8687)(8324,9054,9694,10193,10528,10331,
     10490)(8340,9067,9702,10201,10530,10222,10545)(8346,9073,9709,10209,
     10535,8417,9143)(8351,9080,9718,10217,10541,10114,10475)(8354,8365,9092,
     9628,10137,10491,10687)(8361,8608,9309,9916,9529,10069,10445)(8362,9088,
     9723,10223,10546,10370,10628)(8372,8824,9511,10061,10444,10661,9328)
     (8400,9130,8818,9503,10057,9427,9128)(8409,9137,9653,10160,8960,9622,
     10131)(8411,9140,9763,9211,9829,9486,8466)(8415,9142,9765,10248,10560,
     10716,10290)(8416,8691,9382,9960,9805,8654,9347)(8423,9077,9714,10213,
     10235,10553,10176)(8436,9164,9787,10265,9553,10086,10456)(8439,9168,9792,
     10270,9008,9659,10162)(8441,9169,9793,10271,9844,9929,10364)(8462,9189,
     9633,10142,9551,8862,8857)(8467,8580,9282,9893,10344,8500,9227)(8482,
     9204,9823,10294,10197,10439,10659)(8486,9210,9828,8798,9485,10041,10125)
     (8492,9219,9837,10306,10596,10730,10794)(8495,9223,8963,9625,10135,9756,
     10242)(8504,9230,9848,9832,10300,10592,9521)(8565,9270,9880,8800,9488,
     9000,8600)(8588,9289,9898,9776,9786,10264,10570)(8592,9293,9903,10352,
     10620,10744,10643)(8620,9321,9043,9687,10186,10522,10196)(8629,9327,9923,
     9277,9890,9333,9033)(8631,9329,9924,9467,8945,9337,9925)(8665,9361,9943,
     10230,10549,10713,10786)(8674,9368,9947,9557,9755,9768,9296)(8696,9388,
     9966,10383,10247,10559,9742)(8699,9274,9886,10341,9719,10218,10542)(8703,
     9395,9182,9804,10279,10576,10721)(8705,9397,9972,10386,9961,10382,9782)
     (8708,8975,9635,10145,10238,9399,9974)(8713,9403,9979,10393,10361,10622,
     9851)(8726,9416,9650,9833,10301,10593,10729)(8749,9439,10005,10405,10647,
     10462,10673)(8761,9449,8874,9548,9611,9484,10039)(8763,9450,10014,10117,
     9475,10032,10424)(8783,9472,10029,10422,10654,10525,10704)(8785,9474,
     10031,10423,10102,10465,9310)(8826,9513,9239,9857,10321,10326,10384)
     (8855,9536,9042,9686,10185,10297,10590)(8864,9541,10079,8935,9602,10118,
     9278)(8868,9318,9921,9727,10225,9708,10208)(8872,9547,10084,10455,10060,
     10442,10660)(8899,9572,9041,9685,10184,9627,10136)(8907,9577,10071,10446,
     10662,10761,10806)(8928,9592,10111,10474,10680,10773,10813)(8934,9601,
     9998,10401,10645,10421,9872)(8947,9615,10123,9298,9907,10355,10573)(8951,
     9618,10126,10447,10663,10762,10807)(8955,9619,10127,10482,10533,10707,
     9815)(8995,9646,10154,10503,10564,10717,10720)(8998,9262,9315,9877,10335,
     9931,10366)(9015,9665,10152,10500,10692,10779,9215)(9019,9669,10169,
     10514,10698,9396,9802)(9022,9673,9747,9760,10243,10558,10715)(9024,9668,
     10168,10219,10130,10486,10105)(9029,9677,10178,10519,10702,10489,10686)
     (9030,9678,9875,10332,10608,10740,9330)(9032,9680,10179,10340,10614,9710,
     10210)(9071,9706,10206,10406,10648,9523,10066)(9106,9731,10226,9220,9838,
     10307,9845)(9111,9741,9386,9964,9670,10170,10502)(9115,9746,9901,10349,
     9959,10381,10633)(9148,9772,10253,10372,10073,10356,10228)(9151,9773,
     10255,10387,9897,10261,10568)(9156,9777,10257,10563,9846,10313,10600)
     (9158,9779,10259,10567,10260,10346,10616)(9165,9788,10267,10314,9623,
     10132,10487)(9190,9749,10143,10494,10604,10738,10350)(9193,9810,9826,
     10296,10589,10725,10790)(9207,9825,10295,10588,10309,10598,10732)(9235,
     9854,10317,10602,10736,10013,10410)(9242,9859,10324,10605,10739,10012,
     10409)(9255,9868,9994,9406,9983,9852,10316)(9271,9881,10337,10611,10741,
     10797,10548)(9290,9899,10347,10618,10743,10266,10002)(9300,9909,10357,
     10621,10566,10655,10757)(9316,9918,10144,10323,10174,10516,9543)(9349,
     9932,10367,10625,10745,10800,10649)(9364,9945,10320,10484,10685,10777,
     10584)(9369,9948,9985,10394,10641,9464,10023)(9376,9954,10240,10556,
     10714,10304,10595)(9380,9958,10380,10632,10747,10374,10417)(9392,9969,
     10385,10635,10509,10695,10781)(9417,9990,10398,9560,10088,10457,10054)
     (9429,9997,10376,10631,10746,10765,10728)(9431,9999,10402,10646,10753,
     10578,10601)(9451,10015,10411,10650,10754,10776,10799)(9452,10016,10412,
     10651,10138,10492,9991)(9454,10017,10413,10395,10642,10752,10803)(9459,
     10019,10414,10652,10755,10804,10093)(9497,10048,10431,9583,10104,10173,
     10506)(9499,10051,10433,10658,10760,10805,10825)(9540,10077,10450,10665,
     10763,10808,10826)(9563,10092,9841,10311,10599,10733,10711)(9596,10090,
     10458,10670,10722,10787,10816)(9620,10128,10483,10392,10639,9975,10389)
     (9647,10155,10504,10693,10668,10272,10571)(9648,10156,10505,10694,10780,
     9855,10318)(9655,10161,10058,10440,10470,10676,10768)(9712,10049,10432,
     10443,10534,10708,10783)(9715,10214,10538,10477,10681,10774,10435)(9717,
     10216,10199,10529,10705,10052,10434)(9778,10258,10254,10427,10656,10758,
     10171)(9811,10283,10579,10723,10788,10818,10829)(9830,10298,10591,10727,
     10793,10822,10832)(9839,10308,10597,10731,10795,10823,10833)(9882,10338,
     10612,10712,10785,10815,10828)(9933,10188,10523,10669,10764,10603,10737)
     (9978,10391,10638,10751,10769,10810,10536)(10007,10407,10524,10460,10269,
     10437,10574)(10034,10426,10480,10683,10775,10718,10634)(10062,10195,
     10481,10684,10192,10526,10469)(10094,10461,10672,10148,10497,10689,10778)
     (10096,10463,10674,10766,10809,10280,10577)(10153,10501,10237,10555,
     10636,10748,10734)(10165,10277,10172,10515,10699,10700,10782)(10166,
     10512,10697,10390,10637,10750,10802)(10302,10580,10724,10789,10679,10771,
     10811)(10415,10653,10756,10657,10615,10742,10798)(10468,10675,10767,
     10664,10735,10796,10527)(10473,10678,10770,10539,10710,10784,10814)
     (10495,10688,10749,10801,10824,10817,10759)(10726,10791,10819,10821,
     10831,10835,10836)(10772,10812,10827,10834,10792,10820,10830);