[ [ 1038, 1058, 1596 ], [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 16, 23, 34, 48, 69, 72, 86, 88, 89, 99, 
      102, 103, 104, 106, 108, 109, 121, 122, 124, 126, 127, 128, 130, 132, 133, 142, 145, 146, 147, 
      149, 150, 151, 152, 153, 155, 156, 157, 159, 161, 162, 170, 172, 173, 174, 175, 176, 178, 179, 
      181, 182, 184, 185, 186, 187, 189, 190, 191, 193, 195, 196, 203, 207, 208, 209, 210, 211, 214, 
      215, 216, 217, 219, 220, 221, 222, 224, 225, 226, 227, 229, 230, 231, 233, 235, 236, 242, 244, 
      246, 249, 250, 251, 253, 256, 258, 260, 261, 262, 263, 265, 266, 267, 268, 269, 271, 272, 273, 
      274, 276, 277, 278, 280, 282, 283, 287, 293, 295, 298, 299, 300, 302, 307, 308, 309, 310, 313, 
      314, 315, 316, 317, 319, 320, 321, 322, 323, 325, 326, 327, 328, 330, 331, 332, 334, 336, 337, 
      340, 348, 350, 353, 354, 355, 357, 363, 364, 366, 368, 369, 370, 373, 375, 376, 377, 378, 380, 
      381, 382, 383, 384, 386, 387, 388, 389, 391, 392, 393, 402, 410, 412, 415, 416, 417, 419, 425, 
      428, 430, 431, 433, 436, 437, 438, 441, 443, 444, 445, 446, 448, 449, 450, 451, 452, 454, 455, 
      456, 457, 461, 471, 479, 481, 484, 485, 486, 488, 497, 500, 502, 505, 506, 508, 512, 513, 514, 
      517, 519, 520, 521, 522, 524, 525, 526, 527, 528, 537, 547, 555, 557, 560, 561, 562, 564, 576, 
      578, 583, 585, 588, 589, 591, 595, 596, 597, 600, 602, 603, 604, 608, 621, 631, 639, 641, 644, 
      645, 646, 648, 660, 667, 669, 675, 677, 680, 681, 683, 687, 699, 712, 722, 730, 732, 735, 736, 
      737, 739, 751, 758, 766, 768, 774, 776, 781, 798, 811, 821, 829, 831, 834, 835, 836, 838, 850, 
      857, 865, 873, 887, 904, 918, 928, 936, 938, 941, 942, 943, 945, 957, 964, 973, 977, 978, 983, 
      986, 1002, 1005, 1018, 1032, 1043, 1051, 1053, 1056, 1057, 1058, 1060, 1072, 1079, 1087, 1089, 
      1090, 1094, 1096, 1097, 1098, 1104, 1115, 1116, 1121, 1138, 1151, 1162, 1170, 1172, 1175, 1176, 
      1177, 1179, 1191, 1198, 1201, 1204, 1206, 1207, 1213, 1214, 1215, 1220, 1221, 1230, 1232, 1234, 
      1235, 1239, 1241, 1247, 1257, 1262, 1276, 1287, 1295, 1297, 1300, 1301, 1302, 1304, 1316, 1322, 
      1323, 1325, 1328, 1330, 1331, 1334, 1337, 1338, 1339, 1343, 1351, 1356, 1358, 1359, 1364, 1365, 
      1366, 1371, 1380, 1382, 1383, 1387, 1394, 1406, 1417, 1425, 1427, 1430, 1431, 1432, 1434, 1446, 
      1450, 1452, 1453, 1455, 1458, 1460, 1461, 1463, 1467, 1468, 1469, 1471, 1477, 1483, 1485, 1486, 
      1489, 1490, 1491, 1492, 1493, 1494, 1498, 1506, 1509, 1511, 1512, 1517, 1522, 1530, 1531, 1535, 
      1541, 1550, 1558, 1560, 1563, 1564, 1565, 1567, 1579, 1580, 1582, 1583, 1585, 1586, 1588, 1591, 
      1593, 1594, 1595, 1600, 1601, 1602, 1603, 1607, 1608, 1614, 1616, 1617, 1620, 1621, 1622, 1623, 
      1624, 1626, 1627, 1633, 1638, 1640, 1641, 1644, 1645, 1646, 1647, 1658, 1660, 1661, 1670, 1677, 
      1680, 1685, 1691, 1693, 1696, 1697, 1699, 1710, 1711, 1713, 1714, 1715, 1717, 1718, 1720, 1721, 
      1723, 1726, 1727, 1728, 1729, 1734, 1735, 1736, 1740, 1741, 1747, 1749, 1752, 1753, 1754, 1755, 
      1756, 1757, 1758, 1761, 1762, 1763, 1768, 1770, 1771, 1774, 1775, 1776, 1777, 1778, 1780, 1789, 
      1791, 1792, 1795, 1796, 1806, 1807, 1815, 1820, 1822, 1826, 1829, 1831, 1836, 1839, 1840, 1841, 
      1843, 1844, 1845, 1846, 1848, 1849, 1851, 1852, 1854, 1857, 1859, 1861, 1866, 1867, 1872, 1873, 
      1882, 1883, 1884, 1885, 1886, 1887, 1889, 1890, 1891, 1892, 1897, 1899, 1903, 1904, 1905, 1906, 
      1907, 1908, 1909, 1912, 1914, 1920, 1922, 1923, 1925, 1926, 1927, 1935, 1936, 1939, 1948, 1954, 
      1956, 1957, 1962, 1963, 1965, 1966, 1967, 1969, 1970, 1971, 1972, 1974, 1975, 1977, 1979, 1981, 
      1982, 1984, 1985, 1987, 1991, 1992, 1998, 1999, 2002, 2007, 2008, 2009, 2010, 2012, 2013, 2014, 
      2021, 2022, 2023, 2024, 2025, 2026, 2027, 2029, 2031, 2032, 2034, 2040, 2042, 2044, 2045, 2046, 
      2047, 2048, 2049, 2055, 2057, 2058, 2060, 2066, 2072, 2073, 2078, 2080, 2082, 2085, 2086, 2087, 
      2089, 2090, 2091, 2092, 2098, 2099, 2102, 2103, 2104, 2106, 2108, 2109, 2110, 2111, 2113, 2118, 
      2119, 2120, 2121, 2126, 2128, 2129, 2130, 2131, 2136, 2137, 2138, 2139, 2140, 2141, 2142, 2145, 
      2146, 2147, 2149, 2158, 2159, 2160, 2161, 2162, 2163, 2165, 2167, 2173, 2175, 2176, 2177, 2178, 
      2182, 2183, 2185, 2187, 2188, 2189, 2191, 2197, 2198, 2200, 2203, 2206, 2207, 2208, 2212, 2217, 
      2220, 2222, 2223, 2224, 2228, 2230, 2231, 2233, 2238, 2239, 2240, 2241, 2247, 2248, 2252, 2253, 
      2255, 2256, 2257, 2260, 2261, 2262, 2264, 2266, 2271, 2272, 2273, 2274, 2275, 2276, 2277, 2280, 
      2281, 2282, 2284, 2291, 2292, 2293, 2294, 2295, 2306, 2307, 2308, 2317, 2319, 2321, 2323, 2326, 
      2332, 2334, 2335, 2339, 2342, 2344, 2346, 2347, 2349, 2351, 2352, 2354, 2359, 2361, 2365, 2367, 
      2370, 2371, 2373, 2374, 2375, 2378, 2381, 2386, 2387, 2389, 2391, 2392, 2393, 2394, 2397, 2398, 
      2399, 2401, 2407, 2408, 2409, 2410, 2412, 2417, 2421, 2423, 2426, 2427, 2441, 2443, 2445, 2452, 
      2453, 2457, 2459, 2464, 2465, 2467, 2468, 2469, 2471, 2472, 2475, 2477, 2478, 2479, 2481, 2483, 
      2487, 2489, 2491, 2494, 2496, 2500, 2501, 2503, 2504, 2505, 2506, 2509, 2510, 2513, 2517, 2518, 
      2519, 2522, 2523, 2534, 2536, 2537, 2538, 2540, 2547, 2558, 2563, 2570, 2575, 2576, 2578, 2580, 
      2581, 2587, 2588, 2589, 2590, 2592, 2599, 2604, 2609, 2610, 2612, 2615, 2618, 2622, 2623, 2625, 
      2626, 2627, 2631, 2635, 2644, 2645, 2646, 2655, 2661, 2668, 2670, 2671, 2680, 2682, 2685, 2688, 
      2690, 2694, 2696, 2698, 2711, 2718, 2720, 2726, 2736, 2740, 2742, 2745, 2746, 2764, 2770, 2771, 
      2776, 2784, 2786, 2793, 2795, 2797, 2799, 2810, 2813, 2815, 2819, 2820, 2828, 2830, 2831, 2832, 
      2834, 2845, 2853, 2857, 2863, 2871, 2875, 2876, 2877, 2879, 2892, 2896, 2900, 2901, 2902, 2911, 
      2915, 2918, 2920, 2923, 2926, 2934, 2936, 2937, 2938, 2944, 2950, 2954, 2956, 2962, 2963, 2965, 
      2966, 2967, 2968, 2969, 2972, 2973, 2977, 2979, 2981, 2983, 2985, 2986, 2991, 2995, 2996, 2997, 
      2998, 2999, 3000, 3003 ] ]