[ [ 15, 42, 55, 69, 83, 86, 94, 107, 116, 147, 152, 207, 233, 259, 265, 298, 301, 304, 323, 365, 381, 
      388, 406, 409, 430, 437, 442, 470, 471, 477, 485, 486, 516, 533, 538, 539, 541, 545, 555, 556, 
      561, 564, 579, 600, 606, 609, 621, 623, 632, 645, 646, 675, 700, 703, 709, 715, 731, 737, 753, 
      764, 779, 794, 816, 841, 858, 859, 887, 899, 933, 966, 997, 1002, 1006, 1008, 1035, 1056, 1063, 
      1088, 1101, 1115, 1146, 1169, 1177, 1217, 1230, 1238, 1248, 1249, 1251, 1265, 1283, 1284, 1307, 
      1311, 1351, 1361, 1391, 1407, 1418, 1439, 1444, 1467, 1468, 1483, 1486, 1495, 1508, 1528, 1538, 
      1556, 1584, 1591, 1603, 1658, 1684, 1694, 1698, 1709, 1740, 1746, 1751, 1752, 1755, 1773, 1780, 
      1791, 1795, 1800, 1805, 1827, 1856, 1875, 1882, 1905, 1915, 1920, 1927, 1932, 1937, 1945, 1952, 
      1953, 1980 ], [ 1, 2, 2, 3, 3, 4, 5, 5, 6, 7, 7, 8, 9, 9, 10, 10, 11, 11, 12, 13, 14, 16, 17, 17, 
      18, 19, 19, 20, 23, 24, 24, 25, 25, 27, 28, 30, 32, 35, 36, 36, 37, 37, 37, 37, 39, 39, 40, 41, 
      43, 44, 46, 48, 51, 52, 52, 53, 53, 53, 53, 55, 56, 57, 57, 59, 59, 60, 61, 63, 64, 66, 67, 69, 
      71, 72, 73, 74, 75, 75, 76, 76, 76, 76, 77, 78, 79, 80, 81, 81, 82, 83, 84, 84, 86, 86, 87, 87, 
      88, 90, 92, 93, 94, 95, 96, 98, 99, 101, 101, 102, 103, 104, 104, 105, 106, 107, 108, 108, 108, 
      108, 109, 109, 110, 111, 112, 113, 114, 116, 117, 118, 119, 119, 120, 121, 122, 123, 123, 124, 
      124, 125, 127, 127, 128, 130, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 142, 143, 143, 
      144, 145, 146, 146, 147, 148, 149, 149, 150, 152, 152, 152, 152, 153, 153, 153, 153, 154, 154, 
      155, 156, 156, 156, 156, 157, 157, 158, 159, 160, 164, 166, 167, 169, 171, 172, 173, 173, 174, 
      174, 175, 176, 176, 177, 177, 178, 180, 180, 181, 182, 185, 186, 188, 189, 190, 191, 192, 193, 
      194, 195, 196, 198, 199, 200, 201, 201, 202, 202, 203, 203, 203, 203, 204, 204, 205, 206, 207, 
      207, 208, 210, 210, 212, 212, 212, 212, 213, 213, 213, 213, 214, 215, 215, 215, 215, 216, 216, 
      216, 216, 217, 217, 218, 219, 219, 219, 219, 220, 220, 221, 229, 231, 231, 234, 234, 236, 237, 
      238, 239, 240, 240, 242, 243, 244, 245, 245, 246, 246, 247, 248, 248, 249, 250, 251, 257, 258, 
      260, 261, 262, 263, 264, 265, 267, 268, 270, 271, 273, 274, 275, 276, 277, 277, 278, 278, 278, 
      278, 279, 279, 280, 280, 280, 280, 281, 283, 285, 285, 287, 288, 289, 289, 290, 291, 291, 291, 
      291, 292, 292, 292, 292, 293, 294, 294, 294, 294, 295, 295, 296, 298, 301, 308, 309, 309, 310, 
      310, 312, 313, 313, 317, 318, 319, 319, 319, 319, 320, 320, 321, 321, 323, 324, 324, 326, 327, 
      328, 331, 333, 334, 334, 335, 336, 337, 338, 341, 348, 349, 350, 351, 352, 352, 356, 357, 358, 
      359, 360, 362, 363, 365, 366, 367, 368, 368, 369, 369, 369, 369, 371, 371, 372, 372, 373, 376, 
      378, 379, 379, 379, 379, 380, 381, 382, 383, 384, 384, 385, 386, 387, 388, 388, 390, 390, 391, 
      392, 392, 393, 395, 397, 399, 402, 404, 405, 406, 407, 408, 408, 409, 410, 411, 411, 413, 413, 
      417, 417, 418, 418, 418, 418, 419, 419, 419, 419, 420, 420, 420, 420, 421, 421, 422, 422, 423, 
      424, 424, 425, 425, 427, 428, 428, 436, 437, 438, 439, 439, 440, 442, 443, 446, 449, 457, 458, 
      459, 460, 461, 461, 463, 463, 468, 470, 471, 472, 473, 474, 475, 475, 475, 475, 476, 477, 477, 
      478, 479, 480, 481, 481, 482, 484, 484, 485, 486, 486, 487, 491, 494, 494, 494, 494, 495, 495, 
      496, 496, 496, 496, 497, 498, 498, 499, 500, 501, 502, 504, 505, 507, 509, 509, 511, 511, 512, 
      512, 513, 514, 514, 517, 519, 521, 522, 523, 526, 527, 528, 529, 530, 532, 533, 533, 534, 535, 
      539, 540, 540, 541, 541, 541, 541, 542, 542, 543, 543, 543, 543, 544, 544, 544, 544, 546, 547, 
      547, 547, 547, 548, 549, 549, 550, 550, 551, 552, 552, 553, 555, 558, 563, 563, 564, 565, 568, 
      568, 570, 571, 572, 573, 574, 577, 579, 579, 583, 583, 589, 590, 591, 591, 594, 594, 595, 596, 
      598, 599, 600, 602, 603, 604, 604, 605, 606, 607, 607, 608, 611, 612, 612, 613, 613, 614, 615, 
      615, 616, 616, 617, 617, 617, 617, 618, 623, 624, 627, 627, 628, 628, 628, 628, 629, 629, 629, 
      629, 630, 633, 634, 635, 635, 636, 637, 637, 639, 640, 640, 641, 641, 645, 647, 647, 648, 648, 
      649, 649, 650, 650, 652, 655, 656, 658, 660, 660, 661, 662, 663, 663, 663, 663, 666, 667, 667, 
      668, 669, 671, 674, 675, 676, 677, 677, 678, 678, 678, 678, 679, 679, 680, 680, 684, 685, 686, 
      687, 688, 688, 688, 688, 690, 692, 694, 694, 698, 698, 698, 698, 699, 699, 700, 700, 701, 706, 
      706, 707, 708, 709, 710, 711, 713, 713, 715, 715, 718, 718, 722, 725, 725, 726, 727, 727, 728, 
      728, 730, 731, 731, 732, 734, 735, 735, 735, 735, 737, 738, 738, 739, 740, 740, 741, 742, 742, 
      743, 744, 748, 749, 749, 750, 750, 751, 752, 752, 753, 753, 754, 754, 754, 754, 755, 755, 755, 
      755, 756, 757, 762, 762, 764, 765, 769, 769, 770, 770, 770, 770, 776, 777, 777, 780, 781, 781, 
      782, 783, 783, 784, 784, 785, 785, 790, 792, 792, 792, 792, 793, 793, 793, 793, 794, 794, 794, 
      794, 795, 795, 796, 796, 797, 797, 800, 802, 804, 806, 806, 806, 806, 807, 808, 810, 810, 811, 
      811, 811, 811, 812, 812, 812, 812, 815, 816, 816, 820, 821, 821, 821, 821, 822, 822, 822, 822, 
      824, 824, 827, 827, 827, 827, 828, 829, 831, 833, 833, 834, 839, 839, 839, 839, 840, 840, 840, 
      840, 842, 843, 843, 843, 843, 847, 847, 848, 848, 849, 851, 852, 852, 855, 855, 857, 857, 859, 
      859, 860, 860, 861, 861, 863, 863, 865, 867, 868, 868, 869, 870, 871, 871, 874, 874, 875, 877, 
      877, 878, 878, 878, 878, 879, 880, 882, 883, 883, 884, 884, 885, 885, 885, 885, 886, 888, 889, 
      893, 894, 894, 895, 895, 897, 897, 898, 898, 899, 899, 901, 902, 903, 904, 909, 912, 912, 914, 
      916, 916, 916, 916, 917, 917, 917, 917, 918, 918, 919, 919, 919, 919, 923, 925, 927, 927, 928, 
      929, 929, 930, 930, 933, 934, 935, 935, 936, 944, 946, 946, 946, 946, 947, 947, 947, 947, 948, 
      949, 949, 949, 949, 950, 950, 951, 951, 952, 952, 952, 952, 959, 959, 964, 965, 965, 968, 969, 
      969, 970, 970, 970, 970, 971, 971, 971, 971, 973, 974, 974, 975, 975, 976, 976, 976, 976, 977, 
      980, 981, 981, 983, 988, 988, 989, 989, 989, 989, 990, 990, 990, 990, 991, 993, 993, 994, 994, 
      995, 995, 995, 995, 997, 997, 997, 997, 1000, 1000, 1000, 1000, 1001, 1001, 1003, 1003, 1004, 
      1004, 1006, 1006, 1007, 1007, 1009, 1009, 1010, 1013, 1014, 1014, 1016, 1019, 1019, 1020, 1022, 
      1022, 1022, 1022, 1023, 1023, 1023, 1023, 1025, 1026, 1026, 1028, 1028, 1029, 1029, 1029, 1029, 
      1030, 1032, 1034, 1035, 1039, 1040, 1040, 1041, 1043, 1043, 1049, 1050, 1051, 1052, 1053, 1057, 
      1059, 1061, 1062, 1062, 1064, 1064, 1065, 1065, 1065, 1065, 1066, 1066, 1067, 1067, 1067, 1067, 
      1068, 1068, 1068, 1068, 1073, 1073, 1074, 1077, 1079, 1079, 1080, 1080, 1082, 1082, 1084, 1084, 
      1086, 1087, 1088, 1088, 1089, 1092, 1099, 1099, 1100, 1100, 1100, 1100, 1101, 1101, 1102, 1103, 
      1104, 1104, 1106, 1110, 1112, 1112, 1112, 1112, 1115, 1115, 1116, 1116, 1117, 1118, 1118, 1121, 
      1122, 1123, 1124, 1124, 1125, 1125, 1125, 1125, 1126, 1126, 1127, 1127, 1127, 1127, 1128, 1131, 
      1131, 1132, 1132, 1134, 1135, 1136, 1136, 1138, 1138, 1138, 1138, 1139, 1139, 1139, 1139, 1143, 
      1143, 1145, 1145, 1145, 1145, 1146, 1146, 1146, 1146, 1148, 1148, 1149, 1149, 1150, 1152, 1153, 
      1157, 1157, 1162, 1162, 1162, 1162, 1164, 1167, 1167, 1168, 1168, 1168, 1168, 1173, 1174, 1174, 
      1175, 1177, 1178, 1180, 1181, 1181, 1182, 1182, 1183, 1185, 1185, 1185, 1185, 1186, 1186, 1187, 
      1188, 1193, 1193, 1194, 1196, 1197, 1198, 1199, 1200, 1201, 1205, 1208, 1209, 1209, 1212, 1213, 
      1213, 1214, 1214, 1215, 1218, 1218, 1219, 1219, 1220, 1225, 1225, 1225, 1225, 1230, 1230, 1232, 
      1232, 1234, 1235, 1235, 1236, 1238, 1239, 1240, 1244, 1245, 1245, 1246, 1246, 1246, 1246, 1248, 
      1248, 1250, 1252, 1253, 1253, 1254, 1254, 1254, 1254, 1256, 1256, 1257, 1257, 1258, 1258, 1259, 
      1260, 1260, 1261, 1261, 1261, 1261, 1262, 1264, 1264, 1265, 1266, 1267, 1268, 1269, 1269, 1269, 
      1269, 1270, 1270, 1273, 1273, 1273, 1273, 1276, 1276, 1278, 1280, 1280, 1281, 1281, 1281, 1281, 
      1285, 1285, 1286, 1287, 1288, 1289, 1289, 1290, 1290, 1293, 1294, 1294, 1294, 1294, 1295, 1295, 
      1295, 1295, 1296, 1296, 1297, 1298, 1299, 1302, 1302, 1303, 1303, 1303, 1303, 1304, 1309, 1310, 
      1310, 1311, 1312, 1312, 1313, 1314, 1314, 1315, 1319, 1320, 1321, 1321, 1322, 1322, 1323, 1325, 
      1325, 1325, 1325, 1326, 1327, 1328, 1332, 1333, 1333, 1334, 1334, 1334, 1334, 1335, 1335, 1336, 
      1337, 1337, 1339, 1340, 1341, 1342, 1343, 1347, 1347, 1350, 1351, 1351, 1353, 1353, 1354, 1355, 
      1356, 1356, 1357, 1359, 1360, 1360, 1362, 1363, 1364, 1369, 1373, 1373, 1373, 1373, 1375, 1376, 
      1380, 1380, 1382, 1383, 1384, 1384, 1385, 1387, 1387, 1388, 1390, 1390, 1391, 1391, 1391, 1391, 
      1393, 1394, 1394, 1395, 1395, 1396, 1396, 1396, 1396, 1397, 1397, 1397, 1397, 1398, 1401, 1402, 
      1403, 1403, 1405, 1405, 1405, 1405, 1406, 1406, 1406, 1406, 1408, 1408, 1410, 1412, 1412, 1413, 
      1414, 1414, 1415, 1417, 1418, 1418, 1418, 1418, 1419, 1419, 1419, 1419, 1420, 1421, 1422, 1423, 
      1424, 1429, 1434, 1435, 1435, 1436, 1437, 1437, 1438, 1440, 1441, 1441, 1442, 1443, 1447, 1449, 
      1450, 1451, 1451, 1452, 1452, 1453, 1453, 1454, 1454, 1455, 1456, 1457, 1460, 1461, 1461, 1462, 
      1462, 1463, 1463, 1464, 1464, 1465, 1465, 1465, 1465, 1467, 1470, 1472, 1473, 1477, 1479, 1479, 
      1480, 1481, 1481, 1483, 1483, 1484, 1485, 1488, 1493, 1494, 1498, 1499, 1503, 1503, 1503, 1503, 
      1505, 1506, 1507, 1508, 1510, 1512, 1513, 1514, 1514, 1517, 1520, 1521, 1521, 1522, 1522, 1522, 
      1522, 1523, 1523, 1523, 1523, 1525, 1526, 1527, 1527, 1529, 1529, 1530, 1532, 1533, 1533, 1534, 
      1534, 1534, 1534, 1535, 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1544, 1547, 1548, 1548, 1549, 
      1550, 1550, 1551, 1551, 1552, 1554, 1555, 1555, 1556, 1557, 1558, 1560, 1561, 1562, 1564, 1566, 
      1567, 1568, 1569, 1569, 1570, 1571, 1572, 1573, 1573, 1574, 1577, 1578, 1579, 1580, 1580, 1581, 
      1583, 1584, 1585, 1587, 1587, 1589, 1590, 1590, 1590, 1590, 1591, 1594, 1594, 1595, 1596, 1597, 
      1599, 1602, 1604, 1605, 1609, 1611, 1611, 1611, 1611, 1613, 1613, 1614, 1615, 1616, 1617, 1618, 
      1619, 1620, 1622, 1622, 1623, 1625, 1626, 1626, 1628, 1628, 1631, 1632, 1634, 1635, 1636, 1637, 
      1638, 1639, 1641, 1642, 1644, 1645, 1646, 1646, 1649, 1651, 1651, 1652, 1653, 1654, 1655, 1656, 
      1657, 1658, 1659, 1661, 1663, 1665, 1665, 1666, 1667, 1668, 1668, 1669, 1669, 1670, 1672, 1673, 
      1674, 1674, 1675, 1675, 1677, 1678, 1679, 1680, 1681, 1682, 1683, 1684, 1684, 1685, 1686, 1686, 
      1687, 1688, 1690, 1690, 1691, 1692, 1694, 1695, 1696, 1698, 1700, 1701, 1703, 1704, 1704, 1708, 
      1709, 1709, 1709, 1709, 1710, 1711, 1712, 1713, 1714, 1715, 1716, 1719, 1720, 1721, 1722, 1723, 
      1724, 1725, 1726, 1727, 1728, 1730, 1732, 1733, 1733, 1734, 1735, 1736, 1737, 1738, 1739, 1740, 
      1740, 1741, 1745, 1745, 1746, 1748, 1748, 1751, 1752, 1753, 1756, 1757, 1758, 1759, 1760, 1761, 
      1762, 1763, 1763, 1764, 1765, 1767, 1767, 1768, 1769, 1769, 1771, 1772, 1773, 1773, 1774, 1775, 
      1777, 1777, 1778, 1778, 1779, 1782, 1784, 1785, 1785, 1785, 1785, 1786, 1788, 1789, 1790, 1791, 
      1792, 1793, 1794, 1796, 1796, 1798, 1799, 1801, 1802, 1803, 1804, 1805, 1806, 1807, 1809, 1809, 
      1810, 1811, 1811, 1813, 1814, 1815, 1816, 1817, 1818, 1819, 1820, 1821, 1822, 1822, 1823, 1825, 
      1825, 1830, 1831, 1832, 1833, 1834, 1836, 1838, 1839, 1841, 1842, 1843, 1844, 1846, 1847, 1848, 
      1848, 1849, 1849, 1849, 1849, 1850, 1851, 1852, 1853, 1854, 1855, 1856, 1857, 1858, 1859, 1860, 
      1861, 1862, 1863, 1864, 1865, 1866, 1868, 1868, 1870, 1871, 1872, 1872, 1873, 1876, 1876, 1877, 
      1877, 1878, 1879, 1880, 1881, 1884, 1885, 1885, 1886, 1887, 1888, 1890, 1891, 1892, 1893, 1895, 
      1895, 1895, 1895, 1896, 1897, 1898, 1899, 1900, 1906, 1909, 1909, 1911, 1914, 1916, 1917, 1920, 
      1921, 1922, 1923, 1923, 1926, 1927, 1927, 1927, 1927, 1929, 1929, 1934, 1935, 1937, 1937, 1938, 
      1939, 1943, 1944, 1944, 1945, 1945, 1946, 1946, 1951, 1958, 1958, 1966, 1966, 1968, 1969, 1969, 
      1975, 1979, 1979, 1982, 1982, 1987, 2000, 2001, 2002 ] ]