radiocarbon 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 620b48f9a92001037bc619a4767f588dcad25495aa348917bffec5d98afe9b6d
+  data.tar.gz: c43db7452302f70c603e80f7a229c75297ca60544066ec357e666fd5c77a1100
+SHA512:
+  metadata.gz: c0735c57d9fef6f444ba350f20c15bb4e87de49514f53e9e1c67df7d786db9daaac676c50322a503586922024672b6860982004885afea84522f4a67b8c53935
+  data.tar.gz: 0f87f122ce341a485a674b7245a04fb483e475eaa3a74fb7373ea01b5298d81fba7429f1781fe7f5e53d01773863be31a5c9347e8a3cec3fa9f6013fa158111a

data/lib/radiocarbon/c14_date.rb

@@ -0,0 +1,38 @@
+##
+# Represents an uncalibrated radiocarbon date.
+class Radiocarbon::C14Date
+
+  # Conventional radiocarbon age (CRA)
+  attr_accessor :age
+
+  # Measurement error
+  attr_accessor :error
+
+  def initialize(age, error)
+    @age = age
+    @error = error
+  end
+
+  # Normal probability density function
+  #
+  # @param x [Integer] Uncalibrated age
+  # @param x [Double] Additional error term
+  #
+  # @return [Double] Probability at x
+  def dnorm(x, add_error = 0)
+    sd = Math.sqrt(error**2 + add_error**2)
+    (1 / (sd * Math.sqrt(2 * Math::PI))) * Math.exp(-0.5 * ((x - age) / sd)**2)
+  end
+
+  # Calibrates a radiocarbon date
+  #
+  # @param curve [String] Name of the calibration curve to use. Must be present
+  #   in {Radiocarbon::CURVES}.
+  #
+  # @return [CalDate] A calibrated radiocarbon date
+  def calibrate(curve = "IntCal20")
+    Radiocarbon::CalDate.new(self, curve)
+  end
+
+end
+    

data/lib/radiocarbon/cal_date.rb

@@ -0,0 +1,47 @@
+##
+# Represents a calibrated radiocarbon dates.
+class Radiocarbon::CalDate
+
+  # [String] Name of the calibration curve used, see {Radiocarbon::CURVES}
+  attr_accessor :curve
+
+  # [C14Date] Uncalibrated radiocarbon date
+  attr_accessor :c14_date
+
+  def initialize(c14_date, curve = "IntCal20")
+    @c14_date = c14_date
+
+    if Radiocarbon::CURVES.include?(curve.upcase)
+      @curve = curve
+    else
+      raise "'#{curve}' is not a supported calibration curve"
+    end
+  end
+
+  # Generates the probability distribution of the calibrated age over the
+  # entire calibration curve.
+  #
+  # @min_p [Double] Threshold below which probabilities are treated as zero.
+  def pdist(min_p = 1e-5)
+    cd = curve_data
+
+    p = cd[1].zip(cd[2]).map { |x, error|
+      c14_date.dnorm(x, error)
+    }
+
+    if (min_p > 0)
+      pdist = cd[0].zip(p).filter { |yr,p| p >= min_p }.transpose
+      { yr: pdist[0], p: pdist[1] }
+    else
+      { yr: cd[0], p: p }
+    end
+  end
+
+  private
+
+  def curve_data
+    require("radiocarbon/curves/#{curve.downcase}.rb")
+    Radiocarbon.const_get(curve.upcase)
+  end
+
+end

data/lib/radiocarbon/curves/intcal20.rb

@@ -0,0 +1,10 @@
+module Radiocarbon
+  private
+
+  INTCAL20 = [
+    
+    [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,403,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598,599,600,601,602,603,604,605,606,607,608,609,610,611,612,613,614,615,616,617,618,619,620,621,622,623,624,625,626,627,628,629,630,631,632,633,634,635,636,637,638,639,640,641,642,643,644,645,646,647,648,649,650,651,652,653,654,655,656,657,658,659,660,661,662,663,664,665,666,667,668,669,670,671,672,673,674,675,676,677,678,679,680,681,682,683,684,685,686,687,688,689,690,691,692,693,694,695,696,697,698,699,700,701,702,703,704,705,706,707,708,709,710,711,712,713,714,715,716,717,718,719,720,721,722,723,724,725,726,727,728,729,730,731,732,733,734,735,736,737,738,739,740,741,742,743,744,745,746,747,748,749,750,751,752,753,754,755,756,757,758,759,760,761,762,763,764,765,766,767,768,769,770,771,772,773,774,775,776,777,778,779,780,781,782,783,784,785,786,787,788,789,790,791,792,793,794,795,796,797,798,799,800,801,802,803,804,805,806,807,808,809,810,811,812,813,814,815,816,817,818,819,820,821,822,823,824,825,826,827,828,829,830,831,832,833,834,835,836,837,838,839,840,841,842,843,844,845,846,847,848,849,850,851,852,853,854,855,856,857,858,859,860,861,862,863,864,865,866,867,868,869,870,871,872,873,874,875,876,877,878,879,880,881,882,883,884,885,886,887,888,889,890,891,892,893,894,895,896,897,898,899,900,901,902,903,904,905,906,907,908,909,910,911,912,913,914,915,916,917,918,919,920,921,922,923,924,925,926,927,928,929,930,931,932,933,934,935,936,937,938,939,940,941,942,943,944,945,946,947,948,949,950,951,952,953,954,955,956,957,958,959,960,961,962,963,964,965,966,967,968,969,970,971,972,973,974,975,976,977,978,979,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,999,1000,1001,1002,1003,1004,1005,1006,1007,1008,1009,1010,1011,1012,1013,1014,1015,1016,1017,1018,1019,1020,1021,1022,1023,1024,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1042,1043,1044,1045,1046,1047,1048,1049,1050,1051,1052,1053,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1082,1083,1084,1085,1086,1087,1088,1089,1090,1091,1092,1093,1094,1095,1096,1097,1098,1099,1100,1101,1102,1103,1104,1105,1106,1107,1108,1109,1110,1111,1112,1113,1114,1115,1116,1117,1118,1119,1120,1121,1122,1123,1124,1125,1126,1127,1128,1129,1130,1131,1132,1133,1134,1135,1136,1137,1138,1139,1140,1141,1142,1143,1144,1145,1146,1147,1148,1149,1150,1151,1152,1153,1154,1155,1156,1157,1158,1159,1160,1161,1162,1163,1164,1165,1166,1167,1168,1169,1170,1171,1172,1173,1174,1175,1176,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1199,1200,1201,1202,1203,1204,1205,1206,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217,1218,1219,1220,1221,1222,1223,1224,1225,1226,1227,1228,1229,1230,1231,1232,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1260,1261,1262,1263,1264,1265,1266,1267,1268,1269,1270,1271,1272,1273,1274,1275,1276,1277,1278,1279,1280,1281,1282,1283,1284,1285,1286,1287,1288,1289,1290,1291,1292,1293,1294,1295,1296,1297,1298,1299,1300,1301,1302,1303,1304,1305,1306,1307,1308,1309,1310,1311,1312,1313,1314,1315,1316,1317,1318,1319,1320,1321,1322,1323,1324,1325,1326,1327,1328,1329,1330,1331,1332,1333,1334,1335,1336,1337,1338,1339,1340,1341,1342,1343,1344,1345,1346,1347,1348,1349,1350,1351,1352,1353,1354,1355,1356,1357,1358,1359,1360,1361,1362,1363,1364,1365,1366,1367,1368,1369,1370,1371,1372,1373,1374,1375,1376,1377,1378,1379,1380,1381,1382,1383,1384,1385,1386,1387,1388,1389,1390,1391,1392,1393,1394,1395,1396,1397,1398,1399,1400,1401,1402,1403,1404,1405,1406,1407,1408,1409,1410,1411,1412,1413,1414,1415,1416,1417,1418,1419,1420,1421,1422,1423,1424,1425,1426,1427,1428,1429,1430,1431,1432,1433,1434,1435,1436,1437,1438,1439,1440,1441,1442,1443,1444,1445,1446,1447,1448,1449,1450,1451,1452,1453,1454,1455,1456,1457,1458,1459,1460,1461,1462,1463,1464,1465,1466,1467,1468,1469,1470,1471,1472,1473,1474,1475,1476,1477,1478,1479,1480,1481,1482,1483,1484,1485,1486,1487,1488,1489,1490,1491,1492,1493,1494,1495,1496,1497,1498,1499,1500,1501,1502,1503,1504,1505,1506,1507,1508,1509,1510,1511,1512,1513,1514,1515,1516,1517,1518,1519,1520,1521,1522,1523,1524,1525,1526,1527,1528,1529,1530,1531,1532,1533,1534,1535,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1637,1638,1639,1640,1641,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1728,1729,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,1799,1800,1801,1802,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,1813,1814,1815,1816,1817,1818,1819,1820,1821,1822,1823,1824,1825,1826,1827,1828,1829,1830,1831,1832,1833,1834,1835,1836,1837,1838,1839,1840,1841,1842,1843,1844,1845,1846,1847,1848,1849,1850,1851,1852,1853,1854,1855,1856,1857,1858,1859,1860,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1883,1884,1885,1886,1887,1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925,1926,1927,1928,1929,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940,1941,1942,1943,1944,1945,1946,1947,1948,1949,1950,1951,1952,1953,1954,1955,1956,1957,1958,1959,1960,1961,1962,1963,1964,1965,1966,1967,1968,1969,1970,1971,1972,1973,1974,1975,1976,1977,1978,1979,1980,1981,1982,1983,1984,1985,1986,1987,1988,1989,1990,1991,1992,1993,1994,1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042,2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058,2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074,2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088,2089,2090,2091,2092,2093,2094,2095,2096,2097,2098,2099,2100,2101,2102,2103,2104,2105,2106,2107,2108,2109,2110,2111,2112,2113,2114,2115,2116,2117,2118,2119,2120,2121,2122,2123,2124,2125,2126,2127,2128,2129,2130,2131,2132,2133,2134,2135,2136,2137,2138,2139,2140,2141,2142,2143,2144,2145,2146,2147,2148,2149,2150,2151,2152,2153,2154,2155,2156,2157,2158,2159,2160,2161,2162,2163,2164,2165,2166,2167,2168,2169,2170,2171,2172,2173,2174,2175,2176,2177,2178,2179,2180,2181,2182,2183,2184,2185,2186,2187,2188,2189,2190,2191,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,2202,2203,2204,2205,2206,2207,2208,2209,2210,2211,2212,2213,2214,2215,2216,2217,2218,2219,2220,2221,2222,2223,2224,2225,2226,2227,2228,2229,2230,2231,2232,2233,2234,2235,2236,2237,2238,2239,2240,2241,2242,2243,2244,2245,2246,2247,2248,2249,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,2267,2268,2269,2270,2271,2272,2273,2274,2275,2276,2277,2278,2279,2280,2281,2282,2283,2284,2285,2286,2287,2288,2289,2290,2291,2292,2293,2294,2295,2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306,2307,2308,2309,2310,2311,2312,2313,2314,2315,2316,2317,2318,2319,2320,2321,2322,2323,2324,2325,2326,2327,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,2361,2362,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375,2376,2377,2378,2379,2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,2391,2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2402,2403,2404,2405,2406,2407,2408,2409,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2424,2425,2426,2427,2428,2429,2430,2431,2432,2433,2434,2435,2436,2437,2438,2439,2440,2441,2442,2443,2444,2445,2446,2447,2448,2449,2450,2451,2452,2453,2454,2455,2456,2457,2458,2459,2460,2461,2462,2463,2464,2465,2466,2467,2468,2469,2470,2471,2472,2473,2474,2475,2476,2477,2478,2479,2480,2481,2482,2483,2484,2485,2486,2487,2488,2489,2490,2491,2492,2493,2494,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508,2509,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524,2525,2526,2527,2528,2529,2530,2531,2532,2533,2534,2535,2536,2537,2538,2539,2540,2541,2542,2543,2544,2545,2546,2547,2548,2549,2550,2551,2552,2553,2554,2555,2556,2557,2558,2559,2560,2561,2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2572,2573,2574,2575,2576,2577,2578,2579,2580,2581,2582,2583,2584,2585,2586,2587,2588,2589,2590,2591,2592,2593,2594,2595,2596,2597,2598,2599,2600,2601,2602,2603,2604,2605,2606,2607,2608,2609,2610,2611,2612,2613,2614,2615,2616,2617,2618,2619,2620,2621,2622,2623,2624,2625,2626,2627,2628,2629,2630,2631,2632,2633,2634,2635,2636,2637,2638,2639,2640,2641,2642,2643,2644,2645,2646,2647,2648,2649,2650,2651,2652,2653,2654,2655,2656,2657,2658,2659,2660,2661,2662,2663,2664,2665,2666,2667,2668,2669,2670,2671,2672,2673,2674,2675,2676,2677,2678,2679,2680,2681,2682,2683,2684,2685,2686,2687,2688,2689,2690,2691,2692,2693,2694,2695,2696,2697,2698,2699,2700,2701,2702,2703,2704,2705,2706,2707,2708,2709,2710,2711,2712,2713,2714,2715,2716,2717,2718,2719,2720,2721,2722,2723,2724,2725,2726,2727,2728,2729,2730,2731,2732,2733,2734,2735,2736,2737,2738,2739,2740,2741,2742,2743,2744,2745,2746,2747,2748,2749,2750,2751,2752,2753,2754,2755,2756,2757,2758,2759,2760,2761,2762,2763,2764,2765,2766,2767,2768,2769,2770,2771,2772,2773,2774,2775,2776,2777,2778,2779,2780,2781,2782,2783,2784,2785,2786,2787,2788,2789,2790,2791,2792,2793,2794,2795,2796,2797,2798,2799,2800,2801,2802,2803,2804,2805,2806,2807,2808,2809,2810,2811,2812,2813,2814,2815,2816,2817,2818,2819,2820,2821,2822,2823,2824,2825,2826,2827,2828,2829,2830,2831,2832,2833,2834,2835,2836,2837,2838,2839,2840,2841,2842,2843,2844,2845,2846,2847,2848,2849,2850,2851,2852,2853,2854,2855,2856,2857,2858,2859,2860,2861,2862,2863,2864,2865,2866,2867,2868,2869,2870,2871,2872,2873,2874,2875,2876,2877,2878,2879,2880,2881,2882,2883,2884,2885,2886,2887,2888,2889,2890,2891,2892,2893,2894,2895,2896,2897,2898,2899,2900,2901,2902,2903,2904,2905,2906,2907,2908,2909,2910,2911,2912,2913,2914,2915,2916,2917,2918,2919,2920,2921,2922,2923,2924,2925,2926,2927,2928,2929,2930,2931,2932,2933,2934,2935,2936,2937,2938,2939,2940,2941,2942,2943,2944,2945,2946,2947,2948,2949,2950,2951,2952,2953,2954,2955,2956,2957,2958,2959,2960,2961,2962,2963,2964,2965,2966,2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2982,2983,2984,2985,2986,2987,2988,2989,2990,2991,2992,2993,2994,2995,2996,2997,2998,2999,3000,3001,3002,3003,3004,3005,3006,3007,3008,3009,3010,3011,3012,3013,3014,3015,3016,3017,3018,3019,3020,3021,3022,3023,3024,3025,3026,3027,3028,3029,3030,3031,3032,3033,3034,3035,3036,3037,3038,3039,3040,3041,3042,3043,3044,3045,3046,3047,3048,3049,3050,3051,3052,3053,3054,3055,3056,3057,3058,3059,3060,3061,3062,3063,3064,3065,3066,3067,3068,3069,3070,3071,3072,3073,3074,3075,3076,3077,3078,3079,3080,3081,3082,3083,3084,3085,3086,3087,3088,3089,3090,3091,3092,3093,3094,3095,3096,3097,3098,3099,3100,3101,3102,3103,3104,3105,3106,3107,3108,3109,3110,3111,3112,3113,3114,3115,3116,3117,3118,3119,3120,3121,3122,3123,3124,3125,3126,3127,3128,3129,3130,3131,3132,3133,3134,3135,3136,3137,3138,3139,3140,3141,3142,3143,3144,3145,3146,3147,3148,3149,3150,3151,3152,3153,3154,3155,3156,3157,3158,3159,3160,3161,3162,3163,3164,3165,3166,3167,3168,3169,3170,3171,3172,3173,3174,3175,3176,3177,3178,3179,3180,3181,3182,3183,3184,3185,3186,3187,3188,3189,3190,3191,3192,3193,3194,3195,3196,3197,3198,3199,3200,3201,3202,3203,3204,3205,3206,3207,3208,3209,3210,3211,3212,3213,3214,3215,3216,3217,3218,3219,3220,3221,3222,3223,3224,3225,3226,3227,3228,3229,3230,3231,3232,3233,3234,3235,3236,3237,3238,3239,3240,3241,3242,3243,3244,3245,3246,3247,3248,3249,3250,3251,3252,3253,3254,3255,3256,3257,3258,3259,3260,3261,3262,3263,3264,3265,3266,3267,3268,3269,3270,3271,3272,3273,3274,3275,3276,3277,3278,3279,3280,3281,3282,3283,3284,3285,3286,3287,3288,3289,3290,3291,3292,3293,3294,3295,3296,3297,3298,3299,3300,3301,3302,3303,3304,3305,3306,3307,3308,3309,3310,3311,3312,3313,3314,3315,3316,3317,3318,3319,3320,3321,3322,3323,3324,3325,3326,3327,3328,3329,3330,3331,3332,3333,3334,3335,3336,3337,3338,3339,3340,3341,3342,3343,3344,3345,3346,3347,3348,3349,3350,3351,3352,3353,3354,3355,3356,3357,3358,3359,3360,3361,3362,3363,3364,3365,3366,3367,3368,3369,3370,3371,3372,3373,3374,3375,3376,3377,3378,3379,3380,3381,3382,3383,3384,3385,3386,3387,3388,3389,3390,3391,3392,3393,3394,3395,3396,3397,3398,3399,3400,3401,3402,3403,3404,3405,3406,3407,3408,3409,3410,3411,3412,3413,3414,3415,3416,3417,3418,3419,3420,3421,3422,3423,3424,3425,3426,3427,3428,3429,3430,3431,3432,3433,3434,3435,3436,3437,3438,3439,3440,3441,3442,3443,3444,3445,3446,3447,3448,3449,3450,3451,3452,3453,3454,3455,3456,3457,3458,3459,3460,3461,3462,3463,3464,3465,3466,3467,3468,3469,3470,3471,3472,3473,3474,3475,3476,3477,3478,3479,3480,3481,3482,3483,3484,3485,3486,3487,3488,3489,3490,3491,3492,3493,3494,3495,3496,3497,3498,3499,3500,3501,3502,3503,3504,3505,3506,3507,3508,3509,3510,3511,3512,3513,3514,3515,3516,3517,3518,3519,3520,3521,3522,3523,3524,3525,3526,3527,3528,3529,3530,3531,3532,3533,3534,3535,3536,3537,3538,3539,3540,3541,3542,3543,3544,3545,3546,3547,3548,3549,3550,3551,3552,3553,3554,3555,3556,3557,3558,3559,3560,3561,3562,3563,3564,3565,3566,3567,3568,3569,3570,3571,3572,3573,3574,3575,3576,3577,3578,3579,3580,3581,3582,3583,3584,3585,3586,3587,3588,3589,3590,3591,3592,3593,3594,3595,3596,3597,3598,3599,3600,3601,3602,3603,3604,3605,3606,3607,3608,3609,3610,3611,3612,3613,3614,3615,3616,3617,3618,3619,3620,3621,3622,3623,3624,3625,3626,3627,3628,3629,3630,3631,3632,3633,3634,3635,3636,3637,3638,3639,3640,3641,3642,3643,3644,3645,3646,3647,3648,3649,3650,3651,3652,3653,3654,3655,3656,3657,3658,3659,3660,3661,3662,3663,3664,3665,3666,3667,3668,3669,3670,3671,3672,3673,3674,3675,3676,3677,3678,3679,3680,3681,3682,3683,3684,3685,3686,3687,3688,3689,3690,3691,3692,3693,3694,3695,3696,3697,3698,3699,3700,3701,3702,3703,3704,3705,3706,3707,3708,3709,3710,3711,3712,3713,3714,3715,3716,3717,3718,3719,3720,3721,3722,3723,3724,3725,3726,3727,3728,3729,3730,3731,3732,3733,3734,3735,3736,3737,3738,3739,3740,3741,3742,3743,3744,3745,3746,3747,3748,3749,3750,3751,3752,3753,3754,3755,3756,3757,3758,3759,3760,3761,3762,3763,3764,3765,3766,3767,3768,3769,3770,3771,3772,3773,3774,3775,3776,3777,3778,3779,3780,3781,3782,3783,3784,3785,3786,3787,3788,3789,3790,3791,3792,3793,3794,3795,3796,3797,3798,3799,3800,3801,3802,3803,3804,3805,3806,3807,3808,3809,3810,3811,3812,3813,3814,3815,3816,3817,3818,3819,3820,3821,3822,3823,3824,3825,3826,3827,3828,3829,3830,3831,3832,3833,3834,3835,3836,3837,3838,3839,3840,3841,3842,3843,3844,3845,3846,3847,3848,3849,3850,3851,3852,3853,3854,3855,3856,3857,3858,3859,3860,3861,3862,3863,3864,3865,3866,3867,3868,3869,3870,3871,3872,3873,3874,3875,3876,3877,3878,3879,3880,3881,3882,3883,3884,3885,3886,3887,3888,3889,3890,3891,3892,3893,3894,3895,3896,3897,3898,3899,3900,3901,3902,3903,3904,3905,3906,3907,3908,3909,3910,3911,3912,3913,3914,3915,3916,3917,3918,3919,3920,3921,3922,3923,3924,3925,3926,3927,3928,3929,3930,3931,3932,3933,3934,3935,3936,3937,3938,3939,3940,3941,3942,3943,3944,3945,3946,3947,3948,3949,3950,3951,3952,3953,3954,3955,3956,3957,3958,3959,3960,3961,3962,3963,3964,3965,3966,3967,3968,3969,3970,3971,3972,3973,3974,3975,3976,3977,3978,3979,3980,3981,3982,3983,3984,3985,3986,3987,3988,3989,3990,3991,3992,3993,3994,3995,3996,3997,3998,3999,4000,4001,4002,4003,4004,4005,4006,4007,4008,4009,4010,4011,4012,4013,4014,4015,4016,4017,4018,4019,4020,4021,4022,4023,4024,4025,4026,4027,4028,4029,4030,4031,4032,4033,4034,4035,4036,4037,4038,4039,4040,4041,4042,4043,4044,4045,4046,4047,4048,4049,4050,4051,4052,4053,4054,4055,4056,4057,4058,4059,4060,4061,4062,4063,4064,4065,4066,4067,4068,4069,4070,4071,4072,4073,4074,4075,4076,4077,4078,4079,4080,4081,4082,4083,4084,4085,4086,4087,4088,4089,4090,4091,4092,4093,4094,4095,4096,4097,4098,4099,4100,4101,4102,4103,4104,4105,4106,4107,4108,4109,4110,4111,4112,4113,4114,4115,4116,4117,4118,4119,4120,4121,4122,4123,4124,4125,4126,4127,4128,4129,4130,4131,4132,4133,4134,4135,4136,4137,4138,4139,4140,4141,4142,4143,4144,4145,4146,4147,4148,4149,4150,4151,4152,4153,4154,4155,4156,4157,4158,4159,4160,4161,4162,4163,4164,4165,4166,4167,4168,4169,4170,4171,4172,4173,4174,4175,4176,4177,4178,4179,4180,4181,4182,4183,4184,4185,4186,4187,4188,4189,4190,4191,4192,4193,4194,4195,4196,4197,4198,4199,4200,4201,4202,4203,4204,4205,4206,4207,4208,4209,4210,4211,4212,4213,4214,4215,4216,4217,4218,4219,4220,4221,4222,4223,4224,4225,4226,4227,4228,4229,4230,4231,4232,4233,4234,4235,4236,4237,4238,4239,4240,4241,4242,4243,4244,4245,4246,4247,4248,4249,4250,4251,4252,4253,4254,4255,4256,4257,4258,4259,4260,4261,4262,4263,4264,4265,4266,4267,4268,4269,4270,4271,4272,4273,4274,4275,4276,4277,4278,4279,4280,4281,4282,4283,4284,4285,4286,4287,4288,4289,4290,4291,4292,4293,4294,4295,4296,4297,4298,4299,4300,4301,4302,4303,4304,4305,4306,4307,4308,4309,4310,4311,4312,4313,4314,4315,4316,4317,4318,4319,4320,4321,4322,4323,4324,4325,4326,4327,4328,4329,4330,4331,4332,4333,4334,4335,4336,4337,4338,4339,4340,4341,4342,4343,4344,4345,4346,4347,4348,4349,4350,4351,4352,4353,4354,4355,4356,4357,4358,4359,4360,4361,4362,4363,4364,4365,4366,4367,4368,4369,4370,4371,4372,4373,4374,4375,4376,4377,4378,4379,4380,4381,4382,4383,4384,4385,4386,4387,4388,4389,4390,4391,4392,4393,4394,4395,4396,4397,4398,4399,4400,4401,4402,4403,4404,4405,4406,4407,4408,4409,4410,4411,4412,4413,4414,4415,4416,4417,4418,4419,4420,4421,4422,4423,4424,4425,4426,4427,4428,4429,4430,4431,4432,4433,4434,4435,4436,4437,4438,4439,4440,4441,4442,4443,4444,4445,4446,4447,4448,4449,4450,4451,4452,4453,4454,4455,4456,4457,4458,4459,4460,4461,4462,4463,4464,4465,4466,4467,4468,4469,4470,4471,4472,4473,4474,4475,4476,4477,4478,4479,4480,4481,4482,4483,4484,4485,4486,4487,4488,4489,4490,4491,4492,4493,4494,4495,4496,4497,4498,4499,4500,4501,4502,4503,4504,4505,4506,4507,4508,4509,4510,4511,4512,4513,4514,4515,4516,4517,4518,4519,4520,4521,4522,4523,4524,4525,4526,4527,4528,4529,4530,4531,4532,4533,4534,4535,4536,4537,4538,4539,4540,4541,4542,4543,4544,4545,4546,4547,4548,4549,4550,4551,4552,4553,4554,4555,4556,4557,4558,4559,4560,4561,4562,4563,4564,4565,4566,4567,4568,4569,4570,4571,4572,4573,4574,4575,4576,4577,4578,4579,4580,4581,4582,4583,4584,4585,4586,4587,4588,4589,4590,4591,4592,4593,4594,4595,4596,4597,4598,4599,4600,4601,4602,4603,4604,4605,4606,4607,4608,4609,4610,4611,4612,4613,4614,4615,4616,4617,4618,4619,4620,4621,4622,4623,4624,4625,4626,4627,4628,4629,4630,4631,4632,4633,4634,4635,4636,4637,4638,4639,4640,4641,4642,4643,4644,4645,4646,4647,4648,4649,4650,4651,4652,4653,4654,4655,4656,4657,4658,4659,4660,4661,4662,4663,4664,4665,4666,4667,4668,4669,4670,4671,4672,4673,4674,4675,4676,4677,4678,4679,4680,4681,4682,4683,4684,4685,4686,4687,4688,4689,4690,4691,4692,4693,4694,4695,4696,4697,4698,4699,4700,4701,4702,4703,4704,4705,4706,4707,4708,4709,4710,4711,4712,4713,4714,4715,4716,4717,4718,4719,4720,4721,4722,4723,4724,4725,4726,4727,4728,4729,4730,4731,4732,4733,4734,4735,4736,4737,4738,4739,4740,4741,4742,4743,4744,4745,4746,4747,4748,4749,4750,4751,4752,4753,4754,4755,4756,4757,4758,4759,4760,4761,4762,4763,4764,4765,4766,4767,4768,4769,4770,4771,4772,4773,4774,4775,4776,4777,4778,4779,4780,4781,4782,4783,4784,4785,4786,4787,4788,4789,4790,4791,4792,4793,4794,4795,4796,4797,4798,4799,4800,4801,4802,4803,4804,4805,4806,4807,4808,4809,4810,4811,4812,4813,4814,4815,4816,4817,4818,4819,4820,4821,4822,4823,4824,4825,4826,4827,4828,4829,4830,4831,4832,4833,4834,4835,4836,4837,4838,4839,4840,4841,4842,4843,4844,4845,4846,4847,4848,4849,4850,4851,4852,4853,4854,4855,4856,4857,4858,4859,4860,4861,4862,4863,4864,4865,4866,4867,4868,4869,4870,4871,4872,4873,4874,4875,4876,4877,4878,4879,4880,4881,4882,4883,4884,4885,4886,4887,4888,4889,4890,4891,4892,4893,4894,4895,4896,4897,4898,4899,4900,4901,4902,4903,4904,4905,4906,4907,4908,4909,4910,4911,4912,4913,4914,4915,4916,4917,4918,4919,4920,4921,4922,4923,4924,4925,4926,4927,4928,4929,4930,4931,4932,4933,4934,4935,4936,4937,4938,4939,4940,4941,4942,4943,4944,4945,4946,4947,4948,4949,4950,4951,4952,4953,4954,4955,4956,4957,4958,4959,4960,4961,4962,4963,4964,4965,4966,4967,4968,4969,4970,4971,4972,4973,4974,4975,4976,4977,4978,4979,4980,4981,4982,4983,4984,4985,4986,4987,4988,4989,4990,4991,4992,4993,4994,4995,4996,4997,4998,4999,5000,5005,5010,5015,5020,5025,5030,5035,5040,5045,5050,5055,5060,5065,5070,5075,5080,5085,5090,5095,5100,5105,5110,5115,5120,5125,5130,5135,5140,5145,5150,5155,5160,5165,5170,5175,5180,5185,5190,5195,5200,5205,5210,5215,5220,5225,5230,5235,5240,5245,5250,5255,5260,5265,5270,5275,5280,5285,5290,5295,5300,5305,5310,5315,5320,5325,5330,5335,5340,5345,5350,5355,5360,5365,5370,5375,5380,5385,5390,5395,5400,5405,5410,5415,5420,5425,5430,5435,5440,5445,5450,5455,5460,5465,5470,5475,5480,5485,5490,5495,5500,5505,5510,5515,5520,5525,5530,5535,5540,5545,5550,5555,5560,5565,5570,5575,5580,5585,5590,5595,5600,5605,5610,5615,5620,5625,5630,5635,5640,5645,5650,5655,5660,5665,5670,5675,5680,5685,5690,5695,5700,5705,5710,5715,5720,5725,5730,5735,5740,5745,5750,5755,5760,5765,5770,5775,5780,5785,5790,5795,5800,5805,5810,5815,5820,5825,5830,5835,5840,5845,5850,5855,5860,5865,5870,5875,5880,5885,5890,5895,5900,5905,5910,5915,5920,5925,5930,5935,5940,5945,5950,5955,5960,5965,5970,5975,5980,5985,5990,5995,6000,6005,6010,6015,6020,6025,6030,6035,6040,6045,6050,6055,6060,6065,6070,6075,6080,6085,6090,6095,6100,6105,6110,6115,6120,6125,6130,6135,6140,6145,6150,6155,6160,6165,6170,6175,6180,6185,6190,6195,6200,6205,6210,6215,6220,6225,6230,6235,6240,6245,6250,6255,6260,6265,6270,6275,6280,6285,6290,6295,6300,6305,6310,6315,6320,6325,6330,6335,6340,6345,6350,6355,6360,6365,6370,6375,6380,6385,6390,6395,6400,6405,6410,6415,6420,6425,6430,6435,6440,6445,6450,6455,6460,6465,6470,6475,6480,6485,6490,6495,6500,6505,6510,6515,6520,6525,6530,6535,6540,6545,6550,6555,6560,6565,6570,6575,6580,6585,6590,6595,6600,6605,6610,6615,6620,6625,6630,6635,6640,6645,6650,6655,6660,6665,6670,6675,6680,6685,6690,6695,6700,6705,6710,6715,6720,6725,6730,6735,6740,6745,6750,6755,6760,6765,6770,6775,6780,6785,6790,6795,6800,6805,6810,6815,6820,6825,6830,6835,6840,6845,6850,6855,6860,6865,6870,6875,6880,6885,6890,6895,6900,6905,6910,6915,6920,6925,6930,6935,6940,6945,6950,6955,6960,6965,6970,6975,6980,6985,6990,6995,7000,7005,7010,7015,7020,7025,7030,7035,7040,7045,7050,7055,7060,7065,7070,7075,7080,7085,7090,7095,7100,7105,7110,7115,7120,7125,7130,7135,7140,7145,7150,7155,7160,7165,7170,7175,7180,7185,7190,7195,7200,7205,7210,7215,7220,7225,7230,7235,7240,7245,7250,7255,7260,7265,7270,7275,7280,7285,7290,7295,7300,7305,7310,7315,7320,7325,7330,7335,7340,7345,7350,7355,7360,7365,7370,7375,7380,7385,7390,7395,7400,7405,7410,7415,7420,7425,7430,7435,7440,7445,7450,7455,7460,7465,7470,7475,7480,7485,7490,7495,7500,7505,7510,7515,7520,7525,7530,7535,7540,7545,7550,7555,7560,7565,7570,7575,7580,7585,7590,7595,7600,7605,7610,7615,7620,7625,7630,7635,7640,7645,7650,7655,7660,7665,7670,7675,7680,7685,7690,7695,7700,7705,7710,7715,7720,7725,7730,7735,7740,7745,7750,7755,7760,7765,7770,7775,7780,7785,7790,7795,7800,7805,7810,7815,7820,7825,7830,7835,7840,7845,7850,7855,7860,7865,7870,7875,7880,7885,7890,7895,7900,7905,7910,7915,7920,7925,7930,7935,7940,7945,7950,7955,7960,7965,7970,7975,7980,7985,7990,7995,8000,8005,8010,8015,8020,8025,8030,8035,8040,8045,8050,8055,8060,8065,8070,8075,8080,8085,8090,8095,8100,8105,8110,8115,8120,8125,8130,8135,8140,8145,8150,8155,8160,8165,8170,8175,8180,8185,8190,8195,8200,8205,8210,8215,8220,8225,8230,8235,8240,8245,8250,8255,8260,8265,8270,8275,8280,8285,8290,8295,8300,8305,8310,8315,8320,8325,8330,8335,8340,8345,8350,8355,8360,8365,8370,8375,8380,8385,8390,8395,8400,8405,8410,8415,8420,8425,8430,8435,8440,8445,8450,8455,8460,8465,8470,8475,8480,8485,8490,8495,8500,8505,8510,8515,8520,8525,8530,8535,8540,8545,8550,8555,8560,8565,8570,8575,8580,8585,8590,8595,8600,8605,8610,8615,8620,8625,8630,8635,8640,8645,8650,8655,8660,8665,8670,8675,8680,8685,8690,8695,8700,8705,8710,8715,8720,8725,8730,8735,8740,8745,8750,8755,8760,8765,8770,8775,8780,8785,8790,8795,8800,8805,8810,8815,8820,8825,8830,8835,8840,8845,8850,8855,8860,8865,8870,8875,8880,8885,8890,8895,8900,8905,8910,8915,8920,8925,8930,8935,8940,8945,8950,8955,8960,8965,8970,8975,8980,8985,8990,8995,9000,9005,9010,9015,9020,9025,9030,9035,9040,9045,9050,9055,9060,9065,9070,9075,9080,9085,9090,9095,9100,9105,9110,9115,9120,9125,9130,9135,9140,9145,9150,9155,9160,9165,9170,9175,9180,9185,9190,9195,9200,9205,9210,9215,9220,9225,9230,9235,9240,9245,9250,9255,9260,9265,9270,9275,9280,9285,9290,9295,9300,9305,9310,9315,9320,9325,9330,9335,9340,9345,9350,9355,9360,9365,9370,9375,9380,9385,9390,9395,9400,9405,9410,9415,9420,9425,9430,9435,9440,9445,9450,9455,9460,9465,9470,9475,9480,9485,9490,9495,9500,9505,9510,9515,9520,9525,9530,9535,9540,9545,9550,9555,9560,9565,9570,9575,9580,9585,9590,9595,9600,9605,9610,9615,9620,9625,9630,9635,9640,9645,9650,9655,9660,9665,9670,9675,9680,9685,9690,9695,9700,9705,9710,9715,9720,9725,9730,9735,9740,9745,9750,9755,9760,9765,9770,9775,9780,9785,9790,9795,9800,9805,9810,9815,9820,9825,9830,9835,9840,9845,9850,9855,9860,9865,9870,9875,9880,9885,9890,9895,9900,9905,9910,9915,9920,9925,9930,9935,9940,9945,9950,9955,9960,9965,9970,9975,9980,9985,9990,9995,10000,10005,10010,10015,10020,10025,10030,10035,10040,10045,10050,10055,10060,10065,10070,10075,10080,10085,10090,10095,10100,10105,10110,10115,10120,10125,10130,10135,10140,10145,10150,10155,10160,10165,10170,10175,10180,10185,10190,10195,10200,10205,10210,10215,10220,10225,10230,10235,10240,10245,10250,10255,10260,10265,10270,10275,10280,10285,10290,10295,10300,10305,10310,10315,10320,10325,10330,10335,10340,10345,10350,10355,10360,10365,10370,10375,10380,10385,10390,10395,10400,10405,10410,10415,10420,10425,10430,10435,10440,10445,10450,10455,10460,10465,10470,10475,10480,10485,10490,10495,10500,10505,10510,10515,10520,10525,10530,10535,10540,10545,10550,10555,10560,10565,10570,10575,10580,10585,10590,10595,10600,10605,10610,10615,10620,10625,10630,10635,10640,10645,10650,10655,10660,10665,10670,10675,10680,10685,10690,10695,10700,10705,10710,10715,10720,10725,10730,10735,10740,10745,10750,10755,10760,10765,10770,10775,10780,10785,10790,10795,10800,10805,10810,10815,10820,10825,10830,10835,10840,10845,10850,10855,10860,10865,10870,10875,10880,10885,10890,10895,10900,10905,10910,10915,10920,10925,10930,10935,10940,10945,10950,10955,10960,10965,10970,10975,10980,10985,10990,10995,11000,11005,11010,11015,11020,11025,11030,11035,11040,11045,11050,11055,11060,11065,11070,11075,11080,11085,11090,11095,11100,11105,11110,11115,11120,11125,11130,11135,11140,11145,11150,11155,11160,11165,11170,11175,11180,11185,11190,11195,11200,11205,11210,11215,11220,11225,11230,11235,11240,11245,11250,11255,11260,11265,11270,11275,11280,11285,11290,11295,11300,11305,11310,11315,11320,11325,11330,11335,11340,11345,11350,11355,11360,11365,11370,11375,11380,11385,11390,11395,11400,11405,11410,11415,11420,11425,11430,11435,11440,11445,11450,11455,11460,11465,11470,11475,11480,11485,11490,11495,11500,11505,11510,11515,11520,11525,11530,11535,11540,11545,11550,11555,11560,11565,11570,11575,11580,11585,11590,11595,11600,11605,11610,11615,11620,11625,11630,11635,11640,11645,11650,11655,11660,11665,11670,11675,11680,11685,11690,11695,11700,11705,11710,11715,11720,11725,11730,11735,11740,11745,11750,11755,11760,11765,11770,11775,11780,11785,11790,11795,11800,11805,11810,11815,11820,11825,11830,11835,11840,11845,11850,11855,11860,11865,11870,11875,11880,11885,11890,11895,11900,11905,11910,11915,11920,11925,11930,11935,11940,11945,11950,11955,11960,11965,11970,11975,11980,11985,11990,11995,12000,12005,12010,12015,12020,12025,12030,12035,12040,12045,12050,12055,12060,12065,12070,12075,12080,12085,12090,12095,12100,12105,12110,12115,12120,12125,12130,12135,12140,12145,12150,12155,12160,12165,12170,12175,12180,12185,12190,12195,12200,12205,12210,12215,12220,12225,12230,12235,12240,12245,12250,12255,12260,12265,12270,12275,12280,12285,12290,12295,12300,12305,12310,12315,12320,12325,12330,12335,12340,12345,12350,12355,12360,12365,12370,12375,12380,12385,12390,12395,12400,12405,12410,12415,12420,12425,12430,12435,12440,12445,12450,12455,12460,12465,12470,12475,12480,12485,12490,12495,12500,12505,12510,12515,12520,12525,12530,12535,12540,12545,12550,12555,12560,12565,12570,12575,12580,12585,12590,12595,12600,12605,12610,12615,12620,12625,12630,12635,12640,12645,12650,12655,12660,12665,12670,12675,12680,12685,12690,12695,12700,12705,12710,12715,12720,12725,12730,12735,12740,12745,12750,12755,12760,12765,12770,12775,12780,12785,12790,12795,12800,12805,12810,12815,12820,12825,12830,12835,12840,12845,12850,12855,12860,12865,12870,12875,12880,12885,12890,12895,12900,12905,12910,12915,12920,12925,12930,12935,12940,12945,12950,12955,12960,12965,12970,12975,12980,12985,12990,12995,13000,13005,13010,13015,13020,13025,13030,13035,13040,13045,13050,13055,13060,13065,13070,13075,13080,13085,13090,13095,13100,13105,13110,13115,13120,13125,13130,13135,13140,13145,13150,13155,13160,13165,13170,13175,13180,13185,13190,13195,13200,13205,13210,13215,13220,13225,13230,13235,13240,13245,13250,13255,13260,13265,13270,13275,13280,13285,13290,13295,13300,13305,13310,13315,13320,13325,13330,13335,13340,13345,13350,13355,13360,13365,13370,13375,13380,13385,13390,13395,13400,13405,13410,13415,13420,13425,13430,13435,13440,13445,13450,13455,13460,13465,13470,13475,13480,13485,13490,13495,13500,13505,13510,13515,13520,13525,13530,13535,13540,13545,13550,13555,13560,13565,13570,13575,13580,13585,13590,13595,13600,13605,13610,13615,13620,13625,13630,13635,13640,13645,13650,13655,13660,13665,13670,13675,13680,13685,13690,13695,13700,13705,13710,13715,13720,13725,13730,13735,13740,13745,13750,13755,13760,13765,13770,13775,13780,13785,13790,13795,13800,13805,13810,13815,13820,13825,13830,13835,13840,13845,13850,13855,13860,13865,13870,13875,13880,13885,13890,13895,13900,13905,13910,13915,13920,13925,13930,13935,13940,13945,13950,13955,13960,13965,13970,13975,13980,13985,13990,13995,14000,14005,14010,14015,14020,14025,14030,14035,14040,14045,14050,14055,14060,14065,14070,14075,14080,14085,14090,14095,14100,14105,14110,14115,14120,14125,14130,14135,14140,14145,14150,14155,14160,14165,14170,14175,14180,14185,14190,14195,14200,14205,14210,14215,14220,14225,14230,14235,14240,14245,14250,14255,14260,14265,14270,14275,14280,14285,14290,14295,14300,14305,14310,14315,14320,14325,14330,14335,14340,14345,14350,14355,14360,14365,14370,14375,14380,14385,14390,14395,14400,14405,14410,14415,14420,14425,14430,14435,14440,14445,14450,14455,14460,14465,14470,14475,14480,14485,14490,14495,14500,14505,14510,14515,14520,14525,14530,14535,14540,14545,14550,14555,14560,14565,14570,14575,14580,14585,14590,14595,14600,14605,14610,14615,14620,14625,14630,14635,14640,14645,14650,14655,14660,14665,14670,14675,14680,14685,14690,14695,14700,14705,14710,14715,14720,14725,14730,14735,14740,14745,14750,14755,14760,14765,14770,14775,14780,14785,14790,14795,14800,14805,14810,14815,14820,14825,14830,14835,14840,14845,14850,14855,14860,14865,14870,14875,14880,14885,14890,14895,14900,14905,14910,14915,14920,14925,14930,14935,14940,14945,14950,14955,14960,14965,14970,14975,14980,14985,14990,14995,15000,15010,15020,15030,15040,15050,15060,15070,15080,15090,15100,15110,15120,15130,15140,15150,15160,15170,15180,15190,15200,15210,15220,15230,15240,15250,15260,15270,15280,15290,15300,15310,15320,15330,15340,15350,15360,15370,15380,15390,15400,15410,15420,15430,15440,15450,15460,15470,15480,15490,15500,15510,15520,15530,15540,15550,15560,15570,15580,15590,15600,15610,15620,15630,15640,15650,15660,15670,15680,15690,15700,15710,15720,15730,15740,15750,15760,15770,15780,15790,15800,15810,15820,15830,15840,15850,15860,15870,15880,15890,15900,15910,15920,15930,15940,15950,15960,15970,15980,15990,16000,16010,16020,16030,16040,16050,16060,16070,16080,16090,16100,16110,16120,16130,16140,16150,16160,16170,16180,16190,16200,16210,16220,16230,16240,16250,16260,16270,16280,16290,16300,16310,16320,16330,16340,16350,16360,16370,16380,16390,16400,16410,16420,16430,16440,16450,16460,16470,16480,16490,16500,16510,16520,16530,16540,16550,16560,16570,16580,16590,16600,16610,16620,16630,16640,16650,16660,16670,16680,16690,16700,16710,16720,16730,16740,16750,16760,16770,16780,16790,16800,16810,16820,16830,16840,16850,16860,16870,16880,16890,16900,16910,16920,16930,16940,16950,16960,16970,16980,16990,17000,17010,17020,17030,17040,17050,17060,17070,17080,17090,17100,17110,17120,17130,17140,17150,17160,17170,17180,17190,17200,17210,17220,17230,17240,17250,17260,17270,17280,17290,17300,17310,17320,17330,17340,17350,17360,17370,17380,17390,17400,17410,17420,17430,17440,17450,17460,17470,17480,17490,17500,17510,17520,17530,17540,17550,17560,17570,17580,17590,17600,17610,17620,17630,17640,17650,17660,17670,17680,17690,17700,17710,17720,17730,17740,17750,17760,17770,17780,17790,17800,17810,17820,17830,17840,17850,17860,17870,17880,17890,17900,17910,17920,17930,17940,17950,17960,17970,17980,17990,18000,18010,18020,18030,18040,18050,18060,18070,18080,18090,18100,18110,18120,18130,18140,18150,18160,18170,18180,18190,18200,18210,18220,18230,18240,18250,18260,18270,18280,18290,18300,18310,18320,18330,18340,18350,18360,18370,18380,18390,18400,18410,18420,18430,18440,18450,18460,18470,18480,18490,18500,18510,18520,18530,18540,18550,18560,18570,18580,18590,18600,18610,18620,18630,18640,18650,18660,18670,18680,18690,18700,18710,18720,18730,18740,18750,18760,18770,18780,18790,18800,18810,18820,18830,18840,18850,18860,18870,18880,18890,18900,18910,18920,18930,18940,18950,18960,18970,18980,18990,19000,19010,19020,19030,19040,19050,19060,19070,19080,19090,19100,19110,19120,19130,19140,19150,19160,19170,19180,19190,19200,19210,19220,19230,19240,19250,19260,19270,19280,19290,19300,19310,19320,19330,19340,19350,19360,19370,19380,19390,19400,19410,19420,19430,19440,19450,19460,19470,19480,19490,19500,19510,19520,19530,19540,19550,19560,19570,19580,19590,19600,19610,19620,19630,19640,19650,19660,19670,19680,19690,19700,19710,19720,19730,19740,19750,19760,19770,19780,19790,19800,19810,19820,19830,19840,19850,19860,19870,19880,19890,19900,19910,19920,19930,19940,19950,19960,19970,19980,19990,20000,20010,20020,20030,20040,20050,20060,20070,20080,20090,20100,20110,20120,20130,20140,20150,20160,20170,20180,20190,20200,20210,20220,20230,20240,20250,20260,20270,20280,20290,20300,20310,20320,20330,20340,20350,20360,20370,20380,20390,20400,20410,20420,20430,20440,20450,20460,20470,20480,20490,20500,20510,20520,20530,20540,20550,20560,20570,20580,20590,20600,20610,20620,20630,20640,20650,20660,20670,20680,20690,20700,20710,20720,20730,20740,20750,20760,20770,20780,20790,20800,20810,20820,20830,20840,20850,20860,20870,20880,20890,20900,20910,20920,20930,20940,20950,20960,20970,20980,20990,21000,21010,21020,21030,21040,21050,21060,21070,21080,21090,21100,21110,21120,21130,21140,21150,21160,21170,21180,21190,21200,21210,21220,21230,21240,21250,21260,21270,21280,21290,21300,21310,21320,21330,21340,21350,21360,21370,21380,21390,21400,21410,21420,21430,21440,21450,21460,21470,21480,21490,21500,21510,21520,21530,21540,21550,21560,21570,21580,21590,21600,21610,21620,21630,21640,21650,21660,21670,21680,21690,21700,21710,21720,21730,21740,21750,21760,21770,21780,21790,21800,21810,21820,21830,21840,21850,21860,21870,21880,21890,21900,21910,21920,21930,21940,21950,21960,21970,21980,21990,22000,22010,22020,22030,22040,22050,22060,22070,22080,22090,22100,22110,22120,22130,22140,22150,22160,22170,22180,22190,22200,22210,22220,22230,22240,22250,22260,22270,22280,22290,22300,22310,22320,22330,22340,22350,22360,22370,22380,22390,22400,22410,22420,22430,22440,22450,22460,22470,22480,22490,22500,22510,22520,22530,22540,22550,22560,22570,22580,22590,22600,22610,22620,22630,22640,22650,22660,22670,22680,22690,22700,22710,22720,22730,22740,22750,22760,22770,22780,22790,22800,22810,22820,22830,22840,22850,22860,22870,22880,22890,22900,22910,22920,22930,22940,22950,22960,22970,22980,22990,23000,23010,23020,23030,23040,23050,23060,23070,23080,23090,23100,23110,23120,23130,23140,23150,23160,23170,23180,23190,23200,23210,23220,23230,23240,23250,23260,23270,23280,23290,23300,23310,23320,23330,23340,23350,23360,23370,23380,23390,23400,23410,23420,23430,23440,23450,23460,23470,23480,23490,23500,23510,23520,23530,23540,23550,23560,23570,23580,23590,23600,23610,23620,23630,23640,23650,23660,23670,23680,23690,23700,23710,23720,23730,23740,23750,23760,23770,23780,23790,23800,23810,23820,23830,23840,23850,23860,23870,23880,23890,23900,23910,23920,23930,23940,23950,23960,23970,23980,23990,24000,24010,24020,24030,24040,24050,24060,24070,24080,24090,24100,24110,24120,24130,24140,24150,24160,24170,24180,24190,24200,24210,24220,24230,24240,24250,24260,24270,24280,24290,24300,24310,24320,24330,24340,24350,24360,24370,24380,24390,24400,24410,24420,24430,24440,24450,24460,24470,24480,24490,24500,24510,24520,24530,24540,24550,24560,24570,24580,24590,24600,24610,24620,24630,24640,24650,24660,24670,24680,24690,24700,24710,24720,24730,24740,24750,24760,24770,24780,24790,24800,24810,24820,24830,24840,24850,24860,24870,24880,24890,24900,24910,24920,24930,24940,24950,24960,24970,24980,24990,25000,25020,25040,25060,25080,25100,25120,25140,25160,25180,25200,25220,25240,25260,25280,25300,25320,25340,25360,25380,25400,25420,25440,25460,25480,25500,25520,25540,25560,25580,25600,25620,25640,25660,25680,25700,25720,25740,25760,25780,25800,25820,25840,25860,25880,25900,25920,25940,25960,25980,26000,26020,26040,26060,26080,26100,26120,26140,26160,26180,26200,26220,26240,26260,26280,26300,26320,26340,26360,26380,26400,26420,26440,26460,26480,26500,26520,26540,26560,26580,26600,26620,26640,26660,26680,26700,26720,26740,26760,26780,26800,26820,26840,26860,26880,26900,26920,26940,26960,26980,27000,27020,27040,27060,27080,27100,27120,27140,27160,27180,27200,27220,27240,27260,27280,27300,27320,27340,27360,27380,27400,27420,27440,27460,27480,27500,27520,27540,27560,27580,27600,27620,27640,27660,27680,27700,27720,27740,27760,27780,27800,27820,27840,27860,27880,27900,27920,27940,27960,27980,28000,28020,28040,28060,28080,28100,28120,28140,28160,28180,28200,28220,28240,28260,28280,28300,28320,28340,28360,28380,28400,28420,28440,28460,28480,28500,28520,28540,28560,28580,28600,28620,28640,28660,28680,28700,28720,28740,28760,28780,28800,28820,28840,28860,28880,28900,28920,28940,28960,28980,29000,29020,29040,29060,29080,29100,29120,29140,29160,29180,29200,29220,29240,29260,29280,29300,29320,29340,29360,29380,29400,29420,29440,29460,29480,29500,29520,29540,29560,29580,29600,29620,29640,29660,29680,29700,29720,29740,29760,29780,29800,29820,29840,29860,29880,29900,29920,29940,29960,29980,30000,30020,30040,30060,30080,30100,30120,30140,30160,30180,30200,30220,30240,30260,30280,30300,30320,30340,30360,30380,30400,30420,30440,30460,30480,30500,30520,30540,30560,30580,30600,30620,30640,30660,30680,30700,30720,30740,30760,30780,30800,30820,30840,30860,30880,30900,30920,30940,30960,30980,31000,31020,31040,31060,31080,31100,31120,31140,31160,31180,31200,31220,31240,31260,31280,31300,31320,31340,31360,31380,31400,31420,31440,31460,31480,31500,31520,31540,31560,31580,31600,31620,31640,31660,31680,31700,31720,31740,31760,31780,31800,31820,31840,31860,31880,31900,31920,31940,31960,31980,32000,32020,32040,32060,32080,32100,32120,32140,32160,32180,32200,32220,32240,32260,32280,32300,32320,32340,32360,32380,32400,32420,32440,32460,32480,32500,32520,32540,32560,32580,32600,32620,32640,32660,32680,32700,32720,32740,32760,32780,32800,32820,32840,32860,32880,32900,32920,32940,32960,32980,33000,33020,33040,33060,33080,33100,33120,33140,33160,33180,33200,33220,33240,33260,33280,33300,33320,33340,33360,33380,33400,33420,33440,33460,33480,33500,33520,33540,33560,33580,33600,33620,33640,33660,33680,33700,33720,33740,33760,33780,33800,33820,33840,33860,33880,33900,33920,33940,33960,33980,34000,34020,34040,34060,34080,34100,34120,34140,34160,34180,34200,34220,34240,34260,34280,34300,34320,34340,34360,34380,34400,34420,34440,34460,34480,34500,34520,34540,34560,34580,34600,34620,34640,34660,34680,34700,34720,34740,34760,34780,34800,34820,34840,34860,34880,34900,34920,34940,34960,34980,35000,35020,35040,35060,35080,35100,35120,35140,35160,35180,35200,35220,35240,35260,35280,35300,35320,35340,35360,35380,35400,35420,35440,35460,35480,35500,35520,35540,35560,35580,35600,35620,35640,35660,35680,35700,35720,35740,35760,35780,35800,35820,35840,35860,35880,35900,35920,35940,35960,35980,36000,36020,36040,36060,36080,36100,36120,36140,36160,36180,36200,36220,36240,36260,36280,36300,36320,36340,36360,36380,36400,36420,36440,36460,36480,36500,36520,36540,36560,36580,36600,36620,36640,36660,36680,36700,36720,36740,36760,36780,36800,36820,36840,36860,36880,36900,36920,36940,36960,36980,37000,37020,37040,37060,37080,37100,37120,37140,37160,37180,37200,37220,37240,37260,37280,37300,37320,37340,37360,37380,37400,37420,37440,37460,37480,37500,37520,37540,37560,37580,37600,37620,37640,37660,37680,37700,37720,37740,37760,37780,37800,37820,37840,37860,37880,37900,37920,37940,37960,37980,38000,38020,38040,38060,38080,38100,38120,38140,38160,38180,38200,38220,38240,38260,38280,38300,38320,38340,38360,38380,38400,38420,38440,38460,38480,38500,38520,38540,38560,38580,38600,38620,38640,38660,38680,38700,38720,38740,38760,38780,38800,38820,38840,38860,38880,38900,38920,38940,38960,38980,39000,39020,39040,39060,39080,39100,39120,39140,39160,39180,39200,39220,39240,39260,39280,39300,39320,39340,39360,39380,39400,39420,39440,39460,39480,39500,39520,39540,39560,39580,39600,39620,39640,39660,39680,39700,39720,39740,39760,39780,39800,39820,39840,39860,39880,39900,39920,39940,39960,39980,40000,40020,40040,40060,40080,40100,40120,40140,40160,40180,40200,40220,40240,40260,40280,40300,40320,40340,40360,40380,40400,40420,40440,40460,40480,40500,40520,40540,40560,40580,40600,40620,40640,40660,40680,40700,40720,40740,40760,40780,40800,40820,40840,40860,40880,40900,40920,40940,40960,40980,41000,41020,41040,41060,41080,41100,41120,41140,41160,41180,41200,41220,41240,41260,41280,41300,41320,41340,41360,41380,41400,41420,41440,41460,41480,41500,41520,41540,41560,41580,41600,41620,41640,41660,41680,41700,41720,41740,41760,41780,41800,41820,41840,41860,41880,41900,41920,41940,41960,41980,42000,42020,42040,42060,42080,42100,42120,42140,42160,42180,42200,42220,42240,42260,42280,42300,42320,42340,42360,42380,42400,42420,42440,42460,42480,42500,42520,42540,42560,42580,42600,42620,42640,42660,42680,42700,42720,42740,42760,42780,42800,42820,42840,42860,42880,42900,42920,42940,42960,42980,43000,43020,43040,43060,43080,43100,43120,43140,43160,43180,43200,43220,43240,43260,43280,43300,43320,43340,43360,43380,43400,43420,43440,43460,43480,43500,43520,43540,43560,43580,43600,43620,43640,43660,43680,43700,43720,43740,43760,43780,43800,43820,43840,43860,43880,43900,43920,43940,43960,43980,44000,44020,44040,44060,44080,44100,44120,44140,44160,44180,44200,44220,44240,44260,44280,44300,44320,44340,44360,44380,44400,44420,44440,44460,44480,44500,44520,44540,44560,44580,44600,44620,44640,44660,44680,44700,44720,44740,44760,44780,44800,44820,44840,44860,44880,44900,44920,44940,44960,44980,45000,45020,45040,45060,45080,45100,45120,45140,45160,45180,45200,45220,45240,45260,45280,45300,45320,45340,45360,45380,45400,45420,45440,45460,45480,45500,45520,45540,45560,45580,45600,45620,45640,45660,45680,45700,45720,45740,45760,45780,45800,45820,45840,45860,45880,45900,45920,45940,45960,45980,46000,46020,46040,46060,46080,46100,46120,46140,46160,46180,46200,46220,46240,46260,46280,46300,46320,46340,46360,46380,46400,46420,46440,46460,46480,46500,46520,46540,46560,46580,46600,46620,46640,46660,46680,46700,46720,46740,46760,46780,46800,46820,46840,46860,46880,46900,46920,46940,46960,46980,47000,47020,47040,47060,47080,47100,47120,47140,47160,47180,47200,47220,47240,47260,47280,47300,47320,47340,47360,47380,47400,47420,47440,47460,47480,47500,47520,47540,47560,47580,47600,47620,47640,47660,47680,47700,47720,47740,47760,47780,47800,47820,47840,47860,47880,47900,47920,47940,47960,47980,48000,48020,48040,48060,48080,48100,48120,48140,48160,48180,48200,48220,48240,48260,48280,48300,48320,48340,48360,48380,48400,48420,48440,48460,48480,48500,48520,48540,48560,48580,48600,48620,48640,48660,48680,48700,48720,48740,48760,48780,48800,48820,48840,48860,48880,48900,48920,48940,48960,48980,49000,49020,49040,49060,49080,49100,49120,49140,49160,49180,49200,49220,49240,49260,49280,49300,49320,49340,49360,49380,49400,49420,49440,49460,49480,49500,49520,49540,49560,49580,49600,49620,49640,49660,49680,49700,49720,49740,49760,49780,49800,49820,49840,49860,49880,49900,49920,49940,49960,49980,50000,50020,50040,50060,50080,50100,50120,50140,50160,50180,50200,50220,50240,50260,50280,50300,50320,50340,50360,50380,50400,50420,50440,50460,50480,50500,50520,50540,50560,50580,50600,50620,50640,50660,50680,50700,50720,50740,50760,50780,50800,50820,50840,50860,50880,50900,50920,50940,50960,50980,51000,51020,51040,51060,51080,51100,51120,51140,51160,51180,51200,51220,51240,51260,51280,51300,51320,51340,51360,51380,51400,51420,51440,51460,51480,51500,51520,51540,51560,51580,51600,51620,51640,51660,51680,51700,51720,51740,51760,51780,51800,51820,51840,51860,51880,51900,51920,51940,51960,51980,52000,52020,52040,52060,52080,52100,52120,52140,52160,52180,52200,52220,52240,52260,52280,52300,52320,52340,52360,52380,52400,52420,52440,52460,52480,52500,52520,52540,52560,52580,52600,52620,52640,52660,52680,52700,52720,52740,52760,52780,52800,52820,52840,52860,52880,52900,52920,52940,52960,52980,53000,53020,53040,53060,53080,53100,53120,53140,53160,53180,53200,53220,53240,53260,53280,53300,53320,53340,53360,53380,53400,53420,53440,53460,53480,53500,53520,53540,53560,53580,53600,53620,53640,53660,53680,53700,53720,53740,53760,53780,53800,53820,53840,53860,53880,53900,53920,53940,53960,53980,54000,54020,54040,54060,54080,54100,54120,54140,54160,54180,54200,54220,54240,54260,54280,54300,54320,54340,54360,54380,54400,54420,54440,54460,54480,54500,54520,54540,54560,54580,54600,54620,54640,54660,54680,54700,54720,54740,54760,54780,54800,54820,54840,54860,54880,54900,54920,54940,54960,54980,55000],
+    [199,197,195,193,190,188,185,181,178,174,170,166,163,161,160,160,161,162,163,164,163,162,160,156,153,149,146,143,141,140,137,135,132,129,126,123,121,120,119,119,118,116,113,110,106,102,99,96,95,95,96,97,98,99,98,99,99,101,103,107,110,113,115,116,117,116,115,114,114,116,118,121,125,128,130,130,130,129,127,125,124,123,124,125,127,128,129,128,127,126,125,124,125,125,126,127,127,127,126,125,124,124,123,124,124,125,126,127,128,129,129,128,127,124,121,117,112,108,104,100,98,96,96,96,98,100,102,104,104,105,104,104,105,106,107,110,113,117,121,127,133,139,145,150,153,156,157,159,161,163,167,173,180,189,198,207,215,221,225,227,228,227,224,221,218,214,209,205,200,195,189,184,179,176,174,174,175,178,181,183,185,185,184,182,179,177,174,171,168,165,161,159,158,159,161,163,166,169,172,175,177,178,179,180,180,180,180,178,176,173,170,167,165,163,162,161,160,159,157,154,149,145,140,135,131,127,123,119,115,111,107,103,100,97,96,96,97,98,99,101,103,105,107,108,108,108,108,107,107,108,110,112,115,118,122,125,129,132,135,138,141,144,147,150,153,156,159,163,166,168,171,173,175,176,176,176,176,177,179,183,187,192,196,201,206,210,214,217,221,225,229,233,236,239,242,244,245,247,248,250,252,254,257,261,264,267,270,274,278,282,287,291,295,298,302,306,311,315,320,324,326,328,330,330,329,329,330,331,333,337,341,345,348,352,355,356,357,357,357,357,358,360,362,364,366,366,365,363,360,357,355,354,353,352,351,351,349,347,345,343,340,338,336,335,334,334,335,335,335,335,335,334,334,333,332,330,329,327,326,324,323,321,321,321,322,323,325,326,327,326,325,323,321,320,318,317,316,315,313,311,309,307,307,307,308,309,310,311,310,309,308,306,304,302,300,299,298,298,299,301,303,306,309,313,317,321,325,328,331,334,336,339,340,341,341,341,341,341,342,343,345,346,348,349,350,351,352,353,354,355,355,355,356,356,357,358,360,361,363,364,365,366,367,368,368,368,368,368,369,370,371,373,375,377,380,383,386,388,390,391,391,392,393,394,395,394,393,392,391,392,393,397,401,406,411,416,420,423,425,427,429,432,435,439,443,446,450,454,457,460,463,465,468,471,475,478,482,484,486,488,489,490,491,493,496,500,504,509,514,518,522,524,525,526,526,526,526,527,529,531,534,538,542,546,551,555,558,561,564,566,568,570,574,578,583,589,594,599,605,610,615,620,624,628,631,633,635,637,640,643,646,651,655,659,663,665,665,664,662,660,656,653,649,645,642,638,635,631,628,626,623,619,616,612,607,603,599,595,592,591,590,590,590,589,589,588,587,587,587,587,587,587,587,586,585,583,582,581,580,580,580,582,584,588,592,597,601,606,610,614,618,621,623,625,625,625,625,625,625,625,626,627,628,630,633,637,641,645,650,654,659,663,668,672,675,678,680,681,683,684,686,688,689,692,694,696,699,703,707,712,718,725,732,739,745,750,754,758,761,764,767,771,774,778,781,785,788,792,795,797,800,802,803,804,805,805,806,807,808,809,809,808,808,807,806,805,804,803,802,801,800,799,798,797,797,797,797,799,800,802,803,805,806,808,809,812,815,819,824,829,835,842,848,853,857,860,862,864,866,867,868,869,870,871,871,871,871,872,874,876,879,881,882,883,882,881,879,876,874,872,870,869,868,867,865,864,863,863,864,866,868,871,874,877,879,881,883,883,883,883,882,882,882,884,886,889,893,896,899,903,906,910,914,919,923,928,933,937,940,942,944,945,947,948,949,950,950,950,950,948,946,944,942,940,939,939,940,941,942,942,943,943,944,944,946,947,949,950,951,952,952,953,954,955,956,957,959,960,961,961,961,960,959,957,955,953,951,949,947,945,944,943,943,944,945,947,950,953,955,956,957,957,957,956,954,952,950,947,943,939,935,930,926,924,922,921,921,921,921,921,921,921,921,921,922,922,922,922,922,921,920,918,917,915,914,914,917,921,926,931,936,940,944,948,950,952,954,955,956,957,959,961,963,966,969,972,976,980,984,988,992,995,999,1002,1006,1009,1014,1019,1025,1030,1035,1039,1042,1044,1046,1046,1047,1048,1049,1050,1051,1052,1051,1050,1047,1044,1040,1036,1033,1030,1028,1027,1027,1030,1035,1043,1054,1066,1077,1085,1091,1094,1096,1097,1096,1095,1094,1093,1092,1091,1091,1093,1096,1100,1104,1109,1113,1116,1118,1119,1119,1118,1116,1115,1113,1113,1112,1112,1112,1113,1113,1114,1115,1116,1118,1119,1120,1122,1123,1125,1126,1128,1129,1131,1132,1133,1134,1135,1136,1137,1138,1138,1139,1139,1139,1139,1139,1138,1138,1137,1136,1135,1134,1132,1130,1128,1126,1124,1122,1120,1118,1116,1114,1112,1110,1108,1106,1105,1103,1102,1102,1101,1101,1101,1101,1102,1103,1105,1106,1109,1111,1114,1117,1120,1124,1127,1131,1135,1139,1143,1147,1151,1155,1159,1163,1166,1170,1174,1177,1180,1183,1186,1188,1191,1193,1195,1196,1198,1199,1200,1201,1201,1202,1202,1202,1202,1202,1202,1202,1202,1201,1201,1200,1199,1199,1198,1197,1196,1195,1195,1194,1193,1192,1191,1191,1190,1189,1189,1189,1188,1188,1188,1188,1189,1189,1190,1191,1192,1193,1195,1196,1198,1200,1203,1205,1207,1210,1212,1215,1217,1219,1220,1222,1223,1224,1224,1224,1223,1222,1220,1218,1217,1217,1217,1217,1218,1218,1219,1219,1220,1220,1221,1223,1225,1226,1228,1228,1228,1226,1222,1217,1211,1205,1199,1194,1191,1188,1185,1183,1179,1174,1168,1163,1166,1178,1203,1238,1269,1289,1299,1302,1301,1299,1295,1291,1287,1284,1283,1284,1286,1290,1295,1300,1305,1308,1310,1309,1307,1304,1302,1301,1299,1298,1297,1296,1294,1291,1287,1284,1279,1275,1271,1267,1265,1263,1263,1263,1263,1263,1264,1264,1265,1265,1265,1263,1262,1260,1258,1256,1254,1253,1253,1253,1254,1254,1255,1254,1254,1253,1252,1251,1252,1255,1259,1264,1270,1274,1278,1281,1283,1284,1283,1282,1281,1279,1277,1276,1275,1276,1277,1278,1280,1281,1283,1285,1286,1288,1290,1292,1294,1295,1297,1299,1302,1304,1306,1308,1311,1313,1316,1318,1321,1324,1327,1331,1334,1337,1341,1345,1349,1353,1357,1361,1365,1369,1374,1378,1382,1387,1391,1396,1400,1404,1409,1413,1417,1421,1425,1429,1432,1436,1439,1442,1445,1448,1450,1451,1453,1453,1453,1453,1452,1451,1450,1448,1447,1445,1444,1442,1441,1439,1438,1437,1435,1434,1434,1433,1433,1433,1434,1436,1438,1440,1443,1447,1451,1455,1459,1463,1467,1470,1474,1477,1479,1481,1483,1485,1487,1488,1489,1490,1491,1491,1492,1493,1493,1494,1494,1495,1496,1496,1497,1498,1499,1500,1501,1503,1504,1506,1508,1509,1511,1513,1515,1517,1519,1521,1523,1525,1526,1528,1529,1529,1530,1531,1531,1532,1533,1534,1535,1537,1539,1541,1544,1547,1550,1553,1556,1559,1562,1566,1569,1572,1575,1579,1582,1585,1588,1591,1593,1595,1597,1599,1600,1601,1602,1603,1603,1603,1602,1602,1600,1599,1597,1595,1593,1592,1591,1591,1592,1592,1594,1595,1596,1597,1598,1598,1598,1598,1597,1595,1593,1590,1588,1585,1582,1580,1578,1577,1575,1575,1574,1574,1573,1573,1573,1573,1574,1574,1576,1578,1580,1584,1587,1591,1595,1598,1601,1603,1604,1603,1603,1601,1600,1598,1596,1594,1592,1589,1587,1585,1583,1582,1582,1583,1584,1585,1586,1586,1585,1583,1581,1579,1577,1576,1576,1577,1578,1580,1582,1584,1585,1587,1590,1593,1596,1599,1603,1605,1608,1609,1611,1613,1615,1616,1618,1620,1622,1624,1626,1629,1632,1637,1642,1648,1653,1658,1662,1665,1667,1668,1670,1672,1675,1678,1682,1687,1691,1694,1696,1697,1697,1697,1695,1694,1693,1693,1693,1694,1695,1695,1695,1695,1694,1693,1693,1693,1693,1695,1697,1699,1701,1703,1705,1705,1706,1706,1706,1706,1706,1706,1705,1704,1704,1704,1705,1706,1708,1710,1712,1713,1714,1714,1713,1712,1711,1711,1710,1711,1712,1714,1717,1720,1722,1725,1726,1727,1727,1728,1728,1729,1731,1734,1736,1738,1740,1741,1741,1742,1742,1743,1745,1748,1752,1755,1759,1762,1764,1766,1766,1767,1767,1768,1770,1771,1772,1773,1774,1774,1775,1775,1775,1776,1778,1780,1782,1783,1785,1785,1785,1784,1782,1780,1778,1776,1775,1773,1772,1770,1769,1767,1766,1764,1762,1760,1758,1756,1753,1750,1747,1743,1739,1735,1731,1727,1722,1719,1715,1712,1710,1708,1707,1707,1708,1710,1713,1716,1721,1725,1730,1735,1740,1745,1750,1754,1759,1762,1766,1769,1772,1775,1777,1780,1783,1785,1788,1791,1794,1797,1800,1804,1807,1811,1814,1818,1821,1824,1827,1829,1831,1833,1834,1835,1835,1835,1836,1836,1836,1836,1836,1837,1838,1839,1841,1843,1845,1847,1850,1853,1856,1859,1862,1865,1868,1870,1873,1875,1878,1880,1881,1883,1884,1885,1885,1885,1885,1885,1884,1883,1882,1882,1881,1880,1879,1878,1877,1877,1876,1876,1876,1876,1876,1876,1876,1876,1876,1876,1876,1876,1876,1877,1877,1878,1878,1879,1880,1880,1880,1881,1881,1881,1881,1882,1883,1884,1884,1885,1886,1887,1887,1887,1887,1887,1887,1886,1886,1885,1884,1883,1882,1882,1881,1880,1879,1878,1878,1878,1879,1880,1882,1884,1886,1889,1893,1897,1902,1906,1911,1915,1920,1923,1926,1929,1931,1933,1935,1936,1938,1939,1940,1942,1943,1945,1947,1948,1950,1950,1951,1950,1949,1947,1945,1942,1939,1935,1932,1929,1926,1923,1921,1921,1921,1922,1924,1926,1929,1933,1936,1939,1942,1945,1947,1949,1951,1951,1952,1952,1952,1952,1953,1953,1954,1955,1957,1958,1960,1962,1964,1966,1968,1971,1973,1975,1977,1979,1981,1982,1982,1982,1982,1981,1980,1979,1978,1976,1975,1974,1973,1972,1971,1970,1969,1969,1968,1968,1967,1968,1968,1968,1969,1971,1972,1974,1977,1979,1982,1985,1987,1990,1992,1995,1996,1998,1999,2000,2000,2001,2002,2002,2003,2004,2006,2007,2009,2012,2015,2018,2022,2026,2030,2033,2036,2038,2039,2040,2039,2038,2036,2034,2031,2027,2023,2020,2016,2013,2011,2009,2008,2008,2008,2008,2008,2008,2009,2009,2010,2010,2010,2010,2010,2010,2010,2011,2013,2015,2017,2019,2022,2025,2029,2032,2036,2039,2043,2047,2051,2054,2058,2062,2066,2070,2074,2078,2082,2085,2089,2092,2095,2098,2100,2101,2101,2101,2101,2100,2099,2098,2096,2095,2093,2091,2090,2088,2086,2085,2083,2082,2081,2079,2078,2077,2076,2075,2075,2074,2074,2075,2075,2077,2078,2080,2082,2084,2086,2088,2090,2092,2094,2095,2097,2098,2099,2100,2102,2103,2104,2105,2106,2107,2107,2108,2108,2109,2109,2109,2110,2110,2111,2111,2112,2112,2113,2114,2114,2115,2115,2115,2114,2114,2113,2112,2111,2110,2109,2109,2108,2107,2107,2106,2105,2105,2104,2104,2103,2104,2105,2106,2107,2109,2111,2113,2115,2116,2117,2118,2119,2119,2120,2120,2120,2121,2122,2123,2124,2125,2127,2129,2131,2133,2136,2139,2142,2145,2149,2152,2155,2158,2160,2162,2163,2163,2162,2162,2160,2159,2157,2156,2154,2153,2153,2152,2152,2153,2154,2156,2159,2162,2165,2169,2174,2179,2183,2188,2193,2198,2202,2206,2210,2213,2216,2218,2219,2220,2220,2219,2218,2217,2216,2214,2213,2211,2211,2210,2210,2210,2211,2212,2214,2217,2221,2225,2230,2234,2238,2242,2245,2246,2247,2247,2245,2244,2241,2239,2236,2234,2231,2230,2229,2228,2227,2227,2227,2228,2228,2229,2230,2232,2233,2234,2236,2237,2239,2240,2241,2242,2243,2244,2244,2244,2244,2244,2243,2242,2240,2239,2237,2235,2233,2231,2228,2226,2224,2222,2220,2218,2216,2214,2213,2212,2211,2210,2209,2209,2209,2209,2208,2208,2208,2209,2209,2209,2209,2208,2208,2208,2207,2207,2206,2205,2204,2202,2201,2199,2197,2194,2192,2189,2187,2184,2182,2180,2177,2175,2172,2170,2168,2167,2165,2164,2163,2162,2162,2162,2162,2163,2164,2165,2167,2169,2172,2175,2178,2181,2184,2188,2192,2196,2199,2203,2207,2211,2215,2219,2223,2226,2230,2233,2236,2239,2241,2244,2245,2247,2249,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2259,2261,2262,2263,2264,2266,2268,2270,2272,2275,2278,2281,2285,2289,2293,2297,2301,2306,2311,2316,2321,2326,2331,2336,2341,2346,2352,2357,2362,2366,2371,2376,2380,2385,2389,2392,2396,2399,2402,2405,2407,2410,2412,2414,2416,2417,2419,2420,2421,2422,2422,2423,2423,2423,2423,2423,2423,2422,2422,2421,2420,2419,2418,2417,2416,2415,2414,2413,2412,2411,2410,2409,2409,2408,2408,2408,2409,2409,2410,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2419,2419,2420,2420,2420,2420,2420,2420,2421,2421,2421,2421,2422,2423,2423,2424,2425,2425,2426,2427,2428,2428,2429,2429,2430,2430,2431,2431,2431,2431,2431,2431,2431,2430,2430,2430,2429,2428,2427,2427,2426,2425,2425,2425,2424,2424,2425,2425,2426,2427,2429,2431,2432,2434,2436,2438,2440,2441,2442,2443,2443,2443,2442,2441,2439,2437,2436,2434,2433,2432,2431,2431,2432,2433,2435,2438,2442,2446,2450,2455,2459,2464,2468,2472,2476,2479,2481,2482,2483,2483,2483,2483,2483,2482,2481,2481,2480,2480,2481,2481,2482,2483,2485,2486,2488,2489,2491,2492,2493,2494,2495,2494,2494,2494,2493,2492,2491,2490,2489,2489,2488,2488,2489,2489,2491,2492,2494,2496,2498,2501,2503,2505,2507,2509,2511,2512,2512,2512,2512,2511,2510,2509,2508,2506,2504,2502,2500,2498,2497,2495,2494,2493,2492,2492,2492,2493,2494,2495,2496,2498,2499,2501,2502,2503,2503,2502,2501,2500,2499,2497,2495,2493,2492,2491,2490,2489,2489,2488,2487,2485,2483,2480,2477,2474,2471,2468,2465,2462,2458,2454,2451,2447,2444,2442,2441,2442,2445,2451,2458,2467,2475,2483,2490,2495,2500,2503,2506,2510,2513,2515,2517,2518,2517,2516,2514,2511,2507,2503,2500,2496,2494,2491,2489,2487,2485,2483,2480,2477,2475,2472,2469,2467,2465,2464,2462,2462,2461,2462,2462,2463,2464,2463,2462,2460,2457,2453,2449,2446,2444,2443,2443,2445,2447,2450,2454,2456,2458,2459,2460,2461,2462,2462,2463,2462,2462,2462,2462,2463,2464,2465,2466,2467,2468,2470,2471,2472,2473,2474,2475,2476,2477,2478,2480,2483,2486,2489,2493,2496,2498,2501,2503,2505,2508,2510,2512,2514,2516,2517,2518,2518,2518,2519,2520,2522,2524,2526,2530,2534,2538,2542,2547,2552,2557,2561,2565,2569,2572,2573,2573,2572,2572,2571,2572,2574,2577,2580,2584,2588,2592,2597,2601,2605,2608,2611,2614,2616,2618,2621,2624,2629,2633,2639,2645,2651,2657,2663,2668,2672,2675,2678,2679,2681,2683,2684,2686,2688,2690,2692,2693,2694,2695,2696,2697,2698,2699,2702,2706,2710,2714,2717,2721,2723,2726,2728,2730,2731,2733,2734,2735,2735,2736,2736,2737,2738,2738,2739,2739,2739,2739,2739,2739,2739,2740,2740,2740,2739,2739,2739,2739,2739,2738,2738,2737,2737,2736,2735,2734,2733,2732,2731,2730,2729,2727,2726,2724,2723,2721,2720,2718,2717,2716,2716,2715,2715,2716,2716,2717,2719,2721,2723,2726,2729,2732,2735,2738,2742,2745,2749,2752,2755,2758,2761,2763,2765,2767,2769,2770,2771,2773,2774,2775,2775,2776,2777,2778,2779,2781,2782,2784,2786,2788,2790,2792,2795,2797,2800,2802,2805,2807,2809,2812,2814,2816,2818,2819,2820,2821,2822,2822,2822,2822,2822,2821,2820,2819,2817,2816,2815,2813,2812,2810,2809,2807,2806,2805,2804,2804,2803,2803,2803,2803,2803,2803,2804,2805,2805,2806,2807,2808,2809,2810,2812,2813,2814,2816,2817,2818,2819,2821,2822,2823,2824,2825,2825,2826,2826,2827,2827,2827,2827,2827,2827,2827,2827,2827,2828,2828,2829,2830,2831,2833,2835,2837,2840,2843,2846,2849,2852,2856,2859,2862,2865,2868,2871,2873,2875,2877,2878,2879,2880,2880,2880,2879,2878,2877,2876,2874,2873,2872,2870,2869,2868,2867,2866,2865,2865,2865,2866,2867,2868,2870,2872,2875,2877,2880,2883,2886,2889,2892,2895,2897,2900,2902,2903,2904,2905,2906,2906,2906,2905,2904,2904,2903,2902,2901,2900,2899,2898,2897,2897,2897,2897,2897,2898,2899,2899,2900,2901,2902,2903,2903,2904,2904,2905,2905,2905,2905,2904,2903,2903,2902,2901,2900,2900,2899,2898,2898,2897,2897,2897,2898,2898,2899,2900,2901,2903,2904,2906,2907,2909,2910,2912,2913,2915,2917,2919,2921,2923,2926,2929,2932,2935,2939,2942,2946,2949,2952,2955,2958,2960,2962,2963,2964,2964,2964,2963,2961,2959,2956,2953,2950,2946,2943,2939,2937,2935,2934,2934,2934,2935,2937,2938,2940,2943,2945,2947,2949,2951,2953,2955,2957,2958,2959,2959,2959,2958,2957,2956,2955,2953,2951,2949,2947,2945,2944,2942,2941,2939,2939,2938,2938,2938,2939,2940,2941,2942,2943,2945,2946,2948,2949,2951,2953,2954,2956,2957,2959,2960,2961,2961,2962,2963,2963,2964,2964,2965,2966,2968,2969,2971,2974,2976,2979,2982,2984,2987,2990,2992,2994,2996,2998,2999,3000,3001,3003,3004,3005,3006,3007,3008,3009,3010,3011,3011,3011,3011,3011,3010,3009,3007,3006,3004,3002,3001,2999,2998,2997,2996,2995,2996,2997,2998,3000,3003,3005,3008,3011,3014,3017,3020,3022,3024,3026,3028,3030,3031,3032,3032,3033,3033,3033,3034,3034,3034,3035,3036,3037,3038,3039,3040,3042,3043,3044,3044,3045,3046,3046,3047,3047,3048,3048,3049,3050,3051,3052,3053,3055,3057,3059,3062,3064,3066,3068,3070,3071,3072,3074,3074,3075,3076,3077,3078,3079,3080,3081,3082,3084,3086,3088,3091,3093,3095,3097,3098,3099,3100,3100,3099,3098,3097,3095,3092,3089,3086,3083,3079,3076,3074,3071,3069,3068,3066,3065,3063,3062,3060,3059,3057,3056,3054,3052,3051,3049,3048,3047,3046,3045,3044,3044,3044,3044,3044,3045,3046,3047,3048,3049,3051,3052,3054,3056,3058,3060,3062,3064,3066,3068,3070,3073,3075,3077,3079,3081,3083,3085,3087,3089,3090,3092,3093,3094,3096,3097,3098,3099,3100,3101,3102,3103,3104,3105,3107,3108,3110,3112,3114,3116,3118,3121,3123,3126,3128,3131,3133,3136,3139,3141,3143,3146,3148,3150,3152,3154,3155,3157,3159,3160,3162,3164,3165,3167,3168,3169,3171,3172,3174,3176,3177,3179,3181,3182,3184,3186,3188,3190,3192,3193,3195,3197,3199,3201,3202,3204,3205,3207,3208,3210,3211,3212,3213,3214,3214,3215,3215,3215,3215,3214,3214,3213,3212,3210,3209,3207,3204,3202,3200,3197,3195,3193,3191,3189,3188,3187,3187,3187,3188,3189,3191,3194,3197,3200,3203,3207,3211,3215,3219,3223,3227,3231,3236,3240,3244,3249,3253,3257,3261,3263,3264,3264,3264,3263,3264,3266,3268,3271,3275,3279,3281,3282,3282,3279,3275,3270,3267,3266,3267,3271,3276,3282,3287,3291,3294,3296,3297,3299,3301,3303,3305,3307,3309,3311,3314,3316,3318,3321,3322,3323,3322,3321,3319,3317,3314,3311,3310,3310,3311,3314,3316,3318,3320,3321,3322,3322,3323,3324,3325,3325,3325,3324,3323,3321,3318,3316,3314,3313,3313,3313,3312,3312,3312,3311,3310,3309,3308,3308,3309,3309,3308,3307,3305,3302,3301,3301,3303,3305,3308,3310,3311,3312,3313,3312,3311,3311,3311,3312,3314,3317,3320,3323,3326,3329,3333,3336,3339,3342,3344,3347,3350,3354,3357,3361,3364,3367,3370,3372,3373,3374,3375,3376,3377,3377,3378,3379,3380,3380,3381,3381,3381,3382,3384,3386,3389,3391,3393,3393,3392,3390,3388,3385,3382,3380,3378,3377,3376,3376,3375,3374,3373,3373,3373,3373,3374,3375,3377,3378,3379,3380,3381,3381,3381,3381,3382,3382,3382,3382,3382,3383,3383,3383,3384,3385,3386,3388,3390,3393,3397,3401,3405,3409,3413,3417,3420,3422,3425,3428,3431,3433,3436,3438,3439,3439,3439,3438,3437,3435,3433,3430,3428,3425,3421,3418,3415,3411,3408,3405,3402,3400,3398,3396,3395,3394,3393,3393,3393,3393,3394,3395,3397,3399,3401,3404,3407,3410,3414,3418,3422,3427,3431,3435,3440,3444,3448,3452,3456,3459,3461,3464,3465,3466,3467,3467,3467,3466,3465,3465,3464,3463,3462,3462,3462,3462,3463,3464,3465,3468,3470,3473,3476,3479,3483,3486,3490,3493,3496,3500,3503,3505,3508,3509,3511,3512,3512,3513,3512,3512,3511,3510,3509,3508,3506,3504,3503,3501,3499,3497,3495,3494,3492,3491,3489,3488,3487,3486,3486,3485,3485,3485,3485,3485,3486,3487,3488,3489,3490,3492,3494,3496,3499,3502,3504,3507,3510,3513,3515,3517,3519,3521,3523,3524,3524,3524,3523,3522,3520,3517,3514,3511,3508,3504,3500,3496,3492,3489,3485,3481,3478,3475,3472,3470,3468,3466,3465,3464,3463,3463,3463,3463,3463,3464,3465,3467,3469,3471,3473,3475,3478,3481,3484,3488,3491,3495,3498,3502,3506,3509,3513,3517,3521,3524,3528,3531,3534,3538,3541,3544,3547,3549,3552,3554,3557,3559,3561,3562,3564,3566,3567,3568,3569,3569,3570,3570,3570,3570,3570,3570,3569,3569,3568,3568,3568,3568,3567,3567,3567,3567,3568,3568,3569,3570,3570,3571,3572,3573,3574,3576,3577,3578,3579,3580,3581,3582,3583,3584,3585,3586,3587,3588,3589,3590,3592,3593,3595,3597,3599,3600,3602,3604,3606,3607,3609,3611,3612,3613,3614,3615,3616,3617,3617,3617,3617,3617,3617,3617,3616,3616,3616,3616,3616,3617,3618,3619,3621,3623,3625,3628,3631,3635,3638,3641,3644,3647,3649,3651,3652,3652,3652,3651,3649,3646,3644,3641,3637,3634,3631,3627,3624,3621,3619,3617,3616,3615,3615,3615,3615,3616,3617,3618,3619,3620,3622,3624,3626,3628,3630,3632,3634,3636,3638,3640,3642,3644,3646,3648,3650,3653,3655,3658,3662,3665,3668,3671,3675,3678,3681,3684,3687,3690,3692,3695,3696,3698,3699,3700,3702,3702,3703,3704,3705,3706,3706,3707,3708,3708,3709,3710,3710,3711,3712,3713,3714,3714,3715,3716,3717,3717,3717,3718,3718,3718,3718,3718,3717,3717,3716,3715,3714,3713,3712,3710,3709,3707,3705,3703,3702,3700,3698,3696,3694,3692,3690,3688,3686,3685,3683,3682,3680,3679,3677,3676,3675,3675,3674,3674,3674,3674,3674,3675,3676,3676,3678,3679,3680,3681,3682,3683,3684,3685,3686,3687,3688,3688,3689,3690,3692,3694,3696,3698,3701,3703,3707,3710,3713,3717,3721,3725,3729,3733,3737,3741,3745,3749,3753,3756,3760,3763,3766,3769,3771,3772,3774,3775,3776,3776,3776,3775,3774,3774,3773,3772,3770,3769,3768,3766,3765,3763,3762,3760,3758,3757,3755,3753,3751,3750,3748,3746,3744,3743,3741,3739,3738,3737,3736,3736,3736,3736,3737,3738,3740,3742,3745,3748,3752,3755,3760,3764,3769,3774,3779,3784,3790,3795,3800,3805,3809,3813,3817,3820,3822,3824,3825,3825,3825,3824,3822,3821,3819,3817,3816,3815,3814,3813,3813,3813,3813,3813,3814,3815,3816,3818,3820,3821,3823,3825,3827,3828,3830,3831,3831,3831,3831,3830,3829,3828,3826,3824,3822,3819,3816,3814,3811,3808,3806,3803,3801,3798,3796,3795,3793,3792,3791,3791,3791,3791,3792,3793,3794,3795,3796,3798,3800,3801,3803,3805,3807,3809,3811,3813,3815,3818,3820,3822,3824,3826,3829,3832,3835,3838,3841,3844,3847,3850,3852,3854,3856,3858,3860,3861,3863,3864,3865,3866,3867,3868,3868,3869,3869,3870,3870,3870,3870,3870,3870,3869,3869,3868,3868,3867,3866,3865,3864,3862,3861,3859,3858,3857,3856,3855,3855,3855,3855,3856,3857,3858,3859,3861,3863,3866,3868,3871,3874,3877,3880,3883,3886,3889,3891,3893,3895,3897,3898,3899,3899,3900,3900,3900,3900,3900,3900,3900,3900,3900,3900,3901,3901,3901,3901,3901,3901,3900,3899,3898,3897,3896,3894,3893,3891,3889,3887,3885,3883,3882,3880,3878,3877,3876,3875,3874,3874,3874,3874,3875,3876,3877,3878,3879,3881,3883,3885,3887,3889,3891,3893,3895,3898,3900,3902,3903,3905,3905,3906,3906,3905,3903,3902,3900,3898,3896,3894,3893,3892,3891,3890,3889,3889,3889,3889,3889,3889,3889,3890,3890,3890,3891,3891,3891,3892,3892,3892,3892,3892,3892,3892,3892,3892,3893,3893,3894,3894,3896,3897,3899,3901,3904,3907,3910,3914,3918,3922,3926,3930,3934,3939,3945,3951,3957,3963,3970,3976,3982,3987,3991,3995,3997,3998,3998,3998,3997,3996,3995,3994,3993,3993,3993,3994,3994,3996,3997,3999,4002,4005,4009,4013,4017,4021,4025,4029,4032,4035,4038,4041,4043,4045,4046,4046,4047,4046,4046,4044,4043,4041,4039,4037,4034,4032,4030,4028,4027,4026,4025,4024,4024,4023,4022,4021,4019,4018,4016,4014,4012,4010,4008,4006,4004,4002,4000,3999,3998,3997,3996,3995,3995,3995,3995,3994,3994,3994,3994,3994,3994,3994,3995,3995,3996,3996,3997,3998,4000,4001,4003,4005,4007,4010,4014,4017,4021,4026,4030,4035,4040,4045,4050,4055,4060,4064,4069,4073,4076,4079,4082,4085,4087,4088,4089,4090,4090,4090,4090,4090,4089,4088,4087,4087,4086,4085,4085,4084,4084,4084,4084,4083,4083,4083,4082,4081,4080,4079,4078,4077,4076,4075,4075,4075,4075,4076,4077,4079,4081,4083,4086,4089,4092,4095,4098,4101,4104,4106,4109,4111,4113,4115,4116,4118,4119,4120,4121,4122,4122,4122,4122,4122,4121,4120,4119,4118,4117,4115,4114,4113,4111,4110,4109,4108,4107,4107,4107,4107,4108,4109,4110,4112,4114,4116,4118,4120,4122,4125,4127,4129,4131,4133,4135,4136,4138,4139,4140,4140,4141,4141,4141,4140,4140,4139,4138,4137,4137,4136,4136,4135,4136,4136,4137,4139,4141,4143,4146,4149,4152,4155,4158,4161,4164,4167,4169,4171,4173,4174,4174,4175,4174,4174,4173,4171,4170,4168,4166,4164,4161,4159,4156,4154,4151,4149,4146,4144,4141,4139,4137,4135,4134,4132,4131,4131,4130,4130,4130,4131,4132,4134,4135,4137,4139,4141,4144,4146,4149,4151,4153,4155,4158,4159,4161,4162,4164,4165,4166,4166,4167,4167,4168,4168,4168,4169,4169,4169,4170,4170,4170,4171,4171,4172,4173,4174,4175,4176,4178,4180,4181,4183,4185,4187,4189,4191,4192,4194,4195,4196,4196,4196,4196,4195,4194,4192,4190,4188,4186,4183,4180,4176,4173,4169,4165,4161,4158,4154,4150,4146,4142,4139,4135,4132,4128,4126,4123,4120,4118,4116,4115,4114,4113,4112,4111,4111,4111,4111,4111,4112,4113,4113,4114,4115,4117,4118,4119,4121,4122,4124,4126,4127,4129,4131,4133,4135,4136,4138,4140,4142,4144,4146,4148,4149,4151,4153,4154,4156,4157,4159,4160,4162,4163,4165,4166,4168,4170,4172,4174,4177,4179,4182,4185,4188,4192,4196,4200,4204,4208,4212,4216,4220,4225,4229,4233,4237,4241,4245,4249,4252,4256,4259,4262,4266,4269,4272,4275,4278,4281,4284,4287,4290,4293,4296,4299,4302,4305,4308,4312,4315,4318,4322,4325,4329,4332,4335,4338,4342,4345,4348,4351,4354,4356,4359,4361,4364,4366,4368,4370,4372,4374,4376,4377,4379,4380,4381,4382,4383,4383,4384,4384,4384,4384,4384,4384,4383,4383,4383,4382,4382,4381,4381,4380,4380,4380,4380,4380,4380,4380,4380,4381,4381,4381,4381,4382,4382,4383,4383,4383,4383,4384,4384,4384,4384,4384,4384,4383,4383,4383,4382,4382,4381,4380,4379,4379,4378,4377,4375,4374,4373,4371,4370,4369,4367,4366,4365,4364,4364,4363,4363,4363,4364,4365,4366,4368,4370,4372,4374,4376,4379,4381,4384,4386,4388,4390,4392,4394,4396,4397,4398,4400,4402,4403,4405,4408,4410,4413,4416,4420,4423,4426,4429,4432,4434,4435,4436,4437,4438,4438,4438,4438,4439,4439,4439,4439,4439,4440,4440,4440,4440,4439,4439,4432,4421,4411,4409,4414,4421,4427,4436,4451,4470,4489,4499,4500,4503,4506,4506,4510,4514,4514,4507,4496,4486,4482,4482,4487,4495,4503,4514,4524,4529,4526,4518,4506,4499,4498,4495,4488,4478,4470,4464,4458,4464,4476,4480,4475,4473,4480,4484,4480,4475,4475,4478,4482,4487,4495,4506,4518,4531,4540,4549,4560,4577,4600,4629,4662,4690,4706,4706,4698,4691,4694,4701,4706,4705,4697,4685,4675,4670,4672,4672,4668,4660,4651,4639,4630,4628,4636,4653,4673,4684,4688,4694,4706,4723,4744,4764,4783,4796,4803,4799,4786,4773,4770,4773,4773,4766,4757,4751,4750,4753,4756,4756,4755,4761,4774,4794,4825,4856,4882,4907,4933,4953,4958,4947,4937,4931,4924,4919,4919,4928,4946,4969,4983,4982,4979,4978,4977,4973,4969,4968,4969,4974,4980,4986,4994,5001,5008,5016,5027,5043,5059,5072,5079,5084,5084,5083,5081,5080,5082,5084,5081,5075,5070,5066,5054,5035,5027,5031,5038,5041,5046,5051,5053,5053,5052,5053,5059,5070,5085,5103,5122,5140,5154,5165,5175,5187,5202,5218,5232,5242,5244,5239,5230,5218,5207,5200,5207,5228,5248,5276,5297,5307,5314,5319,5323,5326,5328,5326,5317,5307,5304,5310,5318,5319,5314,5303,5290,5278,5270,5270,5279,5296,5316,5336,5352,5358,5353,5339,5321,5303,5291,5287,5292,5302,5316,5330,5345,5359,5372,5385,5399,5413,5425,5434,5439,5437,5427,5413,5397,5385,5379,5381,5391,5406,5424,5444,5463,5482,5501,5520,5539,5556,5572,5583,5587,5584,5580,5578,5581,5586,5594,5598,5594,5581,5567,5557,5560,5576,5598,5623,5643,5662,5669,5662,5650,5642,5645,5658,5673,5684,5691,5693,5691,5687,5684,5684,5691,5706,5726,5743,5751,5752,5748,5743,5740,5742,5746,5749,5749,5750,5757,5769,5781,5790,5794,5789,5780,5772,5769,5773,5779,5782,5780,5780,5786,5796,5807,5814,5817,5820,5825,5834,5849,5866,5883,5895,5899,5898,5894,5890,5886,5882,5880,5881,5884,5891,5902,5916,5934,5950,5957,5954,5945,5938,5937,5945,5955,5968,5984,6003,6016,6015,6002,5987,5982,5987,5989,5990,5997,6009,6019,6025,6025,6020,6015,6017,6027,6039,6050,6058,6062,6063,6062,6060,6058,6058,6060,6067,6081,6096,6105,6109,6110,6109,6109,6112,6117,6124,6133,6142,6151,6159,6167,6174,6181,6186,6189,6187,6183,6178,6175,6175,6179,6184,6189,6193,6194,6195,6193,6191,6189,6186,6182,6176,6168,6158,6144,6133,6131,6147,6177,6215,6254,6284,6303,6313,6315,6312,6306,6297,6287,6277,6268,6261,6257,6256,6259,6266,6277,6293,6312,6331,6348,6361,6371,6377,6380,6380,6378,6377,6377,6381,6390,6404,6420,6435,6447,6452,6453,6451,6451,6455,6464,6471,6467,6455,6444,6439,6432,6423,6414,6417,6428,6449,6501,6560,6592,6590,6579,6569,6563,6563,6569,6577,6586,6595,6602,6605,6604,6603,6608,6625,6651,6674,6681,6672,6652,6631,6616,6609,6612,6625,6648,6677,6706,6729,6744,6752,6754,6752,6754,6764,6779,6793,6801,6801,6797,6791,6787,6785,6788,6796,6809,6827,6846,6863,6878,6891,6900,6906,6910,6912,6912,6913,6914,6916,6920,6924,6931,6937,6942,6943,6941,6939,6938,6942,6950,6964,6982,6995,6995,6985,6973,6966,6970,6980,6993,7006,7016,7022,7022,7025,7036,7054,7071,7082,7083,7073,7053,7029,7015,7013,7019,7029,7044,7066,7093,7115,7124,7124,7123,7129,7142,7158,7173,7183,7186,7185,7181,7178,7181,7192,7209,7230,7251,7270,7286,7299,7308,7315,7320,7322,7323,7321,7318,7313,7308,7303,7298,7295,7293,7293,7296,7299,7301,7301,7299,7295,7291,7288,7287,7292,7302,7319,7342,7366,7388,7407,7419,7427,7433,7439,7447,7456,7464,7467,7463,7457,7452,7449,7447,7440,7428,7417,7414,7420,7430,7436,7436,7436,7438,7441,7445,7453,7463,7474,7479,7486,7502,7514,7514,7515,7524,7538,7552,7566,7582,7596,7602,7605,7615,7629,7644,7660,7677,7688,7690,7687,7687,7695,7708,7718,7721,7721,7720,7721,7723,7725,7722,7712,7703,7702,7713,7726,7731,7727,7726,7737,7763,7781,7789,7791,7788,7782,7775,7771,7775,7794,7821,7848,7867,7873,7868,7859,7852,7854,7867,7886,7903,7918,7929,7934,7929,7919,7909,7903,7902,7906,7912,7920,7921,7917,7916,7925,7937,7944,7941,7935,7932,7933,7934,7934,7935,7942,7955,7971,7981,7986,7987,7985,7984,7987,7995,7999,7991,7976,7959,7949,7947,7950,7957,7968,7982,7993,7991,7981,7969,7966,7978,7991,7996,7992,7979,7964,7957,7960,7965,7969,7970,7971,7971,7964,7958,7961,7970,7983,7998,8016,8041,8063,8075,8092,8111,8124,8142,8165,8183,8191,8186,8173,8159,8149,8146,8143,8143,8148,8160,8174,8182,8184,8181,8175,8171,8173,8188,8205,8217,8228,8241,8252,8259,8261,8258,8249,8235,8221,8211,8209,8215,8225,8233,8236,8236,8234,8231,8228,8226,8224,8223,8224,8227,8231,8239,8249,8260,8271,8281,8290,8297,8303,8308,8314,8320,8328,8338,8347,8352,8350,8344,8336,8329,8320,8310,8306,8310,8308,8300,8294,8297,8311,8327,8339,8344,8351,8363,8376,8386,8391,8394,8396,8401,8407,8416,8426,8438,8452,8467,8482,8493,8498,8496,8487,8475,8475,8489,8514,8547,8585,8623,8655,8679,8696,8702,8696,8687,8682,8679,8680,8684,8691,8699,8704,8702,8699,8701,8706,8708,8705,8698,8693,8695,8702,8707,8708,8709,8714,8724,8736,8747,8754,8759,8762,8765,8767,8769,8770,8771,8772,8773,8774,8775,8778,8781,8786,8791,8796,8800,8803,8804,8804,8804,8805,8807,8809,8812,8813,8811,8806,8800,8796,8794,8793,8790,8785,8781,8784,8792,8805,8820,8836,8851,8864,8875,8881,8885,8885,8883,8879,8875,8873,8876,8887,8905,8922,8929,8921,8905,8888,8876,8872,8875,8887,8901,8900,8890,8883,8884,8892,8906,8917,8915,8900,8882,8868,8862,8861,8861,8861,8857,8852,8852,8861,8875,8887,8895,8899,8900,8899,8901,8910,8922,8929,8932,8936,8945,8959,8973,8986,8998,9011,9021,9026,9027,9030,9040,9058,9077,9099,9124,9150,9166,9173,9174,9173,9174,9176,9180,9186,9194,9203,9211,9215,9213,9203,9192,9187,9194,9207,9214,9211,9204,9199,9201,9206,9213,9218,9222,9222,9220,9219,9223,9231,9239,9243,9247,9252,9262,9274,9283,9283,9274,9260,9242,9229,9225,9231,9243,9257,9272,9286,9301,9314,9326,9333,9336,9334,9327,9319,9314,9314,9319,9326,9334,9345,9361,9379,9395,9405,9412,9418,9425,9429,9424,9413,9402,9392,9384,9381,9389,9404,9419,9429,9433,9432,9431,9432,9436,9443,9453,9463,9471,9477,9482,9486,9490,9494,9498,9503,9507,9512,9518,9523,9529,9536,9543,9550,9558,9565,9572,9577,9582,9587,9590,9594,9597,9599,9598,9595,9589,9581,9573,9569,9574,9586,9602,9614,9619,9622,9626,9629,9630,9630,9627,9623,9616,9609,9608,9609,9601,9591,9584,9578,9569,9555,9540,9529,9525,9530,9541,9556,9571,9583,9589,9588,9580,9570,9558,9550,9547,9542,9540,9547,9566,9593,9614,9623,9626,9628,9631,9637,9645,9653,9658,9658,9656,9654,9653,9655,9658,9662,9664,9667,9671,9680,9693,9708,9718,9728,9743,9759,9775,9786,9794,9799,9803,9809,9820,9837,9857,9872,9881,9888,9900,9916,9928,9934,9935,9935,9933,9932,9932,9933,9938,9945,9952,9956,9957,9961,9967,9975,9982,9987,9987,9980,9966,9951,9945,9955,9977,10003,10027,10043,10049,10045,10037,10029,10024,10021,10017,10011,10007,10008,10011,10016,10018,10019,10018,10018,10021,10030,10044,10057,10062,10057,10046,10036,10032,10033,10035,10032,10028,10025,10026,10027,10025,10019,10013,10010,10011,10018,10029,10041,10053,10061,10065,10065,10063,10064,10072,10085,10097,10097,10084,10065,10050,10047,10054,10067,10078,10086,10090,10091,10091,10090,10090,10091,10094,10101,10110,10121,10131,10140,10147,10149,10147,10141,10133,10125,10120,10119,10124,10136,10150,10167,10182,10195,10202,10206,10206,10204,10201,10199,10197,10198,10202,10209,10220,10229,10228,10222,10217,10213,10209,10206,10207,10215,10231,10251,10270,10281,10283,10277,10277,10285,10294,10296,10289,10289,10294,10306,10320,10322,10318,10316,10317,10312,10310,10316,10327,10330,10331,10339,10342,10338,10338,10341,10336,10328,10333,10348,10369,10378,10371,10360,10355,10355,10353,10355,10359,10361,10356,10351,10354,10364,10373,10378,10374,10374,10390,10405,10410,10419,10419,10405,10395,10384,10373,10363,10357,10366,10381,10384,10382,10392,10408,10420,10422,10417,10405,10393,10378,10365,10357,10361,10378,10403,10422,10424,10410,10392,10376,10367,10366,10369,10373,10375,10377,10375,10366,10355,10345,10339,10337,10341,10351,10363,10371,10375,10377,10380,10386,10396,10408,10423,10442,10464,10485,10504,10523,10541,10551,10555,10557,10557,10553,10544,10529,10513,10494,10479,10473,10472,10472,10472,10471,10473,10481,10494,10503,10508,10514,10530,10551,10575,10596,10606,10605,10596,10588,10585,10585,10586,10591,10599,10610,10622,10634,10644,10651,10656,10666,10677,10684,10696,10717,10742,10763,10783,10803,10823,10846,10872,10896,10908,10912,10912,10913,10913,10913,10908,10905,10905,10906,10909,10917,10930,10947,10964,10979,10989,10989,10982,10971,10963,10961,10965,10973,10982,10991,11000,11009,11017,11022,11027,11035,11043,11047,11046,11041,11037,11036,11038,11043,11047,11048,11047,11047,11048,11052,11057,11062,11067,11069,11066,11060,11055,11055,11055,11053,11053,11057,11061,11066,11075,11088,11100,11112,11131,11161,11190,11205,11213,11224,11240,11254,11257,11251,11240,11230,11227,11234,11251,11273,11295,11314,11332,11346,11355,11358,11356,11349,11341,11333,11329,11330,11338,11352,11367,11380,11389,11395,11396,11392,11386,11378,11372,11370,11375,11385,11399,11416,11434,11451,11464,11473,11477,11481,11487,11495,11504,11512,11519,11522,11524,11523,11519,11515,11511,11511,11514,11519,11525,11530,11535,11538,11541,11543,11547,11552,11560,11571,11584,11596,11603,11607,11612,11619,11630,11642,11656,11672,11689,11706,11723,11738,11749,11751,11741,11723,11701,11680,11665,11658,11663,11681,11701,11716,11732,11749,11772,11797,11820,11837,11845,11840,11826,11813,11807,11808,11814,11823,11833,11841,11845,11844,11840,11837,11836,11836,11834,11827,11818,11809,11802,11800,11803,11812,11824,11834,11841,11850,11864,11879,11889,11890,11892,11901,11918,11944,11974,11997,12013,12021,12024,12022,12018,12014,12011,12011,12014,12019,12025,12032,12040,12048,12055,12060,12065,12066,12067,12065,12062,12058,12051,12044,12036,12028,12020,12013,12008,12004,12002,12001,12002,12004,12007,12011,12016,12023,12030,12037,12046,12055,12065,12075,12086,12096,12108,12119,12130,12141,12152,12163,12174,12185,12194,12204,12213,12221,12228,12235,12240,12245,12248,12250,12252,12253,12255,12258,12261,12265,12269,12274,12278,12282,12287,12291,12295,12299,12302,12305,12308,12310,12312,12314,12316,12318,12320,12322,12323,12324,12325,12326,12327,12328,12330,12332,12335,12338,12343,12347,12353,12359,12365,12371,12377,12382,12386,12390,12393,12395,12397,12397,12398,12398,12397,12397,12396,12396,12396,12396,12396,12396,12397,12398,12398,12400,12401,12402,12403,12405,12407,12408,12410,12412,12414,12415,12417,12419,12421,12423,12426,12428,12430,12432,12435,12437,12440,12442,12445,12447,12449,12452,12454,12456,12458,12461,12463,12464,12466,12468,12470,12471,12473,12474,12476,12477,12478,12479,12480,12480,12480,12479,12477,12474,12470,12465,12459,12452,12445,12436,12427,12417,12408,12398,12389,12381,12375,12369,12366,12364,12364,12366,12370,12375,12382,12389,12397,12406,12414,12423,12432,12441,12449,12457,12464,12471,12477,12482,12487,12491,12494,12497,12500,12502,12504,12505,12507,12508,12510,12512,12514,12516,12519,12522,12525,12529,12534,12538,12543,12548,12553,12558,12564,12569,12575,12580,12585,12591,12595,12604,12611,12616,12622,12626,12631,12636,12642,12650,12658,12667,12677,12687,12697,12707,12715,12723,12730,12737,12744,12751,12758,12766,12775,12783,12793,12803,12814,12825,12836,12846,12856,12866,12874,12881,12887,12892,12896,12900,12902,12905,12907,12910,12912,12915,12919,12922,12927,12931,12936,12942,12948,12954,12962,12969,12977,12985,12994,13003,13012,13021,13031,13040,13048,13057,13065,13074,13081,13089,13096,13104,13112,13119,13127,13135,13144,13153,13161,13170,13178,13187,13194,13202,13209,13216,13222,13228,13233,13238,13243,13247,13252,13257,13262,13268,13275,13283,13291,13300,13309,13317,13326,13335,13343,13350,13356,13363,13368,13373,13378,13383,13388,13393,13398,13404,13410,13417,13423,13430,13437,13444,13451,13459,13466,13474,13482,13490,13498,13507,13516,13525,13535,13544,13554,13563,13572,13581,13588,13595,13602,13608,13613,13618,13623,13627,13632,13636,13641,13646,13652,13657,13664,13671,13678,13686,13694,13702,13710,13718,13726,13733,13741,13748,13755,13762,13768,13774,13780,13785,13790,13795,13800,13804,13808,13811,13815,13818,13821,13824,13827,13830,13834,13837,13841,13844,13848,13853,13857,13862,13867,13873,13879,13886,13892,13900,13908,13916,13926,13936,13947,13960,13974,13988,14005,14022,14041,14061,14080,14099,14116,14129,14140,14148,14154,14157,14159,14159,14158,14157,14154,14152,14150,14149,14148,14148,14150,14153,14158,14165,14174,14185,14198,14213,14229,14245,14262,14280,14298,14315,14332,14348,14363,14377,14389,14400,14411,14420,14428,14435,14442,14447,14452,14455,14459,14461,14463,14464,14464,14465,14465,14464,14464,14463,14462,14461,14460,14460,14460,14460,14462,14463,14465,14469,14472,14477,14483,14490,14497,14506,14515,14525,14536,14546,14557,14568,14578,14589,14599,14609,14618,14627,14635,14643,14650,14657,14663,14668,14673,14678,14683,14687,14692,14696,14700,14704,14708,14711,14715,14718,14721,14724,14729,14734,14741,14750,14762,14776,14792,14812,14834,14859,14887,14917,14949,14981,15014,15047,15078,15108,15135,15159,15180,15197,15211,15222,15230,15237,15240,15243,15243,15242,15239,15233,15226,15216,15203,15190,15175,15159,15143,15128,15114,15104,15098,15097,15100,15106,15117,15131,15147,15166,15187,15210,15234,15258,15282,15304,15324,15341,15356,15369,15381,15391,15402,15413,15424,15437,15451,15466,15483,15500,15518,15536,15554,15572,15589,15606,15622,15638,15653,15668,15681,15694,15706,15717,15727,15736,15745,15753,15760,15767,15773,15780,15786,15792,15799,15806,15814,15823,15832,15843,15854,15866,15878,15891,15903,15914,15925,15935,15944,15952,15959,15964,15968,15972,15975,15978,15981,15983,15985,15988,15991,15994,15997,16002,16006,16012,16018,16024,16032,16040,16048,16058,16068,16078,16089,16100,16111,16124,16136,16150,16164,16179,16196,16213,16232,16252,16272,16292,16311,16329,16345,16359,16370,16378,16383,16385,16383,16379,16373,16366,16360,16354,16350,16347,16346,16346,16348,16352,16358,16366,16376,16387,16400,16413,16428,16443,16458,16473,16488,16502,16514,16525,16534,16541,16547,16553,16558,16562,16566,16570,16574,16578,16583,16588,16594,16601,16608,16616,16624,16632,16640,16648,16656,16664,16671,16678,16684,16691,16698,16705,16712,16720,16728,16736,16744,16753,16761,16770,16778,16787,16795,16803,16810,16818,16825,16832,16839,16847,16854,16863,16872,16882,16893,16905,16917,16931,16945,16960,16976,16991,17007,17022,17037,17051,17065,17077,17089,17099,17107,17113,17118,17122,17125,17126,17127,17128,17128,17129,17130,17132,17135,17139,17143,17149,17155,17162,17170,17179,17188,17199,17210,17223,17236,17251,17267,17282,17298,17314,17330,17346,17361,17376,17390,17404,17417,17429,17441,17452,17462,17472,17481,17489,17497,17503,17509,17515,17520,17524,17528,17532,17536,17539,17543,17546,17549,17553,17556,17559,17563,17566,17568,17571,17573,17575,17577,17578,17579,17579,17581,17582,17585,17590,17597,17606,17617,17631,17647,17664,17683,17702,17721,17739,17756,17770,17783,17792,17800,17806,17810,17812,17813,17813,17813,17811,17808,17806,17803,17800,17798,17795,17794,17792,17792,17793,17794,17796,17799,17802,17806,17811,17817,17823,17830,17837,17845,17853,17861,17869,17877,17885,17893,17901,17908,17915,17922,17929,17936,17942,17949,17955,17962,17970,17977,17985,17994,18003,18013,18023,18034,18045,18057,18069,18081,18093,18105,18117,18128,18140,18151,18161,18171,18180,18189,18198,18206,18214,18222,18229,18238,18246,18254,18263,18272,18281,18291,18301,18311,18321,18332,18344,18357,18370,18385,18400,18417,18434,18452,18470,18489,18508,18527,18545,18563,18581,18598,18614,18629,18644,18658,18671,18683,18695,18706,18716,18725,18733,18741,18748,18754,18760,18765,18770,18773,18776,18779,18781,18783,18784,18785,18786,18787,18788,18789,18789,18790,18791,18792,18793,18794,18796,18798,18800,18803,18807,18813,18822,18833,18847,18864,18884,18906,18930,18955,18981,19006,19032,19057,19082,19105,19127,19149,19168,19185,19200,19213,19225,19234,19243,19251,19258,19265,19273,19280,19288,19296,19303,19311,19319,19326,19334,19341,19348,19354,19360,19366,19371,19375,19380,19384,19390,19396,19403,19412,19423,19435,19449,19465,19481,19496,19512,19526,19539,19550,19559,19565,19568,19569,19568,19564,19559,19552,19543,19533,19522,19509,19496,19481,19466,19451,19436,19422,19411,19405,19403,19406,19415,19428,19445,19465,19488,19513,19541,19570,19601,19632,19664,19696,19727,19758,19787,19815,19840,19864,19885,19903,19920,19935,19948,19960,19971,19979,19988,19994,20000,20005,20010,20014,20018,20021,20024,20028,20031,20034,20038,20041,20044,20047,20051,20057,20063,20070,20078,20087,20098,20109,20121,20133,20147,20160,20175,20189,20204,20220,20235,20250,20265,20279,20293,20305,20316,20325,20333,20339,20344,20348,20351,20353,20353,20354,20353,20353,20352,20351,20351,20351,20353,20355,20358,20362,20368,20373,20380,20388,20397,20406,20416,20426,20437,20449,20460,20471,20481,20492,20501,20510,20519,20527,20534,20540,20546,20552,20557,20560,20564,20567,20570,20573,20575,20577,20580,20582,20584,20587,20589,20593,20597,20601,20606,20612,20619,20627,20636,20646,20655,20666,20676,20686,20696,20706,20724,20741,20757,20773,20789,20808,20829,20852,20878,20906,20934,20963,20992,21021,21048,21072,21093,21109,21119,21121,21119,21114,21108,21102,21100,21102,21108,21119,21134,21154,21177,21204,21234,21265,21297,21328,21357,21384,21410,21436,21463,21492,21526,21564,21608,21657,21709,21760,21809,21854,21893,21923,21946,21962,21972,21976,21976,21973,21969,21966,21965,21968,21975,21987,22004,22027,22056,22092,22135,22183,22232,22282,22329,22372,22405,22430,22445,22452,22452,22447,22438,22426,22413,22399,22386,22375,22366,22359,22356,22358,22365,22378,22395,22417,22441,22467,22493,22520,22545,22568,22587,22606,22623,22641,22660,22683,22707,22736,22769,22808,22851,22900,22952,23006,23058,23108,23151,23188,23218,23241,23259,23272,23281,23286,23289,23289,23288,23289,23293,23302,23317,23339,23368,23403,23443,23489,23539,23593,23648,23702,23753,23799,23838,23870,23897,23919,23938,23954,23968,23981,23993,24004,24013,24021,24029,24035,24041,24046,24051,24057,24064,24073,24085,24099,24113,24128,24142,24155,24166,24173,24179,24183,24188,24194,24203,24215,24229,24246,24265,24287,24310,24336,24364,24394,24426,24458,24491,24524,24555,24584,24610,24631,24648,24661,24671,24681,24690,24700,24711,24723,24736,24749,24763,24780,24805,24839,24880,24926,24977,25029,25082,25132,25176,25211,25235,25251,25258,25261,25259,25255,25252,25251,25252,25255,25259,25264,25269,25274,25280,25285,25290,25296,25302,25310,25317,25324,25331,25338,25347,25357,25371,25388,25409,25434,25464,25497,25535,25575,25619,25664,25711,25760,25809,25855,25899,25936,25967,25993,26013,26030,26046,26062,26079,26099,26121,26147,26176,26206,26235,26263,26287,26306,26321,26329,26332,26332,26328,26323,26316,26309,26303,26298,26297,26299,26306,26318,26335,26357,26383,26411,26440,26468,26496,26521,26545,26567,26588,26611,26635,26665,26700,26744,26796,26855,26920,26990,27060,27129,27194,27251,27301,27344,27381,27411,27436,27457,27473,27487,27498,27506,27512,27517,27523,27530,27538,27550,27565,27583,27605,27629,27656,27684,27713,27744,27775,27806,27837,27866,27895,27922,27949,27973,27996,28019,28041,28061,28081,28101,28120,28138,28157,28176,28194,28213,28232,28252,28271,28292,28313,28335,28356,28375,28394,28410,28423,28433,28440,28446,28449,28450,28450,28449,28447,28443,28439,28432,28423,28414,28404,28394,28386,28379,28375,28374,28374,28377,28382,28389,28398,28409,28423,28437,28453,28469,28486,28504,28521,28539,28557,28575,28595,28614,28634,28654,28676,28697,28719,28741,28763,28785,28807,28828,28848,28868,28886,28902,28917,28931,28943,28953,28961,28968,28973,28977,28980,28983,28988,28994,29001,29011,29024,29040,29058,29078,29098,29120,29141,29161,29181,29200,29217,29233,29249,29264,29278,29293,29308,29323,29338,29355,29372,29390,29409,29429,29451,29473,29498,29523,29550,29579,29609,29640,29673,29706,29740,29775,29810,29846,29881,29916,29951,29986,30020,30054,30088,30121,30155,30188,30222,30255,30289,30322,30356,30387,30418,30448,30476,30502,30525,30545,30563,30577,30589,30599,30605,30610,30611,30612,30611,30610,30609,30609,30611,30616,30624,30636,30653,30673,30699,30728,30760,30795,30831,30868,30906,30942,30978,31012,31044,31074,31103,31130,31156,31179,31201,31221,31240,31258,31275,31291,31307,31322,31337,31351,31364,31377,31388,31398,31408,31415,31422,31429,31435,31443,31452,31463,31475,31490,31507,31526,31548,31572,31599,31629,31660,31694,31730,31767,31804,31842,31880,31917,31953,31987,32020,32050,32080,32107,32133,32158,32181,32202,32223,32242,32260,32277,32293,32308,32323,32337,32349,32362,32374,32385,32395,32405,32416,32427,32438,32452,32466,32483,32501,32520,32541,32563,32588,32614,32641,32669,32696,32723,32747,32770,32792,32812,32830,32847,32863,32877,32890,32902,32913,32922,32931,32940,32948,32956,32965,32973,32983,32994,33007,33024,33045,33069,33094,33121,33148,33175,33202,33228,33252,33274,33293,33311,33325,33336,33344,33349,33353,33354,33355,33356,33355,33355,33354,33354,33354,33353,33355,33356,33358,33362,33366,33371,33377,33383,33389,33395,33402,33408,33415,33422,33428,33435,33442,33449,33456,33463,33472,33481,33490,33500,33510,33519,33528,33536,33543,33550,33557,33562,33566,33571,33574,33578,33580,33583,33586,33589,33592,33597,33602,33608,33615,33623,33632,33643,33654,33668,33684,33703,33723,33748,33775,33805,33837,33871,33905,33940,33975,34009,34043,34075,34107,34138,34168,34197,34226,34253,34279,34303,34327,34350,34373,34395,34417,34439,34461,34483,34505,34528,34551,34575,34598,34622,34645,34668,34691,34713,34733,34754,34775,34795,34816,34836,34856,34877,34898,34918,34938,34956,34973,34989,35004,35016,35026,35035,35042,35048,35053,35059,35065,35072,35080,35089,35101,35116,35133,35151,35171,35193,35216,35240,35266,35292,35320,35348,35374,35401,35427,35452,35475,35498,35519,35540,35560,35579,35597,35614,35632,35651,35670,35691,35713,35737,35762,35787,35815,35843,35871,35901,35931,35962,35993,36025,36057,36089,36122,36156,36190,36223,36257,36290,36324,36357,36389,36420,36451,36480,36508,36535,36558,36581,36601,36618,36633,36648,36660,36672,36684,36695,36707,36720,36734,36751,36771,36794,36819,36847,36878,36911,36947,36984,37023,37064,37107,37150,37195,37241,37287,37336,37386,37436,37489,37542,37597,37653,37711,37769,37829,37891,37954,38017,38082,38148,38215,38281,38347,38413,38476,38538,38598,38656,38712,38766,38819,38869,38918,38966,39011,39056,39099,39141,39184,39227,39271,39317,39363,39411,39461,39511,39561,39613,39665,39715,39765,39814,39861,39905,39947,39988,40026,40064,40101,40137,40171,40207,40241,40273,40305,40337,40367,40397,40425,40453,40479,40505,40528,40549,40567,40583,40596,40604,40610,40612,40609,40603,40595,40586,40578,40571,40566,40561,40558,40556,40557,40560,40565,40573,40583,40595,40610,40626,40644,40663,40685,40707,40730,40754,40779,40805,40832,40859,40887,40915,40943,40972,41000,41028,41058,41088,41119,41152,41187,41222,41261,41301,41342,41384,41428,41473,41518,41564,41611,41659,41705,41753,41798,41845,41889,41933,41975,42015,42054,42091,42126,42160,42192,42223,42253,42282,42310,42338,42365,42392,42419,42446,42472,42497,42522,42548,42572,42596,42618,42641,42663,42684,42705,42724,42743,42764,42784,42805,42826,42850,42873,42899,42927,42954,42983,43012,43040,43069,43096,43123,43150,43172,43194,43215,43233,43251,43268,43285,43301,43318,43336,43354,43373,43394,43417,43442,43469,43501,43537,43574,43615,43657,43701,43745,43790,43834,43876,43917,43955,43992,44025,44057,44087,44114,44139,44162,44182,44200,44215,44229,44241,44252,44259,44265,44271,44275,44278,44281,44283,44286,44291,44296,44303,44312,44324,44339,44358,44377,44400,44424,44451,44479,44508,44538,44568,44599,44630,44661,44690,44719,44747,44773,44799,44822,44844,44864,44881,44896,44910,44920,44930,44940,44948,44957,44965,44975,44984,44994,45005,45016,45029,45040,45052,45065,45078,45090,45103,45118,45131,45145,45158,45173,45187,45201,45216,45230,45247,45263,45281,45300,45321,45342,45362,45386,45411,45435,45461,45487,45514,45541,45568,45594,45623,45650,45677,45704,45731,45757,45782,45809,45833,45857,45883,45907,45931,45955,45979,46002,46025,46048,46071,46092,46115,46137,46158,46180,46202,46224,46246,46267,46291,46312,46336,46360,46385,46410,46435,46461,46487,46514,46541,46569,46596,46624,46651,46678,46706,46733,46757,46782,46805,46828,46849,46870,46888,46905,46921,46936,46950,46961,46972,46979,46989,46994,47001,47004,47007,47009,47010,47010,47010,47010,47011,47013,47013,47016,47019,47024,47030,47038,47046,47057,47067,47079,47092,47107,47122,47139,47157,47175,47196,47217,47239,47262,47285,47311,47335,47363,47390,47417,47446,47473,47502,47531,47560,47588,47616,47643,47669,47695,47719,47743,47766,47787,47808,47828,47846,47864,47880,47895,47909,47923,47937,47949,47963,47976,47989,48003,48016,48030,48042,48058,48070,48082,48095,48106,48117,48128,48137,48145,48152,48161,48168,48175,48180,48186,48191,48195,48201,48204,48209,48214,48217,48221,48225,48228,48232,48235,48239,48242,48246,48249,48252,48256,48260,48263,48268,48271,48276,48282,48287,48290,48295,48303,48307,48313,48320,48328,48335,48343,48352,48361,48370,48380,48390,48403,48415,48428,48440,48454,48468,48483,48500,48516,48534,48554,48572,48593,48613,48636,48658,48681,48705,48730,48757,48784,48813,48842,48873,48904,48934,48967,49000,49035,49069,49103,49139,49175,49211,49248,49285,49322,49358,49396,49433,49469,49506,49543,49579,49616,49651,49686,49720,49754,49787,49819,49851,49882,49912,49939,49968,49993,50019,50042,50064,50085,50103,50121,50137,50151,50163,50172,50180,50187,50189,50192,50193,50191,50188,50184,50178,50171,50164,50154,50143,50132,50120,50107,50094,50078,50064,50048,50033,50016,49999,49982,49965,49948,49931,49914,49898,49880,49864,49848,49831,49816,49801,49786,49773,49758,49746,49735,49723,49713,49703,49694,49685,49678,49671,49664,49659,49654,49650,49647,49644,49642,49640,49638,49639,49639,49639,49640,49642,49644,49647,49650,49654,49658,49663,49668,49674,49681,49688,49695,49702,49711,49719,49728,49738,49747,49758,49769,49781,49792,49804,49816,49828,49841,49854,49868,49884,49897,49913,49928,49943,49959,49976,49992,50009,50027,50043,50063,50081,50100],
+    [11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,10,10,10,10,10,10,10,10,10,9,10,10,10,10,10,10,9,10,10,10,10,10,10,10,10,9,9,10,9,9,9,9,9,9,9,10,9,10,10,10,10,10,10,10,10,10,10,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,10,9,10,10,9,9,9,10,10,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,10,9,10,10,9,10,10,10,10,10,10,10,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,10,10,10,11,10,11,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,10,10,10,10,10,11,11,11,11,11,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,10,10,10,10,10,11,11,11,11,11,11,11,10,10,10,10,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,10,11,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,12,12,13,13,13,12,12,12,12,12,12,12,12,13,13,13,13,13,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,14,14,14,14,15,15,15,16,16,16,16,16,15,15,15,14,14,14,14,14,14,14,14,13,13,12,12,12,11,11,11,12,12,12,12,12,12,12,12,12,12,11,11,11,11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,9,9,9,9,9,10,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,13,13,14,14,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,13,13,13,13,13,12,12,12,13,13,13,13,13,13,13,13,13,13,14,14,14,13,13,13,14,14,14,14,14,14,13,13,13,14,14,14,14,13,13,13,13,13,14,14,14,14,14,13,13,13,13,14,14,14,14,14,13,13,13,14,14,14,14,14,13,13,14,14,14,14,14,13,13,13,14,14,14,14,14,13,13,13,13,13,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,12,12,13,13,13,13,13,12,12,13,13,13,13,13,13,12,13,13,13,12,12,13,13,13,13,13,13,13,13,13,13,13,12,12,13,13,13,13,12,12,12,13,13,13,12,12,12,13,13,12,12,12,12,12,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,11,12,11,11,11,11,11,11,12,12,12,12,12,12,12,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,12,12,12,13,13,13,13,13,13,13,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,13,14,14,14,14,15,15,15,15,15,15,14,14,14,14,14,14,14,14,15,14,14,14,14,14,15,15,15,15,15,15,15,14,14,15,15,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,15,14,14,14,14,14,15,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,14,14,14,14,14,15,15,15,15,14,14,14,14,14,14,15,15,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,14,14,14,14,14,14,14,14,13,14,13,13,13,13,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,13,13,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,15,15,15,15,15,15,15,15,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,14,14,14,14,15,15,15,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,14,14,14,15,15,15,15,15,15,14,14,14,15,15,15,16,16,16,17,17,17,17,16,16,16,16,16,15,15,15,15,15,16,16,16,16,16,17,17,16,16,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,14,14,14,14,14,14,14,14,14,14,15,15,15,16,16,16,16,16,16,16,15,15,15,15,15,14,14,14,14,14,14,14,15,15,15,15,16,16,16,16,16,16,16,16,16,16,15,15,15,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,12,12,12,12,12,12,12,13,13,13,13,13,13,13,14,14,14,14,13,13,13,13,13,13,13,13,12,12,12,12,12,13,13,13,13,13,13,13,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,14,14,14,14,14,14,14,14,13,13,13,13,13,13,14,14,14,14,14,14,14,14,13,13,13,13,13,13,14,14,14,14,14,14,14,13,13,13,13,13,14,14,14,14,14,14,13,13,13,13,13,13,13,14,14,14,14,14,14,14,13,13,13,13,13,14,14,14,14,14,14,14,13,13,13,13,13,13,13,14,14,14,13,13,13,13,13,13,13,13,13,14,14,14,14,14,13,13,13,13,13,13,13,14,14,14,14,14,13,13,13,13,13,13,13,14,14,14,14,14,14,13,13,13,13,13,13,14,14,14,14,14,14,14,14,13,13,13,13,13,13,14,14,14,13,13,13,13,13,13,13,14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,13,13,14,14,14,13,13,13,13,13,13,13,13,12,12,12,12,12,12,12,12,12,12,11,12,12,12,12,12,12,12,12,12,11,11,11,11,11,11,12,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,11,11,11,11,11,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,14,14,15,16,17,18,18,18,18,18,18,17,17,17,17,18,18,19,19,19,19,19,19,19,18,18,18,18,18,18,18,18,18,18,19,18,18,18,18,17,17,17,17,17,17,17,18,18,18,18,18,18,18,18,17,17,17,17,17,17,17,18,18,18,19,19,19,19,19,19,19,18,18,17,17,17,16,16,16,16,17,17,17,17,18,18,17,17,17,17,16,16,16,16,16,16,16,16,17,17,18,18,18,18,18,18,17,17,17,16,16,16,16,16,16,17,17,17,17,17,17,17,16,16,16,16,16,16,16,17,17,18,18,18,18,18,18,17,17,17,16,16,16,16,17,17,17,17,17,17,17,17,16,16,16,15,15,15,15,16,16,16,17,17,18,18,18,18,18,18,17,17,17,17,16,16,16,16,17,17,17,18,18,18,18,18,18,18,17,17,17,16,16,16,16,16,16,17,17,18,18,18,18,18,18,18,17,17,17,17,17,17,17,17,17,18,18,18,18,18,18,18,17,17,17,17,17,17,18,18,18,18,18,18,18,17,17,17,16,16,16,17,17,17,18,18,18,18,17,17,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,15,15,15,15,15,15,15,15,15,15,15,15,14,14,15,15,15,15,15,15,14,14,14,15,15,15,15,15,14,14,15,15,15,16,16,16,16,16,16,17,17,18,18,19,19,19,19,18,18,18,18,18,19,19,19,20,20,20,20,20,20,20,19,19,18,18,18,17,17,18,18,18,19,19,20,20,20,20,20,19,19,19,18,18,18,18,18,18,17,17,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,14,14,14,14,15,15,15,15,15,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,14,14,14,14,14,14,15,15,15,15,15,15,15,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,15,15,15,15,15,16,16,16,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,18,18,19,19,19,19,19,19,18,18,18,17,17,18,18,18,19,19,19,19,19,19,19,18,18,17,17,17,17,17,17,17,18,18,18,18,17,17,17,16,16,16,16,17,17,17,18,18,18,18,18,18,18,17,17,17,17,17,17,17,18,18,19,19,19,19,19,19,19,18,18,17,17,16,16,16,16,16,16,17,17,17,17,17,17,17,17,16,16,15,15,15,15,15,15,15,16,16,16,17,17,17,17,17,17,17,17,17,16,17,17,17,17,18,18,18,18,17,17,16,16,16,16,16,16,16,16,15,15,15,15,15,15,15,15,14,14,14,14,13,13,13,12,12,12,12,12,12,12,12,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,13,13,13,13,13,13,13,13,13,13,14,14,14,15,15,16,16,16,16,17,17,17,17,17,17,18,18,19,19,20,20,20,20,19,19,19,18,18,17,17,17,17,18,18,18,19,19,19,19,18,18,18,18,17,17,17,18,18,18,18,19,19,19,18,18,18,17,17,17,17,17,17,17,17,18,18,18,18,18,18,17,17,17,16,16,16,16,16,16,17,17,17,18,18,18,18,17,17,17,17,16,16,16,16,16,16,17,17,18,18,18,18,18,18,18,18,17,17,17,16,16,16,16,17,17,17,18,18,18,19,19,19,18,18,18,18,18,18,18,18,19,19,19,20,20,20,20,20,19,19,19,18,18,18,18,18,18,19,19,19,19,19,19,19,18,18,18,18,18,18,18,18,19,19,19,19,19,19,19,18,18,17,17,17,16,16,16,17,17,18,18,18,19,19,19,19,18,18,18,17,17,17,17,17,17,17,18,18,19,19,19,20,20,20,19,19,19,18,18,18,18,18,18,18,19,19,19,20,20,20,19,19,18,18,17,17,17,16,16,16,16,16,16,16,15,15,15,14,14,15,15,16,16,16,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,18,18,18,17,17,17,16,16,16,16,17,17,17,17,17,17,17,16,16,16,17,17,17,17,17,16,16,16,16,16,16,17,17,17,17,17,17,16,16,16,16,16,17,16,16,16,16,15,15,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,16,16,16,16,16,16,16,16,17,17,17,16,17,17,17,17,17,17,17,17,16,16,16,15,16,16,16,16,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,18,18,18,17,17,17,16,16,16,17,17,17,16,16,16,16,16,16,16,17,17,17,17,17,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,18,18,18,17,17,17,16,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,17,17,17,17,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,15,15,15,16,16,16,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,15,15,15,15,15,15,16,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,16,16,17,17,17,17,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,15,15,15,16,16,16,15,16,16,16,17,17,17,17,17,17,17,17,17,17,18,18,17,17,17,17,17,17,17,17,17,17,17,16,16,15,15,15,16,16,16,16,16,16,16,15,16,16,16,17,17,17,17,17,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,18,18,18,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,16,17,17,17,18,18,18,18,18,18,18,18,18,18,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,16,16,16,15,15,15,15,15,16,16,16,15,15,15,15,16,16,16,17,17,17,16,16,16,16,16,16,16,17,17,17,17,17,17,16,16,16,16,16,16,15,15,15,15,15,14,14,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,17,16,16,16,16,16,17,17,17,17,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,16,16,16,16,16,17,16,16,16,16,16,16,16,16,16,16,17,17,17,16,16,16,16,16,16,16,16,16,15,15,15,15,16,16,16,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,16,16,16,16,17,17,17,17,17,16,16,16,16,16,17,17,16,16,16,15,15,15,15,16,16,16,16,16,16,17,17,17,17,18,18,18,18,18,17,17,17,17,16,17,17,17,17,17,17,17,16,16,16,15,15,15,16,16,16,16,16,16,16,16,16,15,15,16,16,16,16,16,16,16,16,15,15,15,15,16,16,16,16,17,17,17,16,16,16,15,15,15,15,15,15,15,16,16,15,15,15,15,15,15,15,15,15,16,16,16,17,17,17,17,16,16,16,15,15,15,14,14,15,15,15,16,16,16,16,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,16,16,16,16,15,15,15,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,14,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,14,14,14,14,14,14,14,14,14,14,14,15,15,15,15,16,16,16,16,15,15,15,15,15,14,14,14,14,15,15,15,15,15,15,15,15,15,15,14,14,14,14,14,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,16,16,16,16,16,15,15,15,15,14,14,14,15,15,15,15,16,16,16,16,16,16,15,15,15,15,15,15,15,15,16,16,16,16,16,17,17,17,16,16,16,16,15,15,15,15,15,15,15,15,16,16,16,16,16,16,15,15,15,15,15,15,15,16,16,16,16,17,17,17,17,17,16,16,16,16,15,15,15,15,15,16,16,16,16,16,16,16,15,15,15,15,15,15,15,16,16,16,16,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,14,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,15,16,15,16,15,15,16,16,16,15,16,16,16,16,16,16,16,16,16,15,16,15,16,16,15,15,16,15,16,15,14,14,15,14,14,14,15,14,14,15,14,15,14,14,15,14,15,14,14,14,14,15,15,15,15,15,15,14,14,14,16,15,15,15,15,15,15,15,15,15,16,15,16,15,15,15,15,15,15,15,15,15,15,14,15,15,15,15,15,15,15,15,16,15,16,15,16,15,16,15,16,16,17,16,16,16,15,16,15,16,16,15,13,14,14,14,14,13,13,13,14,14,14,13,13,13,13,13,14,16,16,16,15,16,16,16,15,16,15,16,15,15,16,16,16,16,17,16,16,17,16,17,16,17,17,16,17,16,17,16,16,15,15,15,15,16,16,16,16,16,16,16,17,18,18,18,20,19,17,19,19,17,17,17,16,16,17,17,16,17,18,18,17,17,18,17,16,16,16,16,17,20,23,23,21,21,21,19,19,17,17,18,17,18,18,16,17,18,17,19,21,22,21,19,18,19,19,19,18,17,18,18,18,17,17,18,18,17,16,16,17,18,17,16,16,17,17,17,16,17,18,19,18,17,17,18,19,17,16,17,19,19,18,18,19,18,18,20,19,20,21,19,20,21,20,20,20,19,18,17,17,17,17,17,18,19,20,20,20,21,19,20,20,19,21,20,20,21,20,20,20,19,20,20,18,19,19,19,19,19,20,20,19,18,19,19,18,17,18,18,17,19,20,19,20,19,18,16,16,18,18,18,18,19,21,19,19,19,20,22,22,21,21,22,23,21,21,22,22,19,19,19,18,19,19,18,18,19,19,19,18,17,18,18,19,18,18,17,18,17,17,17,17,18,18,19,18,18,18,18,18,18,20,19,18,19,20,18,19,19,20,21,20,21,22,20,19,20,19,19,20,19,19,20,21,20,19,19,19,19,20,21,20,19,20,19,19,20,18,19,21,21,21,21,19,18,20,19,18,20,21,20,20,22,23,22,22,24,27,27,25,23,22,21,21,20,18,18,19,20,19,17,18,19,18,18,19,20,20,19,18,18,19,19,18,18,19,20,19,18,19,19,17,16,16,16,16,15,16,16,15,15,14,14,14,14,14,14,17,18,20,21,20,20,22,23,21,20,22,22,20,22,22,20,21,21,20,20,21,21,19,20,21,20,20,22,21,20,21,21,20,22,21,20,21,21,20,21,23,23,21,21,22,22,24,26,24,22,22,21,22,24,23,22,22,22,21,22,23,22,21,22,22,21,21,22,20,21,22,20,21,21,20,21,21,20,21,21,20,21,20,20,22,22,22,23,23,22,22,20,21,21,20,20,21,23,23,21,22,22,22,24,24,23,21,20,21,20,20,20,22,25,25,24,23,25,26,27,26,26,25,26,27,28,28,26,24,22,23,24,26,26,24,21,21,22,20,19,20,21,20,20,21,23,22,21,21,23,23,22,21,22,22,21,21,23,24,21,21,22,20,20,20,19,20,20,20,21,20,20,20,21,21,19,19,19,18,18,18,18,18,18,18,19,20,20,21,20,20,19,20,19,21,20,20,19,21,21,21,22,20,19,20,19,19,20,21,19,20,21,19,20,22,21,20,20,20,21,20,19,19,20,20,21,22,21,20,21,20,20,21,23,23,22,21,21,22,22,22,20,21,21,21,20,22,22,22,21,20,21,20,19,20,20,20,21,21,21,22,21,21,20,21,21,22,21,21,21,23,24,23,23,23,21,21,21,22,21,20,20,21,22,23,22,21,20,21,21,22,21,21,20,20,20,22,24,22,22,21,22,21,20,19,20,19,20,21,21,22,20,19,19,19,19,19,19,20,20,21,23,23,23,21,21,22,22,23,21,22,21,21,21,21,20,21,20,21,20,21,21,24,25,25,25,26,24,23,25,25,24,24,25,23,24,26,27,28,28,28,30,31,32,32,29,26,25,26,25,23,24,25,24,25,27,28,26,24,23,22,23,25,23,23,21,21,23,24,24,26,26,23,22,21,21,23,22,24,25,24,25,26,24,22,21,22,21,22,23,23,24,23,22,23,23,22,22,22,21,21,22,22,22,21,21,21,23,23,23,23,23,22,22,24,23,24,23,24,23,22,22,23,23,22,23,24,26,27,25,25,26,24,21,21,22,22,21,21,22,23,22,20,20,20,20,19,19,20,21,22,22,23,25,26,24,22,21,22,21,20,21,21,20,21,22,21,22,21,21,21,21,21,21,21,24,24,24,24,26,26,25,25,24,20,19,19,20,20,20,21,20,21,23,22,20,20,22,23,22,21,19,19,20,20,20,21,21,22,22,21,20,20,23,22,22,22,22,21,20,20,23,22,21,20,22,21,20,21,22,23,22,21,22,21,20,20,21,21,21,21,20,21,20,20,20,21,21,23,24,22,21,20,21,24,25,23,22,22,21,22,23,22,24,25,23,23,22,22,23,22,23,25,24,21,21,21,24,27,26,23,23,22,22,23,22,24,23,23,23,23,22,23,23,23,24,22,21,22,22,22,23,22,23,24,23,23,23,23,23,22,22,23,22,21,21,23,21,21,22,23,22,21,21,22,22,22,23,22,22,22,21,22,23,23,25,28,32,34,34,33,31,29,27,26,25,24,23,22,22,22,23,22,22,23,25,25,23,22,23,21,20,21,21,22,23,23,23,22,21,23,22,24,25,26,26,27,25,22,19,19,20,22,21,21,22,22,21,22,23,23,22,22,23,24,23,22,22,22,21,21,21,21,23,21,20,20,21,21,21,22,21,22,21,21,22,22,24,25,23,23,21,21,22,24,24,24,23,22,20,20,20,21,22,21,23,24,23,22,21,21,23,21,19,19,19,20,21,21,23,24,24,23,25,26,25,23,23,22,21,24,26,27,27,28,28,26,23,23,24,23,23,23,22,23,22,22,23,23,22,22,21,21,23,23,22,22,22,23,24,23,22,22,21,21,22,22,22,22,21,21,23,22,21,22,22,23,22,24,24,24,25,24,24,25,24,23,23,23,22,21,22,22,22,23,22,22,23,23,21,21,23,25,25,24,23,22,22,23,23,23,22,22,23,24,25,26,25,24,23,22,22,22,21,19,20,21,24,26,27,26,25,24,24,23,22,21,20,21,19,20,19,20,20,20,20,20,20,20,19,19,19,19,19,19,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,17,17,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,18,21,22,21,19,19,24,27,22,19,22,23,21,18,18,18,17,17,17,18,19,20,19,18,18,20,22,23,22,21,21,20,21,22,22,23,26,26,25,24,25,23,20,19,19,18,18,20,21,22,23,20,18,17,17,17,17,17,19,20,18,17,18,22,25,25,23,19,18,19,18,17,17,17,18,19,20,20,20,19,18,18,20,20,19,21,26,26,24,24,24,24,26,28,26,21,19,19,19,19,19,19,19,19,19,19,20,22,23,23,22,20,19,21,22,21,20,20,21,21,21,21,21,21,20,20,21,21,21,21,21,21,21,20,20,20,20,20,20,20,20,20,21,21,20,21,21,20,20,20,20,21,22,22,21,22,23,22,22,27,33,30,22,20,22,24,22,21,22,23,21,21,22,24,26,26,26,26,24,23,25,26,25,25,25,26,26,25,26,27,25,24,23,23,23,24,23,24,24,24,24,26,28,29,31,32,29,26,26,26,26,28,28,27,26,27,29,28,26,26,26,27,28,30,31,28,25,25,27,27,26,26,26,27,27,26,24,25,28,30,31,32,33,34,33,29,26,26,26,26,26,27,27,27,28,27,25,26,25,26,28,29,29,31,33,33,30,29,27,26,28,29,28,28,28,26,24,24,25,25,25,25,24,25,26,25,26,26,25,25,24,23,22,22,22,23,23,22,24,24,24,23,23,23,24,25,23,23,24,26,27,27,27,28,28,26,25,27,29,29,28,27,27,28,29,30,29,28,27,27,27,29,31,33,35,37,38,39,39,39,39,39,38,38,37,36,34,33,32,30,29,28,27,26,26,25,25,25,25,24,24,24,24,23,23,23,22,22,22,22,22,22,22,22,22,22,22,22,22,22,21,21,21,22,22,22,22,22,22,22,22,22,23,26,30,34,39,43,47,50,52,52,51,49,47,43,40,36,33,30,27,25,24,23,23,23,23,23,23,23,23,23,24,24,24,25,25,25,26,26,26,27,27,27,27,27,27,27,27,27,28,28,28,28,28,29,29,29,29,30,30,30,30,30,30,30,30,29,30,29,29,29,29,29,29,28,28,28,27,27,27,27,28,29,30,32,34,37,40,43,46,48,50,51,51,51,50,48,45,42,40,38,36,36,37,38,40,42,44,45,46,47,47,46,45,44,43,41,39,37,35,34,32,31,30,30,29,29,29,29,29,29,30,30,31,32,33,34,35,36,36,37,38,38,39,39,40,40,39,39,39,38,37,36,36,35,36,36,37,39,40,41,41,41,40,39,38,37,36,35,35,35,35,36,36,38,40,42,43,44,44,44,43,43,43,43,42,41,40,40,39,39,40,41,42,42,42,42,42,43,43,44,45,45,45,45,45,45,44,43,41,38,37,36,35,35,36,36,36,36,37,38,39,41,42,43,43,42,41,40,40,41,41,41,40,40,39,39,39,40,40,39,38,38,38,38,38,37,37,36,36,36,36,37,37,38,38,37,36,34,33,33,33,33,33,33,33,33,33,34,35,35,36,35,35,34,34,34,34,35,36,36,36,36,36,36,36,36,37,38,38,37,37,36,36,36,37,37,39,40,41,42,42,42,41,41,40,40,40,41,41,42,43,43,42,41,40,39,39,39,39,39,40,40,40,40,39,38,37,36,35,35,35,35,36,36,36,35,35,34,34,35,36,37,37,37,37,36,36,36,36,36,37,38,39,40,41,42,43,45,47,48,48,46,43,41,39,40,42,45,49,52,53,53,50,46,42,41,43,49,55,61,65,68,69,70,69,68,67,65,63,61,59,56,54,51,48,46,44,42,41,40,38,37,36,35,35,36,37,38,40,41,42,43,44,44,45,45,45,44,43,42,41,41,42,44,47,50,53,55,57,59,61,62,63,63,61,59,57,54,51,48,46,44,43,42,41,41,41,41,42,42,42,41,40,39,38,38,39,39,39,39,39,39,40,41,43,45,47,50,54,58,61,64,66,67,67,67,66,64,61,58,54,52,49,46,44,42,41,40,38,37,37,37,39,40,42,44,45,46,47,46,44,43,42,42,43,45,47,50,53,56,58,59,58,56,52,49,46,44,41,39,37,36,35,34,34,34,34,34,35,36,37,37,37,36,35,35,35,35,35,35,35,35,35,35,35,35,35,36,36,36,36,36,35,35,35,35,35,36,36,37,38,39,39,40,40,39,38,37,36,36,35,35,35,35,36,36,37,37,36,36,36,36,37,37,37,37,36,36,36,36,37,37,36,36,36,37,37,37,38,40,42,43,45,46,48,49,50,51,51,51,51,51,50,49,47,47,46,46,45,45,45,46,45,45,43,42,41,41,41,41,41,41,42,43,43,44,44,44,43,43,43,43,42,42,42,42,42,43,44,45,45,45,44,45,45,46,46,46,45,45,44,44,44,43,43,42,41,40,40,40,40,40,40,40,40,41,41,41,41,41,41,41,41,41,41,41,40,40,40,40,40,41,41,42,43,44,45,45,45,45,45,45,45,45,45,45,45,45,45,44,44,43,42,41,41,40,40,40,41,41,42,42,42,43,43,43,43,43,43,42,43,43,44,46,47,48,50,52,54,55,55,55,53,51,49,47,46,45,45,46,47,48,49,49,49,48,46,45,44,43,42,42,41,41,40,40,39,38,38,37,38,38,39,40,40,41,41,41,40,40,40,41,41,42,43,46,48,51,53,55,56,57,59,59,59,57,54,51,49,46,45,45,45,46,46,46,46,46,46,46,47,47,46,46,46,46,46,47,47,48,47,47,46,46,45,44,44,44,43,43,42,42,42,43,44,45,45,46,46,47,48,48,48,48,48,48,49,49,49,49,49,48,47,47,46,46,46,45,45,45,44,44,43,42,42,42,43,43,43,44,43,42,42,41,41,42,42,43,43,44,46,48,51,54,57,60,64,67,71,75,78,81,82,83,82,79,75,70,64,59,54,51,50,50,51,53,55,57,59,60,61,61,61,60,58,55,52,50,48,49,50,51,53,53,52,51,50,49,49,49,49,49,48,49,50,53,58,63,67,72,76,81,85,89,90,90,88,84,79,73,68,63,59,56,53,51,49,49,48,48,48,48,48,47,47,46,45,45,45,45,46,47,47,48,48,49,48,48,48,48,49,51,53,55,57,58,58,59,58,58,58,57,57,57,56,55,54,54,54,54,56,58,61,63,66,68,69,70,70,68,66,64,62,61,59,59,59,61,65,69,73,76,78,79,79,78,76,74,72,70,67,64,62,59,56,54,52,51,50,49,48,47,47,46,46,47,47,48,49,50,50,50,50,51,51,51,51,50,50,50,51,53,55,59,63,68,73,79,84,88,90,91,91,88,83,78,74,69,67,65,64,63,62,62,63,64,66,68,70,70,70,68,67,66,65,64,62,60,58,56,55,54,54,55,56,57,57,57,57,57,56,56,56,56,55,55,54,54,54,54,54,54,54,54,52,51,50,49,48,47,47,46,45,45,44,44,44,44,45,46,46,46,46,45,45,45,45,45,46,47,47,47,46,46,48,50,52,54,56,60,65,69,72,73,69,64,59,57,56,54,53,53,53,54,53,52,50,49,51,53,55,54,53,53,52,52,53,53,54,57,61,68,76,84,92,100,106,111,112,108,98,83,68,58,58,62,68,72,75,75,73,67,60,55,56,63,74,88,100,112,122,128,130,126,116,99,79,62,61,77,99,118,130,132,127,115,100,84,70,61,58,58,60,62,63,64,64,64,63,61,58,56,56,56,57,57,59,62,67,72,76,78,79,79,78,76,73,69,64,61,60,62,67,71,74,75,74,72,70,68,67,70,77,88,98,107,113,114,114,114,112,109,102,93,84,78,74,73,71,70,69,69,70,70,69,66,65,64,61,59,58,59,59,59,59,60,62,64,65,65,64,64,66,67,67,66,65,65,65,68,71,74,76,77,75,72,70,68,67,68,68,67,65,63,62,60,60,61,62,62,63,64,64,67,71,76,80,85,88,88,85,78,72,67,64,60,59,58,60,61,62,61,60,58,57,58,58,58,58,59,59,60,60,61,61,61,60,60,60,61,63,65,69,73,77,80,84,87,90,92,94,93,92,89,85,80,75,72,70,69,69,70,71,73,74,76,76,75,74,72,70,68,67,67,66,67,67,67,67,67,66,65,65,64,65,66,69,71,74,75,76,75,74,73,72,71,71,72,75,81,89,99,109,119,127,130,129,125,118,108,99,91,86,82,80,80,80,80,81,81,81,83,86,90,95,102,109,113,116,117,118,117,116,115,114,112,110,108,104,101,97,95,94,94,95,95,95,94,94,94,94,95,97,100,102,103,103,102,98,95,93,92,92,93,94,94,95,97,101,105,108,111,112,114,116,118,120,121,122,124,126,127,126,126,126,126,126,125,122,118,114,110,108,107,106,105,102,100,97,96,95,95,95,95,93,92,92,92,93,94,93,93,92,91,91,91,91,92,93,96,100,102,103,103,102,101,101,101,102,102,102,102,102,103,105,107,107,105,103,103,102,102,102,104,107,111,115,116,116,116,115,115,117,120,125,130,136,142,146,149,150,151,150,150,149,149,149,148,147,146,143,140,136,132,130,128,127,128,128,127,126,125,123,121,120,120,121,122,121,120,120,120,121,123,125,126,126,126,127,126,125,124,122,121,121,121,122,125,127,130,132,134,136,139,141,142,142,140,138,137,136,135,134,131,127,123,119,116,113,111,108,105,102,101,100,100,99,99,100,101,102,104,106,110,112,113,114,114,115,116,119,122,125,127,129,129,129,130,131,132,133,134,134,132,129,125,122,119,117,116,115,113,111,110,109,109,110,111,112,112,112,112,113,113,113,112,111,112,112,112,111,109,107,107,107,108,107,105,103,102,101,101,100,99,98,99,98,98,97,98,99,99,98,98,97,99,100,102,102,102,103,103,105,105,105,105,104,105,106,106,105,103,100,100,99,99,98,97,95,94,93,93,92,93,95,96,97,98,101,103,106,107,108,107,107,107,107,108,108,107,105,104,103,103,103,103,103,103,105,106,109,111,113,116,119,123,125,125,124,124,122,122,121,119,117,115,114,114,115,117,118,118,118,118,118,118,118,116,115,114,115,116,118,120,121,122,124,125,128,130,131,131,131,130,130,129,129,129,129,128,126,124,123,123,123,123,122,121,122,123,125,126,127,127,129,130,132,134,134,133,132,131,130,130,129,128,127,126,126,125,124,124,123,123,123,123,123,123,123,124,125,126,128,129,131,133,134,135,134,134,133,133,133,133,132,131,130,130,130,130,130,128,126,125,124,124,124,124,123,123,123,124,125,124,124,124,125,126,127,127,127,127,128,128,128,127,128,129,130,130,130,129,128,129,129,129,128,127,125,124,123,124,125,126,126,125,125,125,125,127,128,128,129,130,131,134,137,140,141,144,146,148,152,156,160,164,167,169,171,172,173,174,176,178,180,182,182,181,181,180,180,180,180,180,179,177,173,171,169,168,166,164,163,161,159,158,158,159,159,158,157,157,158,159,158,159,160,161,162,163,164,166,168,169,170,170,171,173,173,174,174,176,176,177,177,176,176,176,177,177,178,176,176,176,176,174,173,171,170,169,167,166,165,164,165,165,164,164,165,165,166,166,166,167,169,172,177,181,185,188,190,192,195,198,201,205,209,213,216,217,217,217,217,217,219,220,221,221,220,218,216,214,212,211,210,209,207,205,204,203,203,205,206,206,206,204,202,201,202,202,205,209,212,215,216,217,217,217,218,219,221,223,226,228,230,229,227,224,220,218,215,214,213,213,213,214,213,211,209,207,205,204,206,208,211,215,217,218,218,217,217,216,216,217,219,220,221,221,220,219,217,218,218,219,222,224,225,227,226,225,225,224,226,226,229,229,229,231,234,237,242,247,251,253,252,250,249,247,245,243,242,241,240,237,233,229,227,225,223,223,223,223,221,221,222,223,224,224,222,223,223,226,227,227,229,229,231,234,237,242,246,251,254,256,257,260,261,266,270,276,283,287,291,294,297,300,304,308,312,318,322,325,325,326,326,325,325,324,325,325,327,330,334,336,340,340,342,342,341,340,340,341,342,345,347,350,351,352,351,351,351,351,353,355,358,363,368,373,379,383,386,388,388,386,382,378,373,369,364,359,355,352,350,348,347,346,344,342,339,335,330,326,323,322,322,322,326,330,336,341,347,352,356,360,360,361,362,362,362,364,365,368,371,374,377,381,384,386,387,387,385,382,381,378,378,378,378,379,379,381,381,381,379,377,374,371,368,368,368,369,370,371,372,372,371,368,365,361,356,352,348,346,344,343,343,344,346,347,349,350,353,352,353,353,352,351,350,350,352,354,356,360,362,362,364,362,360,358,356,356,357,357,359,360,362,363,363,366,368,371,373,376,376,375,375,376,376,377,380,383,387,391,395,398,400,401,401,401,399,397,396,394,393,393,392,394,396,398,402,407,413,419,425,432,438,445,451,456,460,463,467,468,469,470,469,468,467,465,462,461,457,455,452,449,447,443,442,440,439,439,437,438,439,440,444,445,449,453,456,461,465,470,475,479,484,488,494,497,501,504,507,509,511,511,512,512,511,510,509,506,504,501,498,495,493,490,488,484,482,481,478,477,477,477,478,479,481,484,486,489,493,498,503,508,514,519,525,532,538,543,548,553,559,562,566,568,571,572,573,573,571,570,568,564,561,556,552,548,543,537,533,528,524,519,515,512,509,505,505,504,502,503,505,506,509,512,516,521,527,533,539,548,554,564,572,580,589,598,607,617,627,636,646,655,664,674,682,691,701,710,718,727,736,743,752,760,768,776,783,792,799,806,811,820,827,833,839,847,853,859,865,872,876,883,889,895,900,907,911,917,924,928,934,940,945,949,955,960,966,971,976,982,987,991,997,1003,1007,1013,1018,1024]
+  ]
+end

data/lib/radiocarbon/curves.rb

@@ -0,0 +1,4 @@
+module Radiocarbon
+  # Built-in radiocarbon calibration curves
+  CURVES = [ "INTCAL20" ]
+end

data/lib/radiocarbon.rb

@@ -0,0 +1,7 @@
+## 
+# Classes and methods for fast radiocarbon calibration.
+module Radiocarbon
+  require 'radiocarbon/c14_date.rb'
+  require 'radiocarbon/cal_date.rb'
+  require 'radiocarbon/curves.rb'
+end

metadata

@@ -0,0 +1,49 @@
+--- !ruby/object:Gem::Specification
+name: radiocarbon
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Joe Roe
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2024-02-01 00:00:00.000000000 Z
+dependencies: []
+description: Fast calibration of radiocarbon dates.
+email: joeroe@hey.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/radiocarbon.rb
+- lib/radiocarbon/c14_date.rb
+- lib/radiocarbon/cal_date.rb
+- lib/radiocarbon/curves.rb
+- lib/radiocarbon/curves/intcal20.rb
+homepage: https://rubygems.org/gems/radiocarbon
+licenses:
+- MIT
+metadata:
+  source_code_uri: https://github.com/joeroe/ruby-radiocarbon
+  bug_tracker_uri: https://github.com/joeroe/ruby-radiocarbon/issues
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.19
+signing_key:
+specification_version: 4
+summary: Radiocarbon calibration
+test_files: []