A permutation of N

(divide by the first new digit)

 

 

Hello SeqFans,

I guess this is a nice little permutation of the Naturals:

    a(1)=1

    a(n+1) is the smallest unused integer that starts with a digit dividing a(n).

 

S=1,10,2,11,12,3,13,14,7,15,5,16,4,17,18,9,19,100,20,101,102...

                                         6            21  30...

Best,

É.

 

____________

 

[Jim Nastos and Andrew Weimholt immediately corrected the typos above – then came Alois Heinz]:

 

Dear Eric,

the first 10000 terms ...

Best, Alois.

 

S = 1, 10, 2, 11, 12, 3, 13, 14, 7, 15, 5, 16, 4, 17, 18, 6, 19, 100, 20, 21, 30, 22, 23, 101, 102, 24, 8, 25, 50, 26, 27, 9, 31, 103, 104, 28, 29, 105, 32, 40, 41, 106, 107, 108, 33, 34, 109, 110, 51, 35, 52, 42, 36, 37, 111, 38, 112, 43, 113, 114, 39, 115, 53, 116, 44, 45, 54, 60, 46, 117, 90, 55, 56, 47, 118, 119, 70, 57, 120, 48, 49, 71, 121, 122, 123, 124, 125, 58, 126, 61, 127, 128, 80, 59, 129, 130, 131, 132, 62, 133, 72, 63, 73, 134, 135, 91, 74, 136, 81, 92, 137, 138, 64, 82, 139, 140, 75, 141, 142, 143, 144, 65, 145, 146, 147, 76, 148, 149, 150, 66, 67, 151, 152, 83, 153, 93, 154, 77, 78, 68, 155, 156, 69, 157, 158, 159, 160, 84, 79, 161, 162, 94, 163, 164, 165, 166, 167, 168, 85, 169, 170, 171, 95, 172, 173, 174, 175, 176, 86, 177, 178, 179, 180, 96, 87, 181, 182, 183, 184, 88, 89, 185, 186, 187, 188, 189, 97, 190, 191, 192, 193, 194, 195, 196, 197, 198, 98, 199, 1000, 200, 201, 300, 202, 203, 700, 204, 205, 500, 206, 207, 99, 301, 701, 1001, 702, 208, 209, 1002, 210, 211, 1003, 1004, 212, 213, 302, 214, 215, 501, 303, 304, 216, 217, 703, 1005, 305, 502, 218, 219, 306, 220, 221, 1006, 222, 223, 1007, 1008, 224, 225, 307, 1009, 1010, 226, 227, 1011, 308, 228, 229, 1012, 230, 231, 309, 310, 232, 233, 1013, 1014, 234, 235, 503, 1015, 504, 236, 237, 311, 1016, 238, 239, 1017, 312, 240, 241, 1018, 242, 243, 313, 1019, 1020, 244, 245, 505, 506, 246, 247, 1021, 1022, 248, 249, 314, 250, 251, 1023, 315, 316, 252, 253, 1024, 254, 255, 317, 1025, 507, 318, 256, 257, 1026, 258, 259, 704, 260, 261, 319, 1027, 1028, 262, 263, 1029, 320, 264, 265, 508, 266, 267, 321, 322, 268, 269, 1030, 270, 271, 1031, 1032, 272, 273, 323, 1033, 1034, 274, 275, 509, 1035, 324, 276, 277, 1036, 278, 279, 325, 510, 280, 281, 1037, 1038, 282, 283, 1039, 1040, 284, 285, 326, 286, 287, 705, 327, 328, 288, 289, 1041, 329, 706, 290, 291, 330, 292, 293, 1042, 294, 295, 511, 707, 708, 296, 297, 331, 1043, 709, 1044, 298, 299, 1045, 512, 400, 401, 1046, 1047, 332, 402, 333, 334, 1048, 403, 1049, 1050, 335, 513, 336, 337, 1051, 1052, 404, 405, 338, 1053, 339, 340, 406, 710, 514, 1054, 1055, 515, 516, 341, 1056, 342, 343, 711, 344, 407, 1057, 712, 408, 345, 346, 1058, 1059, 347, 1060, 409, 1061, 1062, 348, 349, 1063, 1064, 410, 517, 1065, 350, 518, 713, 1066, 1067, 1068, 351, 352, 411, 353, 1069, 1070, 519, 354, 355, 520, 412, 413, 714, 356, 414, 357, 358, 1071, 359, 1072, 415, 521, 1073, 1074, 360, 361, 1075, 522, 362, 1076, 416, 417, 363, 364, 418, 1077, 365, 523, 1078, 715, 524, 419, 1079, 1080, 366, 367, 1081, 1082, 1083, 368, 420, 369, 370, 525, 371, 716, 421, 1084, 422, 1085, 526, 1086, 372, 373, 1087, 1088, 423, 374, 1089, 375, 376, 424, 425, 527, 1090, 528, 377, 1091, 1092, 378, 379, 1093, 1094, 1095, 380, 426, 381, 382, 1096, 427, 717, 383, 1097, 1098, 384, 385, 529, 1099, 718, 1100, 428, 429, 386, 1101, 387, 388, 430, 530, 531, 389, 1102, 1103, 1104, 390, 391, 1105, 532, 431, 1106, 719, 1107, 392, 432, 393, 394, 1108, 433, 1109, 1110, 395, 533, 1111, 1112, 434, 720, 396, 397, 1113, 398, 1114, 1115, 534, 399, 721, 722, 1116, 435, 535, 536, 436, 437, 1117, 1118, 1119, 1120, 438, 600, 439, 1121, 1122, 601, 1123, 1124, 440, 441, 723, 1125, 537, 1126, 1127, 724, 442, 1128, 443, 1129, 1130, 538, 1131, 1132, 444, 445, 539, 725, 540, 446, 1133, 1134, 602, 726, 603, 900, 447, 1135, 541, 1136, 448, 449, 1137, 1138, 1139, 1140, 450, 542, 1141, 727, 1142, 1143, 901, 1144, 451, 1145, 543, 1146, 604, 452, 453, 1147, 1148, 454, 1149, 1150, 544, 455, 545, 546, 605, 547, 1151, 1152, 456, 457, 1153, 1154, 1155, 548, 458, 1156, 459, 902, 1157, 1158, 606, 607, 1159, 1160, 460, 461, 1161, 903, 728, 462, 608, 463, 1162, 729, 904, 464, 465, 549, 905, 550, 551, 1163, 1164, 466, 1165, 552, 467, 1166, 1167, 1168, 468, 469, 730, 553, 731, 1169, 732, 470, 554, 1170, 555, 556, 471, 1171, 1172, 472, 473, 1173, 1174, 1175, 557, 1176, 474, 609, 733, 1177, 1178, 1179, 906, 610, 558, 611, 1180, 475, 559, 1181, 1182, 612, 476, 477, 907, 1183, 734, 1184, 478, 1185, 560, 479, 1186, 1187, 1188, 480, 481, 1189, 1190, 561, 1191, 1192, 482, 1193, 1194, 613, 1195, 562, 1196, 483, 735, 563, 1197, 736, 484, 485, 564, 486, 614, 1198, 1199, 1200, 487, 1201, 1202, 1203, 1204, 488, 489, 1205, 565, 566, 1206, 615, 567, 737, 1207, 1208, 490, 568, 491, 1209, 1210, 569, 1211, 738, 616, 492, 493, 1212, 494, 1213, 1214, 1215, 570, 571, 1216, 495, 572, 496, 497, 739, 1217, 1218, 617, 1219, 1220, 498, 618, 619, 1221, 1222, 1223, 1224, 499, 1225, 573, 1226, 1227, 1228, 1229, 1230, 574, 740, 575, 576, 620, 577, 1231, 1232, 741, 1233, 908, 1234, 1235, 578, 1236, 621, 909, 910, 579, 1237, 1238, 1239, 742, 743, 1240, 580, 581, 744, 622, 1241, 1242, 623, 745, 582, 624, 625, 583, 1243, 1244, 1245, 584, 800, 585, 586, 1246, 746, 1247, 1248, 626, 1249, 1250, 587, 1251, 911, 1252, 1253, 747, 912, 627, 1254, 628, 1255, 588, 629, 1256, 801, 913, 1257, 1258, 1259, 1260, 589, 1261, 1262, 1263, 1264, 802, 1265, 590, 591, 1266, 630, 592, 803, 1267, 748, 1268, 1269, 914, 1270, 593, 1271, 1272, 631, 1273, 1274, 749, 750, 594, 632, 804, 633, 1275, 595, 596, 1276, 1277, 1278, 634, 1279, 1280, 597, 1281, 751, 1282, 1283, 1284, 635, 598, 1285, 599, 1286, 1287, 915, 1288, 752, 805, 753, 1289, 1290, 636, 637, 754, 1291, 1292, 1293, 1294, 1295, 755, 1296, 638, 1297, 1298, 1299, 1300, 1301, 1302, 639, 916, 1303, 1304, 806, 1305, 917, 756, 640, 807, 1306, 1307, 1308, 641, 1309, 757, 1310, 1311, 1312, 808, 809, 1313, 1314, 642, 643, 1315, 1316, 758, 1317, 1318, 1319, 1320, 644, 759, 1321, 1322, 1323, 760, 810, 645, 1324, 1325, 1326, 646, 1327, 1328, 811, 1329, 1330, 761, 1331, 1332, 647, 1333, 1334, 1335, 1336, 812, 762, 648, 649, 1337, 763, 764, 1338, 650, 1339, 1340, 1341, 918, 651, 765, 919, 1342, 1343, 1344, 652, 1345, 1346, 1347, 1348, 1349, 1350, 653, 1351, 766, 1352, 813, 1353, 1354, 1355, 1356, 654, 655, 1357, 1358, 767, 1359, 920, 814, 1360, 815, 1361, 1362, 656, 816, 657, 921, 1363, 1364, 1365, 768, 658, 769, 1366, 1367, 1368, 659, 1369, 1370, 1371, 1372, 770, 771, 1373, 1374, 660, 661, 1375, 1376, 817, 1377, 922, 1378, 1379, 772, 1380, 662, 1381, 1382, 1383, 1384, 818, 1385, 1386, 663, 1387, 1388, 1389, 1390, 1391, 1392, 664, 819, 773, 1393, 774, 665, 775, 1394, 1395, 923, 1396, 1397, 1398, 666, 667, 1399, 1400, 776, 820, 1401, 1402, 1403, 1404, 668, 1405, 1406, 1407, 777, 778, 1408, 821, 1409, 1410, 669, 1411, 1412, 1413, 924, 670, 1414, 779, 1415, 1416, 671, 1417, 1418, 1419, 1420, 1421, 780, 672, 673, 1422, 674, 1423, 1424, 822, 675, 925, 1425, 1426, 1427, 1428, 676, 1429, 1430, 1431, 926, 1432, 823, 1433, 1434, 677, 1435, 781, 1436, 1437, 1438, 1439, 1440, 678, 679, 782, 1441, 1442, 783, 927, 928, 824, 825, 1443, 1444, 1445, 1446, 680, 826, 784, 785, 1447, 1448, 827, 1449, 786, 681, 1450, 1451, 1452, 682, 1453, 1454, 1455, 1456, 787, 1457, 1458, 683, 1459, 1460, 1461, 1462, 1463, 788, 1464, 684, 685, 1465, 1466, 1467, 929, 1468, 1469, 1470, 686, 789, 1471, 1472, 828, 687, 1473, 1474, 1475, 1476, 688, 829, 1477, 790, 1478, 1479, 1480, 830, 1481, 1482, 689, 1483, 1484, 791, 792, 690, 691, 1485, 930, 692, 1486, 1487, 1488, 693, 793, 1489, 1490, 1491, 794, 1492, 1493, 1494, 694, 1495, 1496, 831, 1497, 1498, 795, 1499, 1500, 695, 1501, 1502, 1503, 931, 796, 1504, 832, 833, 797, 1505, 798, 696, 697, 1506, 698, 1507, 1508, 1509, 1510, 1511, 1512, 699, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 799, 1520, 834, 1521, 932, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 835, 1529, 1530, 933, 1531, 1532, 1533, 1534, 1535, 1536, 836, 1537, 1538, 1539, 934, 1540, 1541, 1542, 1543, 1544, 837, 935, 1545, 1546, 1547, 1548, 936, 838, 1549, 1550, 1551, 1552, 839, 1553, 1554, 1555, 1556, 1557, 937, 1558, 1559, 1560, 840, 841, 1561, 1562, 1563, 1564, 1565, 1566, 938, 1567, 1568, 842, 1569, 1570, 1571, 1572, 1573, 1574, 1575, 939, 1576, 843, 1577, 1578, 1579, 1580, 1581, 1582, 1583, 1584, 844, 1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 845, 1593, 940, 1594, 1595, 1596, 1597, 1598, 1599, 1600, 846, 941, 1601, 1602, 942, 1603, 1604, 1605, 1606, 1607, 1608, 847, 1609, 1610, 1611, 943, 1612, 1613, 1614, 1615, 1616, 848, 849, 1617, 1618, 1619, 1620, 944, 850, 1621, 1622, 1623, 1624, 851, 1625, 1626, 1627, 1628, 1629, 945, 946, 1630, 1631, 1632, 852, 1633, 1634, 1635, 1636, 1637, 1638, 947, 1639, 1640, 853, 1641, 1642, 1643, 1644, 1645, 1646, 1647, 948, 1648, 854, 1649, 1650, 1651, 1652, 1653, 1654, 1655, 1656, 855, 949, 1657, 1658, 1659, 1660, 1661, 1662, 1663, 1664, 856, 857, 1665, 950, 1666, 1667, 1668, 1669, 1670, 1671, 1672, 858, 1673, 1674, 951, 1675, 1676, 1677, 1678, 1679, 1680, 859, 1681, 1682, 1683, 952, 860, 1684, 1685, 1686, 1687, 1688, 861, 1689, 1690, 1691, 1692, 953, 1693, 1694, 1695, 1696, 862, 1697, 1698, 1699, 1700, 1701, 954, 955, 1702, 1703, 1704, 863, 1705, 1706, 1707, 1708, 1709, 1710, 956, 1711, 1712, 864, 865, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 957, 1720, 866, 1721, 1722, 1723, 1724, 1725, 1726, 1727, 1728, 867, 1729, 1730, 1731, 1732, 1733, 1734, 1735, 1736, 868, 1737, 958, 1738, 1739, 1740, 1741, 1742, 1743, 1744, 869, 1745, 1746, 959, 1747, 1748, 1749, 1750, 1751, 1752, 870, 1753, 1754, 1755, 960, 871, 1756, 1757, 1758, 1759, 1760, 872, 873, 961, 1761, 1762, 1763, 1764, 962, 1765, 1766, 1767, 1768, 874, 1769, 1770, 1771, 1772, 1773, 963, 964, 1774, 1775, 1776, 875, 1777, 1778, 1779, 1780, 1781, 1782, 965, 1783, 1784, 876, 1785, 1786, 1787, 1788, 1789, 1790, 1791, 966, 1792, 877, 1793, 1794, 1795, 1796, 1797, 1798, 1799, 1800, 878, 1801, 1802, 1803, 1804, 1805, 1806, 1807, 1808, 879, 1809, 967, 1810, 1811, 1812, 1813, 1814, 1815, 1816, 880, 881, 1817, 1818, 968, 882, 969, 1819, 1820, 1821, 1822, 1823, 1824, 883, 1825, 1826, 1827, 970, 1828, 1829, 1830, 1831, 1832, 884, 1833, 1834, 1835, 1836, 971, 1837, 1838, 1839, 1840, 885, 1841, 1842, 1843, 1844, 1845, 972, 973, 1846, 1847, 1848, 886, 1849, 1850, 1851, 1852, 1853, 1854, 974, 1855, 1856, 887, 1857, 1858, 1859, 1860, 1861, 1862, 1863, 975, 1864, 888, 889, 1865, 1866, 1867, 1868, 1869, 1870, 1871, 1872, 890, 1873, 1874, 1875, 1876, 1877, 1878, 1879, 1880, 891, 976, 892, 1881, 977, 1882, 1883, 1884, 1885, 1886, 1887, 1888, 893, 1889, 1890, 978, 1891, 1892, 1893, 1894, 1895, 1896, 894, 1897, 1898, 1899, 979, 1900, 1901, 1902, 1903, 1904, 895, 1905, 1906, 1907, 1908, 980, 1909, 1910, 1911, 1912, 896, 897, 1913, 1914, 1915, 1916, 1917, 981, 982, 1918, 1919, 1920, 898, 1921, 1922, 1923, 1924, 1925, 1926, 983, 1927, 1928, 899, 1929, 1930, 1931, 1932, 1933, 1934, 1935, 984, 1936, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1944, 985, 1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952, 1953, 986, 1954, 1955, 1956, 1957, 1958, 1959, 1960, 1961, 1962, 987, 1963, 1964, 1965, 1966, 1967, 1968, 1969, 1970, 1971, 988, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979, 1980, 989, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 990, 991, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 992, 1999, 10000, 2000, 2001, 3000, 2002, 2003, 10001, 10002, 2004, 2005, 5000, 2006, 2007, 993, 3001, 10003, 7000, 2008, 2009, 7001, 10004, 2010, 2011, 10005, 3002, 2012, 2013, 3003, 3004, 2014, 2015, 5001, 3005, 5002, 2016, 994, 2017, 10006, 2018, 2019, 3006, 995, 5003, 10007, 10008, 996, 2020, 2021, 10009, 10010, 2022, 2023, 7002, 997, 10011, 3007, 10012, 2024, 2025, 998, 2026, 2027, 10013, 10014, 2028, 2029, 10015, 5004, 999, 3008, 2030, 2031, 3009, 3010, 2032, 2033, 10016, 2034, 2035, 5005, 5006, 2036, 2037, 3011, 10017, 3012, 2038, 2039, 10018, 2040, 2041, 10019, 10020, 2042, 2043, 3013, 10021, 10022, 2044, 2045, 5007, 3014, 2046, 2047, 10023, 3015, 3016, 2048, 2049, 3017, 7003, 10024, 2050, 2051, 7004, 2052, 2053, 10025, 5008, 2054, 2055, 3018, 2056, 2057, 10026, 2058, 2059, 10027, 10028, 2060, 2061, 3019, 10029, 3020, 2062, 2063, 10030, 2064, 2065, 5009, 10031, 7005, 3021, 3022, 2066, 2067, 3023, 10032, 2068, 2069, 10033, 10034, 2070, 2071, 10035, 3024, 2072, 2073, 3025, 5010, 2074, 2075, 5011, 10036, 2076, 2077, 10037, 10038, 2078, 2079, 3026, 2080, 2081, 10039, 10040, 2082, 2083, 10041, 3027, 3028, 2084, 2085, 3029, 10042, 2086, 2087, 10043, 10044, 2088, 2089, 10045, 5012, 2090, 2091, 3030, 2092, 2093, 7006, 2094, 2095, 5013, 3031, 7007, 7008, 2096, 2097, 3032, 2098, 2099, 10046, 2100, 2101, 10047, 3033, 3034, 2102, 2103, 3035, 5014, 2104, 2105, 5015, 5016, 2106, 2107, 7009, 10048, 2108, 2109, 3036, 2110, 2111, 10049, 10050, 2112, 2113, 10051, 10052, 2114, 2115, 3037, 10053, 3038, 2116, 2117, 10054, 2118, 2119, 10055, 5017, 10056, 2120, 2121, 3039, 3040, 2122, 2123, 10057, 10058, 2124, 2125, 5018, 2126, 2127, 3041, 10059, 3042, 2128, 2129, 10060, 2130, 2131, 10061, 10062, 2132, 2133, 3043, 10063, 10064, 2134, 2135, 5019, 3044, 2136, 2137, 10065, 3045, 3046, 2138, 2139, 3047, 10066, 2140, 2141, 10067, 10068, 2142, 2143, 10069, 10070, 2144, 2145, 3048, 2146, 2147, 10071, 3049, 10072, 2148, 2149, 7010, 2150, 2151, 3050, 2152, 2153, 10073, 7011, 3051, 3052, 2154, 2155, 5020, 2156, 2157, 3053, 10074, 2158, 2159, 10075, 5021, 10076, 2160, 2161, 10077, 3054, 2162, 2163, 3055, 5022, 2164, 2165, 5023, 10078, 2166, 2167, 10079, 10080, 2168, 2169, 3056, 2170, 2171, 10081, 10082, 2172, 2173, 10083, 3057, 3058, 2174, 2175, 3059, 7012, 2176, 2177, 7013, 10084, 2178, 2179, 10085, 5024, 2180, 2181, 3060, 2182, 2183, 10086, 2184, 2185, 5025, 3061, 10087, 7014, 2186, 2187, 3062, 2188, 2189, 10088, 2190, 2191, 7015, 5026, 2192, 2193, 3063, 3064, 2194, 2195, 5027, 10089, 3065, 5028, 2196, 2197, 10090, 2198, 2199, 3066, 2200, 2201, 10091, 10092, 2202, 2203, 10093, 10094, 2204, 2205, 3067, 10095, 3068, 2206, 2207, 10096, 2208, 2209, 10097, 10098, 2210, 2211, 3069, 3070, 2212, 2213, 10099, 10100, 2214, 2215, 5029, 10101, 3071, 10102, 2216, 2217, 3072, 2218, 2219, 7016, 2220, 2221, 10103, 10104, 2222, 2223, 3073, 7017, 3074, 2224, 2225, 5030, 2226, 2227, 10105, 5031, 3075, 3076, 2228, 2229, 3077, 10106, 2230, 2231, 10107, 3078, 2232, 2233, 7018, 2234, 2235, 3079, 10108, 2236, 2237, 10109, 10110, 2238, 2239, 10111, 10112, 2240, 2241, 3080, 2242, 2243, 10113, 3081, 3082, 2244, 2245, 5032, 2246, 2247, 3083, 10114, 2248, 2249, 10115, 5033, 7019, 10116, 2250, 2251, 10117, 10118, 2252, 2253, 3084, 2254, 2255, 5034, 2256, 2257, 10119, 3085, 5035, 5036, 2258, 2259, 3086, 2260, 2261, 7020, 2262, 2263, 10120, 2264, 2265, 3087, 3088, 2266, 2267, 10121, 10122, 2268, 2269, 10123, 10124, 2270, 2271, 3089, 10125, 3090, 2272, 2273, 10126, 2274, 2275, 5037, 3091, 10127, 10128, 2276, 2277, 3092, 2278, 2279, 10129, 7021, 7022, 2280, 2281, 10130, 2282, 2283, 3093, 3094, 2284, 2285, 5038, 2286, 2287, 10131, 3095, 5039, 10132, 2288, 2289, 3096, 2290, 2291, 10133, 10134, 2292, 2293, 10135, 5040, 2294, 2295, 3097, 10136, 2296, 2297, 10137, 3098, 2298, 2299, 10138, 2300, 2301, 3099, 3100, 2302, 2303, 7023, 3101, 7024, 2304, 2305, 5041, 10139, 10140, 2306, 2307, 3102, 2308, 2309, 10141, 10142, 2310, 2311, 10143, 3103, 10144, 2312, 2313, 3104, 2314, 2315, 5042, 2316, 2317, 7025, 5043, 3105, 3106, 2318, 2319, 3107, 10145, 5044, 2320, 2321, 10146, 2322, 2323, 10147, 10148, 2324, 2325, 3108, 2326, 2327, 10149, 3109, 10150, 2328, 2329, 10151, 10152, 2330, 2331, 3110, 2332, 2333, 10153, 10154, 2334, 2335, 5045, 5046, 2336, 2337, 3111, 3112, 2338, 2339, 10155, 3113, 10156, 2340, 2341, 10157, 7026, 2342, 2343, 3114, 2344, 2345, 5047, 7027, 10158, 2346, 2347, 10159, 10160, 2348, 2349, 3115, 5048, 2350, 2351, 10161, 3116, 2352, 2353, 10162, 2354, 2355, 3117, 3118, 2356, 2357, 10163, 10164, 2358, 2359, 7028, 2360, 2361, 3119, 10165, 5049, 3120, 2362, 2363, 10166, 2364, 2365, 5050, 2366, 2367, 3121, 10167, 3122, 2368, 2369, 10168, 2370, 2371, 10169, 10170, 2372, 2373, 3123, 3124, 2374, 2375, 5051, 10171, 7029, 3125, 5052, 2376, 2377, 10172, 2378, 2379, 3126, 2380, 2381, 10173, 3127, 10174, 2382, 2383, 10175, 5053, 10176, 2384, 2385, 3128, 2386, 2387, 7030, 2388, 2389, 10177, 10178, 2390, 2391, 3129, 3130, 2392, 2393, 10179, 3131, 10180, 2394, 2395, 5054, 2396, 2397, 3132, 2398, 2399, 10181, 10182, 2400, 2401, 7031, 10183, 10184, 2402, 2403, 3133, 10185, 3134, 2404, 2405, 5055, 3135, 3136, 2406, 2407, 10186, 2408, 2409, 3137, 10187, 10188, 2410, 2411, 10189, 10190, 2412, 2413, 10191, 3138, 2414, 2415, 3139, 10192, 2416, 2417, 10193, 10194, 2418, 2419, 10195, 5056, 2420, 2421, 3140, 2422, 2423, 10196, 2424, 2425, 5057, 10197, 3141, 3142, 2426, 2427, 3143, 7032, 2428, 2429, 7033, 10198, 2430, 2431, 10199, 7034, 2432, 2433, 3144, 2434, 2435, 5058, 2436, 2437, 10200, 2438, 2439, 3145, 5059, 10201, 10202, 2440, 2441, 10203, 3146, 2442, 2443, 7035, 3147, 3148, 2444, 2445, 3149, 10204, 2446, 2447, 10205, 5060, 2448, 2449, 10206, 2450, 2451, 3150, 2452, 2453, 10207, 10208, 2454, 2455, 5061, 3151, 10209, 3152, 2456, 2457, 3153, 3154, 2458, 2459, 10210, 2460, 2461, 10211, 10212, 2462, 2463, 3155, 5062, 2464, 2465, 5063, 10213, 7036, 2466, 2467, 10214, 2468, 2469, 3156, 2470, 2471, 7037, 10215, 3157, 7038, 2472, 2473, 10216, 2474, 2475, 3158, 2476, 2477, 10217, 10218, 2478, 2479, 10219, 10220, 2480, 2481, 3159, 3160, 2482, 2483, 10221, 3161, 10222, 2484, 2485, 5064, 2486, 2487, 3162, 2488, 2489, 10223, 10224, 2490, 2491, 10225, 5065, 5066, 2492, 2493, 3163, 10226, 2494, 2495, 5067, 3164, 2496, 2497, 10227, 3165, 3166, 2498, 2499, 3167, 10228, 2500, 2501, 10229, 10230, 2502, 2503, 10231, 10232, 2504, 2505, 3168, 2506, 2507, 10233, 3169, 10234, 2508, 2509, 10235, 5068, 2510, 2511, 3170, 2512, 2513, 7039, 10236, 2514, 2515, 5069, 10237, 10238, 2516, 2517, 3171, 3172, 2518, 2519, 10239, 3173, 10240, 2520, 2521, 10241, 7040, 2522, 2523, 3174, 2524, 2525, 5070, 2526, 2527, 7041, 3175, 5071, 10242, 2528, 2529, 3176, 2530, 2531, 10243, 10244, 2532, 2533, 10245, 3177, 3178, 2534, 2535, 3179, 10246, 2536, 2537, 10247, 10248, 2538, 2539, 10249, 10250, 2540, 2541, 3180, 2542, 2543, 10251, 3181, 10252, 2544, 2545, 5072, 2546, 2547, 3182, 2548, 2549, 10253, 10254, 2550, 2551, 10255, 5073, 3183, 3184, 2552, 2553, 3185, 5074, 2554, 2555, 5075, 5076, 2556, 2557, 10256, 2558, 2559, 3186, 2560, 2561, 10257, 3187, 10258, 2562, 2563, 10259, 10260, 2564, 2565, 3188, 2566, 2567, 10261, 10262, 2568, 2569, 7042, 2570, 2571, 3189, 3190, 2572, 2573, 10263, 3191, 10264, 2574, 2575, 5077, 10265, 5078, 2576, 2577, 3192, 2578, 2579, 10266, 2580, 2581, 10267, 10268, 2582, 2583, 3193, 10269, 3194, 2584, 2585, 5079, 3195, 3196, 2586, 2587, 10270, 2588, 2589, 3197, 10271, 10272, 2590, 2591, 10273, 10274, 2592, 2593, 10275, 3198, 2594, 2595, 3199, 7043, 10276, 2596, 2597, 7044, 2598, 2599, 10277, 10278, 2600, 2601, 3200, 2602, 2603, 10279, 10280, 2604, 2605, 5080, 2606, 2607, 3201, 3202, 2608, 2609, 10281, 3203, 10282, 2610, 2611, 7045, 5081, 10283, 7046, 2612, 2613, 3204, 2614, 2615, 5082, 2616, 2617, 10284, 2618, 2619, 3205, 5083, 10285, 5084, 2620, 2621, 10286, 2622, 2623, 10287, 3206, 2624, 2625, 3207, 3208, 2626, 2627, 10288, 2628, 2629, 10289, 10290, 2630, 2631, 3209, 10291, 10292, 2632, 2633, 10293, 3210, 2634, 2635, 5085, 3211, 10294, 2636, 2637, 3212, 2638, 2639, 7047, 3213, 3214, 2640, 2641, 10295, 5086, 2642, 2643, 3215, 5087, 10296, 2644, 2645, 5088, 2646, 2647, 10297, 7048, 2648, 2649, 3216, 2650, 2651, 10298, 2652, 2653, 7049, 7050, 2654, 2655, 3217, 10299, 3218, 2656, 2657, 10300, 2658, 2659, 10301, 10302, 2660, 2661, 3219, 3220, 2662, 2663, 10303, 10304, 2664, 2665, 5089, 7051, 10305, 3221, 10306, 2666, 2667, 3222, 2668, 2669, 10307, 10308, 2670, 2671, 10309, 10310, 2672, 2673, 3223, 10311, 3224, 2674, 2675, 5090, 2676, 2677, 10312, 2678, 2679, 3225, 3226, 2680, 2681, 7052, 2682, 2683, 10313, 10314, 2684, 2685, 3227, 7053, 3228, 2686, 2687, 10315, 5091, 3229, 10316, 2688, 2689, 10317, 3230, 2690, 2691, 3231, 3232, 2692, 2693, 10318, 2694, 2695, 5092, 2696, 2697, 3233, 10319, 10320, 2698, 2699, 10321, 10322, 2700, 2701, 10323, 3234, 2702, 2703, 3235, 5093, 10324, 2704, 2705, 5094, 2706, 2707, 10325, 5095, 5096, 2708, 2709, 3236, 2710, 2711, 10326, 2712, 2713, 10327, 10328, 2714, 2715, 3237, 3238, 2716, 2717, 10329, 3239, 10330, 2718, 2719, 10331, 10332, 2720, 2721, 3240, 2722, 2723, 7054, 2724, 2725, 5097, 3241, 7055, 5098, 2726, 2727, 3242, 2728, 2729, 10333, 10334, 2730, 2731, 10335, 3243, 3244, 2732, 2733, 3245, 5099, 10336, 2734, 2735, 5100, 2736, 2737, 7056, 2738, 2739, 3246, 2740, 2741, 10337, 10338, 2742, 2743, 10339, 7057, 10340, 2744, 2745, 3247, 10341, 3248, 2746, 2747, 10342, 2748, 2749, 10343, 10344, 2750, 2751, 3249, 3250, 2752, 2753, 10345, 5101, 10346, 2754, 2755, 5102, 2756, 2757, 3251, 10347, 3252, 2758, 2759, 10348, 2760, 2761, 10349, 10350, 2762, 2763, 3253, 10351, 10352, 2764, 2765, 5103, 3254, 2766, 2767, 10353, 3255, 3256, 2768, 2769, 3257, 10354, 2770, 2771, 10355, 5104, 2772, 2773, 10356, 2774, 2775, 3258, 2776, 2777, 10357, 10358, 2778, 2779, 7058, 2780, 2781, 3259, 10359, 3260, 2782, 2783, 10360, 2784, 2785, 5105, 5106, 2786, 2787, 3261, 3262, 2788, 2789, 10361, 10362, 2790, 2791, 10363, 10364, 2792, 2793, 3263, 10365, 3264, 2794, 2795, 5107, 10366, 2796, 2797, 10367, 7059, 3265, 5108, 2798, 2799, 3266, 2800, 2801, 10368, 2802, 2803, 10369, 10370, 2804, 2805, 3267, 3268, 2806, 2807, 7060, 2808, 2809, 10371, 3269, 7061, 10372, 2810, 2811, 3270, 2812, 2813, 10373, 10374, 2814, 2815, 5109, 3271, 10375, 5110, 2816, 2817, 3272, 2818, 2819, 10376, 2820, 2821, 7062, 2822, 2823, 3273, 3274, 2824, 2825, 5111, 10377, 3275, 5112, 2826, 2827, 10378, 2828, 2829, 3276, 2830, 2831, 10379, 10380, 2832, 2833, 10381, 7063, 7064, 2834, 2835, 3277, 10382, 2836, 2837, 10383, 3278, 2838, 2839, 10384, 2840, 2841, 3279, 3280, 2842, 2843, 10385, 5113, 10386, 2844, 2845, 5114, 2846, 2847, 3281, 10387, 10388, 2848, 2849, 7065, 3282, 2850, 2851, 10389, 3283, 7066, 2852, 2853, 3284, 2854, 2855, 5115, 3285, 3286, 2856, 2857, 10390, 2858, 2859, 3287, 10391, 10392, 2860, 2861, 10393, 10394, 2862, 2863, 7067, 10395, 3288, 2864, 2865, 3289, 10396, 2866, 2867, 10397, 10398, 2868, 2869, 10399, 10400, 2870, 2871, 3290, 2872, 2873, 10401, 3291, 3292, 2874, 2875, 5116, 2876, 2877, 3293, 10402, 2878, 2879, 10403, 10404, 2880, 2881, 10405, 5117, 7068, 2882, 2883, 3294, 2884, 2885, 5118, 2886, 2887, 10406, 2888, 2889, 3295, 5119, 10407, 3296, 2890, 2891, 7069, 10408, 2892, 2893, 10409, 7070, 2894, 2895, 3297, 3298, 2896, 2897, 10410, 2898, 2899, 10411, 10412, 2900, 2901, 3299, 10413, 3300, 2902, 2903, 10414, 2904, 2905, 5120, 2906, 2907, 3301, 10415, 5121, 3302, 2908, 2909, 10416, 2910, 2911, 10417, 10418, 2912, 2913, 3303, 3304, 2914, 2915, 5122, 2916, 2917, 10419, 3305, 5123, 10420, 2918, 2919, 3306, 2920, 2921, 10421, 10422, 2922, 2923, 10423, 7071, 3307, 10424, 2924, 2925, 3308, 2926, 2927, 10425, 3309, 3310, 2928, 2929, 10426, 2930, 2931, 3311, 7072, 2932, 2933, 7073, 10427, 10428, 2934, 2935, 5124, 2936, 2937, 3312, 2938, 2939, 10429, 10430, 2940, 2941, 10431, 3313, 10432, 2942, 2943, 3314, 2944, 2945, 5125, 5126, 2946, 2947, 7074, 2948, 2949, 3315, 3316, 2950, 2951, 10433, 10434, 2952, 2953, 10435, 5127, 3317, 10436, 2954, 2955, 3318, 2956, 2957, 10437, 3319, 10438, 2958, 2959, 10439, 10440, 2960, 2961, 3320, 2962, 2963, 10441, 10442, 2964, 2965, 5128, 2966, 2967, 3321, 3322, 2968, 2969, 10443, 3323, 10444, 2970, 2971, 10445, 5129, 10446, 2972, 2973, 3324, 2974, 2975, 5130, 2976, 2977, 10447, 10448, 2978, 2979, 3325, 5131, 7075, 5132, 2980, 2981, 10449, 3326, 2982, 2983, 10450, 2984, 2985, 3327, 3328, 2986, 2987, 10451, 7076, 2988, 2989, 7077, 3329, 10452, 2990, 2991, 3330, 2992, 2993, 10453, 10454, 2994, 2995, 5133, 3331, 10455, 3332, 2996, 2997, 3333, 3334, 2998, 2999, 10456, 4000, 4001, 10457, 10458, 3335, 5134, 10459, 10460, 4002, 3336, 3337, 10461, 3338, 10462, 10463, 10464, 3339, 3340, 4003, 10465, 5135, 5136, 3341, 10466, 10467, 3342, 3343, 10468, 4004, 4005, 3344, 4006, 10469, 10470, 3345, 3346, 7078, 10471, 10472, 4007, 10473, 3347, 10474, 10475, 5137, 10476, 3348, 3349, 10477, 10478, 10479, 3350, 5138, 7079, 10480, 4008, 3351, 3352, 4009, 10481, 10482, 3353, 7080, 3354, 3355, 5139, 3356, 4010, 5140, 4011, 3357, 3358, 10483, 10484, 4012, 4013, 10485, 3359, 10486, 7081, 10487, 10488, 3360, 3361, 10489, 10490, 5141, 10491, 3362, 10492, 4014, 3363, 3364, 4015, 5142, 3365, 5143, 10493, 7082, 10494, 3366, 3367, 7083, 3368, 4016, 4017, 3369, 3370, 5144, 4018, 7084, 4019, 10495, 5145, 3371, 10496, 4020, 3372, 3373, 10497, 3374, 7085, 5146, 10498, 10499, 10500, 3375, 3376, 4021, 10501, 10502, 10503, 3377, 10504, 4022, 10505, 5147, 10506, 3378, 3379, 10507, 7086, 3380, 4023, 3381, 3382, 10508, 4024, 4025, 5148, 3383, 10509, 3384, 3385, 5149, 10510, 5150, 5151, 3386, 10511, 10512, 3387, 3388, 4026, 3389, 10513, 10514, 7087, 10515, 3390, 3391, 10516, 4027, 10517, 10518, 3392, 4028, 4029, 3393, 3394, 10519, 10520, 4030, 5152, 4031, 10521, 3395, 5153, 10522, 10523, 10524, 3396, 3397, 10525, 5154, 3398, 10526, 10527, 3399, 3400, 4032, 3401, 10528, 4033, 10529, 10530, 3402, 3403, 10531, 10532, 4034, 10533, 3404, 4035, 3405, 3406, 10534, 10535, 5155, 5156, 4036, 4037, 10536, 3407, 10537, 10538, 10539, 3408, 3409, 7088, 4038, 3410, 5157, 3411, 3412, 4039, 7089, 3413, 10540, 4040, 4041, 3414, 3415, 5158, 10541, 10542, 3416, 4042, 10543, 10544, 4043, 10545, 3417, 3418, 10546, 10547, 10548, 3419, 10549, 7090, 5159, 7091, 7092, 3420, 3421, 10550, 5160, 3422, 10551, 3423, 3424, 4044, 3425, 5161, 10552, 4045, 5162, 10553, 10554, 3426, 3427, 10555, 5163, 3428, 4046, 7093, 10556, 4047, 3429, 3430, 5164, 4048, 4049, 10557, 3431, 10558, 10559, 10560, 3432, 3433, 10561, 10562, 10563, 3434, 10564, 4050, 3435, 3436, 4051, 10565, 5165, 5166, 3437, 7094, 10566, 3438, 3439, 10567, 10568, 4052, 4053, 3440, 4054, 10569, 3441, 3442, 10570, 5167, 10571, 10572, 3443, 10573, 10574, 10575, 3444, 3445, 5168, 4055, 5169, 3446, 10576, 4056, 3447, 3448, 4057, 10577, 7095, 3449, 10578, 3450, 3451, 7096, 4058, 10579, 10580, 4059, 3452, 4060, 4061, 10581, 3453, 3454, 10582, 10583, 10584, 3455, 5170, 5171, 10585, 5172, 3456, 3457, 10586, 10587, 3458, 7097, 10588, 4062, 3459, 3460, 4063, 10589, 10590, 3461, 10591, 7098, 3462, 3463, 10592, 4064, 4065, 3464, 4066, 10593, 3465, 3466, 10594, 10595, 5173, 7099, 10596, 3467, 10597, 10598, 7100, 4067, 7101, 3468, 3469, 10599, 3470, 5174, 10600, 4068, 3471, 3472, 4069, 10601, 10602, 3473, 10603, 10604, 4070, 5175, 3474, 3475, 5176, 4071, 3476, 4072, 4073, 10605, 3477, 3478, 10606, 10607, 10608, 3479, 7102, 10609, 10610, 5177, 10611, 3480, 3481, 10612, 4074, 3482, 10613, 10614, 3483, 3484, 4075, 5178, 3485, 5179, 10615, 5180, 4076, 4077, 3486, 3487, 10616, 4078, 10617, 3488, 4079, 10618, 10619, 7103, 10620, 3489, 3490, 5181, 3491, 10621, 10622, 10623, 3492, 3493, 7104, 3494, 10624, 4080, 3495, 3496, 4081, 7105, 5182, 10625, 5183, 10626, 3497, 10627, 10628, 4082, 10629, 3498, 3499, 10630, 5184, 3500, 4083, 3501, 3502, 10631, 10632, 3503, 10633, 7106, 10634, 10635, 3504, 3505, 5185, 5186, 10636, 4084, 4085, 5187, 3506, 10637, 10638, 3507, 3508, 4086, 3509, 10639, 10640, 4087, 10641, 3510, 3511, 10642, 10643, 10644, 3512, 4088, 4089, 3513, 3514, 7107, 3515, 5188, 4090, 5189, 10645, 5190, 3516, 3517, 10646, 10647, 3518, 10648, 4091, 10649, 10650, 3519, 3520, 4092, 3521, 7108, 4093, 10651, 10652, 4094, 10653, 3522, 3523, 10654, 7109, 10655, 5191, 10656, 3524, 4095, 3525, 3526, 10657, 10658, 10659, 3527, 10660, 4096, 4097, 10661, 7110, 3528, 3529, 10662, 3530, 5192, 4098, 3531, 3532, 4099, 10663, 10664, 4100, 4101, 3533, 10665, 3534, 3535, 5193, 3536, 4102, 7111, 10666, 10667, 10668, 3537, 3538, 10669, 10670, 5194, 7112, 4103, 10671, 3539, 10672, 4104, 3540, 3541, 10673, 10674, 3542, 7113, 3543, 3544, 4105, 5195, 5196, 3545, 5197, 10675, 5198, 10676, 4106, 10677, 3546, 3547, 10678, 10679, 10680, 3548, 4107, 3549, 3550, 5199, 3551, 10681, 10682, 7114, 10683, 3552, 3553, 10684, 4108, 4109, 7115, 5200, 4110, 3554, 10685, 5201, 7116, 3555, 3556, 4111, 10686, 3557, 10687, 10688, 4112, 4113, 3558, 3559, 10689, 3560, 4114, 10690, 5202, 3561, 3562, 10691, 10692, 3563, 7117, 10693, 10694, 10695, 3564, 3565, 5203, 10696, 4115, 5204, 4116, 3566, 10697, 10698, 3567, 3568, 4117, 10699, 10700, 4118, 10701, 3569, 10702, 10703, 7118, 10704, 3570, 3571, 10705, 5205, 3572, 4119, 3573, 3574, 10706, 10707, 3575, 5206, 10708, 4120, 4121, 10709, 10710, 3576, 3577, 7119, 3578, 10711, 10712, 4122, 3579, 3580, 4123, 7120, 4124, 4125, 3581, 10713, 3582, 3583, 10714, 10715, 5207, 10716, 3584, 4126, 10717, 7121, 10718, 10719, 3585, 3586, 10720, 4127, 10721, 10722, 3587, 10723, 10724, 4128, 3588, 3589, 10725, 3590, 5208, 3591, 3592, 4129, 10726, 10727, 10728, 3593, 10729, 10730, 5209, 10731, 3594, 3595, 5210, 5211, 3596, 4130, 5212, 4131, 3597, 3598, 7122, 3599, 10732, 4132, 4133, 10733, 10734, 3600, 3601, 10735, 5213, 10736, 4134, 3602, 10737, 3603, 3604, 4135, 5214, 3605, 5215, 5216, 4136, 4137, 3606, 3607, 10738, 7123, 10739, 10740, 3608, 4138, 10741, 10742, 10743, 3609, 3610, 5217, 3611, 10744, 4139, 10745, 5218, 10746, 3612, 3613, 10747, 10748, 4140, 3614, 10749, 3615, 3616, 4141, 10750, 5219, 10751, 10752, 3617, 10753, 10754, 10755, 3618, 3619, 7124, 4142, 10756, 4143, 3620, 4144, 4145, 5220, 3621, 3622, 10757, 10758, 3623, 10759, 7125, 3624, 3625, 5221, 10760, 4146, 3626, 7126, 7127, 10761, 3627, 3628, 4147, 10762, 10763, 10764, 3629, 10765, 5222, 7128, 3630, 3631, 10766, 7129, 10767, 3632, 4148, 4149, 3633, 3634, 10768, 4150, 5223, 3635, 5224, 4151, 7130, 5225, 5226, 3636, 3637, 10769, 10770, 3638, 10771, 10772, 4152, 3639, 3640, 4153, 10773, 3641, 10774, 10775, 5227, 10776, 3642, 3643, 10777, 10778, 10779, 3644, 4154, 10780, 4155, 3645, 3646, 10781, 10782, 3647, 7131, 3648, 3649, 10783, 10784, 4156, 4157, 10785, 3650, 5228, 4158, 3651, 3652, 4159, 10786, 10787, 7132, 4160, 4161, 3653, 10788, 3654, 3655, 5229, 3656, 4162, 10789, 10790, 5230, 5231, 10791, 3657, 3658, 10792, 4163, 10793, 10794, 3659, 10795, 5232, 3660, 3661, 7133, 7134, 3662, 10796, 4164, 3663, 3664, 4165, 5233, 10797, 3665, 5234, 10798, 10799, 10800, 3666, 3667, 10801, 7135, 5235, 3668, 4166, 10802, 10803, 3669, 3670, 5236, 4167, 3671, 10804, 4168, 4169, 10805, 5237, 10806, 3672, 3673, 10807, 10808, 4170, 3674, 10809, 3675, 3676, 4171, 10810, 5238, 3677, 10811, 10812, 3678, 3679, 10813, 10814, 10815, 3680, 4172, 4173, 3681, 3682, 7136, 4174, 10816, 4175, 5239, 10817, 10818, 3683, 10819, 10820, 4176, 3684, 3685, 5240, 4177, 10821, 3686, 10822, 7137, 3687, 3688, 4178, 10823, 10824, 3689, 7138, 10825, 5241, 3690, 3691, 10826, 10827, 3692, 4179, 3693, 3694, 10828, 4180, 4181, 10829, 7139, 10830, 3695, 5242, 10831, 10832, 4182, 3696, 3697, 10833, 3698, 10834, 10835, 5243, 7140, 3699, 3700, 4183, 10836, 3701, 10837, 10838, 10839, 3702, 3703, 7141, 10840, 4184, 4185, 3704, 4186, 7142, 10841, 10842, 3705, 3706, 10843, 7143, 3707, 10844, 4187, 10845, 3708, 3709, 10846, 10847, 10848, 3710, 5244, 3711, 3712, 4188, 3713, 10849, 10850, 5245, 5246, 10851, 3714, 3715, 5247, 3716, 4189, 10852, 4190, 5248, 4191, 3717, 3718, 10853, 10854, 3719, 10855, 5249, 10856, 4192, 4193, 7144, 4194, 3720, 3721, 10857, 3722, 10858, 10859, 10860, 3723, 3724, 4195, 5250, 3725, 5251, 10861, 10862, 10863, 3726, 3727, 10864, 4196, 4197, 3728, 4198, 10865, 5252, 4199, 10866, 3729, 3730, 5253, 3731, 7145, 5254, 10867, 10868, 4200, 3732, 3733, 10869, 3734, 10870, 5255, 5256, 3735, 3736, 4201, 10871, 7146, 3737, 10872, 3738, 3739, 10873, 10874, 10875, 3740, 4202, 10876, 4203, 3741, 3742, 10877, 10878, 3743, 10879, 10880, 4204, 4205, 5257, 7147, 7148, 4206, 3744, 3745, 5258, 10881, 3746, 10882, 10883, 10884, 3747, 3748, 4207, 7149, 3749, 10885, 5259, 3750, 3751, 10886, 10887, 3752, 4208, 4209, 3753, 3754, 10888, 4210, 5260, 4211, 10889, 10890, 3755, 5261, 10891, 10892, 4212, 3756, 3757, 10893, 3758, 10894, 10895, 5262, 3759, 3760, 4213, 10896, 3761, 10897, 10898, 10899, 3762, 3763, 10900, 4214, 7150, 5263, 10901, 10902, 3764, 4215, 3765, 3766, 7151, 10903, 10904, 4216, 4217, 10905, 3767, 10906, 7152, 3768, 3769, 10907, 10908, 3770, 5264, 4218, 3771, 3772, 4219, 10909, 10910, 5265, 3773, 7153, 10911, 3774, 3775, 5266, 10912, 4220, 4221, 3776, 4222, 10913, 7154, 7155, 3777, 3778, 10914, 3779, 10915, 5267, 10916, 4223, 10917, 3780, 3781, 10918, 10919, 10920, 3782, 10921, 10922, 10923, 3783, 3784, 4224, 3785, 5268, 3786, 3787, 7156, 4225, 5269, 10924, 4226, 10925, 5270, 5271, 3788, 4227, 3789, 3790, 5272, 4228, 4229, 10926, 3791, 10927, 7157, 10928, 4230, 3792, 3793, 10929, 3794, 7158, 3795, 3796, 4231, 10930, 5273, 10931, 10932, 3797, 10933, 10934, 7159, 10935, 3798, 3799, 10936, 4232, 4233, 3800, 4234, 10937, 10938, 3801, 3802, 10939, 10940, 4235, 5274, 3803, 10941, 3804, 3805, 5275, 5276, 4236, 3806, 10942, 10943, 10944, 3807, 3808, 4237, 10945, 5277, 3809, 10946, 10947, 3810, 3811, 10948, 4238, 10949, 10950, 3812, 4239, 3813, 3814, 10951, 10952, 4240, 4241, 10953, 3815, 5278, 7160, 4242, 3816, 3817, 10954, 10955, 5279, 10956, 3818, 10957, 10958, 10959, 3819, 3820, 4243, 10960, 4244, 4245, 3821, 10961, 10962, 3822, 3823, 10963, 10964, 4246, 10965, 3824, 4247, 10966, 10967, 10968, 3825, 3826, 10969, 7161, 3827, 10970, 5280, 3828, 3829, 7162, 10971, 3830, 5281, 10972, 4248, 3831, 3832, 4249, 7163, 10973, 10974, 3833, 10975, 5282, 10976, 4250, 5283, 3834, 3835, 5284, 4251, 3836, 4252, 4253, 10977, 3837, 3838, 10978, 10979, 10980, 3839, 10981, 10982, 10983, 3840, 3841, 10984, 4254, 3842, 10985, 5285, 5286, 3843, 3844, 4255, 5287, 10986, 3845, 5288, 4256, 4257, 3846, 3847, 10987, 10988, 4258, 10989, 3848, 4259, 10990, 5289, 3849, 3850, 5290, 5291, 10991, 10992, 3851, 10993, 10994, 10995, 3852, 3853, 10996, 4260, 3854, 10997, 7164, 3855, 3856, 4261, 10998, 3857, 7165, 5292, 3858, 3859, 10999, 11000, 4262, 11001, 3860, 4263, 3861, 3862, 11002, 11003, 11004, 3863, 11005, 5293, 11006, 11007, 3864, 3865, 5294, 11008, 4264, 4265, 5295, 3866, 11009, 11010, 3867, 3868, 4266, 3869, 11011, 7166, 11012, 4267, 11013, 3870, 3871, 7167, 3872, 4268, 4269, 3873, 3874, 11014, 11015, 5296, 4270, 5297, 11016, 3875, 5298, 3876, 3877, 11017, 11018, 7168, 4271, 11019, 3878, 7169, 11020, 4272, 3879, 3880, 4273, 11021, 11022, 3881, 11023, 11024, 4274, 11025, 3882, 3883, 11026, 11027, 11028, 3884, 4275, 3885, 3886, 11029, 11030, 5299, 7170, 3887, 11031, 3888, 3889, 11032, 4276, 4277, 7171, 11033, 11034, 3890, 5300, 4278, 3891, 3892, 4279, 11035, 5301, 3893, 11036, 4280, 4281, 3894, 3895, 5302, 11037, 3896, 4282, 11038, 11039, 7172, 4283, 11040, 3897, 3898, 11041, 11042, 11043, 3899, 7173, 3900, 3901, 11044, 4284, 3902, 11045, 5303, 11046, 3903, 3904, 4285, 5304, 3905, 5305, 5306, 7174, 11047, 11048, 4286, 11049, 3906, 3907, 11050, 5307, 3908, 4287, 3909, 3910, 5308, 4288, 4289, 11051, 11052, 3911, 11053, 7175, 5309, 11054, 11055, 3912, 3913, 7176, 3914, 11056, 4290, 3915, 3916, 4291, 7177, 11057, 11058, 3917, 11059, 11060, 4292, 4293, 3918, 3919, 11061, 3920, 4294, 11062, 11063, 11064, 3921, 3922, 11065, 5310, 3923, 11066, 11067, 3924, 3925, 5311, 11068, 4295, 5312, 4296, 3926, 11069, 11070, 3927, 3928, 4297, 11071, 11072, 4298, 7178, 11073, 3929, 11074, 7179, 3930, 3931, 11075, 5313, 3932, 4299, 3933, 3934, 7180, 4300, 4301, 11076, 3935, 5314, 11077, 11078, 11079, 3936, 3937, 11080, 4302, 3938, 11081, 7181, 11082, 3939, 3940, 4303, 11083, 11084, 4304, 4305, 3941, 7182, 3942, 3943, 11085, 3944, 4306, 11086, 11087, 11088, 3945, 3946, 11089, 11090, 5315, 5316, 3947, 11091, 3948, 3949, 11092, 4307, 11093, 11094, 3950, 5317, 11095, 5318, 11096, 4308, 3951, 3952, 4309, 11097, 3953, 11098, 11099, 11100, 3954, 3955, 5319, 3956, 4310, 5320, 4311, 3957, 3958, 11101, 11102, 7183, 11103, 3959, 11104, 4312, 4313, 11105, 5321, 11106, 3960, 3961, 11107, 11108, 4314, 3962, 7184, 4315, 5322, 3963, 3964, 4316, 4317, 3965, 5323, 11109, 3966, 3967, 11110, 5324, 4318, 11111, 11112, 3968, 4319, 7185, 3969, 3970, 5325, 3971, 11113, 11114, 11115, 3972, 3973, 11116, 4320, 3974, 11117, 11118, 3975, 3976, 4321, 11119, 11120, 4322, 11121, 3977, 11122, 11123, 7186, 11124, 3978, 3979, 11125, 5326, 11126, 11127, 3980, 4323, 3981, 3982, 11128, 4324, 4325, 5327, 7187, 11129, 11130, 3983, 7188, 3984, 3985, 5328, 3986, 11131, 11132, 4326, 3987, 3988, 4327, 11133, 3989, 11134, 11135, 5329, 11136, 3990, 3991, 11137, 7189, 7190, 5330, 5331, 3992, 4328, 4329, 3993, 3994, 11138, 11139, 3995, 5332, 4330, 5333, 11140, 4331, 11141, 11142, 3996, 3997, 7191, 3998, 11143, 11144, 4332, 3999, 11145, 5334, 6000, 4333, 7192, 4334, 11146, 11147, 11148, 4335, 5335, 5336, 4336, 4337, 11149, 11150, 5337, 9000, 4338, 6001, 11151, 7193, 11152, 4339, 11153, 11154, 6002, 11155, 5338, 11156, 4340, 4341, 11157, 11158, 7194, 6003, 9001, 11159, 11160, 4342, 11161, 11162, 11163, 11164, 4343, 11165, 5339, 11166, 6004, 4344, 4345, 5340, 4346, 11167, 11168, 4347, 7195, 5341, 7196, 4348, 4349, 11169, 9002, 7197, 11170, 5342, 11171, 11172, 4350, 5343, 11173, 11174, 11175, 5344, 4351, 11176, 4352, 4353, 11177, 11178, 6005, 5345, 5346, 6006, 6007, 11179, 7198, 11180, 4354, 7199, 11181, 11182, 11183, 11184, 4355, 5347, 11185, 5348, 4356, 4357, 11186, 7200, 4358, 11187, 9003, 11188, 4359, 11189, 11190, 5349, 11191, 11192, 4360, 4361, 7201, 11193, 7202, 11194, 11195, 5350, 5351, 11196, 4362, 6008, 4363, 11197, 11198, 11199, 11200, 4364, 4365, 5352, 4366, 11201, 11202, 6009, 11203, 11204, 4367, 11205, 5353, 11206, 11207, 7203, 7204, 4368, 4369, 11208, 4370, 5354, 11209, 11210, 5355, 5356, 4371, 11211, 11212, 4372, 4373, 11213, 11214, 6010, 5357, 11215, 5358, 6011, 11216, 4374, 6012, 4375, 5359, 11217, 11218, 11219, 11220, 4376, 4377, 11221, 7205, 5360, 4378, 11222, 11223, 9004, 4379, 11224, 4380, 4381, 11225, 5361, 11226, 6013, 7206, 6014, 11227, 11228, 4382, 7207, 11229, 11230, 5362, 7208, 4383, 9005, 5363, 11231, 11232, 4384, 4385, 5364, 4386, 6015, 5365, 5366, 11233, 11234, 11235, 5367, 11236, 4387, 11237, 11238, 6016, 4388, 4389, 7209, 9006, 6017, 11239, 11240, 4390, 5368, 4391, 11241, 9007, 11242, 7210, 5369, 7211, 11243, 11244, 4392, 4393, 11245, 5370, 5371, 11246, 11247, 11248, 4394, 11249, 7212, 4395, 5372, 4396, 4397, 11250, 5373, 9008, 4398, 6018, 6019, 11251, 11252, 4399, 11253, 11254, 11255, 5374, 11256, 4400, 4401, 9009, 7213, 11257, 11258, 11259, 9010, 5375, 5376, 4402, 11260, 4403, 7214, 11261, 11262, 6020, 4404, 4405, 5377, 11263, 7215, 5378, 11264, 4406, 11265, 5379, 11266, 11267, 11268, 4407, 11269, 11270, 5380, 4408, 4409, 11271, 11272, 4410, 5381, 11273, 11274, 6021, 9011, 11275, 5382, 6022, 11276, 4411, 11277, 7216, 4412, 4413, 11278, 11279, 11280, 4414, 11281, 11282, 11283, 11284, 4415, 5383, 7217, 7218, 6023, 11285, 5384, 4416, 4417, 7219, 11286, 6024, 4418, 11287, 11288, 4419, 9012, 4420, 4421, 11289, 11290, 5385, 5386, 11291, 7220, 4422, 6025, 5387, 11292, 4423, 11293, 11294, 11295, 5388, 4424, 4425, 5389, 11296, 4426, 11297, 11298, 6026, 11299, 11300, 4427, 11301, 11302, 11303, 11304, 4428, 4429, 11305, 5390, 5391, 9013, 11306, 11307, 11308, 4430, 5392, 4431, 7221, 11309, 11310, 5393, 11311, 11312, 4432, 4433, 11313, 9014, 11314, 11315, 5394, 6027, 7222, 11316, 4434, 6028, 4435, 5395, 5396, 4436, 4437, 9015, 5397, 7223, 11317, 11318, 11319, 7224, 4438, 7225, 5398, 11320, 4439, 11321, 11322, 6029, 11323, 11324, 4440, 4441, 11325, 5399, 11326, 7226, 11327, 11328, 4442, 11329, 11330, 5400, 4443, 11331, 9016, 4444, 4445, 5401, 11332, 4446, 6030, 5402, 11333, 7227, 9017, 11334, 6031, 11335, 5403, 11336, 4447, 11337, 11338, 11339, 11340, 4448, 4449, 11341, 11342, 11343, 11344, 4450, 5404, 4451, 11345, 5405, 5406, 6032, 4452, 4453, 11346, 6033, 11347, 7228, 4454, 11348, 4455, 5407, 11349, 9018, 6034, 7229, 11350, 5408, 4456, 4457, 11351, 11352, 4458, 6035, 5409, 9019, 11353, 11354, 7230, 5410, 5411, 7231, 7232, 4459, 7233, 11355, 5412, 4460, 4461, 11356, 4462, 11357, 11358, 6036, 4463, 11359, 11360, 4464, 4465, 5413, 11361, 7234, 11362, 11363, 11364, 4466, 7235, 5414, 11365, 5415, 5416, 4467, 11366, 11367, 9020, 4468, 4469, 11368, 4470, 5417, 11369, 11370, 5418, 6037, 11371, 11372, 4471, 11373, 11374, 11375, 5419, 11376, 4472, 4473, 7236, 4474, 11377, 11378, 11379, 11380, 4475, 5420, 4476, 4477, 11381, 11382, 6038, 11383, 11384, 4478, 11385, 5421, 11386, 11387, 11388, 4479, 11389, 7237, 11390, 5422, 11391, 11392, 4480, 4481, 11393, 11394, 6039, 9021, 11395, 5423, 11396, 4482, 6040, 4483, 11397, 11398, 11399, 11400, 4484, 4485, 5424, 4486, 11401, 11402, 11403, 7238, 7239, 11404, 4487, 7240, 4488, 4489, 11405, 5425, 5426, 11406, 6041, 7241, 11407, 11408, 4490, 5427, 9022, 11409, 11410, 5428, 4491, 9023, 7242, 6042, 6043, 11411, 11412, 4492, 4493, 11413, 11414, 11415, 5429, 11416, 4494, 6044, 4495, 5430, 5431, 11417, 7243, 11418, 6045, 5432, 4496, 4497, 11419, 11420, 4498, 11421, 9024, 4499, 11422, 11423, 11424, 4500, 4501, 7244, 4502, 11425, 5433, 11426, 11427, 11428, 4503, 11429, 11430, 5434, 11431, 7245, 5435, 5436, 4504, 4505, 5437, 11432, 4506, 6046, 11433, 11434, 11435, 5438, 11436, 4507, 11437, 11438, 7246, 11439, 9025, 5439, 7247, 11440, 4508, 4509, 9026, 11441, 11442, 6047, 11443, 11444, 4510, 5440, 4511, 11445, 5441, 11446, 11447, 11448, 4512, 4513, 11449, 11450, 5442, 6048, 4514, 11451, 11452, 4515, 5443, 11453, 11454, 6049, 11455, 5444, 4516, 4517, 11456, 4518, 6050, 5445, 5446, 7248, 4519, 11457, 9027, 9028, 4520, 4521, 11458, 11459, 7249, 11460, 4522, 7250, 5447, 11461, 11462, 11463, 11464, 4523, 11465, 5448, 4524, 4525, 5449, 11466, 6051, 11467, 11468, 4526, 11469, 11470, 5450, 5451, 11471, 11472, 4527, 9029, 11473, 7251, 11474, 11475, 5452, 4528, 4529, 7252, 4530, 5453, 7253, 11476, 4531, 11477, 11478, 6052, 4532, 4533, 11479, 11480, 4534, 11481, 11482, 11483, 11484, 4535, 5454, 6053, 11485, 5455, 5456, 4536, 4537, 11486, 11487, 7254, 6054, 6055, 5457, 11488, 4538, 11489, 11490, 5458, 11491, 11492, 4539, 11493, 9030, 5459, 11494, 7255, 5460, 4540, 4541, 11495, 5461, 11496, 4542, 6056, 4543, 7256, 4544, 4545, 5462, 11497, 11498, 11499, 11500, 4546, 11501, 7257, 11502, 6057, 9031, 11503, 11504, 4547, 11505, 5463, 9032, 4548, 4549, 11506, 11507, 11508, 4550, 5464, 4551, 11509, 11510, 5465, 5466, 6058, 11511, 9033, 11512, 4552, 4553, 11513, 11514, 6059, 11515, 5467, 7258, 11516, 4554, 6060, 4555, 5468, 4556, 4557, 7259, 7260, 4558, 11517, 11518, 11519, 11520, 4559, 11521, 11522, 7261, 11523, 11524, 4560, 4561, 11525, 5469, 11526, 6061, 11527, 11528, 4562, 11529, 7262, 11530, 5470, 5471, 11531, 11532, 4563, 9034, 11533, 11534, 11535, 5472, 4564, 4565, 5473, 11536, 4566, 6062, 7263, 9035, 5474, 7264, 4567, 11537, 11538, 6063, 11539, 11540, 4568, 4569, 11541, 11542, 11543, 7265, 5475, 5476, 4570, 5477, 11544, 4571, 7266, 6064, 4572, 4573, 11545, 5478, 6065, 5479, 11546, 11547, 9036, 4574, 11548, 4575, 5480, 4576, 4577, 11549, 11550, 5481, 7267, 11551, 11552, 4578, 6066, 6067, 11553, 11554, 11555, 5482, 11556, 4579, 11557, 7268, 4580, 4581, 9037, 7269, 11558, 11559, 11560, 4582, 11561, 11562, 6068, 4583, 11563, 11564, 4584, 4585, 5483, 11565, 5484, 4586, 11566, 11567, 11568, 4587, 11569, 11570, 5485, 5486, 11571, 7270, 5487, 11572, 4588, 4589, 11573, 11574, 6069, 7271, 11575, 5488, 4590, 5489, 11576, 4591, 11577, 11578, 7272, 4592, 4593, 11579, 11580, 4594, 11581, 11582, 11583, 9038, 11584, 4595, 5490, 5491, 11585, 5492, 4596, 4597, 11586, 6070, 5493, 11587, 11588, 4598, 11589, 11590, 5494, 11591, 11592, 4599, 7273, 7274, 11593, 11594, 11595, 5495, 5496, 4600, 4601, 11596, 4602, 6071, 11597, 11598, 6072, 4603, 11599, 7275, 5497, 11600, 4604, 4605, 5498, 11601, 9039, 11602, 11603, 11604, 4606, 7276, 4607, 11605, 5499, 9040, 4608, 4609, 11606, 7277, 11607, 11608, 4610, 5500, 4611, 11609, 11610, 5501, 11611, 11612, 4612, 4613, 7278, 6073, 11613, 7279, 11614, 11615, 5502, 6074, 11616, 4614, 6075, 5503, 11617, 11618, 11619, 9041, 11620, 4615, 5504, 4616, 4617, 9042, 6076, 4618, 11621, 11622, 6077, 11623, 11624, 4619, 11625, 5505, 5506, 11626, 11627, 7280, 4620, 4621, 11628, 4622, 11629, 11630, 5507, 11631, 11632, 4623, 11633, 11634, 6078, 6079, 11635, 5508, 4624, 4625, 5509, 7281, 9043, 11636, 4626, 6080, 4627, 7282, 11637, 9044, 4628, 4629, 11638, 11639, 11640, 4630, 5510, 5511, 11641, 7283, 11642, 11643, 11644, 4631, 11645, 5512, 4632, 4633, 11646, 6081, 11647, 11648, 4634, 7284, 4635, 5513, 11649, 11650, 5514, 6082, 11651, 11652, 4636, 4637, 11653, 11654, 11655, 5515, 5516, 4638, 6083, 7285, 5517, 9045, 5518, 11656, 4639, 11657, 11658, 6084, 4640, 4641, 7286, 11659, 11660, 4642, 11661, 11662, 7287, 7288, 4643, 11663, 11664, 4644, 4645, 5519, 11665, 5520, 4646, 11666, 11667, 11668, 4647, 11669, 7289, 11670, 5521, 11671, 11672, 4648, 4649, 11673, 9046, 11674, 11675, 5522, 11676, 4650, 5523, 7290, 5524, 4651, 11677, 11678, 11679, 11680, 4652, 4653, 9047, 11681, 11682, 6085, 5525, 5526, 6086, 11683, 7291, 11684, 4654, 11685, 5527, 11686, 11687, 11688, 4655, 5528, 4656, 4657, 11689, 11690, 5529, 11691, 9048, 4658, 11692, 4659, 11693, 11694, 6087, 11695, 5530, 5531, 11696, 4660, 4661, 11697, 7292, 4662, 6088, 4663, 11698, 11699, 11700, 4664, 4665, 5532, 4666, 11701, 11702, 11703, 11704, 4667, 11705, 5533, 11706, 6089, 11707, 11708, 4668, 4669, 7293, 11709, 9049, 11710, 5534, 11711, 7294, 7295, 5535, 5536, 4670, 5537, 7296, 4671, 9050, 5538, 6090, 5539, 11712, 4672, 4673, 11713, 11714, 11715, 5540, 4674, 6091, 11716, 4675, 5541, 11717, 11718, 6092, 4676, 4677, 11719, 11720, 4678, 11721, 11722, 11723, 11724, 4679, 11725, 5542, 11726, 11727, 9051, 7297, 11728, 4680, 4681, 11729, 11730, 5543, 11731, 11732, 4682, 11733, 11734, 11735, 5544, 4683, 7298, 11736, 4684, 4685, 5545, 5546, 11737, 11738, 11739, 7299, 9052, 4686, 6093, 9053, 11740, 4687, 11741, 11742, 6094, 11743, 11744, 4688, 4689, 9054, 6095, 5547, 11745, 5548, 4690, 5549, 11746, 7300, 4691, 11747, 11748, 4692, 4693, 11749, 11750, 5550, 5551, 7301, 7302, 6096, 4694, 11751, 11752, 4695, 5552, 4696, 4697, 7303, 11753, 7304, 4698, 6097, 7305, 5553, 9055, 5554, 11754, 6098, 11755, 5555, 5556, 4699, 11756, 4700, 4701, 11757, 11758, 11759, 11760, 4702, 11761, 11762, 11763, 9056, 4703, 11764, 4704, 4705, 5557, 11765, 5558, 7306, 11766, 6099, 11767, 7307, 11768, 4706, 11769, 11770, 5559, 11771, 11772, 4707, 9057, 11773, 11774, 7308, 4708, 4709, 11775, 5560, 4710, 5561, 11776, 4711, 7309, 11777, 11778, 6100, 4712, 4713, 11779, 11780, 4714, 11781, 7310, 5562, 6101, 11782, 11783, 11784, 4715, 5563, 11785, 5564, 4716, 4717, 11786, 11787, 11788, 4718, 7311, 11789, 11790, 5565, 5566, 11791, 11792, 4719, 11793, 11794, 11795, 5567, 11796, 4720, 4721, 11797, 11798, 11799, 9058, 7312, 4722, 6102, 6103, 11800, 4723, 11801, 11802, 6104, 4724, 4725, 5568, 4726, 11803, 11804, 4727, 11805, 5569, 11806, 11807, 11808, 4728, 4729, 11809, 7313, 11810, 5570, 5571, 9059, 11811, 11812, 4730, 5572, 4731, 11813, 11814, 6105, 5573, 11815, 5574, 6106, 11816, 4732, 4733, 11817, 9060, 4734, 6107, 11818, 11819, 11820, 4735, 5575, 5576, 4736, 4737, 11821, 11822, 11823, 7314, 6108, 4738, 11824, 4739, 7315, 5577, 11825, 5578, 11826, 6109, 11827, 11828, 4740, 4741, 11829, 11830, 5579, 7316, 4742, 11831, 11832, 4743, 9061, 11833, 11834, 11835, 5580, 4744, 4745, 5581, 11836, 4746, 6110, 5582, 11837, 7317, 9062, 11838, 6111, 7318, 11839, 11840, 4747, 11841, 11842, 11843, 11844, 4748, 4749, 11845, 5583, 11846, 11847, 11848, 4750, 5584, 4751, 11849, 11850, 5585, 5586, 6112, 4752, 4753, 7319, 11851, 7320, 4754, 11852, 4755, 5587, 11853, 9063, 9064, 4756, 4757, 11854, 11855, 5588, 4758, 6113, 11856, 4759, 11857, 11858, 7321, 11859, 11860, 4760, 4761, 9065, 5589, 9066, 6114, 6115, 5590, 5591, 11861, 11862, 6116, 4762, 11863, 11864, 4763, 11865, 5592, 4764, 4765, 5593, 7322, 7323, 11866, 11867, 11868, 4766, 11869, 11870, 5594, 11871, 9067, 11872, 4767, 7324, 4768, 4769, 11873, 11874, 6117, 11875, 5595, 5596, 4770, 5597, 11876, 4771, 11877, 11878, 11879, 7325, 5598, 6118, 7326, 6119, 11880, 4772, 4773, 11881, 11882, 11883, 11884, 4774, 7327, 11885, 5599, 11886, 6120, 4775, 5600, 4776, 4777, 11887, 11888, 4778, 11889, 9068, 4779, 9069, 11890, 5601, 11891, 11892, 4780, 4781, 7328, 4782, 6121, 11893, 7329, 7330, 5602, 11894, 11895, 5603, 11896, 4783, 11897, 11898, 6122, 11899, 11900, 4784, 4785, 5604, 4786, 11901, 11902, 11903, 11904, 4787, 11905, 5605, 5606, 11906, 11907, 7331, 11908, 4788, 4789, 11909, 11910, 5607, 7332, 4790, 5608, 4791, 11911, 11912, 4792, 4793, 11913, 11914, 7333, 11915, 5609, 11916, 4794, 6123, 11917, 11918, 11919, 11920, 4795, 5610, 5611, 11921, 7334, 11922, 6124, 4796, 4797, 9070, 5612, 4798, 11923, 11924, 4799, 11925, 5613, 11926, 11927, 11928, 4800, 4801, 11929, 11930, 5614, 7335, 5615, 5616, 4802, 7336, 4803, 11931, 11932, 4804, 4805, 5617, 11933, 11934, 6125, 5618, 11935, 5619, 11936, 4806, 6126, 6127, 11937, 11938, 11939, 11940, 4807, 11941, 11942, 7337, 11943, 9071, 11944, 4808, 4809, 7338, 6128, 4810, 5620, 4811, 11945, 5621, 7339, 11946, 6129, 9072, 4812, 4813, 11947, 11948, 4814, 11949, 7340, 4815, 5622, 6130, 5623, 11950, 5624, 4816, 4817, 11951, 11952, 4818, 6131, 11953, 11954, 11955, 5625, 5626, 11956, 4819, 11957, 11958, 6132, 4820, 4821, 11959, 11960, 4822, 11961, 9073, 11962, 11963, 7341, 11964, 4823, 7342, 11965, 5627, 11966, 11967, 11968, 4824, 4825, 5628, 4826, 11969, 11970, 5629, 11971, 11972, 4827, 11973, 11974, 11975, 5630, 5631, 11976, 4828, 4829, 11977, 7343, 7344, 4830, 5632, 4831, 11978, 11979, 9074, 11980, 4832, 4833, 9075, 5633, 11981, 11982, 6133, 11983, 11984, 4834, 11985, 5634, 6134, 11986, 11987, 11988, 4835, 5635, 5636, 4836, 4837, 7345, 5637, 11989, 11990, 5638, 11991, 7346, 11992, 4838, 11993, 11994, 6135, 5639, 11995, 5640, 4839, 11996, 4840, 4841, 11997, 9076, 4842, 6136, 4843, 11998, 7347, 11999, 12000, 4844, 4845, 5641, 12001, 12002, 12003, 12004, 4846, 12005, 5642, 7348, 4847, 12006, 6137, 12007, 12008, 4848, 4849, 12009, 12010, 5643, 9077, 12011, 12012, 4850, 5644, 4851, 7349, 12013, 12014, 12015, 5645, 5646, 6138, 6139, 7350, 5647, 12016, 4852, 4853, 12017, 12018, 6140, 4854, 6141, 12019, 7351, 12020, 4855, 5648, 4856, 4857, 12021, 12022, 12023, 12024, 4858, 7352, 4859, 12025, 5649, 7353, 9078, 6142, 12026, 7354, 12027, 12028, 4860, 4861, 12029, 12030, 5650, 5651, 12031, 12032, 4862, 12033, 7355, 5652, 4863, 12034, 12035, 5653, 12036, 4864, 4865, 5654, 12037, 12038, 12039, 12040, 4866, 6143, 12041, 12042, 6144, 4867, 12043, 12044, 4868, 4869, 9079, 7356, 4870, 5655, 5656, 4871, 12045, 5657, 12046, 12047, 7357, 7358, 12048, 4872, 4873, 12049, 12050, 5658, 6145, 5659, 12051, 9080, 4874, 12052, 4875, 5660, 4876, 4877, 12053, 12054, 6146, 7359, 12055, 5661, 9081, 9082, 12056, 4878, 6147, 9083, 12057, 12058, 12059, 12060, 4879, 7360, 4880, 4881, 12061, 7361, 12062, 12063, 12064, 4882, 12065, 5662, 12066, 6148, 4883, 12067, 12068, 4884, 4885, 5663, 7362, 6149, 12069, 9084, 4886, 7363, 12070, 5664, 4887, 9085, 5665, 5666, 12071, 12072, 4888, 4889, 12073, 12074, 12075, 5667, 12076, 4890, 5668, 4891, 12077, 12078, 6150, 5669, 12079, 12080, 4892, 4893, 7364, 4894, 12081, 12082, 7365, 5670, 5671, 12083, 12084, 4895, 5672, 4896, 4897, 12085, 5673, 12086, 12087, 9086, 7366, 12088, 4898, 12089, 7367, 12090, 5674, 12091, 12092, 4899, 12093, 12094, 12095, 5675, 5676, 4900, 4901, 12096, 4902, 6151, 12097, 12098, 12099, 12100, 4903, 12101, 12102, 6152, 4904, 4905, 5677, 7368, 4906, 12103, 7369, 12104, 4907, 7370, 5678, 12105, 5679, 9087, 12106, 12107, 12108, 4908, 4909, 12109, 12110, 5680, 4910, 5681, 12111, 12112, 4911, 12113, 12114, 6153, 7371, 7372, 4912, 4913, 12115, 5682, 6154, 12116, 4914, 6155, 5683, 12117, 7373, 12118, 12119, 12120, 4915, 5684, 4916, 4917, 12121, 12122, 12123, 9088, 4918, 12124, 4919, 12125, 5685, 5686, 12126, 6156, 4920, 4921, 7374, 6157, 12127, 12128, 4922, 12129, 12130, 5687, 12131, 7375, 5688, 4923, 9089, 12132, 4924, 4925, 5689, 12133, 12134, 12135, 5690, 5691, 7376, 4926, 6158, 12136, 4927, 12137, 12138, 6159, 12139, 12140, 4928, 4929, 12141, 9090, 5692, 4930, 5693, 12142, 12143, 12144, 4931, 12145, 5694, 6160, 4932, 4933, 12146, 12147, 12148, 4934, 12149, 12150, 5695, 5696, 4935, 5697, 9091, 12151, 12152, 4936, 4937, 12153, 12154, 12155, 5698, 7377, 12156, 4938, 6161, 12157, 12158, 12159, 7378, 7379, 12160, 4939, 12161, 12162, 6162, 6163, 12163, 12164, 4940, 4941, 9092, 4942, 7380, 4943, 12165, 5699, 12166, 7381, 12167, 12168, 4944, 4945, 5700, 4946, 12169, 12170, 5701, 12171, 12172, 4947, 12173, 7382, 12174, 6164, 4948, 4949, 7383, 12175, 5702, 12176, 4950, 5703, 12177, 9093, 7384, 4951, 12178, 12179, 12180, 4952, 4953, 12181, 12182, 12183, 12184, 4954, 12185, 5704, 4955, 5705, 5706, 6165, 5707, 12186, 6166, 12187, 7385, 5708, 4956, 4957, 12188, 4958, 12189, 12190, 5709, 12191, 12192, 4959, 9094, 12193, 12194, 7386, 6167, 7387, 12195, 5710, 5711, 12196, 4960, 4961, 12197, 12198, 6168, 4962, 6169, 12199, 12200, 4963, 7388, 4964, 4965, 5712, 4966, 12201, 7389, 9095, 5713, 12202, 12203, 12204, 4967, 12205, 5714, 12206, 12207, 12208, 4968, 4969, 12209, 12210, 5715, 5716, 4970, 5717, 12211, 12212, 4971, 12213, 9096, 4972, 4973, 12214, 12215, 5718, 6170, 5719, 7390, 5720, 4974, 6171, 12216, 4975, 5721, 12217, 12218, 12219, 12220, 4976, 4977, 7391, 12221, 12222, 6172, 4978, 12223, 12224, 4979, 12225, 5722, 12226, 12227, 12228, 4980, 4981, 12229, 7392, 4982, 12230, 5723, 12231, 9097, 12232, 4983, 12233, 12234, 6173, 12235, 5724, 4984, 4985, 5725, 5726, 7393, 12236, 4986, 6174, 6175, 5727, 12237, 12238, 12239, 12240, 4987, 12241, 12242, 12243, 7394, 12244, 4988, 4989, 12245, 5728, 4990, 5729, 12246, 6176, 4991, 7395, 5730, 5731, 12247, 12248, 4992, 4993, 12249, 9098, 12250, 5732, 4994, 12251, 12252, 4995, 5733, 7396, 4996, 4997, 12253, 12254, 12255, 5734, 12256, 4998, 6177, 12257, 7397, 12258, 6178, 12259, 12260, 4999, 12261, 12262, 12263, 12264, 6179, 12265, 5735, 5736, 6180, 5737, 12266, 12267, 9099, 9100, 5738, 12268, 12269, 12270, 5739, 12271, 7398, 6181, 7399, 7400, 5740, 5741, 12272, 8000, 5742, 6182, 12273, 12274, 12275, 5743, 12276, 6183, 9101, 12277, 12278, 7401, 12279, 12280, 5744, 8001, 7402, 12281, 12282, 6184, 8002, 12283, 12284, 12285, 5745, 5746, 12286, 12287, 12288, 6185, 5747, 7403, 12289, 12290, 5748, 6186, 6187, 12291, 12292, 7404, 6188, 7405, 5749, 12293, 12294, 6189, 12295, 5750, 5751, 9102, 6190, 5752, 8003, 12296, 8004, 6191, 12297, 12298, 12299, 7406, 7407, 9103, 12300, 5753, 12301, 12302, 12303, 9104, 8005, 5754, 6192, 6193, 12304, 8006, 12305, 5755, 5756, 12306, 6194, 12307, 12308, 12309, 12310, 5757, 12311, 12312, 6195, 5758, 12313, 7408, 8007, 12314, 12315, 5759, 12316, 12317, 12318, 6196, 12319, 12320, 5760, 5761, 7409, 12321, 9105, 5762, 12322, 12323, 12324, 6197, 12325, 5763, 12326, 12327, 7410, 5764, 12328, 8008, 7411, 12329, 12330, 5765, 5766, 6198, 6199, 12331, 12332, 12333, 12334, 7412, 12335, 5767, 12336, 6200, 5768, 7413, 7414, 12337, 12338, 12339, 9106, 12340, 5769, 9107, 7415, 5770, 5771, 12341, 7416, 6201, 9108, 6202, 7417, 12342, 6203, 12343, 12344, 8009, 12345, 5772, 6204, 6205, 5773, 12346, 12347, 12348, 6206, 12349, 12350, 5774, 12351, 12352, 8010, 5775, 5776, 8011, 12353, 12354, 6207, 12355, 5777, 12356, 12357, 9109, 12358, 12359, 12360, 5778, 6208, 8012, 12361, 12362, 7418, 12363, 12364, 12365, 5779, 12366, 6209, 7419, 12367, 12368, 8013, 12369, 7420, 5780, 5781, 12370, 5782, 7421, 12371, 12372, 6210, 5783, 12373, 12374, 12375, 5784, 6211, 12376, 7422, 6212, 12377, 12378, 6213, 12379, 12380, 5785, 5786, 12381, 12382, 12383, 7423, 12384, 6214, 12385, 5787, 9110, 5788, 12386, 12387, 12388, 12389, 12390, 5789, 7424, 8014, 12391, 12392, 8015, 5790, 5791, 12393, 9111, 12394, 12395, 5792, 8016, 6215, 5793, 12396, 6216, 6217, 12397, 7425, 5794, 12398, 12399, 12400, 5795, 5796, 6218, 12401, 12402, 6219, 9112, 8017, 12403, 12404, 7426, 12405, 5797, 12406, 12407, 12408, 6220, 5798, 12409, 12410, 5799, 12411, 7427, 7428, 6221, 12412, 12413, 12414, 6222, 6223, 7429, 12415, 5800, 5801, 12416, 8018, 12417, 12418, 7430, 5802, 6224, 8019, 9113, 12419, 12420, 5803, 7431, 12421, 12422, 12423, 12424, 8020, 5804, 12425, 5805, 5806, 12426, 6225, 5807, 12427, 12428, 12429, 9114, 6226, 12430, 5808, 6227, 12431, 12432, 6228, 6229, 12433, 12434, 12435, 5809, 12436, 12437, 12438, 6230, 5810, 5811, 12439, 7432, 8021, 12440, 5812, 12441, 12442, 12443, 12444, 6231, 12445, 5813, 12446, 7433, 12447, 9115, 5814, 6232, 8022, 6233, 12448, 8023, 12449, 12450, 5815, 5816, 8024, 8025, 5817, 7434, 6234, 6235, 5818, 12451, 12452, 12453, 7435, 5819, 12454, 12455, 5820, 5821, 12456, 6236, 12457, 12458, 12459, 12460, 5822, 12461, 12462, 6237, 7436, 12463, 12464, 8026, 12465, 5823, 9116, 12466, 12467, 7437, 12468, 6238, 12469, 12470, 5824, 7438, 12471, 12472, 8027, 12473, 12474, 6239, 12475, 5825, 5826, 6240, 5827, 12476, 12477, 12478, 12479, 12480, 5828, 12481, 7439, 12482, 12483, 9117, 9118, 12484, 12485, 5829, 12486, 6241, 12487, 12488, 7440, 5830, 5831, 7441, 7442, 12489, 12490, 5832, 6242, 12491, 12492, 6243, 12493, 12494, 12495, 5833, 12496, 8028, 6244, 7443, 9119, 12497, 12498, 6245, 5834, 12499, 12500, 5835, 5836, 12501, 9120, 5837, 12502, 7444, 12503, 12504, 6246, 6247, 12505, 5838, 6248, 8029, 7445, 5839, 12506, 12507, 12508, 12509, 7446, 6249, 12510, 5840, 5841, 9121, 7447, 12511, 12512, 8030, 5842, 12513, 12514, 12515, 5843, 12516, 6250, 5844, 6251, 7448, 7449, 12517, 12518, 12519, 9122, 12520, 5845, 5846, 12521, 12522, 6252, 6253, 12523, 7450, 5847, 12524, 12525, 5848, 8031, 12526, 12527, 12528, 6254, 12529, 12530, 5849, 12531, 12532, 12533, 12534, 6255, 5850, 5851, 12535, 5852, 7451, 12536, 8032, 8033, 12537, 7452, 6256, 8034, 6257, 12538, 12539, 12540, 5853, 12541, 12542, 12543, 12544, 7453, 12545, 5854, 12546, 6258, 6259, 12547, 12548, 12549, 12550, 5855, 5856, 6260, 5857, 12551, 7454, 12552, 6261, 12553, 12554, 12555, 5858, 12556, 12557, 12558, 6262, 12559, 12560, 5859, 7455, 5860, 5861, 12561, 12562, 12563, 12564, 6263, 12565, 5862, 6264, 6265, 5863, 12566, 12567, 12568, 8035, 5864, 8036, 7456, 8037, 9123, 12569, 12570, 5865, 5866, 7457, 12571, 12572, 7458, 6266, 12573, 9124, 12574, 12575, 5867, 12576, 6267, 12577, 12578, 12579, 7459, 12580, 5868, 6268, 12581, 12582, 6269, 12583, 12584, 8038, 12585, 5869, 12586, 7460, 5870, 5871, 12587, 12588, 6270, 5872, 8039, 12589, 12590, 5873, 7461, 9125, 5874, 6271, 12591, 9126, 6272, 7462, 7463, 12592, 8040, 5875, 5876, 12593, 7464, 6273, 9127, 12594, 6274, 12595, 5877, 9128, 7465, 5878, 12596, 12597, 12598, 12599, 12600, 5879, 12601, 12602, 12603, 12604, 12605, 5880, 5881, 12606, 6275, 5882, 12607, 7466, 12608, 8041, 12609, 9129, 12610, 5883, 12611, 12612, 6276, 6277, 12613, 12614, 7467, 12615, 5884, 12616, 8042, 12617, 12618, 6278, 12619, 12620, 5885, 5886, 6279, 7468, 12621, 7469, 7470, 5887, 7471, 12622, 12623, 12624, 6280, 5888, 8043, 7472, 8044, 12625, 5889, 12626, 12627, 9130, 5890, 5891, 12628, 7473, 12629, 12630, 5892, 6281, 12631, 12632, 8045, 5893, 12633, 12634, 12635, 5894, 7474, 12636, 6282, 6283, 12637, 12638, 12639, 12640, 5895, 5896, 8046, 6284, 12641, 12642, 6285, 5897, 12643, 12644, 12645, 5898, 6286, 7475, 5899, 12646, 12647, 12648, 6287, 12649, 7476, 6288, 6289, 12650, 5900, 5901, 7477, 12651, 12652, 12653, 12654, 6290, 5902, 12655, 5903, 12656, 7478, 12657, 12658, 12659, 12660, 5904, 6291, 9131, 12661, 12662, 12663, 7479, 9132, 6292, 12664, 8047, 12665, 5905, 5906, 12666, 6293, 7480, 5907, 12667, 12668, 12669, 12670, 5908, 7481, 12671, 12672, 6294, 6295, 5909, 12673, 12674, 12675, 5910, 5911, 12676, 12677, 7482, 6296, 8048, 8049, 12678, 6297, 12679, 12680, 5912, 8050, 5913, 9133, 12681, 9134, 12682, 12683, 12684, 6298, 12685, 5914, 12686, 12687, 12688, 8051, 12689, 12690, 5915, 5916, 6299, 12691, 7483, 7484, 12692, 12693, 12694, 12695, 5917, 12696, 6300, 5918, 12697, 12698, 7485, 5919, 12699, 9135, 5920, 5921, 12700, 5922, 6301, 12701, 12702, 6302, 12703, 12704, 8052, 6303, 12705, 5923, 12706, 12707, 12708, 6304, 8053, 12709, 12710, 5924, 12711, 12712, 7486, 12713, 12714, 6305, 5925, 5926, 12715, 5927, 12716, 12717, 9136, 8054, 12718, 12719, 7487, 12720, 5928, 6306, 6307, 7488, 6308, 12721, 12722, 12723, 12724, 12725, 5929, 7489, 12726, 6309, 9137, 12727, 12728, 8055, 5930, 5931, 9138, 6310, 5932, 12729, 12730, 5933, 12731, 12732, 6311, 12733, 7490, 5934, 6312, 6313, 12734, 12735, 5935, 5936, 7491, 12736, 8056, 8057, 7492, 12737, 12738, 6314, 7493, 12739, 12740, 5937, 12741, 12742, 12743, 12744, 6315, 5938, 12745, 5939, 12746, 12747, 7494, 6316, 12748, 12749, 12750, 5940, 5941, 12751, 12752, 8058, 6317, 12753, 9139, 12754, 7495, 5942, 12755, 5943, 7496, 8059, 12756, 6318, 6319, 12757, 12758, 12759, 12760, 5944, 8060, 5945, 5946, 6320, 5947, 12761, 7497, 7498, 12762, 6321, 7499, 12763, 12764, 12765, 5948, 12766, 12767, 12768, 6322, 12769, 12770, 5949, 9140, 5950, 5951, 12771, 9141, 12772, 12773, 12774, 6323, 12775, 5952, 6324, 6325, 5953, 12776, 8061, 12777, 12778, 12779, 12780, 5954, 12781, 12782, 7500, 5955, 5956, 12783, 12784, 8062, 12785, 5957, 7501, 12786, 6326, 12787, 12788, 12789, 7502, 12790, 5958, 6327, 9142, 7503, 12791, 12792, 6328, 7504, 7505, 5959, 12793, 12794, 12795, 5960, 5961, 12796, 7506, 6329, 12797, 12798, 6330, 5962, 12799, 12800, 5963, 12801, 12802, 12803, 7507, 12804, 6331, 12805, 5964, 6332, 12806, 12807, 9143, 12808, 8063, 12809, 12810, 5965, 5966, 12811, 12812, 12813, 12814, 12815, 5967, 9144, 6333, 12816, 6334, 12817, 7508, 12818, 12819, 12820, 5968, 8064, 6335, 5969, 12821, 12822, 6336, 6337, 12823, 12824, 7509, 12825, 5970, 5971, 7510, 5972, 12826, 12827, 12828, 6338, 12829, 12830, 5973, 12831, 7511, 7512, 6339, 12832, 8065, 5974, 12833, 12834, 6340, 5975, 5976, 6341, 12835, 5977, 12836, 12837, 12838, 7513, 12839, 12840, 5978, 7514, 12841, 12842, 12843, 9145, 5979, 12844, 12845, 5980, 5981, 12846, 6342, 6343, 12847, 12848, 8066, 12849, 12850, 5982, 6344, 8067, 12851, 12852, 6345, 5983, 12853, 12854, 12855, 5984, 8068, 12856, 8069, 12857, 12858, 6346, 12859, 7515, 5985, 5986, 12860, 5987, 12861, 9146, 12862, 12863, 12864, 6347, 12865, 5988, 6348, 6349, 7516, 12866, 7517, 12867, 12868, 12869, 12870, 5989, 12871, 12872, 8070, 5990, 5991, 12873, 7518, 6350, 5992, 7519, 12874, 12875, 5993, 12876, 6351, 12877, 12878, 12879, 9147, 12880, 5994, 6352, 8071, 7520, 5995, 5996, 12881, 12882, 6353, 12883, 12884, 12885, 5997, 12886, 12887, 7521, 12888, 6354, 6355, 5998, 12889, 12890, 5999, 7522, 12891, 12892, 12893, 12894, 6356, 7523, 12895, 12896, 8072, 8073, 9148,...

 

[Charles Greathouse]:

 

> Yes, this is a permutation of the positive integers. Suppose not, then there is some least number which does not occur (since no numbers are repeated by definition). The last of the numbers occurring before it appears by some number N, after which point no multiples of the first digit of the number can occur. But these multiples will occur with all digits 1-9 infinitely often, and so will eventually be picked up regardless of what initial digits the terms of the sequence after the first N have.

 

Charles Greathouse

Analyst/Programmer

Case Western Reserve University

 

__________

 

Many thanks to all contributors – good job, nice graph!

Best,

É.