[ [ 1, 2, 10, 16, 29, 31, 34, 64, 68, 94, 114, 151, 168, 172, 177, 191, 201, 237, 273, 277, 327, 355, 
      381, 389, 435, 485, 490, 498, 512, 523, 526, 542, 554, 575, 605, 614, 621, 634, 658, 668, 699, 
      712, 718, 733, 753, 765, 771, 775, 777, 804, 837, 872, 900, 902, 920, 934, 990, 993, 997, 998, 
      1016, 1055, 1096, 1099, 1108, 1111, 1117, 1130, 1136, 1160, 1203, 1206, 1220, 1221, 1244, 1258, 
      1295, 1301, 1397, 1409, 1413, 1425, 1434, 1435, 1449, 1452, 1456, 1469, 1471, 1484, 1535, 1536, 
      1553, 1562, 1565, 1591, 1592, 1597, 1641, 1669, 1672, 1704, 1720, 1727, 1756, 1776, 1789, 1799, 
      1801, 1803, 1808, 1831, 1861, 1874, 1878, 1911, 1924, 1929, 1964, 1971, 1989, 1997, 2003, 2005, 
      2007, 2015 ], [ 3, 4, 6, 7, 16, 18, 20, 24, 30, 35, 37, 45, 46, 48, 49, 50, 51, 52, 55, 59, 60, 
      65, 66, 74, 77, 81, 82, 83, 86, 91, 92, 100, 104, 111, 112, 113, 114, 117, 118, 122, 124, 135, 
      136, 137, 140, 141, 142, 151, 152, 155, 157, 159, 161, 162, 166, 170, 172, 174, 182, 185, 189, 
      193, 194, 198, 205, 213, 215, 216, 225, 226, 227, 229, 238, 239, 240, 242, 247, 250, 254, 262, 
      265, 266, 271, 272, 293, 295, 296, 297, 301, 306, 310, 311, 314, 317, 320, 326, 330, 331, 333, 
      335, 336, 337, 340, 341, 346, 347, 351, 355, 358, 369, 370, 372, 373, 375, 376, 381, 385, 387, 
      391, 392, 393, 394, 398, 399, 402, 409, 410, 411, 412, 413, 416, 418, 420, 424, 428, 437, 446, 
      449, 454, 455, 456, 459, 467, 473, 476, 477, 479, 481, 483, 497, 499, 502, 503, 508, 509, 514, 
      518, 521, 524, 528, 534, 540, 542, 543, 544, 545, 549, 550, 552, 554, 559, 563, 567, 569, 571, 
      572, 576, 577, 580, 583, 585, 586, 590, 591, 592, 594, 597, 599, 600, 601, 606, 607, 618, 627, 
      630, 635, 637, 638, 642, 644, 646, 647, 650, 652, 653, 654, 655, 657, 661, 662, 663, 666, 673, 
      674, 676, 680, 682, 686, 688, 691, 692, 698, 699, 700, 701, 704, 707, 711, 716, 717, 723, 724, 
      725, 729, 731, 733, 734, 736, 737, 741, 746, 748, 753, 754, 758, 759, 761, 764, 767, 769, 771, 
      778, 779, 781, 792, 794, 798, 802, 807, 809, 811, 815, 817, 828, 830, 831, 832, 841, 843, 845, 
      847, 848, 852, 861, 862, 863, 864, 865, 870, 872, 875, 881, 882, 888, 889, 890, 891, 894, 895, 
      899, 900, 901, 907, 911, 913, 915, 918, 922, 925, 926, 928, 935, 937, 941, 947, 948, 950, 953, 
      954, 958, 964, 967, 972, 975, 976, 987, 989, 994, 995, 996, 1000, 1001, 1002, 1004, 1010, 1012, 
      1013, 1015, 1019, 1020, 1031, 1032, 1035, 1037, 1044, 1049, 1053, 1054, 1055, 1058, 1064, 1066, 
      1067, 1069, 1071, 1076, 1077, 1078, 1085, 1092, 1094, 1096, 1100, 1102, 1107, 1110, 1113, 1115, 
      1117, 1119, 1122, 1123, 1128, 1130, 1132, 1133, 1136, 1139, 1143, 1146, 1148, 1149, 1156, 1157, 
      1161, 1162, 1163, 1164, 1168, 1170, 1172, 1173, 1175, 1176, 1177, 1180, 1181, 1183, 1184, 1190, 
      1193, 1195, 1197, 1212, 1214, 1218, 1219, 1221, 1224, 1226, 1227, 1233, 1234, 1236, 1238, 1249, 
      1251, 1254, 1257, 1258, 1259, 1262, 1263, 1264, 1265, 1269, 1277, 1278, 1279, 1283, 1285, 1287, 
      1291, 1292, 1293, 1298, 1302, 1303, 1304, 1305, 1311, 1312, 1316, 1319, 1321, 1329, 1331, 1332, 
      1333, 1334, 1335, 1340, 1341, 1342, 1343, 1344, 1347, 1350, 1358, 1360, 1361, 1364, 1370, 1371, 
      1373, 1379, 1382, 1383, 1384, 1386, 1389, 1390, 1395, 1403, 1404, 1409, 1412, 1414, 1415, 1416, 
      1417, 1418, 1422, 1423, 1428, 1431, 1432, 1434, 1435, 1437, 1438, 1440, 1447, 1448, 1450, 1453, 
      1454, 1455, 1460, 1462, 1465, 1470, 1471, 1472, 1474, 1476, 1479, 1480, 1482, 1493, 1496, 1497, 
      1500, 1501, 1502, 1503, 1514, 1516, 1520, 1521, 1524, 1525, 1531, 1535, 1537, 1542, 1546, 1551, 
      1553, 1556, 1557, 1558, 1562, 1569, 1570, 1572, 1577, 1582, 1585, 1587, 1588, 1591, 1594, 1607, 
      1611, 1613, 1617, 1619, 1622, 1623, 1626, 1628, 1636, 1637, 1638, 1640, 1644, 1645, 1649, 1653, 
      1655, 1657, 1661, 1662, 1667, 1668, 1679, 1684, 1685, 1689, 1690, 1691, 1693, 1697, 1699, 1705, 
      1706, 1711, 1714, 1715, 1717, 1718, 1727, 1730, 1735, 1736, 1739, 1740, 1741, 1744, 1753, 1754, 
      1756, 1757, 1780, 1781, 1786, 1788, 1789, 1790, 1792, 1798, 1799, 1800, 1801, 1802, 1803, 1805, 
      1806, 1809, 1811, 1812, 1814, 1815, 1816, 1817, 1822, 1824, 1825, 1828, 1834, 1838, 1841, 1842, 
      1845, 1848, 1855, 1857, 1859, 1860, 1861, 1862, 1873, 1877, 1878, 1880, 1882, 1886, 1887, 1895, 
      1898, 1899, 1907, 1910, 1911, 1920, 1922, 1925, 1927, 1930, 1931, 1934, 1935, 1936, 1938, 1940, 
      1941, 1942, 1944, 1954, 1955, 1966, 1970, 1972, 1977, 1979, 1981, 1983, 1984, 1996, 1997, 1999, 
      2000, 2003, 2005, 2007, 2008, 2009, 2010, 2012, 2013, 2016 ] ]