path: root/src/nvim/version.c

/// @file version.c
///
/// Nvim was forked from Vim 7.4.160.
/// Vim originated from Stevie version 3.6 (Fish disk 217) by GRWalter (Fred).

#include <assert.h>
#include <limits.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#include "auto/versiondef.h"  // version info generated by the build system
#include "auto/versiondef_git.h"
#include "nvim/api/private/helpers.h"
#include "nvim/ascii_defs.h"
#include "nvim/buffer.h"
#include "nvim/buffer_defs.h"
#include "nvim/charset.h"
#include "nvim/drawscreen.h"
#include "nvim/ex_cmds_defs.h"
#include "nvim/getchar.h"
#include "nvim/gettext_defs.h"
#include "nvim/globals.h"
#include "nvim/grid.h"
#include "nvim/grid_defs.h"
#include "nvim/highlight.h"
#include "nvim/highlight_defs.h"
#include "nvim/highlight_group.h"
#include "nvim/lua/executor.h"
#include "nvim/mbyte.h"
#include "nvim/memory.h"
#include "nvim/message.h"
#include "nvim/option_vars.h"
#include "nvim/os/os.h"
#include "nvim/strings.h"
#include "nvim/ui.h"
#include "nvim/ui_defs.h"
#include "nvim/version.h"
#include "nvim/window.h"

// for ":version", ":intro", and "nvim --version"
#ifndef NVIM_VERSION_MEDIUM
# define NVIM_VERSION_MEDIUM "v" STR(NVIM_VERSION_MAJOR) \
  "." STR(NVIM_VERSION_MINOR) "." STR(NVIM_VERSION_PATCH) \
  NVIM_VERSION_PRERELEASE
#endif
#define NVIM_VERSION_LONG "NVIM " NVIM_VERSION_MEDIUM  // NOLINT(bugprone-suspicious-missing-comma)

char *Versions[] = { "8.1", "8.2", "9.0", "9.1", "9.2" };
char *longVersion = NVIM_VERSION_LONG;
char *version_buildtype = "Build type: " NVIM_VERSION_BUILD_TYPE;
// Reproducible builds: omit compile info in Release builds. #15424
#ifndef NDEBUG
char *version_cflags = "Compilation: " NVIM_VERSION_CFLAGS;
#endif

#include "version.c.generated.h"

// clang-format off
static const int vim_versions[] = { 801, 802, 900, 901, 902 };

static const int num_patches[] = { 2331, 3814, 1576, 1619, 193 };

static const int *included_patchsets[] = {
  (const int[]) {  // 801
    2424, 2423, 2422, 2421, 2420, 2419,
    // 2418
    2417, 2416,
    // 2415
    2414, 2413, 2412, 2411, 2410, 2409, 2408, 2407, 2406, 2405, 2404, 2403, 2402, 2401, 2400,
    // 2399
    2398, 2397, 2396, 2395, 2394, 2393, 2392, 2391, 2390, 2389, 2388, 2387,
    // 2386
    2385, 2384, 2383, 2382,
    // 2381
    2380, 2379, 2378, 2377, 2376, 2375, 2374, 2373, 2372, 2371, 2370, 2369, 2368, 2367, 2366, 2365,
    2364, 2363,
    // 2362
    2361, 2360, 2359, 2358, 2357, 2356, 2355, 2354, 2353, 2352,
    // 2351
    2350, 2349, 2348, 2347, 2346, 2345, 2344, 2343, 2342, 2341, 2340, 2339, 2338, 2337, 2336, 2335,
    2334, 2333, 2332, 2331, 2330, 2329, 2328, 2327, 2326, 2325,
    // 2324
    2323, 2322, 2321, 2320, 2319, 2318, 2317, 2316, 2315, 2314, 2313, 2312, 2311, 2310, 2309, 2308,
    2307, 2306, 2305, 2304, 2303, 2302, 2301, 2300, 2299, 2298, 2297, 2296, 2295,
    // 2294
    2293,
    // 2292
    2291, 2290, 2289, 2288, 2287, 2286, 2285, 2284, 2283, 2282, 2281, 2280,
    // 2279
    2278, 2277, 2276, 2275, 2274,
    // 2273
    2272, 2271, 2270, 2269, 2268, 2267, 2266, 2265, 2264, 2263, 2262, 2261, 2260, 2259, 2258, 2257,
    2256, 2255, 2254, 2253, 2252,
    // 2250-2251
    2249, 2248, 2247, 2246, 2245, 2244, 2243, 2242,
    // 2241
    2240, 2239, 2238, 2237, 2236, 2235, 2234, 2233,
    // 2232
    2231,
    // 2230
    2229, 2228, 2227, 2226, 2225, 2224, 2223, 2222, 2221, 2220,
    // 2219
    2218, 2217, 2216, 2215, 2214, 2213, 2212, 2211, 2210, 2209,
    // 2208
    2207, 2206, 2205, 2204, 2203, 2202, 2201, 2200, 2199, 2198, 2197, 2196,
    // 2195
    2194,
    // 2192-2193
    2191, 2190,
    // 2189
    2188, 2187, 2186, 2185, 2184, 2183, 2182,
    // 2181
    2180, 2179, 2178, 2177,
    // 2176
    2175, 2174, 2173, 2172, 2171, 2170, 2169, 2168, 2167, 2166, 2165, 2164, 2163, 2162, 2161, 2160,
    2159,
    // 2158
    2157,
    // 2155-2156
    2154,
    // 2153
    2152, 2151, 2150, 2149, 2148, 2147, 2146, 2145, 2144, 2143,
    // 2142
    2141, 2140,
    // 2139
    2138, 2137, 2136, 2135, 2134, 2133, 2132, 2131, 2130, 2129, 2128, 2127, 2126, 2125, 2124, 2123,
    2122,
    // 2121
    2120, 2119, 2118, 2117, 2116, 2115, 2114, 2113, 2112, 2111, 2110, 2109, 2108, 2107, 2106, 2105,
    2104, 2103, 2102, 2101, 2100, 2099, 2098, 2097, 2096, 2095, 2094,
    // 2092-2093
    2091, 2090, 2089, 2088, 2087, 2086, 2085, 2084, 2083, 2082, 2081, 2080, 2079, 2078, 2077,
    // 2076
    2075, 2074, 2073, 2072, 2071, 2070, 2069, 2068, 2067, 2066, 2065, 2064, 2063, 2062, 2061, 2060,
    2059, 2058, 2057, 2056, 2055, 2054, 2053, 2052, 2051, 2050, 2049, 2048, 2047, 2046, 2045, 2044,
    2043, 2042, 2041,
    // 2039-2040
    2038, 2037, 2036, 2035, 2034, 2033, 2032, 2031, 2030, 2029, 2028, 2027, 2026, 2025, 2024, 2023,
    // 2022
    2021, 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006,
    2005, 2004, 2003, 2002, 2001, 2000,
    // 1999
    1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990, 1989, 1988, 1987, 1986,
    // 1985
    1984, 1983, 1982, 1981, 1980, 1979, 1978, 1977, 1976, 1975, 1974, 1973, 1972, 1971, 1970,
    // 1969
    1968, 1967, 1966, 1965, 1964, 1963, 1962, 1961, 1960, 1959, 1958, 1957, 1956, 1955, 1954, 1953,
    1952, 1951, 1950, 1949, 1948, 1947, 1946, 1945,
    // 1944
    1943, 1942, 1941, 1940, 1939, 1938, 1937, 1936, 1935, 1934, 1933, 1932, 1931, 1930, 1929,
    // 1928
    1927, 1926, 1925, 1924, 1923, 1922, 1921, 1920, 1919, 1918, 1917, 1916, 1915, 1914, 1913, 1912,
    1911, 1910, 1909,
    // 1908
    1907,
    // 1904-1906
    1903, 1902, 1901, 1900, 1899, 1898, 1897, 1896, 1895, 1894, 1893,
    // 1892
    1891, 1890, 1889, 1888, 1887, 1886, 1885,
    // 1884
    1883,
    // 1882
    1881,
    // 1880
    1879, 1878, 1877, 1876, 1875, 1874, 1873, 1872, 1871, 1870, 1869, 1868, 1867, 1866, 1865, 1864,
    1863, 1862, 1861, 1860, 1859, 1858, 1857, 1856, 1855, 1854, 1853, 1852,
    // 1851
    1850, 1849, 1848, 1847, 1846, 1845, 1844, 1843, 1842, 1841, 1840, 1839, 1838, 1837, 1836, 1835,
    1834, 1833, 1832, 1831, 1830, 1829, 1828, 1827, 1826, 1825, 1824, 1823, 1822, 1821, 1820,
    // 1819
    1818, 1817, 1816, 1815, 1814,
    // 1813
    1812, 1811, 1810, 1809, 1808, 1807, 1806, 1805, 1804, 1803, 1802, 1801, 1800,
    // 1799
    1798, 1797, 1796, 1795, 1794, 1793, 1792, 1791, 1790, 1789, 1788,
    // 1787
    1786, 1785,
    // 1784
    1783, 1782, 1781, 1780, 1779, 1778, 1777, 1776, 1775, 1774, 1773, 1772, 1771,
    // 1770
    1769, 1768, 1767, 1766, 1765, 1764, 1763, 1762, 1761, 1760, 1759, 1758, 1757, 1756, 1755, 1754,
    1753, 1752, 1751, 1750, 1749, 1748, 1747, 1746, 1745, 1744, 1743, 1742, 1741, 1740, 1739, 1738,
    1737, 1736, 1735, 1734, 1733, 1732, 1731, 1730, 1729, 1728, 1727, 1726, 1725, 1724, 1723, 1722,
    1721, 1720, 1719,
    // 1718
    1717, 1716, 1715,
    // 1713-1714
    1712, 1711, 1710, 1709, 1708, 1707, 1706, 1705, 1704, 1703, 1702, 1701, 1700, 1699, 1698, 1697,
    1696, 1695, 1694, 1693, 1692, 1691,
    // 1690
    1689, 1688, 1687, 1686, 1685, 1684, 1683, 1682, 1681, 1680, 1679, 1678, 1677, 1676, 1675, 1674,
    // 1673
    1672, 1671, 1670, 1669, 1668, 1667, 1666, 1665, 1664, 1663, 1662, 1661, 1660,
    // 1659
    1658, 1657, 1656, 1655, 1654, 1653, 1652, 1651, 1650, 1649, 1648, 1647, 1646, 1645, 1644, 1643,
    1642, 1641, 1640, 1639, 1638, 1637, 1636, 1635, 1634, 1633, 1632, 1631, 1630, 1629,
    // 1628
    1627,
    // 1626
    1625, 1624, 1623, 1622, 1621, 1620, 1619, 1618, 1617, 1616, 1615, 1614, 1613,
    // 1612
    1611, 1610,
    // 1609
    1608,
    // 1607
    1606, 1605, 1604, 1603, 1602, 1601, 1600, 1599, 1598,
    // 1597
    1596, 1595, 1594, 1593, 1592, 1591, 1590,
    // 1589
    1588, 1587, 1586, 1585, 1584, 1583, 1582, 1581,
    // 1580
    1579, 1578,
    // 1577
    1576, 1575,
    // 1574
    1573, 1572, 1571, 1570, 1569, 1568, 1567, 1566, 1565, 1564, 1563, 1562,
    // 1561
    1560,
    // 1558-1559
    1557, 1556, 1555, 1554,
    // 1553
    1552, 1551, 1550, 1549,
    // 1548
    1547, 1546, 1545, 1544, 1543, 1542, 1541, 1540, 1539,
    // 1537-1538
    1536, 1535, 1534, 1533, 1532, 1531, 1530, 1529, 1528, 1527, 1526,
    // 1525
    1524,
    // 1523
    1522, 1521, 1520, 1519, 1518, 1517, 1516, 1515, 1514, 1513, 1512, 1511, 1510, 1509, 1508, 1507,
    1506, 1505, 1504, 1503, 1502, 1501, 1500, 1499, 1498, 1497, 1496, 1495, 1494, 1493, 1492, 1491,
    1490, 1489, 1488, 1487, 1486, 1485, 1484, 1483, 1482, 1481, 1480, 1479, 1478, 1477, 1476, 1475,
    1474,
    // 1473
    1472, 1471, 1470, 1469, 1468, 1467, 1466, 1465, 1464, 1463, 1462, 1461, 1460, 1459, 1458, 1457,
    1456, 1455, 1454, 1453, 1452, 1451, 1450, 1449, 1448, 1447, 1446, 1445, 1444, 1443, 1442, 1441,
    1440, 1439, 1438, 1437, 1436, 1435, 1434, 1433, 1432, 1431, 1430, 1429, 1428, 1427, 1426, 1425,
    1424, 1423, 1422, 1421, 1420, 1419, 1418,
    // 1417
    1416, 1415, 1414, 1413, 1412, 1411, 1410, 1409, 1408, 1407, 1406, 1405, 1404, 1403, 1402, 1401,
    1400, 1399, 1398, 1397, 1396, 1395, 1394, 1393, 1392, 1391, 1390, 1389, 1388, 1387, 1386, 1385,
    1384, 1383, 1382, 1381, 1380, 1379, 1378, 1377, 1376, 1375, 1374, 1373, 1372, 1371, 1370, 1369,
    1368, 1367, 1366, 1365, 1364, 1363, 1362, 1361, 1360, 1359, 1358, 1357, 1356, 1355, 1354, 1353,
    1352, 1351, 1350, 1349, 1348, 1347, 1346, 1345, 1344, 1343, 1342, 1341, 1340, 1339, 1338, 1337,
    1336, 1335, 1334, 1333, 1332, 1331, 1330, 1329, 1328, 1327, 1326, 1325, 1324, 1323, 1322, 1321,
    1320, 1319, 1318, 1317, 1316, 1315, 1314, 1313, 1312, 1311, 1310, 1309, 1308, 1307, 1306, 1305,
    1304, 1303, 1302, 1301, 1300, 1299, 1298, 1297, 1296, 1295, 1294, 1293, 1292, 1291, 1290, 1289,
    1288, 1287, 1286, 1285, 1284, 1283, 1282, 1281, 1280, 1279, 1278, 1277, 1276, 1275, 1274, 1273,
    1272, 1271, 1270, 1269, 1268, 1267, 1266, 1265, 1264, 1263, 1262, 1261, 1260, 1259, 1258, 1257,
    1256, 1255, 1254, 1253, 1252, 1251, 1250, 1249, 1248, 1247, 1246, 1245, 1244, 1243, 1242, 1241,
    1240, 1239, 1238, 1237, 1236, 1235, 1234, 1233, 1232, 1231, 1230, 1229, 1228, 1227, 1226, 1225,
    // 1224
    1223, 1222, 1221, 1220, 1219,
    // 1218
    1217, 1216, 1215, 1214, 1213, 1212, 1211, 1210, 1209, 1208, 1207, 1206, 1205, 1204, 1203, 1202,
    1201, 1200, 1199, 1198, 1197, 1196, 1195, 1194, 1193, 1192, 1191, 1190, 1189, 1188, 1187, 1186,
    1185, 1184, 1183, 1182, 1181, 1180, 1179, 1178, 1177, 1176, 1175, 1174, 1173, 1172, 1171, 1170,
    1169, 1168, 1167, 1166, 1165, 1164, 1163, 1162, 1161, 1160, 1159, 1158, 1157, 1156, 1155, 1154,
    1153, 1152, 1151, 1150, 1149, 1148, 1147, 1146, 1145, 1144, 1143, 1142, 1141, 1140, 1139, 1138,
    1137, 1136, 1135, 1134, 1133, 1132, 1131, 1130, 1129, 1128, 1127, 1126, 1125, 1124, 1123, 1122,
    1121, 1120, 1119, 1118, 1117, 1116, 1115, 1114, 1113, 1112, 1111, 1110, 1109, 1108, 1107, 1106,
    1105, 1104, 1103, 1102, 1101, 1100, 1099, 1098, 1097, 1096, 1095, 1094, 1093, 1092, 1091, 1090,
    1089, 1088, 1087, 1086, 1085, 1084, 1083, 1082, 1081, 1080, 1079, 1078, 1077, 1076, 1075, 1074,
    1073, 1072, 1071, 1070, 1069, 1068, 1067, 1066, 1065, 1064, 1063, 1062, 1061, 1060, 1059, 1058,
    1057, 1056, 1055, 1054, 1053, 1052, 1051, 1050, 1049, 1048, 1047, 1046, 1045,
    // 1044
    1043, 1042, 1041, 1040, 1039, 1038, 1037, 1036, 1035, 1034, 1033, 1032, 1031, 1030, 1029, 1028,
    1027, 1026, 1025, 1024, 1023, 1022, 1021, 1020, 1019, 1018, 1017, 1016, 1015, 1014, 1013, 1012,
    1011, 1010, 1009, 1008, 1007, 1006, 1005, 1004, 1003, 1002, 1001, 1000, 999, 998, 997, 996,
    995, 994, 993, 992, 991, 990, 989, 988, 987, 986, 985, 984, 983, 982, 981, 980,
    979, 978, 977, 976, 975, 974, 973, 972, 971, 970, 969, 968, 967, 966, 965, 964,
    963, 962, 961, 960, 959, 958, 957, 956, 955, 954,
    // 953
    952, 951, 950, 949, 948, 947, 946, 945, 944, 943, 942, 941, 940, 939, 938, 937,
    936, 935, 934, 933, 932, 931, 930, 929, 928, 927, 926, 925, 924, 923, 922, 921,
    920, 919, 918, 917, 916, 915, 914, 913, 912, 911, 910, 909, 908, 907, 906, 905,
    904, 903, 902, 901, 900, 899, 898, 897, 896, 895,
    // 894
    893, 892, 891, 890, 889, 888, 887, 886, 885, 884, 883, 882, 881, 880, 879, 878,
    877,
    // 876
    875, 874, 873, 872, 871, 870, 869, 868, 867, 866, 865, 864,
    // 863
    862, 861, 860, 859, 858, 857, 856, 855, 854, 853, 852, 851, 850, 849, 848, 847,
    846, 845, 844, 843, 842, 841, 840, 839, 838, 837, 836, 835, 834, 833, 832, 831,
    830, 829, 828, 827, 826, 825, 824, 823, 822, 821, 820, 819, 818, 817, 816, 815,
    814, 813, 812, 811, 810, 809, 808, 807, 806, 805, 804, 803, 802, 801, 800, 799,
    798, 797, 796, 795, 794, 793, 792, 791, 790, 789, 788, 787, 786, 785, 784, 783,
    782, 781, 780, 779, 778, 777, 776, 775, 774, 773, 772, 771, 770, 769,
    // 768
    767, 766, 765, 764, 763, 762, 761, 760, 759, 758, 757, 756, 755, 754, 753, 752,
    751, 750, 749, 748, 747, 746, 745, 744, 743, 742, 741, 740, 739, 738, 737, 736,
    735, 734, 733, 732, 731, 730, 729, 728, 727, 726, 725, 724, 723, 722, 721, 720,
    719, 718, 717, 716, 715, 714, 713, 712, 711, 710, 709, 708, 707, 706, 705, 704,
    703, 702, 701, 700, 699, 698, 697, 696, 695, 694, 693, 692, 691, 690, 689, 688,
    687, 686, 685, 684, 683, 682, 681, 680, 679, 678, 677, 676, 675, 674, 673, 672,
    671, 670, 669, 668, 667, 666, 665, 664, 663, 662, 661, 660, 659, 658, 657, 656,
    655, 654, 653, 652, 651, 650, 649, 648, 647, 646, 645, 644, 643, 642, 641, 640,
    639, 638, 637, 636, 635, 634, 633, 632, 631, 630, 629, 628, 627, 626, 625, 624,
    623, 622, 621, 620, 619, 618, 617, 616, 615, 614, 613, 612, 611, 610, 609, 608,
    607, 606, 605, 604, 603, 602, 601, 600, 599, 598, 597, 596, 595, 594, 593, 592,
    591, 590, 589, 588, 587, 586, 585, 584, 583, 582, 581, 580, 579, 578, 577, 576,
    575, 574, 573, 572, 571, 570, 569, 568, 567, 566, 565, 564, 563, 562, 561, 560,
    559, 558, 557, 556, 555, 554, 553, 552, 551, 550, 549, 548, 547, 546, 545, 544,
    543, 542, 541, 540, 539, 538, 537, 536, 535, 534, 533, 532, 531, 530, 529, 528,
    527, 526, 525, 524, 523, 522, 521, 520, 519, 518, 517, 516, 515, 514, 513, 512,
    511, 510, 509, 508, 507, 506, 505, 504, 503, 502, 501, 500, 499, 498, 497, 496,
    495, 494, 493, 492, 491, 490, 489, 488, 487, 486, 485, 484, 483, 482, 481, 480,
    479, 478, 477, 476, 475, 474, 473, 472, 471, 470, 469, 468, 467, 466, 465, 464,
    463, 462, 461, 460, 459, 458, 457, 456, 455, 454, 453, 452, 451, 450, 449, 448,
    447, 446, 445, 444, 443, 442, 441, 440, 439, 438, 437, 436, 435, 434, 433, 432,
    431, 430, 429, 428, 427, 426, 425, 424, 423, 422, 421, 420, 419, 418, 417, 416,
    415, 414, 413, 412, 411, 410, 409, 408, 407, 406, 405, 404, 403, 402, 401, 400,
    399, 398, 397, 396, 395, 394, 393, 392, 391, 390, 389, 388, 387, 386, 385, 384,
    383, 382, 381, 380, 379, 378, 377, 376, 375, 374, 373, 372, 371, 370, 369, 368,
    367, 366, 365, 364, 363, 362, 361, 360, 359, 358, 357, 356, 355, 354, 353, 352,
    351, 350, 349, 348, 347, 346, 345, 344, 343, 342, 341, 340, 339, 338, 337, 336,
    335, 334, 333, 332, 331, 330, 329, 328, 327, 326, 325, 324, 323, 322, 321, 320,
    319, 318, 317, 316, 315, 314, 313, 312, 311, 310, 309, 308, 307, 306, 305, 304,
    303, 302, 301, 300, 299, 298, 297, 296, 295, 294, 293, 292, 291, 290, 289, 288,
    287, 286, 285, 284, 283, 282, 281, 280, 279, 278, 277, 276, 275, 274, 273, 272,
    271, 270, 269, 268, 267, 266, 265, 264, 263, 262, 261, 260, 259, 258, 257, 256,
    255, 254, 253, 252, 251, 250, 249, 248, 247, 246, 245, 244, 243, 242, 241, 240,
    239, 238, 237, 236, 235, 234, 233, 232, 231, 230, 229, 228, 227, 226, 225, 224,
    223, 222, 221, 220, 219, 218, 217, 216, 215, 214, 213, 212, 211, 210, 209, 208,
    207, 206, 205, 204, 203, 202, 201, 200, 199, 198, 197, 196, 195, 194, 193, 192,
    191, 190, 189, 188, 187, 186, 185, 184, 183, 182, 181, 180, 179, 178, 177, 176,
    175, 174, 173, 172, 171, 170, 169, 168, 167, 166, 165, 164, 163, 162, 161, 160,
    159, 158, 157, 156, 155, 154, 153, 152, 151, 150, 149, 148, 147, 146, 145, 144,
    143, 142, 141, 140, 139, 138, 137, 136, 135, 134, 133, 132, 131, 130, 129, 128,
    127, 126, 125, 124, 123, 122, 121, 120, 119, 118, 117, 116, 115, 114, 113, 112,
    111, 110, 109, 108, 107, 106, 105, 104, 103, 102, 101, 100, 99, 98, 97, 96,
    95, 94, 93, 92, 91, 90, 89, 88,
    // 87
    86, 85, 84, 83, 82, 81, 80, 79, 78, 77, 76, 75, 74, 73, 72, 71,
    70, 69, 68, 67, 66, 65, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55,
    54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39,
    38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23,
    22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7,
    6, 5, 4, 3, 2, 1, 0,
  },
  (const int[]) {  // 802
    5171, 5170,
    // 5169
    5168, 5167, 5166, 5165, 5164, 5163, 5162, 5161,
    // 5160
    5159, 5158, 5157,
    // 5156
    5155, 5154, 5153, 5152, 5151, 5150, 5149, 5148,
    // 5147
    5146, 5145,
    // 5143-5144
    5142,
    // 5139-5141
    5138, 5137,
    // 5136
    5135,
    // 5134
    5133, 5132,
    // 5131
    5130,
    // 5127-5129
    5126, 5125,
    // 5124
    5123, 5122, 5121, 5120, 5119,
    // 5118
    5117, 5116,
    // 5111-5115
    5110, 5109, 5108, 5107, 5106, 5105, 5104, 5103, 5102, 5101,
    // 5100
    5099, 5098, 5097, 5096, 5095,
    // 5093-5094
    5092, 5091, 5090,
    // 5089
    5088, 5087, 5086, 5085,
    // 5084
    5083, 5082, 5081, 5080, 5079, 5078, 5077, 5076, 5075, 5074, 5073, 5072, 5071, 5070, 5069, 5068,
    5067, 5066,
    // 5065
    5064, 5063,
    // 5061-5062
    5060, 5059, 5058,
    // 5056-5057
    5055, 5054,
    // 5053
    5052,
    // 5051
    5050,
    // 5048-5049
    5047, 5046, 5045, 5044, 5043, 5042, 5041, 5040,
    // 5039
    5038, 5037,
    // 5036
    5035, 5034,
    // 5032-5033
    5031,
    // 5030
    5029,
    // 5028
    5027,
    // 5026
    5025, 5024, 5023, 5022, 5021,
    // 5020
    5019, 5018, 5017, 5016, 5015, 5014, 5013, 5012,
    // 5011
    5010, 5009, 5008, 5007,
    // 5006
    5005,
    // 5003-5004
    5002, 5001,
    // 5000
    4999, 4998,
    // 4997
    4996, 4995,
    // 4994
    4993,
    // 4992
    4991, 4990, 4989,
    // 4988
    4987, 4986, 4985, 4984,
    // 4981-4983
    4980, 4979, 4978, 4977, 4976, 4975, 4974, 4973, 4972,
    // 4970-4971
    4969, 4968,
    // 4964-4967
    4963,
    // 4962
    4961, 4960, 4959,
    // 4958
    4957, 4956,
    // 4955
    4954, 4953,
    // 4952
    4951, 4950, 4949, 4948, 4947, 4946,
    // 4945
    4944, 4943,
    // 4942
    4941, 4940, 4939, 4938,
    // 4937
    4936, 4935, 4934,
    // 4933
    4932, 4931, 4930, 4929, 4928,
    // 4927
    4926, 4925, 4924, 4923, 4922, 4921, 4920, 4919, 4918, 4917, 4916,
    // 4915
    4914,
    // 4913
    4912, 4911, 4910,
    // 4909
    4908, 4907,
    // 4906
    4905, 4904, 4903,
    // 4902
    4901, 4900, 4899, 4898,
    // 4896-4897
    4895,
    // 4894
    4893, 4892,
    // 4891
    4890, 4889,
    // 4886-4888
    4885, 4884, 4883, 4882, 4881,
    // 4879-4880
    4878,
    // 4875-4877
    4874,
    // 4872-4873
    4871,
    // 4869-4870
    4868, 4867, 4866, 4865, 4864, 4863, 4862, 4861, 4860, 4859, 4858, 4857, 4856, 4855,
    // 4854
    4853,
    // 4852
    4851, 4850, 4849, 4848,
    // 4847
    4846, 4845, 4844, 4843, 4842, 4841, 4840, 4839, 4838, 4837, 4836, 4835, 4834, 4833,
    // 4832
    4831, 4830, 4829, 4828, 4827, 4826, 4825, 4824, 4823,
    // 4821-4822
    4820, 4819, 4818, 4817, 4816, 4815,
    // 4814
    4813, 4812, 4811, 4810, 4809, 4808, 4807, 4806, 4805,
    // 4803-4804
    4802, 4801,
    // 4800
    4799,
    // 4798
    4797, 4796, 4795, 4794, 4793, 4792, 4791, 4790,
    // 4789
    4788, 4787, 4786, 4785,
    // 4784
    4783,
    // 4782
    4781,
    // 4780
    4779, 4778,
    // 4777
    4776,
    // 4774-4775
    4773, 4772, 4771, 4770, 4769, 4768, 4767, 4766, 4765, 4764, 4763, 4762,
    // 4761
    4760, 4759,
    // 4758
    4757, 4756,
    // 4755
    4754, 4753, 4752,
    // 4751
    4750, 4749,
    // 4748
    4747, 4746, 4745, 4744, 4743,
    // 4742
    4741, 4740, 4739, 4738, 4737,
    // 4736
    4735, 4734, 4733, 4732, 4731, 4730, 4729, 4728,
    // 4727
    4726, 4725, 4724, 4723, 4722, 4721, 4720, 4719, 4718,
    // 4717
    4716, 4715, 4714, 4713,
    // 4712
    4711, 4710,
    // 4709
    4708, 4707, 4706, 4705, 4704, 4703, 4702, 4701, 4700, 4699,
    // 4698
    4697, 4696, 4695,
    // 4694
    4693, 4692, 4691, 4690, 4689, 4688, 4687, 4686, 4685,
    // 4682-4684
    4681, 4680, 4679, 4678, 4677, 4676, 4675, 4674,
    // 4673
    4672, 4671, 4670,
    // 4669
    4668, 4667, 4666, 4665, 4664,
    // 4662-4663
    4661, 4660,
    // 4659
    4658,
    // 4656-4657
    4655, 4654,
    // 4653
    4652, 4651,
    // 4650
    4649,
    // 4648
    4647, 4646, 4645, 4644, 4643,
    // 4642
    4641, 4640, 4639, 4638, 4637, 4636,
    // 4634-4635
    4633, 4632, 4631, 4630, 4629, 4628, 4627, 4626, 4625, 4624, 4623,
    // 4622
    4621, 4620,
    // 4619
    4618, 4617,
    // 4615-4616
    4614, 4613, 4612, 4611,
    // 4610
    4609, 4608, 4607,
    // 4604-4606
    4603, 4602, 4601, 4600, 4599, 4598,
    // 4597
    4596, 4595, 4594, 4593, 4592, 4591, 4590,
    // 4588-4589
    4587,
    // 4586
    4585,
    // 4584
    4583,
    // 4582
    4581, 4580, 4579,
    // 4578
    4577,
    // 4575-4576
    4574,
    // 4573
    4572, 4571, 4570, 4569, 4568,
    // 4567
    4566, 4565, 4564, 4563, 4562, 4561, 4560, 4559, 4558, 4557, 4556, 4555, 4554, 4553, 4552,
    // 4551
    4550, 4549, 4548, 4547, 4546, 4545, 4544, 4543, 4542, 4541,
    // 4539-4540
    4538, 4537,
    // 4534-4536
    4533, 4532, 4531,
    // 4530
    4529, 4528, 4527,
    // 4525-4526
    4524, 4523,
    // 4522
    4521, 4520,
    // 4519
    4518, 4517, 4516,
    // 4514-4515
    4513, 4512,
    // 4508-4511
    4507,
    // 4505-4506
    4504,
    // 4503
    4502, 4501,
    // 4499-4500
    4498, 4497, 4496, 4495, 4494,
    // 4493
    4492, 4491,
    // 4489-4490
    4488,
    // 4487
    4486, 4485, 4484, 4483, 4482, 4481,
    // 4480
    4479, 4478, 4477, 4476, 4475, 4474, 4473,
    // 4472
    4471, 4470, 4469, 4468, 4467, 4466, 4465, 4464, 4463, 4462, 4461,
    // 4457-4460
    4456, 4455, 4454, 4453, 4452, 4451, 4450,
    // 4448-4449
    4447, 4446, 4445, 4444, 4443, 4442,
    // 4441
    4440,
    // 4439
    4438, 4437, 4436,
    // 4435
    4434, 4433, 4432,
    // 4429-4431
    4428, 4427,
    // 4425-4426
    4424, 4423, 4422, 4421, 4420, 4419, 4418, 4417, 4416,
    // 4415
    4414, 4413, 4412, 4411, 4410, 4409,
    // 4408
    4407, 4406, 4405, 4404, 4403, 4402, 4401, 4400, 4399, 4398, 4397, 4396, 4395, 4394, 4393, 4392,
    4391, 4390, 4389, 4388, 4387, 4386, 4385,
    // 4384
    4383, 4382,
    // 4380-4381
    4379, 4378, 4377, 4376,
    // 4375
    4374, 4373,
    // 4371-4372
    4370, 4369, 4368,
    // 4367
    4366,
    // 4365
    4364, 4363, 4362, 4361, 4360, 4359, 4358,
    // 4357
    4356, 4355,
    // 4354
    4353, 4352, 4351,
    // 4350
    4349,
    // 4347-4348
    4346, 4345,
    // 4344
    4343, 4342, 4341, 4340, 4339, 4338, 4337, 4336, 4335, 4334,
    // 4332-4333
    4331,
    // 4330
    4329, 4328, 4327, 4326, 4325, 4324, 4323,
    // 4321-4322
    4320, 4319, 4318,
    // 4317
    4316, 4315, 4314, 4313, 4312, 4311, 4310, 4309,
    // 4308
    4307, 4306, 4305,
    // 4304
    4303,
    // 4301-4302
    4300, 4299, 4298, 4297, 4296,
    // 4295
    4294,
    // 4293
    4292,
    // 4291
    4290, 4289, 4288, 4287,
    // 4286
    4285, 4284, 4283,
    // 4282
    4281, 4280,
    // 4279
    4278,
    // 4276-4277
    4275, 4274, 4273, 4272, 4271,
    // 4269-4270
    4268, 4267,
    // 4263-4266
    4262, 4261,
    // 4259-4260
    4258,
    // 4255-4257
    4254, 4253,
    // 4252
    4251,
    // 4250
    4249, 4248, 4247,
    // 4246
    4245, 4244,
    // 4243
    4242, 4241,
    // 4240
    4239, 4238, 4237, 4236, 4235, 4234, 4233,
    // 4231-4232
    4230,
    // 4229
    4228, 4227,
    // 4223-4226
    4222, 4221, 4220, 4219, 4218, 4217, 4216, 4215, 4214, 4213, 4212, 4211, 4210,
    // 4209
    4208, 4207, 4206,
    // 4205
    4204, 4203,
    // 4201-4202
    4200,
    // 4199
    4198, 4197, 4196,
    // 4195
    4194, 4193,
    // 4192
    4191, 4190, 4189, 4188, 4187, 4186, 4185, 4184, 4183, 4182, 4181, 4180, 4179, 4178, 4177, 4176,
    // 4174-4175
    4173, 4172,
    // 4170-4171
    4169, 4168,
    // 4167
    4166, 4165,
    // 4164
    4163,
    // 4162
    4161, 4160, 4159, 4158,
    // 4157
    4156, 4155, 4154,
    // 4153
    4152, 4151, 4150,
    // 4147-4149
    4146,
    // 4145
    4144, 4143, 4142, 4141, 4140, 4139, 4138, 4137,
    // 4135-4136
    4134, 4133, 4132, 4131, 4130, 4129,
    // 4128
    4127, 4126,
    // 4125
    4124,
    // 4122-4123
    4121, 4120, 4119,
    // 4117-4118
    4116, 4115,
    // 4113-4114
    4112,
    // 4111
    4110, 4109,
    // 4104-4108
    4103, 4102,
    // 4101
    4100,
    // 4099
    4098, 4097, 4096, 4095, 4094, 4093, 4092, 4091, 4090, 4089, 4088,
    // 4086-4087
    4085,
    // 4082-4084
    4081, 4080, 4079, 4078, 4077, 4076, 4075, 4074, 4073, 4072, 4071, 4070,
    // 4067-4069
    4066, 4065, 4064,
    // 4063
    4062, 4061, 4060,
    // 4059
    4058, 4057,
    // 4056
    4055, 4054,
    // 4053
    4052,
    // 4050-4051
    4049, 4048,
    // 4044-4047
    4043, 4042,
    // 4039-4041
    4038, 4037, 4036,
    // 4035
    4034, 4033, 4032,
    // 4030-4031
    4029, 4028, 4027, 4026,
    // 4024-4025
    4023,
    // 4022
    4021, 4020,
    // 4019
    4018, 4017, 4016, 4015, 4014, 4013,
    // 4008-4012
    4007,
    // 4003-4006
    4002, 4001,
    // 4000
    3999, 3998,
    // 3996-3997
    3995,
    // 3994
    3993, 3992,
    // 3991
    3990, 3989, 3988,
    // 3985-3987
    3984,
    // 3983
    3982, 3981, 3980,
    // 3979
    3978,
    // 3975-3977
    3974, 3973,
    // 3970-3972
    3969, 3968,
    // 3967
    3966,
    // 3965
    3964, 3963, 3962,
    // 3959-3961
    3958,
    // 3957
    3956,
    // 3955
    3954, 3953, 3952, 3951, 3950, 3949, 3948, 3947, 3946,
    // 3945
    3944, 3943, 3942,
    // 3941
    3940, 3939, 3938, 3937, 3936, 3935, 3934, 3933, 3932, 3931,
    // 3927-3930
    3926, 3925,
    // 3923-3924
    3922, 3921, 3920, 3919,
    // 3918
    3917,
    // 3916
    3915, 3914,
    // 3913
    3912,
    // 3910-3911
    3909, 3908,
    // 3907
    3906, 3905,
    // 3904
    3903,
    // 3901-3902
    3900,
    // 3899
    3898,
    // 3897
    3896,
    // 3894-3895
    3893,
    // 3892
    3891,
    // 3890
    3889, 3888, 3887, 3886, 3885, 3884, 3883, 3882,
    // 3881
    3880, 3879, 3878,
    // 3877
    3876, 3875, 3874, 3873,
    // 3871-3872
    3870, 3869, 3868, 3867,
    // 3866
    3865,
    // 3864
    3863, 3862, 3861, 3860,
    // 3859
    3858,
    // 3857
    3856, 3855,
    // 3854
    3853, 3852,
    // 3851
    3850,
    // 3849
    3848,
    // 3847
    3846, 3845, 3844, 3843,
    // 3842
    3841,
    // 3840
    3839, 3838,
    // 3835-3837
    3834, 3833,
    // 3832
    3831,
    // 3830
    3829,
    // 3828
    3827, 3826, 3825, 3824, 3823, 3822, 3821, 3820, 3819, 3818,
    // 3815-3817
    3814, 3813,
    // 3812
    3811,
    // 3809-3810
    3808,
    // 3807
    3806, 3805, 3804, 3803, 3802,
    // 3801
    3800,
    // 3798-3799
    3797, 3796, 3795,
    // 3794
    3793, 3792, 3791, 3790,
    // 3789
    3788, 3787, 3786, 3785, 3784, 3783, 3782, 3781, 3780, 3779, 3778, 3777, 3776, 3775, 3774, 3773,
    3772,
    // 3771
    3770, 3769, 3768, 3767, 3766, 3765,
    // 3763-3764
    3762,
    // 3760-3761
    3759, 3758, 3757, 3756, 3755, 3754,
    // 3753
    3752, 3751,
    // 3749-3750
    3748, 3747, 3746, 3745, 3744, 3743, 3742, 3741, 3740, 3739,
    // 3738
    3737, 3736, 3735, 3734,
    // 3731-3733
    3730, 3729,
    // 3727-3728
    3726, 3725, 3724,
    // 3720-3723
    3719, 3718, 3717, 3716, 3715, 3714, 3713, 3712, 3711, 3710, 3709, 3708, 3707,
    // 3706
    3705,
    // 3704
    3703, 3702, 3701,
    // 3700
    3699, 3698,
    // 3696-3697
    3695,
    // 3694
    3693,
    // 3692
    3691,
    // 3690
    3689, 3688, 3687, 3686, 3685, 3684,
    // 3682-3683
    3681, 3680, 3679, 3678, 3677, 3676, 3675, 3674, 3673, 3672, 3671, 3670, 3669,
    // 3668
    3667, 3666, 3665, 3664, 3663, 3662, 3661, 3660, 3659, 3658, 3657,
    // 3656
    3655, 3654, 3653, 3652,
    // 3649-3651
    3648, 3647,
    // 3645-3646
    3644, 3643, 3642, 3641, 3640, 3639, 3638,
    // 3637
    3636, 3635,
    // 3633-3634
    3632,
    // 3631
    3630, 3629,
    // 3628
    3627, 3626, 3625,
    // 3624
    3623, 3622, 3621,
    // 3620
    3619, 3618, 3617, 3616, 3615,
    // 3614
    3613, 3612, 3611, 3610, 3609,
    // 3608
    3607, 3606,
    // 3605
    3604, 3603, 3602, 3601, 3600, 3599, 3598,
    // 3597
    3596, 3595, 3594, 3593,
    // 3592
    3591,
    // 3589-3590
    3588, 3587, 3586, 3585, 3584, 3583, 3582, 3581, 3580, 3579,
    // 3578
    3577, 3576, 3575, 3574, 3573, 3572, 3571, 3570,
    // 3569
    3568, 3567, 3566, 3565, 3564, 3563,
    // 3562
    3561,
    // 3559-3560
    3558,
    // 3557
    3556, 3555, 3554, 3553, 3552, 3551, 3550, 3549,
    // 3548
    3547, 3546, 3545,
    // 3544
    3543, 3542, 3541, 3540, 3539,
    // 3538
    3537,
    // 3535-3536
    3534, 3533, 3532, 3531, 3530, 3529, 3528, 3527, 3526, 3525,
    // 3524
    3523, 3522, 3521, 3520, 3519, 3518, 3517,
    // 3516
    3515, 3514, 3513, 3512,
    // 3511
    3510, 3509, 3508, 3507, 3506, 3505, 3504,
    // 3502-3503
    3501, 3500, 3499, 3498, 3497, 3496, 3495, 3494, 3493, 3492, 3491, 3490, 3489, 3488, 3487, 3486,
    // 3485
    3484, 3483, 3482,
    // 3481
    3480,
    // 3479
    3478, 3477, 3476, 3475,
    // 3474
    3473, 3472, 3471, 3470, 3469, 3468, 3467, 3466, 3465, 3464, 3463, 3462, 3461, 3460, 3459, 3458,
    3457,
    // 3456
    3455, 3454, 3453, 3452, 3451, 3450, 3449, 3448,
    // 3447
    3446,
    // 3444-3445
    3443, 3442, 3441, 3440, 3439, 3438, 3437,
    // 3436
    3435, 3434, 3433, 3432, 3431, 3430,
    // 3429
    3428,
    // 3427
    3426, 3425, 3424,
    // 3422-3423
    3421, 3420, 3419,
    // 3418
    3417, 3416, 3415, 3414,
    // 3413
    3412,
    // 3411
    3410, 3409, 3408, 3407, 3406,
    // 3404-3405
    3403, 3402,
    // 3401
    3400, 3399, 3398, 3397,
    // 3396
    3395, 3394, 3393, 3392, 3391, 3390, 3389, 3388, 3387, 3386, 3385, 3384, 3383, 3382, 3381,
    // 3380
    3379, 3378, 3377,
    // 3376
    3375, 3374, 3373, 3372,
    // 3370-3371
    3369, 3368,
    // 3367
    3366,
    // 3365
    3364, 3363, 3362, 3361, 3360,
    // 3359
    3358, 3357,
    // 3356
    3355, 3354, 3353,
    // 3351-3352
    3350, 3349, 3348,
    // 3346-3347
    3345,
    // 3339-3344
    3338, 3337, 3336,
    // 3335
    3334, 3333, 3332, 3331, 3330, 3329, 3328, 3327, 3326, 3325,
    // 3323-3324
    3322, 3321,
    // 3320
    3319,
    // 3315-3318
    3314, 3313, 3312, 3311, 3310, 3309, 3308, 3307, 3306,
    // 3305
    3304,
    // 3303
    3302,
    // 3299-3301
    3298,
    // 3297
    3296, 3295, 3294, 3293, 3292, 3291, 3290, 3289,
    // 3287-3288
    3286, 3285, 3284, 3283, 3282, 3281, 3280,
    // 3279
    3278, 3277,
    // 3273-3276
    3272,
    // 3271
    3270,
    // 3268-3269
    3267, 3266, 3265, 3264, 3263, 3262,
    // 3261
    3260, 3259,
    // 3258
    3257, 3256, 3255, 3254, 3253, 3252,
    // 3251
    3250,
    // 3249
    3248, 3247, 3246, 3245,
    // 3244
    3243, 3242,
    // 3237-3241
    3236,
    // 3234-3235
    3233,
    // 3232
    3231, 3230,
    // 3228-3229
    3227, 3226, 3225, 3224,
    // 3223
    3222, 3221, 3220, 3219, 3218,
    // 3217
    3216,
    // 3215
    3214, 3213, 3212,
    // 3211
    3210, 3209, 3208, 3207,
    // 3206
    3205, 3204,
    // 3203
    3202,
    // 3200-3201
    3199, 3198,
    // 3197
    3196, 3195,
    // 3194
    3193, 3192, 3191,
    // 3188-3190
    3187,
    // 3185-3186
    3184,
    // 3182-3183
    3181,
    // 3179-3180
    3178,
    // 3175-3177
    3174,
    // 3173
    3172,
    // 3169-3171
    3168, 3167, 3166, 3165, 3164, 3163,
    // 3161-3162
    3160, 3159, 3158, 3157, 3156, 3155,
    // 3154
    3153,
    // 3152
    3151,
    // 3148-3150
    3147,
    // 3146
    3145,
    // 3144
    3143,
    // 3142
    3141, 3140, 3139, 3138,
    // 3137
    3136, 3135, 3134,
    // 3133
    3132, 3131, 3130,
    // 3126-3129
    3125,
    // 3123-3124
    3122, 3121, 3120, 3119, 3118,
    // 3117
    3116, 3115, 3114,
    // 3111-3113
    3110, 3109, 3108,
    // 3107
    3106,
    // 3104-3105
    3103, 3102, 3101,
    // 3099-3100
    3098, 3097, 3096, 3095, 3094, 3093, 3092,
    // 3090-3091
    3089, 3088, 3087, 3086, 3085,
    // 3084
    3083, 3082, 3081, 3080,
    // 3079
    3078, 3077, 3076, 3075,
    // 3074
    3073, 3072, 3071, 3070,
    // 3067-3069
    3066, 3065, 3064, 3063, 3062, 3061,
    // 3058-3060
    3057,
    // 3056
    3055,
    // 3054
    3053, 3052, 3051, 3050, 3049,
    // 3047-3048
    3046, 3045, 3044, 3043, 3042, 3041, 3040, 3039, 3038, 3037,
    // 3036
    3035, 3034, 3033, 3032,
    // 3031
    3030,
    // 3028-3029
    3027, 3026, 3025, 3024,
    // 3021-3023
    3020, 3019, 3018, 3017, 3016,
    // 3015
    3014, 3013, 3012, 3011,
    // 3010
    3009, 3008, 3007, 3006,
    // 3004-3005
    3003, 3002, 3001, 3000, 2999,
    // 2998
    2997, 2996, 2995, 2994, 2993, 2992,
    // 2991
    2990, 2989,
    // 2988
    2987, 2986, 2985, 2984,
    // 2982-2983
    2981, 2980, 2979, 2978, 2977, 2976,
    // 2975
    2974, 2973,
    // 2972
    2971, 2970, 2969,
    // 2967-2968
    2966,
    // 2962-2965
    2961, 2960,
    // 2959
    2958, 2957,
    // 2955-2956
    2954, 2953, 2952,
    // 2950-2951
    2949, 2948, 2947, 2946, 2945,
    // 2944
    2943,
    // 2942
    2941, 2940, 2939, 2938, 2937, 2936, 2935, 2934, 2933,
    // 2930-2932
    2929,
    // 2928
    2927,
    // 2925-2926
    2924, 2923, 2922, 2921, 2920, 2919, 2918, 2917, 2916,
    // 2915
    2914, 2913, 2912, 2911, 2910, 2909, 2908, 2907, 2906, 2905, 2904, 2903, 2902, 2901, 2900, 2899,
    2898,
    // 2897
    2896,
    // 2892-2895
    2891, 2890, 2889,
    // 2888
    2887, 2886, 2885, 2884, 2883,
    // 2881-2882
    2880, 2879, 2878, 2877, 2876, 2875,
    // 2874
    2873,
    // 2872
    2871, 2870, 2869, 2868,
    // 2866-2867
    2865,
    // 2864
    2863, 2862, 2861,
    // 2860
    2859, 2858, 2857, 2856,
    // 2855
    2854,
    // 2853
    2852,
    // 2851
    2850, 2849, 2848,
    // 2846-2847
    2845,
    // 2844
    2843,
    // 2842
    2841, 2840, 2839, 2838, 2837, 2836, 2835, 2834, 2833, 2832, 2831, 2830, 2829, 2828, 2827, 2826,
    2825, 2824, 2823,
    // 2821-2822
    2820, 2819, 2818,
    // 2815-2817
    2814, 2813, 2812,
    // 2811
    2810, 2809, 2808, 2807,
    // 2805-2806
    2804,
    // 2802-2803
    2801,
    // 2799-2800
    2798, 2797, 2796, 2795, 2794,
    // 2793
    2792, 2791, 2790, 2789, 2788,
    // 2787
    2786,
    // 2785
    2784, 2783, 2782, 2781, 2780, 2779, 2778, 2777, 2776,
    // 2775
    2774, 2773, 2772,
    // 2771
    2770, 2769, 2768, 2767, 2766, 2765, 2764,
    // 2763
    2762, 2761,
    // 2758-2760
    2757, 2756, 2755,
    // 2751-2754
    2750, 2749, 2748, 2747,
    // 2742-2746
    2741,
    // 2739-2740
    2738, 2737, 2736, 2735, 2734,
    // 2733
    2732,
    // 2731
    2730, 2729, 2728, 2727, 2726,
    // 2725
    2724, 2723, 2722, 2721, 2720, 2719, 2718, 2717, 2716, 2715, 2714, 2713, 2712, 2711,
    // 2710
    2709,
    // 2708
    2707, 2706, 2705, 2704, 2703, 2702, 2701, 2700,
    // 2698-2699
    2697,
    // 2696
    2695, 2694, 2693, 2692, 2691, 2690, 2689, 2688, 2687, 2686,
    // 2685
    2684, 2683, 2682,
    // 2679-2681
    2678,
    // 2675-2677
    2674, 2673,
    // 2672
    2671, 2670,
    // 2668-2669
    2667,
    // 2665-2666
    2664,
    // 2663
    2662, 2661,
    // 2660
    2659, 2658,
    // 2657
    2656, 2655, 2654, 2653,
    // 2652
    2651, 2650,
    // 2649
    2648, 2647, 2646,
    // 2645
    2644, 2643,
    // 2642
    2641, 2640, 2639,
    // 2638
    2637,
    // 2635-2636
    2634,
    // 2633
    2632, 2631,
    // 2628-2630
    2627, 2626, 2625, 2624, 2623, 2622,
    // 2620-2621
    2619, 2618, 2617,
    // 2616
    2615,
    // 2614
    2613, 2612, 2611, 2610, 2609, 2608, 2607, 2606, 2605, 2604,
    // 2603
    2602, 2601, 2600, 2599,
    // 2597-2598
    2596, 2595, 2594, 2593, 2592, 2591, 2590, 2589, 2588, 2587, 2586, 2585, 2584,
    // 2583
    2582,
    // 2581
    2580,
    // 2578-2579
    2577,
    // 2576
    2575, 2574,
    // 2573
    2572, 2571, 2570,
    // 2565-2569
    2564,
    // 2562-2563
    2561, 2560, 2559,
    // 2558
    2557, 2556, 2555, 2554,
    // 2552-2553
    2551, 2550, 2549, 2548, 2547,
    // 2546
    2545,
    // 2544
    2543, 2542, 2541,
    // 2540
    2539,
    // 2537-2538
    2536, 2535, 2534, 2533, 2532,
    // 2525-2531
    2524, 2523, 2522,
    // 2521
    2520,
    // 2519
    2518, 2517, 2516, 2515, 2514, 2513,
    // 2511-2512
    2510, 2509, 2508, 2507, 2506, 2505, 2504, 2503, 2502,
    // 2501
    2500, 2499,
    // 2497-2498
    2496, 2495,
    // 2493-2494
    2492, 2491, 2490, 2489, 2488, 2487,
    // 2484-2486
    2483,
    // 2480-2482
    2479,
    // 2478
    2477, 2476, 2475, 2474, 2473, 2472, 2471, 2470, 2469, 2468, 2467, 2466, 2465, 2464, 2463, 2462,
    2461, 2460, 2459, 2458, 2457, 2456,
    // 2455
    2454,
    // 2453
    2452,
    // 2450-2451
    2449, 2448, 2447, 2446,
    // 2445
    2444,
    // 2443
    2442,
    // 2441
    2440, 2439, 2438, 2437, 2436, 2435,
    // 2434
    2433, 2432, 2431, 2430, 2429,
    // 2428
    2427, 2426, 2425, 2424, 2423, 2422, 2421, 2420, 2419, 2418,
    // 2415-2417
    2414, 2413, 2412, 2411, 2410, 2409, 2408, 2407, 2406,
    // 2405
    2404, 2403, 2402, 2401,
    // 2400
    2399,
    // 2393-2398
    2392,
    // 2391
    2390, 2389, 2388, 2387, 2386, 2385, 2384, 2383, 2382,
    // 2380-2381
    2379,
    // 2378
    2377, 2376, 2375, 2374, 2373,
    // 2371-2372
    2370,
    // 2369
    2368,
    // 2367
    2366,
    // 2364-2365
    2363,
    // 2362
    2361, 2360, 2359, 2358,
    // 2357
    2356, 2355, 2354, 2353, 2352, 2351, 2350, 2349, 2348, 2347, 2346, 2345, 2344, 2343, 2342, 2341,
    2340,
    // 2338-2339
    2337, 2336, 2335, 2334, 2333, 2332,
    // 2331
    2330, 2329, 2328, 2327, 2326,
    // 2325
    2324, 2323,
    // 2320-2322
    2319, 2318,
    // 2317
    2316,
    // 2315
    2314, 2313, 2312,
    // 2310-2311
    2309,
    // 2308
    2307,
    // 2305-2306
    2304, 2303,
    // 2302
    2301, 2300, 2299,
    // 2296-2298
    2295, 2294, 2293,
    // 2292
    2291,
    // 2290
    2289, 2288, 2287, 2286, 2285, 2284, 2283,
    // 2282
    2281, 2280, 2279, 2278, 2277, 2276,
    // 2275
    2274, 2273,
    // 2271-2272
    2270, 2269,
    // 2264-2268
    2263,
    // 2262
    2261, 2260, 2259, 2258,
    // 2256-2257
    2255, 2254,
    // 2253
    2252,
    // 2250-2251
    2249, 2248, 2247, 2246, 2245, 2244, 2243,
    // 2242
    2241, 2240,
    // 2238-2239
    2237, 2236, 2235, 2234, 2233, 2232, 2231,
    // 2230
    2229,
    // 2228
    2227,
    // 2222-2226
    2221,
    // 2220
    2219, 2218, 2217,
    // 2216
    2215,
    // 2212-2214
    2211, 2210,
    // 2208-2209
    2207, 2206,
    // 2204-2205
    2203, 2202, 2201, 2200, 2199, 2198, 2197, 2196,
    // 2193-2195
    2192, 2191, 2190, 2189,
    // 2187-2188
    2186, 2185, 2184,
    // 2183
    2182, 2181, 2180,
    // 2178-2179
    2177, 2176, 2175, 2174,
    // 2173
    2172, 2171,
    // 2169-2170
    2168, 2167, 2166,
    // 2164-2165
    2163,
    // 2162
    2161,
    // 2160
    2159, 2158,
    // 2157
    2156, 2155, 2154, 2153, 2152, 2151, 2150, 2149,
    // 2148
    2147,
    // 2146
    2145, 2144, 2143, 2142, 2141, 2140, 2139, 2138,
    // 2137
    2136,
    // 2135
    2134,
    // 2133
    2132,
    // 2131
    2130,
    // 2128-2129
    2127, 2126,
    // 2125
    2124, 2123,
    // 2122
    2121,
    // 2120
    2119, 2118,
    // 2117
    2116, 2115, 2114, 2113, 2112, 2111, 2110, 2109, 2108, 2107, 2106,
    // 2105
    2104, 2103, 2102,
    // 2101
    2100, 2099, 2098,
    // 2097
    2096, 2095, 2094, 2093,
    // 2092
    2091,
    // 2090
    2089, 2088, 2087, 2086, 2085, 2084, 2083,
    // 2082
    2081, 2080, 2079, 2078, 2077, 2076, 2075,
    // 2074
    2073, 2072,
    // 2071
    2070, 2069, 2068, 2067,
    // 2065-2066
    2064,
    // 2063
    2062,
    // 2061
    2060, 2059, 2058,
    // 2057
    2056,
    // 2055
    2054,
    // 2052-2053
    2051, 2050, 2049, 2048, 2047, 2046, 2045, 2044, 2043, 2042, 2041,
    // 2039-2040
    2038, 2037, 2036, 2035,
    // 2034
    2033, 2032, 2031, 2030, 2029, 2028, 2027, 2026, 2025, 2024, 2023,
    // 2021-2022
    2020, 2019, 2018,
    // 2017
    2016,
    // 2015
    2014, 2013,
    // 2012
    2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002,
    // 2001
    2000, 1999, 1998,
    // 1996-1997
    1995, 1994, 1993, 1992, 1991,
    // 1988-1990
    1987, 1986, 1985, 1984, 1983, 1982, 1981, 1980, 1979, 1978,
    // 1977
    1976, 1975, 1974, 1973, 1972, 1971, 1970, 1969,
    // 1968
    1967, 1966, 1965, 1964, 1963, 1962, 1961, 1960, 1959, 1958, 1957,
    // 1956
    1955,
    // 1954
    1953, 1952,
    // 1951
    1950, 1949,
    // 1948
    1947, 1946, 1945, 1944,
    // 1943
    1942, 1941, 1940, 1939, 1938,
    // 1937
    1936, 1935,
    // 1934
    1933, 1932,
    // 1930-1931
    1929, 1928, 1927, 1926, 1925,
    // 1923-1924
    1922, 1921, 1920, 1919,
    // 1917-1918
    1916, 1915,
    // 1914
    1913, 1912, 1911, 1910, 1909, 1908, 1907, 1906, 1905, 1904, 1903, 1902, 1901, 1900, 1899, 1898,
    1897, 1896,
    // 1894-1895
    1893, 1892,
    // 1891
    1890,
    // 1888-1889
    1887, 1886, 1885,
    // 1884
    1883, 1882, 1881, 1880,
    // 1879
    1878, 1877,
    // 1876
    1875, 1874, 1873, 1872, 1871,
    // 1870
    1869, 1868, 1867, 1866, 1865, 1864, 1863, 1862,
    // 1861
    1860, 1859,
    // 1858
    1857, 1856,
    // 1853-1855
    1852,
    // 1851
    1850,
    // 1849
    1848, 1847,
    // 1845-1846
    1844, 1843, 1842, 1841,
    // 1840
    1839,
    // 1838
    1837,
    // 1836
    1835, 1834, 1833,
    // 1832
    1831, 1830, 1829, 1828, 1827,
    // 1824-1826
    1823, 1822,
    // 1821
    1820,
    // 1819
    1818, 1817, 1816, 1815,
    // 1813-1814
    1812,
    // 1811
    1810,
    // 1809
    1808,
    // 1807
    1806, 1805, 1804, 1803, 1802, 1801, 1800, 1799, 1798, 1797,
    // 1795-1796
    1794, 1793, 1792, 1791, 1790,
    // 1789
    1788, 1787, 1786, 1785, 1784, 1783,
    // 1782
    1781, 1780, 1779, 1778, 1777, 1776, 1775, 1774, 1773, 1772,
    // 1771
    1770,
    // 1769
    1768, 1767, 1766, 1765, 1764, 1763, 1762, 1761, 1760, 1759, 1758, 1757, 1756,
    // 1755
    1754,
    // 1752-1753
    1751, 1750, 1749, 1748, 1747, 1746, 1745,
    // 1744
    1743, 1742, 1741, 1740, 1739, 1738, 1737, 1736, 1735, 1734, 1733,
    // 1732
    1731, 1730,
    // 1729
    1728, 1727, 1726, 1725, 1724,
    // 1723
    1722, 1721, 1720,
    // 1718-1719
    1717, 1716, 1715, 1714, 1713,
    // 1711-1712
    1710, 1709, 1708, 1707, 1706, 1705, 1704, 1703, 1702,
    // 1701
    1700,
    // 1699
    1698, 1697, 1696, 1695,
    // 1694
    1693,
    // 1690-1692
    1689,
    // 1688
    1687, 1686,
    // 1685
    1684,
    // 1682-1683
    1681, 1680, 1679, 1678, 1677, 1676, 1675, 1674, 1673, 1672,
    // 1671
    1670,
    // 1669
    1668, 1667, 1666, 1665,
    // 1664
    1663,
    // 1662
    1661, 1660, 1659, 1658,
    // 1657
    1656, 1655, 1654, 1653, 1652, 1651,
    // 1650
    1649, 1648, 1647, 1646, 1645,
    // 1644
    1643, 1642,
    // 1641
    1640, 1639, 1638,
    // 1636-1637
    1635, 1634, 1633, 1632, 1631, 1630, 1629,
    // 1627-1628
    1626, 1625, 1624, 1623, 1622, 1621,
    // 1619-1620
    1618,
    // 1614-1617
    1613, 1612,
    // 1610-1611
    1609, 1608, 1607,
    // 1606
    1605,
    // 1601-1604
    1600, 1599, 1598,
    // 1597
    1596, 1595, 1594,
    // 1592-1593
    1591,
    // 1590
    1589, 1588, 1587, 1586, 1585, 1584, 1583,
    // 1581-1582
    1580, 1579, 1578,
    // 1571-1577
    1570,
    // 1569
    1568, 1567, 1566, 1565, 1564,
    // 1562-1563
    1561, 1560, 1559,
    // 1558
    1557,
    // 1556
    1555, 1554, 1553, 1552,
    // 1550-1551
    1549, 1548, 1547, 1546, 1545, 1544, 1543, 1542,
    // 1541
    1540,
    // 1538-1539
    1537, 1536, 1535,
    // 1533-1534
    1532, 1531, 1530, 1529, 1528,
    // 1527
    1526,
    // 1525
    1524, 1523, 1522, 1521, 1520,
    // 1518-1519
    1517, 1516, 1515,
    // 1514
    1513, 1512, 1511, 1510,
    // 1509
    1508, 1507, 1506, 1505,
    // 1504
    1503,
    // 1502
    1501, 1500,
    // 1498-1499
    1497,
    // 1496
    1495,
    // 1494
    1493,
    // 1491-1492
    1490, 1489, 1488, 1487,
    // 1485-1486
    1484, 1483,
    // 1482
    1481,
    // 1480
    1479,
    // 1477-1478
    1476,
    // 1475
    1474, 1473, 1472, 1471, 1470, 1469,
    // 1468
    1467, 1466, 1465, 1464, 1463, 1462, 1461,
    // 1459-1460
    1458, 1457, 1456, 1455, 1454, 1453, 1452, 1451, 1450, 1449, 1448,
    // 1447
    1446, 1445,
    // 1444
    1443, 1442, 1441, 1440,
    // 1439
    1438,
    // 1437
    1436,
    // 1435
    1434, 1433,
    // 1430-1432
    1429, 1428, 1427,
    // 1426
    1425, 1424,
    // 1423
    1422, 1421, 1420, 1419,
    // 1418
    1417,
    // 1416
    1415, 1414, 1413,
    // 1412
    1411, 1410, 1409, 1408, 1407, 1406, 1405, 1404,
    // 1403
    1402, 1401, 1400,
    // 1399
    1398, 1397, 1396, 1395, 1394, 1393,
    // 1392
    1391, 1390, 1389, 1388,
    // 1387
    1386, 1385, 1384, 1383,
    // 1382
    1381,
    // 1380
    1379, 1378, 1377,
    // 1376
    1375, 1374,
    // 1371-1373
    1370, 1369,
    // 1367-1368
    1366,
    // 1365
    1364,
    // 1362-1363
    1361, 1360,
    // 1359
    1358, 1357, 1356,
    // 1355
    1354, 1353, 1352, 1351, 1350,
    // 1349
    1348, 1347, 1346, 1345, 1344,
    // 1341-1343
    1340, 1339, 1338, 1337, 1336, 1335, 1334,
    // 1332-1333
    1331, 1330,
    // 1328-1329
    1327,
    // 1322-1326
    1321, 1320, 1319, 1318, 1317, 1316, 1315,
    // 1313-1314
    1312, 1311, 1310, 1309,
    // 1308
    1307, 1306, 1305, 1304, 1303, 1302, 1301,
    // 1300
    1299, 1298, 1297, 1296, 1295, 1294, 1293, 1292, 1291,
    // 1290
    1289,
    // 1288
    1287,
    // 1286
    1285, 1284, 1283, 1282, 1281, 1280, 1279, 1278, 1277,
    // 1276
    1275, 1274, 1273,
    // 1272
    1271, 1270, 1269,
    // 1268
    1267, 1266, 1265, 1264,
    // 1263
    1262, 1261, 1260, 1259,
    // 1257-1258
    1256, 1255, 1254,
    // 1253
    1252, 1251, 1250, 1249, 1248, 1247, 1246, 1245, 1244,
    // 1243
    1242, 1241, 1240,
    // 1239
    1238,
    // 1237
    1236,
    // 1235
    1234, 1233, 1232, 1231, 1230,
    // 1229
    1228,
    // 1227
    1226, 1225, 1224, 1223, 1222, 1221,
    // 1220
    1219,
    // 1218
    1217, 1216, 1215, 1214,
    // 1213
    1212, 1211, 1210, 1209, 1208, 1207, 1206,
    // 1204-1205
    1203, 1202, 1201, 1200, 1199, 1198, 1197, 1196, 1195, 1194, 1193,
    // 1191-1192
    1190, 1189, 1188, 1187, 1186,
    // 1185
    1184,
    // 1182-1183
    1181, 1180, 1179,
    // 1178
    1177,
    // 1176
    1175, 1174, 1173, 1172, 1171, 1170, 1169, 1168,
    // 1167
    1166, 1165, 1164, 1163, 1162, 1161,
    // 1160
    1159,
    // 1157-1158
    1156,
    // 1154-1155
    1153, 1152,
    // 1150-1151
    1149, 1148, 1147,
    // 1146
    1145,
    // 1140-1144
    1139,
    // 1136-1138
    1135, 1134,
    // 1132-1133
    1131, 1130, 1129, 1128, 1127,
    // 1126
    1125, 1124, 1123,
    // 1122
    1121,
    // 1120
    1119, 1118, 1117,
    // 1116
    1115, 1114, 1113,
    // 1112
    1111, 1110, 1109, 1108, 1107, 1106,
    // 1105
    1104, 1103, 1102, 1101, 1100, 1099, 1098,
    // 1096-1097
    1095, 1094, 1093, 1092,
    // 1090-1091
    1089, 1088, 1087, 1086, 1085, 1084, 1083, 1082,
    // 1081
    1080, 1079, 1078,
    // 1077
    1076, 1075, 1074, 1073, 1072, 1071, 1070, 1069, 1068, 1067,
    // 1066
    1065, 1064, 1063, 1062, 1061, 1060, 1059, 1058, 1057, 1056, 1055, 1054, 1053, 1052, 1051, 1050,
    1049, 1048, 1047, 1046, 1045, 1044, 1043,
    // 1042
    1041, 1040,
    // 1039
    1038, 1037, 1036, 1035, 1034, 1033,
    // 1032
    1031, 1030, 1029,
    // 1028
    1027, 1026, 1025,
    // 1023-1024
    1022, 1021, 1020,
    // 1019
    1018, 1017, 1016,
    // 1015
    1014, 1013,
    // 1011-1012
    1010, 1009, 1008, 1007, 1006, 1005, 1004,
    // 1003
    1002, 1001, 1000, 999, 998, 997, 996,
    // 995
    994, 993,
    // 992
    991,
    // 990
    989,
    // 988
    987, 986, 985, 984, 983, 982, 981, 980, 979, 978,
    // 977
    976, 975, 974,
    // 972-973
    971,
    // 970
    969, 968, 967, 966, 965, 964, 963, 962,
    // 960-961
    959, 958, 957, 956, 955, 954, 953, 952, 951, 950, 949, 948,
    // 947
    946, 945, 944, 943, 942, 941, 940, 939, 938, 937, 936, 935, 934, 933, 932, 931,
    930, 929, 928, 927, 926, 925, 924, 923, 922, 921, 920, 919, 918, 917, 916, 915,
    914, 913, 912, 911, 910, 909, 908, 907,
    // 906
    905, 904, 903, 902, 901,
    // 900
    899, 898,
    // 897
    896, 895, 894, 893, 892, 891, 890, 889,
    // 888
    887, 886, 885, 884, 883, 882, 881, 880, 879,
    // 878
    877, 876,
    // 875
    874, 873, 872, 871, 870, 869, 868, 867, 866, 865, 864,
    // 863
    862, 861, 860, 859,
    // 858
    857, 856, 855, 854, 853, 852, 851,
    // 850
    849,
    // 847-848
    846, 845, 844, 843, 842, 841, 840, 839, 838, 837, 836, 835,
    // 834
    833, 832, 831, 830, 829, 828, 827, 826, 825, 824, 823, 822, 821,
    // 820
    819, 818, 817, 816, 815, 814, 813, 812, 811, 810, 809, 808, 807, 806, 805, 804,
    803, 802, 801, 800, 799, 798, 797, 796, 795, 794, 793, 792, 791, 790, 789, 788,
    787, 786, 785, 784, 783, 782, 781, 780, 779, 778, 777, 776,
    // 775
    774, 773, 772,
    // 771
    770, 769, 768, 767, 766, 765, 764, 763, 762, 761, 760, 759, 758, 757, 756,
    // 755
    754, 753, 752,
    // 751
    750, 749,
    // 747-748
    746,
    // 745
    744,
    // 743
    742, 741, 740, 739,
    // 737-738
    736, 735, 734, 733, 732, 731,
    // 729-730
    728, 727, 726, 725, 724, 723, 722, 721, 720, 719,
    // 718
    717, 716, 715, 714, 713, 712, 711, 710, 709, 708, 707, 706, 705, 704, 703, 702,
    701, 700,
    // 699
    698, 697, 696, 695,
    // 694
    693, 692, 691, 690, 689, 688, 687, 686, 685,
    // 683-684
    682, 681, 680,
    // 679
    678,
    // 677
    676,
    // 675
    674, 673, 672, 671, 670, 669, 668, 667, 666, 665, 664, 663,
    // 661-662
    660, 659, 658, 657,
    // 656
    655, 654,
    // 652-653
    651,
    // 650
    649, 648, 647, 646, 645, 644, 643, 642,
    // 641
    640, 639, 638, 637, 636, 635, 634, 633, 632, 631, 630, 629, 628,
    // 626-627
    625,
    // 624
    623, 622, 621, 620, 619, 618, 617, 616, 615, 614,
    // 613
    612,
    // 611
    610, 609, 608, 607, 606, 605,
    // 604
    603, 602,
    // 601
    600, 599, 598, 597,
    // 595-596
    594, 593, 592, 591, 590, 589,
    // 588
    587,
    // 585-586
    584, 583,
    // 582
    581, 580, 579, 578, 577, 576, 575,
    // 574
    573, 572,
    // 570-571
    569, 568,
    // 567
    566, 565, 564,
    // 562-563
    561, 560, 559, 558,
    // 557
    556, 555, 554, 553, 552, 551, 550, 549, 548, 547, 546, 545, 544,
    // 543
    542, 541, 540, 539, 538,
    // 536-537
    535, 534, 533, 532, 531,
    // 528-530
    527,
    // 526
    525, 524,
    // 523
    522, 521, 520, 519,
    // 516-518
    515,
    // 514
    513, 512, 511, 510, 509, 508, 507, 506, 505, 504, 503, 502, 501,
    // 500
    499, 498, 497, 496, 495, 494,
    // 493
    492, 491, 490, 489, 488, 487,
    // 486
    485, 484, 483, 482, 481, 480, 479, 478, 477, 476, 475, 474, 473, 472, 471, 470,
    469, 468,
    // 467
    466, 465, 464, 463, 462, 461, 460,
    // 459
    458, 457, 456, 455, 454,
    // 453
    452, 451, 450, 449, 448, 447, 446, 445, 444, 443, 442, 441, 440, 439, 438, 437,
    436, 435, 434, 433,
    // 432
    431, 430, 429, 428,
    // 427
    426,
    // 425
    424, 423, 422,
    // 421
    420, 419, 418, 417, 416, 415, 414, 413, 412, 411, 410, 409, 408, 407, 406, 405,
    404, 403, 402, 401, 400,
    // 399
    398, 397, 396, 395, 394, 393, 392, 391, 390, 389, 388, 387,
    // 386
    385, 384, 383, 382, 381, 380, 379, 378, 377, 376, 375, 374, 373, 372, 371, 370,
    369, 368,
    // 367
    366, 365,
    // 364
    363, 362, 361, 360, 359, 358, 357, 356, 355, 354, 353, 352, 351, 350, 349, 348,
    347,
    // 346
    345,
    // 344
    343, 342,
    // 341
    340,
    // 339
    338, 337, 336, 335,
    // 334
    333, 332,
    // 331
    330, 329,
    // 328
    327, 326, 325,
    // 324
    323,
    // 322
    321,
    // 318-320
    317, 316, 315, 314, 313, 312,
    // 311
    310, 309, 308, 307,
    // 306
    305, 304, 303, 302, 301, 300,
    // 298-299
    297, 296, 295, 294, 293, 292,
    // 290-291
    289, 288, 287,
    // 286
    285, 284, 283, 282, 281, 280,
    // 279
    278, 277, 276, 275, 274, 273, 272, 271, 270, 269, 268, 267, 266, 265, 264, 263,
    262, 261, 260, 259,
    // 258
    257,
    // 256
    255, 254,
    // 253
    252,
    // 251
    250, 249, 248, 247, 246, 245, 244, 243, 242, 241, 240, 239,
    // 238
    237, 236, 235, 234, 233,
    // 232
    231, 230, 229, 228, 227, 226, 225, 224, 223,
    // 222
    221, 220, 219, 218, 217, 216, 215, 214, 213, 212, 211, 210,
    // 209
    208,
    // 207
    206, 205,
    // 204
    203,
    // 201-202
    200,
    // 199
    198, 197,
    // 196
    195,
    // 194
    193, 192,
    // 191
    190, 189, 188, 187, 186,
    // 185
    184, 183,
    // 182
    181, 180, 179, 178, 177, 176, 175, 174,
    // 173
    172, 171, 170, 169, 168, 167, 166, 165, 164, 163, 162, 161,
    // 159-160
    158, 157, 156, 155, 154, 153, 152, 151,
    // 149-150
    148, 147, 146, 145, 144, 143,
    // 142
    141, 140, 139, 138, 137, 136, 135, 134, 133, 132, 131,
    // 130
    129, 128,
    // 127
    126, 125, 124, 123, 122, 121, 120, 119, 118, 117, 116, 115, 114, 113, 112, 111,
    // 110
    109, 108, 107, 106, 105, 104, 103, 102, 101, 100, 99, 98, 97, 96, 95, 94,
    93, 92, 91, 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, 80, 79, 78,
    77, 76, 75, 74,
    // 73
    72, 71, 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, 60, 59, 58, 57,
    56, 55, 54, 53, 52, 51, 50, 49,
    // 48
    47, 46, 45, 44,
    // 43
    42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27,
    26, 25, 24, 23, 22,
    // 20-21
    19, 18, 17, 16, 15, 14, 13, 12,
    // 11
    10, 9, 8, 7, 6, 5, 4, 3, 2, 1,
    // 0
  },
  (const int[]) {  // 900
    2190, 2189, 2188, 2187,
    // 2186
    2185,
    // 2184
    2183, 2182,
    // 2181
    2180, 2179, 2178, 2177,
    // 2176
    2175,
    // 2174
    2173,
    // 2169-2172
    2168,
    // 2167
    2166,
    // 2164-2165
    2163,
    // 2162
    2161,
    // 2160
    2159, 2158,
    // 2156-2157
    2155, 2154,
    // 2152-2153
    2151, 2150, 2149, 2148,
    // 2147
    2146, 2145,
    // 2144
    2143, 2142, 2141, 2140, 2139, 2138, 2137, 2136, 2135, 2134, 2133,
    // 2132
    2131,
    // 2130
    2129, 2128,
    // 2127
    2126, 2125, 2124,
    // 2123
    2122, 2121, 2120, 2119, 2118, 2117, 2116, 2115, 2114, 2113, 2112, 2111, 2110, 2109, 2108, 2107,
    2106, 2105, 2104, 2103, 2102, 2101, 2100,
    // 2099
    2098, 2097,
    // 2096
    2095, 2094,
    // 2093
    2092, 2091, 2090,
    // 2089
    2088, 2087,
    // 2084-2086
    2083,
    // 2082
    2081, 2080, 2079,
    // 2078
    2077,
    // 2076
    2075, 2074, 2073, 2072, 2071, 2070,
    // 2069
    2068, 2067, 2066, 2065, 2064, 2063, 2062, 2061, 2060, 2059, 2058, 2057, 2056,
    // 2054-2055
    2053, 2052, 2051, 2050, 2049, 2048, 2047, 2046, 2045, 2044, 2043, 2042, 2041, 2040, 2039, 2038,
    2037, 2036, 2035,
    // 2034
    2033, 2032, 2031, 2030,
    // 2029
    2028,
    // 2026-2027
    2025, 2024, 2023, 2022, 2021,
    // 2019-2020
    2018, 2017, 2016,
    // 2015
    2014,
    // 2012-2013
    2011, 2010, 2009, 2008, 2007, 2006,
    // 2005
    2004, 2003, 2002,
    // 2001
    2000,
    // 1999
    1998, 1997, 1996, 1995,
    // 1994
    1993, 1992,
    // 1991
    1990, 1989, 1988, 1987,
    // 1986
    1985, 1984, 1983,
    // 1982
    1981,
    // 1980
    1979, 1978,
    // 1977
    1976, 1975, 1974, 1973, 1972, 1971, 1970, 1969, 1968, 1967, 1966, 1965, 1964, 1963, 1962, 1961,
    1960,
    // 1959
    1958,
    // 1957
    1956,
    // 1955
    1954,
    // 1953
    1952,
    // 1951
    1950, 1949,
    // 1948
    1947, 1946,
    // 1945
    1944, 1943, 1942,
    // 1941
    1940, 1939, 1938, 1937, 1936,
    // 1935
    1934,
    // 1933
    1932, 1931, 1930, 1929,
    // 1928
    1927,
    // 1926
    1925,
    // 1924
    1923, 1922, 1921,
    // 1920
    1919, 1918, 1917,
    // 1916
    1915,
    // 1914
    1913, 1912, 1911,
    // 1909-1910
    1908, 1907,
    // 1906
    1905, 1904, 1903, 1902,
    // 1901
    1900, 1899,
    // 1898
    1897, 1896, 1895, 1894, 1893, 1892, 1891,
    // 1890
    1889, 1888, 1887,
    // 1885-1886
    1884, 1883, 1882, 1881, 1880, 1879, 1878, 1877,
    // 1876
    1875, 1874, 1873, 1872, 1871, 1870,
    // 1869
    1868,
    // 1867
    1866,
    // 1865
    1864, 1863,
    // 1862
    1861, 1860, 1859, 1858, 1857, 1856,
    // 1855
    1854, 1853, 1852,
    // 1851
    1850, 1849, 1848, 1847, 1846, 1845, 1844, 1843,
    // 1842
    1841, 1840, 1839, 1838, 1837,
    // 1836
    1835, 1834, 1833, 1832, 1831, 1830,
    // 1829
    1828,
    // 1827
    1826, 1825, 1824, 1823,
    // 1821-1822
    1820, 1819,
    // 1818
    1817, 1816, 1815,
    // 1814
    1813, 1812, 1811, 1810, 1809, 1808, 1807,
    // 1806
    1805,
    // 1804
    1803, 1802,
    // 1801
    1800, 1799, 1798, 1797,
    // 1796
    1795, 1794, 1793, 1792, 1791, 1790,
    // 1788-1789
    1787,
    // 1786
    1785,
    // 1784
    1783,
    // 1782
    1781, 1780, 1779, 1778, 1777, 1776, 1775, 1774, 1773, 1772, 1771,
    // 1769-1770
    1768, 1767, 1766, 1765, 1764, 1763, 1762, 1761,
    // 1760
    1759, 1758, 1757,
    // 1756
    1755, 1754, 1753, 1752, 1751, 1750,
    // 1749
    1748, 1747, 1746, 1745,
    // 1744
    1743, 1742,
    // 1740-1741
    1739, 1738, 1737, 1736, 1735, 1734, 1733, 1732, 1731, 1730, 1729, 1728,
    // 1727
    1726, 1725, 1724, 1723, 1722, 1721, 1720,
    // 1719
    1718, 1717, 1716, 1715, 1714, 1713, 1712, 1711, 1710, 1709, 1708, 1707, 1706, 1705, 1704, 1703,
    1702, 1701, 1700,
    // 1699
    1698, 1697, 1696,
    // 1695
    1694, 1693, 1692, 1691, 1690, 1689, 1688, 1687, 1686, 1685, 1684, 1683, 1682, 1681, 1680, 1679,
    1678, 1677, 1676, 1675,
    // 1674
    1673, 1672, 1671, 1670, 1669, 1668, 1667, 1666, 1665, 1664, 1663, 1662, 1661,
    // 1660
    1659, 1658, 1657, 1656, 1655, 1654, 1653, 1652, 1651,
    // 1650
    1649, 1648, 1647, 1646, 1645, 1644, 1643, 1642,
    // 1641
    1640, 1639, 1638, 1637, 1636, 1635, 1634, 1633, 1632, 1631, 1630, 1629, 1628, 1627, 1626,
    // 1623-1625
    1622, 1621, 1620,
    // 1619
    1618, 1617, 1616, 1615, 1614, 1613, 1612,
    // 1611
    1610, 1609, 1608, 1607, 1606,
    // 1604-1605
    1603, 1602, 1601, 1600, 1599, 1598, 1597, 1596, 1595,
    // 1592-1594
    1591,
    // 1589-1590
    1588, 1587, 1586, 1585, 1584, 1583, 1582,
    // 1581
    1580,
    // 1579
    1578, 1577,
    // 1576
    1575,
    // 1574
    1573,
    // 1569-1572
    1568, 1567,
    // 1566
    1565, 1564, 1563, 1562, 1561,
    // 1557-1560
    1556, 1555, 1554, 1553, 1552, 1551,
    // 1550
    1549, 1548, 1547, 1546, 1545,
    // 1544
    1543, 1542, 1541, 1540, 1539, 1538,
    // 1537
    1536, 1535, 1534, 1533, 1532,
    // 1531
    1530,
    // 1528-1529
    1527, 1526, 1525, 1524, 1523, 1522, 1521, 1520,
    // 1519
    1518, 1517, 1516, 1515, 1514, 1513, 1512, 1511,
    // 1510
    1509, 1508, 1507, 1506, 1505,
    // 1504
    1503, 1502, 1501, 1500, 1499, 1498, 1497,
    // 1496
    1495, 1494, 1493, 1492, 1491, 1490, 1489, 1488, 1487, 1486, 1485, 1484, 1483,
    // 1481-1482
    1480, 1479, 1478, 1477, 1476, 1475, 1474, 1473, 1472,
    // 1471
    1470, 1469, 1468, 1467, 1466, 1465, 1464,
    // 1463
    1462, 1461, 1460,
    // 1459
    1458,
    // 1457
    1456, 1455,
    // 1453-1454
    1452, 1451,
    // 1450
    1449, 1448, 1447, 1446, 1445, 1444, 1443, 1442, 1441,
    // 1440
    1439, 1438, 1437, 1436, 1435, 1434, 1433,
    // 1432
    1431, 1430, 1429, 1428, 1427, 1426, 1425,
    // 1424
    1423, 1422, 1421, 1420, 1419,
    // 1418
    1417, 1416, 1415,
    // 1413-1414
    1412,
    // 1410-1411
    1409, 1408, 1407, 1406, 1405,
    // 1403-1404
    1402, 1401, 1400,
    // 1398-1399
    1397,
    // 1396
    1395, 1394, 1393, 1392, 1391,
    // 1390
    1389, 1388,
    // 1387
    1386, 1385, 1384, 1383, 1382,
    // 1381
    1380,
    // 1379
    1378,
    // 1377
    1376,
    // 1375
    1374, 1373, 1372, 1371, 1370, 1369, 1368, 1367, 1366, 1365, 1364, 1363, 1362, 1361, 1360, 1359,
    1358, 1357, 1356, 1355, 1354, 1353, 1352, 1351, 1350, 1349, 1348, 1347, 1346, 1345,
    // 1343-1344
    1342, 1341, 1340, 1339,
    // 1338
    1337, 1336, 1335,
    // 1333-1334
    1332, 1331, 1330, 1329,
    // 1325-1328
    1324, 1323, 1322,
    // 1320-1321
    1319, 1318,
    // 1317
    1316, 1315, 1314,
    // 1313
    1312, 1311, 1310, 1309, 1308, 1307, 1306,
    // 1304-1305
    1303,
    // 1301-1302
    1300, 1299, 1298, 1297, 1296, 1295, 1294, 1293, 1292, 1291, 1290, 1289, 1288,
    // 1283-1287
    1282, 1281, 1280, 1279, 1278, 1277,
    // 1275-1276
    1274, 1273, 1272, 1271, 1270, 1269, 1268,
    // 1266-1267
    1265,
    // 1264
    1263,
    // 1262
    1261, 1260, 1259, 1258, 1257, 1256, 1255,
    // 1254
    1253,
    // 1251-1252
    1250,
    // 1248-1249
    1247, 1246, 1245, 1244, 1243, 1242,
    // 1241
    1240,
    // 1239
    1238,
    // 1237
    1236,
    // 1234-1235
    1233,
    // 1232
    1231, 1230, 1229, 1228, 1227,
    // 1226
    1225,
    // 1224
    1223, 1222, 1221,
    // 1220
    1219,
    // 1218
    1217, 1216, 1215, 1214, 1213, 1212, 1211,
    // 1209-1210
    1208, 1207, 1206, 1205, 1204,
    // 1203
    1202, 1201, 1200,
    // 1198-1199
    1197,
    // 1196
    1195, 1194,
    // 1193
    1192, 1191, 1190, 1189,
    // 1188
    1187,
    // 1184-1186
    1183, 1182, 1181, 1180,
    // 1178-1179
    1177, 1176, 1175, 1174, 1173, 1172, 1171, 1170,
    // 1168-1169
    1167,
    // 1166
    1165, 1164, 1163, 1162,
    // 1159-1161
    1158,
    // 1157
    1156, 1155, 1154, 1153,
    // 1148-1152
    1147,
    // 1146
    1145, 1144, 1143, 1142, 1141,
    // 1140
    1139, 1138, 1137, 1136, 1135,
    // 1133-1134
    1132, 1131,
    // 1130
    1129,
    // 1128
    1127,
    // 1126
    1125,
    // 1123-1124
    1122, 1121, 1120, 1119,
    // 1117-1118
    1116, 1115, 1114, 1113,
    // 1111-1112
    1110, 1109,
    // 1108
    1107, 1106, 1105, 1104, 1103, 1102, 1101, 1100, 1099, 1098, 1097, 1096,
    // 1095
    1094, 1093, 1092, 1091, 1090, 1089, 1088,
    // 1086-1087
    1085, 1084, 1083, 1082,
    // 1080-1081
    1079, 1078,
    // 1077
    1076, 1075,
    // 1073-1074
    1072, 1071,
    // 1068-1070
    1067, 1066,
    // 1065
    1064,
    // 1063
    1062, 1061,
    // 1060
    1059,
    // 1058
    1057, 1056, 1055,
    // 1053-1054
    1052, 1051, 1050, 1049,
    // 1048
    1047, 1046,
    // 1044-1045
    1043, 1042,
    // 1039-1041
    1038, 1037, 1036,
    // 1035
    1034, 1033, 1032,
    // 1031
    1030, 1029, 1028, 1027, 1026, 1025, 1024,
    // 1022-1023
    1021, 1020,
    // 1018-1019
    1017, 1016, 1015, 1014,
    // 1013
    1012, 1011, 1010, 1009, 1008, 1007,
    // 1006
    1005,
    // 1004
    1003,
    // 1001-1002
    1000,
    // 999
    998, 997,
    // 995-996
    994, 993, 992, 991, 990, 989,
    // 988
    987, 986,
    // 985
    984,
    // 982-983
    981,
    // 973-980
    972,
    // 971
    970, 969,
    // 968
    967, 966, 965, 964, 963,
    // 959-962
    958,
    // 954-957
    953, 952, 951, 950,
    // 948-949
    947, 946,
    // 945
    944,
    // 943
    942, 941,
    // 938-940
    937, 936, 935,
    // 933-934
    932, 931,
    // 930
    929, 928, 927, 926, 925,
    // 923-924
    922, 921, 920, 919,
    // 917-918
    916, 915, 914, 913,
    // 912
    911, 910, 909, 908,
    // 907
    906,
    // 905
    904,
    // 903
    902, 901, 900,
    // 899
    898, 897,
    // 896
    895,
    // 894
    893, 892,
    // 889-891
    888,
    // 887
    886,
    // 885
    884, 883, 882,
    // 880-881
    879, 878,
    // 877
    876, 875, 874,
    // 873
    872,
    // 871
    870, 869,
    // 868
    867, 866, 865, 864, 863, 862, 861, 860, 859, 858, 857, 856, 855, 854, 853, 852,
    851,
    // 850
    849,
    // 848
    847, 846, 845, 844, 843,
    // 842
    841, 840, 839, 838, 837, 836, 835, 834,
    // 833
    832, 831, 830, 829,
    // 827-828
    826, 825, 824, 823, 822, 821, 820, 819, 818, 817, 816, 815, 814,
    // 812-813
    811, 810,
    // 809
    808, 807, 806, 805, 804, 803,
    // 799-802
    798,
    // 796-797
    795,
    // 793-794
    792,
    // 791
    790, 789, 788, 787, 786, 785,
    // 784
    783, 782,
    // 781
    780, 779, 778,
    // 777
    776,
    // 775
    774, 773, 772, 771, 770,
    // 767-769
    766, 765, 764,
    // 763
    762, 761, 760, 759, 758, 757, 756, 755, 754,
    // 753
    752, 751, 750, 749,
    // 748
    747, 746, 745,
    // 744
    743, 742, 741,
    // 740
    739, 738,
    // 737
    736, 735, 734, 733,
    // 732
    731,
    // 730
    729, 728, 727, 726,
    // 725
    724,
    // 718-723
    717, 716, 715,
    // 714
    713, 712, 711,
    // 708-710
    707, 706,
    // 705
    704,
    // 703
    702, 701, 700, 699,
    // 698
    697, 696, 695,
    // 693-694
    692, 691, 690, 689, 688,
    // 687
    686, 685, 684,
    // 682-683
    681, 680, 679, 678, 677, 676, 675,
    // 674
    673, 672, 671, 670,
    // 669
    668, 667, 666, 665, 664,
    // 663
    662, 661,
    // 659-660
    658, 657, 656,
    // 655
    654,
    // 653
    652,
    // 651
    650, 649,
    // 648
    647, 646, 645, 644, 643, 642, 641, 640,
    // 636-639
    635, 634, 633, 632,
    // 629-631
    628,
    // 625-627
    624,
    // 623
    622, 621, 620,
    // 617-619
    616,
    // 615
    614,
    // 613
    612,
    // 611
    610, 609, 608, 607,
    // 606
    605, 604, 603, 602, 601, 600, 599, 598, 597, 596, 595, 594, 593,
    // 591-592
    590, 589, 588,
    // 587
    586, 585, 584, 583, 582, 581, 580, 579,
    // 578
    577, 576,
    // 574-575
    573, 572,
    // 571
    570,
    // 569
    568, 567, 566, 565,
    // 564
    563, 562, 561, 560, 559,
    // 558
    557,
    // 556
    555,
    // 552-554
    551, 550, 549, 548,
    // 547
    546, 545, 544, 543, 542, 541, 540, 539,
    // 538
    537, 536,
    // 534-535
    533, 532,
    // 531
    530, 529, 528, 527, 526, 525, 524, 523, 522, 521,
    // 520
    519,
    // 518
    517,
    // 515-516
    514,
    // 513
    512, 511, 510, 509, 508, 507,
    // 506
    505, 504, 503,
    // 502
    501,
    // 500
    499,
    // 498
    497,
    // 496
    495, 494, 493, 492,
    // 491
    490,
    // 487-489
    486,
    // 485
    484, 483,
    // 480-482
    479, 478, 477, 476, 475,
    // 472-474
    471, 470, 469,
    // 468
    467, 466, 465, 464,
    // 463
    462, 461,
    // 459-460
    458, 457, 456, 455, 454,
    // 453
    452,
    // 450-451
    449, 448,
    // 447
    446, 445,
    // 444
    443,
    // 442
    441, 440,
    // 435-439
    434, 433,
    // 431-432
    430,
    // 429
    428, 427, 426, 425, 424, 423, 422, 421, 420, 419,
    // 418
    417,
    // 416
    415, 414, 413, 412, 411, 410, 409, 408, 407, 406,
    // 405
    404, 403, 402, 401,
    // 399-400
    398, 397,
    // 396
    395, 394, 393,
    // 392
    391, 390, 389, 388,
    // 387
    386, 385,
    // 383-384
    382,
    // 381
    380, 379, 378,
    // 373-377
    372,
    // 371
    370, 369, 368, 367,
    // 366
    365,
    // 363-364
    362, 361, 360, 359, 358,
    // 356-357
    355, 354, 353,
    // 350-352
    349,
    // 347-348
    346,
    // 344-345
    343, 342, 341,
    // 340
    339,
    // 337-338
    336, 335, 334, 333, 332, 331, 330,
    // 323-329
    322,
    // 321
    320, 319, 318,
    // 317
    316,
    // 315
    314, 313,
    // 306-312
    305, 304, 303, 302,
    // 301
    300, 299,
    // 291-298
    290,
    // 287-289
    286, 285, 284, 283,
    // 282
    281,
    // 280
    279, 278, 277, 276, 275, 274,
    // 273
    272, 271, 270, 269, 268, 267, 266, 265, 264, 263, 262, 261, 260, 259, 258, 257,
    256, 255, 254,
    // 253
    252, 251, 250, 249, 248,
    // 247
    246, 245, 244, 243, 242, 241, 240, 239, 238, 237, 236, 235, 234, 233, 232, 231,
    230,
    // 229
    228, 227, 226,
    // 225
    224, 223, 222, 221, 220, 219, 218, 217, 216,
    // 214-215
    213, 212, 211, 210, 209,
    // 208
    207, 206, 205, 204, 203,
    // 201-202
    200,
    // 199
    198, 197, 196, 195, 194, 193, 192, 191, 190,
    // 188-189
    187,
    // 184-186
    183, 182, 181, 180, 179, 178, 177, 176, 175, 174, 173, 172,
    // 170-171
    169, 168, 167, 166,
    // 162-165
    161,
    // 160
    159,
    // 155-158
    154,
    // 153
    152,
    // 150-151
    149,
    // 148
    147,
    // 146
    145,
    // 144
    143,
    // 142
    141,
    // 139-140
    138, 137, 136, 135,
    // 134
    133, 132, 131, 130, 129,
    // 128
    127, 126,
    // 125
    124, 123,
    // 121-122
    120,
    // 119
    118, 117, 116, 115, 114, 113, 112, 111, 110, 109, 108,
    // 107
    106, 105, 104, 103, 102, 101,
    // 100
    99, 98, 97, 96, 95, 94, 93, 92,
    // 91
    90, 89, 88, 87, 86, 85, 84, 83, 82, 81,
    // 80
    79,
    // 78
    77, 76,
    // 75
    74, 73,
    // 72
    71, 70,
    // 69
    68, 67, 66, 65, 64, 63, 62, 61, 60, 59,
    // 58
    57,
    // 56
    55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45,
    // 44
    43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33,
    // 32
    31, 30, 29,
    // 27-28
    26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15,
    // 13-14
    12, 11, 10, 9, 8,
    // 7
    6, 5, 4, 3, 2, 1,
    // 0
  },
  (const int[]) {  // 901
    2147, 2146,
    // 2139-2145
    2138,
    // 2137
    2136, 2135,
    // 2134
    2133, 2132,
    // 2131
    2130,
    // 2129
    2128, 2127,
    // 2126
    2125,
    // 2124
    2123, 2122,
    // 2120-2121
    2119, 2118, 2117, 2116,
    // 2113-2115
    2112, 2111, 2110, 2109, 2108, 2107,
    // 2106
    2105,
    // 2104
    2103, 2102, 2101, 2100, 2099, 2098, 2097, 2096, 2095, 2094, 2093,
    // 2092
    2091, 2090,
    // 2089
    2088, 2087, 2086, 2085,
    // 2080-2084
    2079, 2078,
    // 2076-2077
    2075, 2074, 2073,
    // 2072
    2071, 2070, 2069, 2068, 2067, 2066, 2065, 2064,
    // 2063
    2062, 2061, 2060, 2059, 2058,
    // 2057
    2056, 2055,
    // 2054
    2053, 2052, 2051, 2050,
    // 2049
    2048, 2047,
    // 2044-2046
    2043, 2042, 2041, 2040, 2039, 2038, 2037, 2036, 2035, 2034,
    // 2033
    2032, 2031, 2030,
    // 2029
    2028, 2027, 2026, 2025, 2024, 2023,
    // 2022
    2021, 2020, 2019, 2018, 2017, 2016,
    // 2012-2015
    2011, 2010, 2009, 2008, 2007,
    // 2005-2006
    2004,
    // 2003
    2002, 2001,
    // 1999-2000
    1998, 1997,
    // 1992-1996
    1991, 1990, 1989, 1988, 1987,
    // 1985-1986
    1984, 1983,
    // 1982
    1981, 1980, 1979, 1978, 1977,
    // 1975-1976
    1974,
    // 1972-1973
    1971, 1970, 1969,
    // 1968
    1967,
    // 1966
    1965, 1964, 1963, 1962, 1961, 1960,
    // 1959
    1958, 1957,
    // 1955-1956
    1954, 1953, 1952, 1951, 1950, 1949, 1948, 1947,
    // 1946
    1945, 1944, 1943, 1942, 1941,
    // 1940
    1939, 1938, 1937, 1936, 1935, 1934, 1933,
    // 1932
    1931, 1930, 1929, 1928,
    // 1926-1927
    1925, 1924, 1923, 1922,
    // 1921
    1920, 1919, 1918, 1917, 1916, 1915, 1914, 1913, 1912,
    // 1911
    1910, 1909, 1908,
    // 1907
    1906, 1905,
    // 1904
    1903,
    // 1902
    1901,
    // 1894-1900
    1893, 1892, 1891, 1890, 1889, 1888,
    // 1887
    1886, 1885, 1884, 1883,
    // 1882
    1881, 1880, 1879, 1878, 1877, 1876, 1875,
    // 1873-1874
    1872, 1871, 1870, 1869, 1868, 1867,
    // 1862-1866
    1861,
    // 1860
    1859, 1858,
    // 1856-1857
    1855, 1854, 1853, 1852, 1851, 1850, 1849,
    // 1847-1848
    1846, 1845, 1844, 1843, 1842, 1841, 1840, 1839, 1838,
    // 1837
    1836,
    // 1835
    1834, 1833, 1832, 1831,
    // 1830
    1829,
    // 1828
    1827,
    // 1826
    1825, 1824, 1823, 1822, 1821, 1820, 1819, 1818, 1817, 1816, 1815, 1814,
    // 1813
    1812, 1811, 1810, 1809, 1808, 1807, 1806, 1805, 1804,
    // 1803
    1802, 1801, 1800, 1799, 1798, 1797,
    // 1795-1796
    1794, 1793,
    // 1791-1792
    1790, 1789,
    // 1788
    1787, 1786,
    // 1784-1785
    1783,
    // 1782
    1781, 1780, 1779, 1778, 1777, 1776, 1775, 1774, 1773, 1772, 1771,
    // 1770
    1769, 1768, 1767, 1766, 1765, 1764, 1763, 1762, 1761, 1760, 1759, 1758,
    // 1756-1757
    1755, 1754, 1753, 1752, 1751, 1750, 1749,
    // 1748
    1747, 1746,
    // 1745
    1744,
    // 1743
    1742,
    // 1741
    1740, 1739, 1738, 1737,
    // 1736
    1735, 1734,
    // 1733
    1732, 1731, 1730, 1729,
    // 1725-1728
    1724, 1723, 1722,
    // 1719-1721
    1718, 1717, 1716,
    // 1715
    1714, 1713,
    // 1710-1712
    1709,
    // 1708
    1707,
    // 1706
    1705,
    // 1703-1704
    1702, 1701, 1700,
    // 1699
    1698, 1697,
    // 1696
    1695, 1694, 1693, 1692, 1691, 1690, 1689, 1688, 1687, 1686, 1685,
    // 1684
    1683,
    // 1682
    1681, 1680, 1679, 1678, 1677, 1676,
    // 1674-1675
    1673, 1672, 1671, 1670,
    // 1668-1669
    1667,
    // 1666
    1665, 1664, 1663, 1662, 1661, 1660, 1659, 1658, 1657,
    // 1655-1656
    1654,
    // 1651-1653
    1650, 1649, 1648, 1647, 1646, 1645, 1644,
    // 1643
    1642,
    // 1641
    1640,
    // 1639
    1638,
    // 1634-1637
    1633, 1632, 1631, 1630, 1629, 1628, 1627, 1626, 1625, 1624, 1623, 1622, 1621, 1620, 1619, 1618,
    // 1617
    1616, 1615, 1614, 1613, 1612, 1611, 1610, 1609, 1608, 1607, 1606, 1605, 1604, 1603, 1602, 1601,
    1600, 1599, 1598, 1597, 1596,
    // 1595
    1594, 1593, 1592,
    // 1591
    1590,
    // 1586-1589
    1585,
    // 1584
    1583, 1582, 1581, 1580,
    // 1579
    1578,
    // 1577
    1576,
    // 1574-1575
    1573, 1572, 1571, 1570, 1569,
    // 1568
    1567,
    // 1566
    1565,
    // 1564
    1563,
    // 1562
    1561, 1560, 1559,
    // 1558
    1557, 1556, 1555, 1554, 1553, 1552, 1551, 1550, 1549, 1548, 1547, 1546,
    // 1545
    1544,
    // 1542-1543
    1541,
    // 1540
    1539, 1538,
    // 1537
    1536, 1535,
    // 1533-1534
    1532,
    // 1529-1531
    1528, 1527, 1526,
    // 1522-1525
    1521, 1520, 1519, 1518, 1517, 1516, 1515,
    // 1513-1514
    1512, 1511, 1510, 1509, 1508, 1507, 1506, 1505, 1504, 1503, 1502, 1501,
    // 1499-1500
    1498, 1497,
    // 1494-1496
    1493,
    // 1492
    1491, 1490,
    // 1489
    1488,
    // 1485-1487
    1484, 1483, 1482, 1481,
    // 1480
    1479, 1478, 1477, 1476, 1475, 1474, 1473, 1472, 1471, 1470,
    // 1469
    1468, 1467, 1466,
    // 1465
    1464, 1463,
    // 1460-1462
    1459,
    // 1457-1458
    1456, 1455, 1454, 1453, 1452,
    // 1451
    1450, 1449,
    // 1448
    1447, 1446, 1445, 1444, 1443, 1442, 1441, 1440, 1439,
    // 1438
    1437,
    // 1436
    1435, 1434, 1433, 1432, 1431,
    // 1429-1430
    1428,
    // 1427
    1426,
    // 1425
    1424,
    // 1423
    1422, 1421, 1420, 1419,
    // 1418
    1417, 1416,
    // 1414-1415
    1413,
    // 1411-1412
    1410, 1409, 1408, 1407,
    // 1406
    1405, 1404,
    // 1403
    1402, 1401,
    // 1400
    1399, 1398,
    // 1397
    1396, 1395,
    // 1394
    1393,
    // 1390-1392
    1389, 1388, 1387, 1386, 1385, 1384, 1383, 1382, 1381, 1380, 1379, 1378, 1377, 1376, 1375, 1374,
    1373,
    // 1371-1372
    1370, 1369,
    // 1368
    1367,
    // 1366
    1365,
    // 1363-1364
    1362, 1361, 1360, 1359, 1358, 1357, 1356,
    // 1355
    1354, 1353,
    // 1352
    1351, 1350, 1349, 1348, 1347, 1346, 1345, 1344, 1343, 1342, 1341, 1340, 1339, 1338, 1337, 1336,
    // 1333-1335
    1332, 1331,
    // 1330
    1329, 1328, 1327, 1326, 1325,
    // 1324
    1323, 1322, 1321, 1320, 1319, 1318, 1317, 1316, 1315, 1314, 1313, 1312, 1311, 1310, 1309, 1308,
    1307, 1306, 1305, 1304, 1303, 1302, 1301, 1300, 1299, 1298, 1297, 1296,
    // 1294-1295
    1293, 1292, 1291, 1290, 1289, 1288, 1287, 1286,
    // 1285
    1284, 1283,
    // 1280-1282
    1279, 1278, 1277, 1276, 1275,
    // 1274
    1273, 1272, 1271, 1270, 1269, 1268,
    // 1267
    1266, 1265, 1264, 1263, 1262, 1261, 1260, 1259, 1258, 1257, 1256, 1255, 1254, 1253, 1252, 1251,
    1250, 1249, 1248, 1247, 1246, 1245,
    // 1244
    1243,
    // 1241-1242
    1240,
    // 1239
    1238,
    // 1237
    1236, 1235,
    // 1232-1234
    1231,
    // 1230
    1229, 1228,
    // 1227
    1226,
    // 1225
    1224,
    // 1223
    1222, 1221, 1220, 1219, 1218, 1217, 1216, 1215, 1214, 1213, 1212, 1211, 1210,
    // 1207-1209
    1206, 1205, 1204, 1203, 1202, 1201, 1200, 1199, 1198, 1197, 1196, 1195, 1194, 1193,
    // 1192
    1191, 1190, 1189, 1188, 1187, 1186, 1185, 1184,
    // 1183
    1182, 1181,
    // 1179-1180
    1178, 1177, 1176, 1175, 1174, 1173, 1172, 1171, 1170, 1169, 1168, 1167, 1166, 1165, 1164,
    // 1162-1163
    1161, 1160,
    // 1159
    1158, 1157, 1156, 1155,
    // 1154
    1153, 1152, 1151,
    // 1150
    1149, 1148, 1147,
    // 1146
    1145,
    // 1144
    1143,
    // 1142
    1141, 1140, 1139,
    // 1138
    1137, 1136, 1135, 1134, 1133, 1132, 1131, 1130, 1129, 1128, 1127, 1126, 1125, 1124,
    // 1123
    1122, 1121,
    // 1118-1120
    1117, 1116,
    // 1113-1115
    1112, 1111,
    // 1110
    1109, 1108, 1107,
    // 1105-1106
    1104, 1103, 1102, 1101,
    // 1099-1100
    1098,
    // 1097
    1096, 1095,
    // 1094
    1093, 1092, 1091, 1090,
    // 1088-1089
    1087, 1086, 1085,
    // 1084
    1083,
    // 1082
    1081, 1080, 1079,
    // 1078
    1077, 1076, 1075, 1074, 1073, 1072, 1071, 1070, 1069, 1068, 1067, 1066, 1065,
    // 1064
    1063,
    // 1062
    1061,
    // 1060
    1059,
    // 1058
    1057, 1056, 1055,
    // 1054
    1053, 1052,
    // 1050-1051
    1049, 1048, 1047, 1046, 1045,
    // 1044
    1043, 1042, 1041,
    // 1039-1040
    1038,
    // 1037
    1036,
    // 1035
    1034, 1033, 1032,
    // 1031
    1030,
    // 1029
    1028, 1027, 1026,
    // 1024-1025
    1023, 1022, 1021, 1020, 1019, 1018, 1017,
    // 1016
    1015,
    // 1014
    1013, 1012, 1011, 1010, 1009, 1008, 1007, 1006, 1005,
    // 1004
    1003, 1002, 1001, 1000, 999, 998, 997, 996, 995,
    // 994
    993, 992, 991, 990, 989,
    // 988
    987, 986,
    // 985
    984, 983, 982, 981,
    // 979-980
    978, 977, 976,
    // 975
    974,
    // 973
    972, 971, 970,
    // 969
    968, 967,
    // 966
    965, 964, 963, 962, 961, 960, 959, 958, 957, 956, 955, 954, 953,
    // 952
    951, 950,
    // 949
    948, 947, 946, 945,
    // 944
    943, 942, 941, 940, 939, 938,
    // 937
    936, 935, 934, 933,
    // 931-932
    930, 929, 928, 927, 926, 925, 924, 923, 922, 921, 920, 919, 918, 917,
    // 916
    915, 914, 913, 912, 911, 910,
    // 909
    908, 907, 906, 905, 904, 903, 902, 901, 900, 899, 898, 897, 896, 895, 894, 893,
    892, 891, 890, 889, 888,
    // 887
    886,
    // 885
    884, 883,
    // 882
    881, 880,
    // 878-879
    877, 876, 875, 874, 873,
    // 871-872
    870, 869,
    // 868
    867, 866, 865, 864,
    // 863
    862, 861, 860,
    // 859
    858, 857,
    // 856
    855,
    // 854
    853,
    // 851-852
    850, 849,
    // 848
    847, 846, 845,
    // 843-844
    842, 841, 840, 839, 838, 837,
    // 836
    835,
    // 834
    833, 832, 831, 830, 829,
    // 828
    827, 826, 825, 824, 823, 822, 821, 820, 819,
    // 817-818
    816,
    // 815
    814,
    // 813
    812, 811, 810, 809,
    // 807-808
    806, 805, 804, 803, 802,
    // 800-801
    799, 798, 797, 796, 795, 794, 793, 792, 791, 790, 789,
    // 788
    787, 786, 785,
    // 784
    783, 782, 781,
    // 780
    779, 778, 777, 776, 775, 774, 773, 772, 771, 770, 769,
    // 768
    767, 766, 765, 764, 763, 762, 761, 760, 759, 758,
    // 757
    756, 755, 754, 753, 752,
    // 750-751
    749, 748,
    // 747
    746, 745, 744, 743, 742, 741, 740, 739, 738,
    // 736-737
    735, 734, 733, 732, 731, 730, 729, 728, 727, 726, 725, 724, 723, 722, 721, 720,
    719,
    // 718
    717, 716,
    // 714-715
    713,
    // 712
    711, 710,
    // 709
    708, 707, 706, 705, 704, 703, 702, 701, 700, 699, 698, 697, 696, 695, 694, 693,
    692, 691, 690, 689, 688, 687, 686,
    // 685
    684, 683,
    // 680-682
    679, 678, 677, 676, 675, 674, 673, 672, 671,
    // 670
    669, 668, 667, 666,
    // 664-665
    663, 662, 661,
    // 660
    659, 658, 657, 656, 655, 654, 653, 652, 651, 650, 649, 648, 647,
    // 646
    645, 644, 643, 642, 641, 640, 639, 638, 637, 636, 635, 634, 633, 632, 631, 630,
    629, 628, 627, 626,
    // 624-625
    623, 622, 621,
    // 620
    619, 618, 617, 616, 615, 614,
    // 613
    612,
    // 611
    610, 609,
    // 607-608
    606, 605, 604, 603, 602, 601,
    // 600
    599, 598,
    // 597
    596,
    // 595
    594, 593, 592, 591,
    // 589-590
    588,
    // 587
    586, 585,
    // 584
    583, 582,
    // 581
    580, 579,
    // 578
    577,
    // 576
    575, 574, 573, 572,
    // 570-571
    569, 568, 567, 566, 565,
    // 563-564
    562, 561,
    // 559-560
    558, 557, 556, 555, 554, 553, 552, 551, 550, 549,
    // 548
    547, 546,
    // 545
    544, 543,
    // 542
    541, 540, 539, 538, 537, 536, 535, 534, 533, 532, 531, 530, 529, 528,
    // 527
    526, 525, 524,
    // 522-523
    521, 520, 519, 518, 517, 516, 515,
    // 513-514
    512, 511,
    // 508-510
    507, 506, 505, 504, 503,
    // 500-502
    499, 498,
    // 497
    496, 495, 494, 493, 492, 491, 490, 489, 488, 487, 486, 485, 484, 483,
    // 481-482
    480, 479, 478, 477, 476, 475, 474, 473, 472,
    // 471
    470, 469, 468, 467, 466, 465, 464, 463,
    // 461-462
    460,
    // 459
    458,
    // 457
    456,
    // 455
    454, 453, 452, 451,
    // 450
    449,
    // 448
    447, 446,
    // 445
    444, 443, 442, 441, 440, 439, 438, 437, 436, 435, 434, 433, 432,
    // 431
    430,
    // 429
    428, 427, 426, 425, 424, 423,
    // 422
    421,
    // 420
    419, 418,
    // 417
    416, 415, 414, 413, 412, 411, 410, 409, 408, 407, 406, 405, 404,
    // 403
    402, 401, 400, 399,
    // 398
    397, 396, 395, 394,
    // 393
    392,
    // 391
    390, 389, 388,
    // 387
    386,
    // 385
    384, 383, 382, 381, 380,
    // 379
    378,
    // 376-377
    375, 374,
    // 373
    372, 371,
    // 368-370
    367, 366, 365, 364, 363, 362, 361,
    // 360
    359,
    // 358
    357,
    // 356
    355, 354, 353,
    // 352
    351, 350,
    // 349
    348, 347, 346,
    // 345
    344, 343,
    // 342
    341, 340, 339,
    // 337-338
    336, 335, 334, 333, 332, 331,
    // 330
    329, 328, 327, 326, 325, 324, 323, 322, 321, 320, 319, 318, 317, 316, 315,
    // 314
    313, 312, 311, 310,
    // 309
    308, 307, 306, 305, 304, 303, 302, 301, 300, 299, 298, 297, 296, 295, 294, 293,
    292, 291, 290, 289,
    // 288
    287, 286, 285,
    // 284
    283,
    // 282
    281, 280, 279, 278, 277, 276, 275, 274, 273, 272,
    // 270-271
    269, 268, 267, 266, 265,
    // 263-264
    262,
    // 261
    260, 259, 258,
    // 255-257
    254, 253, 252, 251, 250, 249, 248, 247, 246, 245, 244, 243, 242, 241, 240, 239,
    238, 237, 236, 235, 234,
    // 233
    232, 231, 230,
    // 229
    228, 227, 226, 225, 224,
    // 221-223
    220,
    // 219
    218, 217, 216, 215, 214, 213, 212, 211, 210, 209, 208, 207,
    // 206
    205, 204, 203,
    // 200-202
    199, 198, 197, 196, 195, 194,
    // 193
    192, 191, 190, 189, 188, 187, 186,
    // 185
    184, 183, 182, 181, 180,
    // 179
    178, 177, 176, 175, 174,
    // 173
    172, 171, 170, 169, 168, 167, 166,
    // 165
    164, 163, 162, 161,
    // 160
    159, 158, 157, 156, 155, 154, 153, 152, 151, 150, 149,
    // 148
    147, 146, 145, 144, 143, 142, 141, 140,
    // 139
    138, 137,
    // 136
    135, 134,
    // 133
    132, 131, 130, 129, 128, 127, 126,
    // 125
    124,
    // 122-123
    121, 120, 119, 118, 117, 116, 115, 114, 113, 112, 111, 110, 109, 108,
    // 107
    106, 105, 104, 103, 102, 101, 100,
    // 99
    98, 97,
    // 95-96
    94, 93, 92,
    // 90-91
    89, 88, 87, 86, 85, 84, 83, 82, 81,
    // 80
    79, 78, 77, 76, 75, 74, 73, 72,
    // 69-71
    68, 67, 66, 65,
    // 64
    63,
    // 62
    61, 60, 59, 58,
    // 57
    56,
    // 55
    54,
    // 53
    52,
    // 50-51
    49, 48, 47, 46,
    // 44-45
    43, 42, 41, 40, 39, 38, 37, 36, 35,
    // 34
    33, 32, 31,
    // 26-30
    25,
    // 24
    23, 22, 21, 20,
    // 19
    18,
    // 17
    16, 15, 14, 13, 12, 11, 10, 9, 8, 7,
    // 6
    5, 4, 3, 2, 1,
    // 0
  },
  (const int[]) {  // 902
    365, 364,
    // 363
    362,
    // 358-361
    357,
    // 356
    355, 354,
    // 352-353
    351,
    // 347-350
    346, 345,
    // 344
    343, 342,
    // 340-341
    339,
    // 336-338
    335,
    // 334
    333,
    // 332
    331, 330, 329,
    // 328
    327, 326, 325, 324, 323, 322,
    // 320-321
    319,
    // 314-318
    313, 312,
    // 311
    310, 309,
    // 307-308
    306,
    // 305
    304, 303,
    // 300-302
    299, 298, 297, 296, 295, 294, 293,
    // 292
    291,
    // 290
    289, 288, 287, 286, 285,
    // 281-284
    280, 279,
    // 278
    277, 276,
    // 272-275
    271, 270, 269, 268, 267,
    // 266
    265, 264,
    // 262-263
    261, 260,
    // 259
    258,
    // 256-257
    255, 254, 253, 252,
    // 248-251
    247, 246, 245, 244, 243, 242,
    // 240-241
    239,
    // 238
    237,
    // 236
    235, 234, 233, 232, 231, 230,
    // 227-229
    226, 225, 224, 223, 222,
    // 221
    220, 219,
    // 218
    217,
    // 211-216
    210, 209,
    // 205-208
    204,
    // 203
    202, 201,
    // 192-200
    191,
    // 189-190
    188, 187,
    // 184-186
    183, 182,
    // 181
    180,
    // 178-179
    177, 176,
    // 175
    174, 173,
    // 171-172
    170,
    // 167-169
    166, 165,
    // 163-164
    162,
    // 160-161
    159,
    // 158
    157, 156, 155, 154,
    // 153
    152,
    // 149-151
    148, 147, 146,
    // 144-145
    143, 142, 141, 140,
    // 138-139
    137, 136,
    // 134-135
    133, 132, 131, 130,
    // 129
    128,
    // 126-127
    125, 124, 123, 122, 121, 120,
    // 115-119
    114,
    // 110-113
    109, 108,
    // 107
    106, 105,
    // 103-104
    102,
    // 98-101
    97,
    // 92-96
    91, 90,
    // 89
    88, 87, 86,
    // 85
    84,
    // 83
    82, 81,
    // 79-80
    78, 77,
    // 76
    75, 74,
    // 72-73
    71, 70,
    // 68-69
    67, 66, 65, 64, 63, 62, 61,
    // 60
    59, 58, 57, 56, 55, 54,
    // 53
    52,
    // 51
    50,
    // 48-49
    47, 46,
    // 45
    44,
    // 42-43
    41, 40,
    // 39
    38,
    // 37
    36,
    // 34-35
    33, 32, 31, 30,
    // 29
    28, 27,
    // 26
    25, 24, 23, 22,
    // 21
    20, 19, 18,
    // 14-17
    13, 12,
    // 11
    10, 9, 8, 7,
    // 5-6
    4,
    // 2-3
    1,
    // 0
  },
};
// clang-format on

/// Compares a version string to the current Nvim version.
///
/// @param version Version string like "1.3.42"
///
/// @return true if Nvim is at or above the version.
bool has_nvim_version(const char *const version_str)
  FUNC_ATTR_PURE FUNC_ATTR_WARN_UNUSED_RESULT FUNC_ATTR_NONNULL_ALL
{
  const char *p = version_str;
  int minor = 0;
  int patch = 0;

  if (!ascii_isdigit(*p)) {
    return false;
  }
  int major = atoi(p);
  p = strchr(p, '.');  // Find the next dot.

  if (p) {
    p++;  // Advance past the dot.
    if (!ascii_isdigit(*p)) {
      return false;
    }
    minor = atoi(p);
    p = strchr(p, '.');
    if (p) {
      p++;
      if (!ascii_isdigit(*p)) {
        return false;
      }
      patch = atoi(p);
    }
  }

  return (major < NVIM_VERSION_MAJOR
          || (major == NVIM_VERSION_MAJOR
              && (minor < NVIM_VERSION_MINOR
                  || (minor == NVIM_VERSION_MINOR
                      && patch <= NVIM_VERSION_PATCH))));
}

int min_vim_version(void)
  FUNC_ATTR_PURE FUNC_ATTR_WARN_UNUSED_RESULT
{
  return vim_versions[0];
}

int highest_patch(void)
  FUNC_ATTR_PURE FUNC_ATTR_WARN_UNUSED_RESULT
{
  // this relies on the highest patch number to be the first entry
  return included_patchsets[0][0];
}

/// Checks whether a Vim patch has been included.
///
/// @param n Patch number.
/// @param major_minor_version (major * 100 + minor) Vim version or 0 (alias to min_vim_version())
///
/// @return true if patch `n` has been included.
bool has_vim_patch(int n, int major_minor_version)
  FUNC_ATTR_PURE FUNC_ATTR_WARN_UNUSED_RESULT
{
  int v_i;
  if (major_minor_version > 0) {
    if (major_minor_version < vim_versions[0]) {
      return true;
    }
    const size_t size = ARRAY_SIZE(vim_versions);
    v_i = -1;
    for (size_t i = 0; i < size; i++) {
      if (vim_versions[i] == major_minor_version) {
        v_i = (int)i;
        break;
      }
    }
    if (v_i == -1) {
      return false;
    }
  } else {
    v_i = 0;
  }
  // Perform a binary search.
  int l = 0;
  int h = num_patches[v_i] - 1;
  while (true) {
    const int m = (l + h) / 2;
    if (included_patchsets[v_i][m] == n) {
      return true;
    }
    if (l == h) {
      break;
    }
    if (included_patchsets[v_i][m] < n) {
      h = m;
    } else {
      l = m + 1;
    }
  }
  return false;
}

void ex_version(exarg_T *eap)
{
  // Ignore a ":version 9.99" command.
  if (*eap->arg == NUL) {
    if (!ui_has(kUIMessages)) {
      msg_putchar('\n');
    }
    list_version();
  }
}

/// Output a string for the version message.  If it's going to wrap, output a
/// newline, unless the message is too long to fit on the screen anyway.
/// When "wrap" is true wrap the string in [].
/// @param s
/// @param wrap
static void version_msg_wrap(char *s, bool wrap)
{
  int len = vim_strsize(s) + (wrap ? 2 : 0);

  if (!got_int
      && (len < Columns)
      && (msg_col + len >= Columns)
      && (*s != '\n')) {
    msg_putchar('\n');
  }

  if (!got_int) {
    if (wrap) {
      msg_puts("[");
    }
    msg_puts(s);
    if (wrap) {
      msg_puts("]");
    }
  }
}

static void version_msg(char *s)
{
  version_msg_wrap(s, false);
}

/// List string items nicely aligned in columns.
/// When "size" is < 0 then the last entry is marked with NULL.
/// The entry with index "current" is inclosed in [].
void list_in_columns(char **items, int size, int current)
{
  int item_count = 0;
  int width = 0;

  // Find the length of the longest item, use that + 1 as the column width.
  for (int i = 0; size < 0 ? items[i] != NULL : i < size; i++) {
    int l = vim_strsize(items[i]) + (i == current ? 2 : 0);

    if (l > width) {
      width = l;
    }
    item_count++;
  }
  width += 1;

  if (Columns < width) {
    // Not enough screen columns - show one per line
    for (int i = 0; i < item_count; i++) {
      version_msg_wrap(items[i], i == current);
      if (msg_col > 0 && i < item_count - 1) {
        msg_putchar('\n');
      }
    }
    return;
  }

  // The rightmost column doesn't need a separator.
  // Sacrifice it to fit in one more column if possible.
  int ncol = (Columns + 1) / width;
  int nrow = item_count / ncol + (item_count % ncol ? 1 : 0);
  int cur_row = 1;

  // "i" counts columns then rows.  "idx" counts rows then columns.
  for (int i = 0; !got_int && i < nrow * ncol; i++) {
    int idx = (i / ncol) + (i % ncol) * nrow;
    if (idx < item_count) {
      bool last_col = (i + 1) % ncol == 0;
      if (idx == current) {
        msg_putchar('[');
      }
      msg_puts(items[idx]);
      if (idx == current) {
        msg_putchar(']');
      }
      if (last_col) {
        if (msg_col > 0 && cur_row < nrow) {
          msg_putchar('\n');
        }
        cur_row++;
      } else {
        while (msg_col % width) {
          msg_putchar(' ');
        }
      }
    } else {
      // this row is out of items, thus at the end of the row
      if (msg_col > 0) {
        if (cur_row < nrow) {
          msg_putchar('\n');
        }
        cur_row++;
      }
    }
  }
}

void list_lua_version(void)
{
  Error err = ERROR_INIT;
  Object ret = NLUA_EXEC_STATIC("return ((jit and jit.version) and jit.version or _VERSION)",
                                (Array)ARRAY_DICT_INIT, kRetObject, NULL, &err);
  assert(!ERROR_SET(&err));
  assert(ret.type == kObjectTypeString);
  msg_puts(ret.data.string.data);
  api_free_object(ret);
}

void list_version(void)
{
  msg_ext_set_kind("list_cmd");
  msg_puts(longVersion);
  msg_putchar('\n');
  msg_puts(version_buildtype);
  msg_putchar('\n');
  list_lua_version();

  if (p_verbose > 0) {
    msg_putchar('\n');
    msg_puts("Vim versions: ");

    for (size_t i = 0; i < ARRAY_SIZE(vim_versions); i++) {
      if (i) {
        msg_puts(", ");
      }
      msg_puts(Versions[i]);
    }

#ifndef NDEBUG
    msg_putchar('\n');
    msg_puts(version_cflags);
#endif
    version_msg("\n\n");

#ifdef SYS_VIMRC_FILE
    version_msg(_("   system vimrc file: \""));
    version_msg(SYS_VIMRC_FILE);
    version_msg("\"\n");
#endif

    if (*default_vim_dir != NUL) {
      version_msg(_("  fall-back for $VIM: \""));
      version_msg(default_vim_dir);
      version_msg("\"\n");
    }

    if (*default_vimruntime_dir != NUL) {
      version_msg(_(" f-b for $VIMRUNTIME: \""));
      version_msg(default_vimruntime_dir);
      version_msg("\"\n");
    }
  }

  version_msg(p_verbose > 0
              ? "\nRun :checkhealth for more info"
              : (starting
                 ? "\nRun \"nvim -V1 -v\" for more info"
                 : "\nRun \":verbose version\" for more info"));
}

/// Whether it still is not too late to show an intro message
bool may_show_intro(void)
{
  return (buf_is_empty(curbuf)
          && (curbuf->b_fname == NULL)
          && (curbuf->handle == 1)
          && (curwin->handle == LOWEST_WIN_ID)
          && one_window(curwin, NULL)
          && (vim_strchr(p_shm, SHM_INTRO) == NULL));
}

/// Give an introductory message about Vim.
/// Only used when starting Vim on an empty file, without a file name.
/// Or with the ":intro" command (for Sven :-).
///
/// @param colon true for ":intro"
void intro_message(bool colon)
{
  static char *(lines[]) = {
    "│ ╲ ││",
    "││╲╲││",
    "││ ╲ │",
    "",
    N_(NVIM_VERSION_LONG),
    "────────────────────────────────────────────",
    N_("Nvim is open source and freely distributable"),
    "https://neovim.io/#chat",
    "────────────────────────────────────────────",
    N_("type  :help nvim<Enter>     if you are new! "),
    N_("type  :checkhealth<Enter>   to optimize Nvim"),
    N_("type  :q<Enter>             to exit         "),
    N_("type  :help<Enter>          for help        "),
    "────────────────────────────────────────────",
    N_("type  :help news<Enter>     for v%s.%s notes "),
    "────────────────────────────────────────────",
    N_("Help poor children in Uganda!"),
    N_("type  :help Kuwasha<Enter>  for information "),
  };

  // blanklines = screen height - # message lines
  size_t lines_size = ARRAY_SIZE(lines);
  assert(lines_size <= LONG_MAX);

  int blanklines = Rows - ((int)lines_size - 1);

  // Don't overwrite a statusline.  Depends on 'cmdheight'.
  if (p_ls > 1) {
    blanklines -= Rows - topframe->fr_height;
  }

  if (blanklines < 0) {
    blanklines = 0;
  }

  // start displaying the message lines after half of the blank lines
  int row = blanklines / 2;

  if (((row >= 2) && (Columns >= 50)) || colon) {
    for (int i = 0; i < (int)ARRAY_SIZE(lines); i++) {
      char *p = lines[i];
      char *mesg = NULL;
      int mesg_size = 0;

      if (strstr(p, "news") != NULL) {
        p = _(p);
        mesg_size = snprintf(NULL, 0, p,
                             STR(NVIM_VERSION_MAJOR), STR(NVIM_VERSION_MINOR));
        assert(mesg_size > 0);
        mesg = xmallocz((size_t)mesg_size);
        snprintf(mesg, (size_t)mesg_size + 1, p,
                 STR(NVIM_VERSION_MAJOR), STR(NVIM_VERSION_MINOR));
      }

      if (mesg == NULL) {
        if (*p != NUL) {
          mesg = _(p);
        } else {
          mesg = "";
        }
      }

      if (*mesg != NUL && row < Rows - 1) {
        do_intro_line(row, mesg, colon, i < 3);
      }
      row++;

      if (mesg_size > 0) {
        XFREE_CLEAR(mesg);
      }
    }
  }
}

/// Adds extra highlighting.
static void do_intro_line(int row, char *mesg, bool colon, bool is_logo)
{
  int l;
  // Center the message horizontally.
  int col = vim_strsize(mesg);
  col = (Columns - col) / 2;
  if (col < 0) {
    col = 0;
  }

  grid_line_start((!colon && ui_has(kUIMultigrid)) ? &firstwin->w_grid : &default_gridview, row);

  // Compute special highlighting attributes
  int id_attr = syn_id2attr(syn_name2id("Identifier"));
  int nontext_attr = syn_id2attr(syn_name2id("NonText"));
  int special_attr = syn_id2attr(syn_name2id("Special"));
  int string_attr = syn_id2attr(syn_name2id("String"));

  // Handle logo lines
  if (is_logo) {
    bool seen_diagonal = false;

    for (char *p = mesg; *p != NUL;) {
      int clen = utfc_ptr2len(p);
      int attr = 0;
      // Multi-byte (box-drawing) character.
      if ((uint8_t)(*p) >= 0x80) {
        // Found "╲" diagonal logo part.
        seen_diagonal = seen_diagonal || (clen == 3 && utf_ptr2char(p) == 0x2572);
        attr = seen_diagonal ? string_attr : special_attr;
      }
      col += grid_line_puts(col, p, clen, attr);
      p += clen;
    }

    grid_line_flush();
    return;
  }

  // Try highlighting full line:
  // - Version starts with "NVIM".
  // - Separator line consists from ─ (UTF-8: E2 94 80).
  bool is_version = mesg[0] == 'N' && mesg[1] == 'V' && mesg[2] == 'I' && mesg[3] == 'M';
  bool is_sep = utfc_ptr2len(mesg) == 3 && utf_ptr2char(mesg) == 0x2500;
  if (is_version || is_sep) {
    int clen = is_sep ? 3 : 1;
    int attr = is_sep ? nontext_attr : string_attr;

    for (char *p = mesg; *p != NUL;) {
      col += grid_line_puts(col, p, clen, attr);
      p += clen;
    }
    grid_line_flush();
    return;
  }

  // Highlight `:...<Enter>` differently.
  for (char *p = mesg; *p != NUL; p += l) {
    for (l = 0;
         p[l] != NUL && (l == 0 || (p[l] != '<' && p[l - 1] != '>'));
         l++) {
      l += utfc_ptr2len(p + l) - 1;
    }
    assert(row <= INT_MAX && col <= INT_MAX);

    if (*p == '<') {
      col += grid_line_puts(col, p, l, HL_ATTR(HLF_8));
    } else {
      // Check for ":command" pattern before a <key> segment.
      char *colon_pos = memchr(p, ':', (size_t)l);
      if (colon_pos != NULL && p[l] == '<') {
        // No highlight for "type  ".
        int prefix_len = (int)(colon_pos - p);
        col += grid_line_puts(col, p, prefix_len, 0);
        // Highlight ":".
        col += grid_line_puts(col, colon_pos, 1, HL_ATTR(HLF_8));
        // Highlight "command" (after the ":").
        int cmd_len = l - prefix_len - 1;
        col += grid_line_puts(col, colon_pos + 1, cmd_len, id_attr);
      } else {
        col += grid_line_puts(col, p, l, 0);
      }
    }
  }
  grid_line_flush();
}

/// ":intro": clear screen, display intro screen and wait for return.
///
/// @param eap
void ex_intro(exarg_T *eap)
{
  // TODO(bfredl): use msg_grid instead!
  screenclear();
  intro_message(true);
  plain_vgetc();
}