[ [ 1, 2, 7, 10, 11, 12, 20, 23, 25, 27, 33, 39, 43, 45, 59, 64, 65, 74, 75, 82, 84, 85, 87, 89, 90, 
      91, 93, 97, 101, 103, 106, 109, 112, 113, 114, 116, 118, 121, 122, 127, 131, 132, 137, 138, 145, 
      150, 151, 154, 159, 167, 173, 176, 178, 179, 184, 188, 192, 200, 204, 209, 214, 217, 219, 220, 
      223, 229, 232, 235, 236, 241, 250, 255, 256, 263, 266, 270, 273, 275, 277, 278, 282, 284, 289, 
      292, 294, 298, 299, 304, 305, 306, 310, 312, 315, 318, 321, 325, 326, 327, 328, 330, 334, 335, 
      339, 342, 345, 347, 348, 350, 351, 353, 354, 356, 357, 362, 369, 372, 376, 377, 378, 379, 384, 
      385, 389, 392, 394, 397, 398, 401, 404, 406, 407, 408, 409, 411, 413, 416, 418, 419, 420, 424, 
      425, 429, 430, 432, 436, 437, 439, 447, 449, 453, 456, 458, 460, 462, 465, 467, 469, 470, 475, 
      476, 478, 480, 485, 486, 487, 488, 489, 491, 493, 497, 503, 507, 509, 523, 530, 532, 533, 537, 
      538, 542, 544, 545, 547, 550, 552, 554, 559, 566, 573, 575, 577, 579, 581, 582, 584, 585, 590, 
      594, 604, 605, 607, 610, 612, 613, 615, 617, 625, 633, 635, 638, 639, 641, 643, 644, 645, 647, 
      655, 658, 660, 662, 663, 672, 675, 678, 679, 681, 683, 685, 688, 690, 695, 703, 704, 706, 712, 
      718, 720, 721, 722, 725, 726, 731, 740, 746, 748, 750, 751, 754, 755, 766, 781, 783, 784, 791, 
      794, 795, 796, 800, 803, 804, 809, 810, 812, 818, 822, 826, 831, 833, 834, 841, 844, 845, 849, 
      850, 855, 858, 861, 862, 863, 866, 867, 877, 879, 883, 894, 896, 900, 905, 910, 914, 916, 919, 
      932, 934, 935, 939, 940, 941, 945, 946, 947, 949, 951, 953, 956, 958, 962, 965, 967, 971, 972, 
      973, 975, 976, 980, 981, 987, 990, 994, 998, 1001, 1003, 1006, 1010, 1012, 1013, 1015, 1018, 
      1020, 1024, 1029, 1031, 1034, 1038, 1040, 1042, 1045, 1046, 1050, 1054, 1055, 1058, 1059, 1062, 
      1063, 1070, 1071, 1072, 1074, 1075, 1080, 1082, 1089, 1094, 1097, 1099, 1102, 1105, 1107, 1109, 
      1112, 1118, 1123, 1124, 1126, 1128, 1131, 1132, 1134, 1135, 1141, 1144, 1146, 1148, 1154, 1155, 
      1160, 1163, 1166, 1169, 1171, 1173, 1176, 1180, 1182, 1184, 1185, 1186, 1188, 1189, 1192, 1197, 
      1202, 1210, 1211, 1224, 1229, 1233, 1236, 1243, 1251, 1254, 1255, 1258, 1268, 1275, 1280, 1284, 
      1285, 1288, 1290, 1291, 1295, 1298, 1299, 1306, 1307, 1310, 1312, 1323, 1324, 1325, 1326, 1327, 
      1328, 1332, 1334, 1338, 1343, 1344, 1346, 1348, 1351, 1354, 1356, 1364, 1376, 1382, 1383, 1385, 
      1386, 1388, 1393, 1394, 1398, 1399, 1400, 1402, 1407, 1421, 1422, 1424, 1425, 1426, 1427, 1429, 
      1432, 1436, 1441, 1444, 1448, 1451, 1453, 1454, 1455, 1462, 1464, 1467, 1468, 1469, 1472, 1473, 
      1474, 1477, 1478, 1480, 1481, 1482, 1484, 1487, 1489, 1493, 1498, 1504, 1505, 1508, 1512, 1513, 
      1515, 1516, 1517, 1521, 1523, 1531, 1534, 1535, 1540, 1542, 1543, 1544, 1548, 1550, 1557, 1560, 
      1563, 1564, 1566, 1568, 1571, 1573, 1575, 1578, 1583, 1585, 1587, 1589, 1591, 1593, 1598, 1607, 
      1608, 1609, 1610, 1622, 1624, 1626, 1629, 1631, 1632, 1637, 1639, 1641, 1642, 1643, 1644, 1647, 
      1648, 1649, 1651, 1654, 1655, 1658, 1662, 1663, 1668, 1669, 1672, 1674, 1676, 1682, 1683, 1685, 
      1687, 1698, 1700, 1702, 1704, 1705, 1707, 1709, 1712, 1715, 1716, 1720, 1724, 1727, 1728, 1729, 
      1732, 1737, 1742, 1743, 1748, 1751, 1755, 1757, 1758, 1759, 1764, 1765, 1766, 1767, 1778, 1782, 
      1795, 1797, 1798, 1802, 1803, 1804, 1806, 1809, 1810, 1818, 1824, 1828, 1830, 1843, 1846, 1850, 
      1851, 1857, 1858, 1859, 1862, 1864, 1871, 1873, 1884, 1891, 1892, 1893, 1896, 1897, 1898, 1902, 
      1908, 1912, 1916, 1927, 1931, 1932, 1934, 1936, 1939, 1945, 1949, 1960, 1963, 1964, 1968, 1970, 
      1973, 1974, 1983, 1991, 1993, 1997, 2002, 2005, 2012, 2016, 2017, 2031, 2034, 2035, 2036, 2039, 
      2040, 2045, 2049, 2051, 2053, 2054, 2055, 2057, 2060, 2061, 2069, 2072, 2073, 2081, 2082, 2086, 
      2088, 2089, 2091, 2093, 2096, 2097, 2099, 2102, 2109, 2110, 2111, 2119, 2120, 2123, 2124, 2125, 
      2129, 2132, 2133, 2134, 2135, 2140, 2144, 2146, 2149, 2150, 2161, 2163, 2170, 2171, 2173, 2178, 
      2180, 2184, 2191, 2193, 2195, 2196, 2198, 2199, 2201, 2204, 2205, 2206, 2210, 2211, 2214, 2225, 
      2226, 2234, 2244, 2247, 2251, 2253, 2254, 2255, 2257, 2262, 2269, 2270, 2271, 2272, 2276, 2284, 
      2295, 2297, 2302, 2305, 2312, 2313, 2317, 2323, 2324, 2331, 2333, 2334, 2335, 2338, 2339, 2340, 
      2342, 2349, 2351, 2354, 2356, 2363, 2368, 2372, 2373, 2376, 2381, 2389, 2392, 2394, 2397, 2408, 
      2409, 2410, 2411, 2413, 2417, 2418, 2419, 2420, 2425, 2439, 2441, 2451, 2452, 2453, 2459, 2461, 
      2462, 2463, 2465, 2469, 2470, 2471, 2475, 2483, 2488, 2489, 2491, 2498, 2499, 2504, 2509, 2510, 
      2515, 2516, 2517, 2518, 2523, 2524, 2533, 2539, 2542, 2545, 2551, 2558, 2561, 2563, 2564, 2566, 
      2573, 2582, 2583, 2588, 2589, 2591, 2594, 2606, 2607, 2610, 2621, 2622, 2627, 2637, 2644, 2646, 
      2650, 2651, 2661, 2665, 2668, 2672, 2679, 2680, 2687, 2691, 2698, 2707, 2708, 2714, 2717, 2728, 
      2732, 2735, 2738, 2739, 2743, 2745, 2747, 2748, 2752, 2753, 2754, 2760, 2761, 2763, 2766, 2770, 
      2774, 2775, 2778, 2789, 2791, 2793, 2795, 2799, 2801, 2804, 2805, 2809, 2812, 2813, 2814, 2817, 
      2819, 2822, 2824, 2825, 2827, 2829, 2841, 2842, 2847, 2849, 2850, 2851, 2855, 2861, 2862, 2867, 
      2868, 2870, 2871, 2876, 2877, 2889, 2891, 2892, 2893, 2897, 2905, 2912, 2916, 2927, 2930, 2931, 
      2935, 2944, 2945, 2948, 2953, 2957, 2964, 2965, 2966, 2971, 2973, 2976, 2978, 2979, 2984, 2985, 
      2989, 2990, 2993, 3000, 3003, 3006, 3007, 3017, 3018, 3021, 3023, 3024, 3025, 3028, 3029, 3032, 
      3033, 3039, 3041, 3044, 3047, 3048, 3049, 3055, 3059, 3062, 3070, 3076, 3077, 3079, 3080, 3082, 
      3084, 3085, 3087, 3090, 3092, 3102, 3104, 3106, 3108, 3110, 3114, 3116, 3117, 3119, 3121, 3125, 
      3134, 3136, 3140, 3141, 3145, 3146, 3147, 3150, 3151, 3155, 3156, 3157, 3164, 3166, 3172, 3177, 
      3178, 3183, 3184, 3185, 3187, 3188, 3190, 3193, 3197, 3199, 3200, 3204, 3205, 3208, 3217, 3220, 
      3221, 3222, 3223, 3226, 3227, 3228, 3230, 3231, 3232, 3233, 3235, 3236, 3237, 3239, 3242, 3243, 
      3245, 3248, 3249, 3250, 3255, 3256, 3257, 3259, 3260, 3262, 3263, 3265, 3267, 3276, 3281, 3287, 
      3291, 3292, 3296, 3299, 3300, 3301, 3303, 3306, 3311, 3318, 3322, 3330, 3336, 3341, 3342, 3348, 
      3350, 3354, 3366, 3367, 3371, 3374, 3376, 3377, 3380, 3386, 3388, 3390, 3391, 3392, 3393, 3395, 
      3397, 3400, 3401, 3403, 3404, 3405, 3408, 3410, 3413, 3414, 3418, 3419, 3426, 3427, 3438, 3439, 
      3440, 3442, 3443, 3448, 3449, 3450, 3451, 3453, 3454, 3456, 3457, 3462, 3466, 3470, 3473, 3474, 
      3475, 3478, 3479, 3483, 3486, 3492, 3499, 3501, 3504, 3505, 3506, 3507, 3510, 3512, 3514, 3515, 
      3517, 3525, 3527, 3529, 3530, 3541, 3543, 3545, 3549, 3553, 3557, 3559, 3560, 3565, 3566, 3568, 
      3572, 3575, 3577, 3578, 3580, 3584, 3589, 3594, 3600, 3604, 3605, 3607, 3610, 3622, 3623, 3624, 
      3631, 3633, 3634, 3638, 3639, 3640, 3641, 3644, 3645, 3654, 3662, 3665, 3668, 3670, 3673, 3674, 
      3675, 3681, 3683, 3684, 3692, 3693, 3702, 3705, 3709, 3716, 3721, 3725, 3733, 3734, 3737, 3738, 
      3743, 3748, 3765, 3766, 3778, 3785, 3787, 3793, 3794, 3796, 3797, 3798, 3800, 3801, 3802, 3803, 
      3808, 3809, 3811, 3814, 3820, 3823, 3824, 3825, 3828, 3830, 3838, 3841, 3844, 3850, 3856, 3861, 
      3862, 3864, 3880, 3887, 3890, 3915, 3919, 3925, 3931, 3934, 3938, 3941, 3942, 3948, 3949, 3951, 
      3953, 3954, 3956, 3957, 3960, 3961, 3963, 3965, 3967, 3968, 3977, 3982, 3986, 3987, 3988, 3990, 
      4001, 4011, 4016, 4025, 4036, 4037, 4038, 4040, 4047, 4050, 4057, 4060, 4063, 4064, 4070, 4074, 
      4080, 4085, 4091, 4094, 4097, 4102, 4107, 4109, 4113, 4114, 4115, 4116, 4123, 4126, 4128, 4129, 
      4133, 4136, 4139, 4143, 4145, 4151, 4152, 4155, 4157, 4158, 4161, 4165, 4168, 4169, 4170, 4172, 
      4173, 4174, 4176, 4179, 4181, 4184, 4188, 4191, 4193, 4195, 4196, 4197, 4201, 4202, 4206, 4208, 
      4209, 4210, 4211, 4213, 4218, 4221, 4225, 4226, 4230, 4232, 4235, 4237, 4239, 4240, 4241, 4242, 
      4244, 4245, 4246, 4247, 4248, 4257, 4261, 4263, 4265, 4267, 4270, 4272, 4286, 4287, 4288, 4296, 
      4302, 4304, 4305, 4308, 4309, 4313, 4318, 4319, 4323, 4324, 4333, 4336, 4338, 4341, 4347, 4354, 
      4356, 4358, 4361, 4366, 4371, 4373, 4374, 4375, 4377, 4378, 4382, 4383, 4385, 4386, 4395, 4397, 
      4402, 4405, 4406, 4409, 4411, 4412, 4413, 4416, 4418, 4420, 4422, 4424, 4426, 4429, 4431, 4432, 
      4440, 4445, 4446, 4457, 4458, 4466, 4469, 4474, 4475, 4479, 4484, 4490, 4493, 4498, 4499, 4501, 
      4504, 4510, 4514, 4515, 4517, 4518, 4521, 4526, 4528, 4529, 4539, 4542, 4543, 4546, 4549, 4552, 
      4556, 4557, 4561, 4564, 4572, 4581, 4584, 4585, 4589, 4591, 4592, 4597, 4600, 4602, 4607, 4612, 
      4614, 4618, 4622, 4623, 4629, 4635, 4636, 4642, 4644, 4645, 4650, 4651, 4655, 4658, 4662, 4664, 
      4665, 4666, 4668, 4673, 4677, 4684, 4691, 4697, 4700, 4707, 4708, 4709, 4711, 4712, 4714, 4724, 
      4731, 4736, 4739, 4741, 4745, 4749, 4750, 4760, 4761, 4763, 4769, 4770, 4774, 4775, 4781, 4783, 
      4784, 4795, 4797, 4798, 4804, 4809, 4813, 4815, 4818, 4819, 4820, 4822, 4825, 4826, 4829, 4831, 
      4833, 4834, 4836, 4839, 4840, 4842, 4847, 4850, 4856, 4860, 4862, 4864, 4866, 4874, 4876, 4880, 
      4889, 4891, 4893, 4898, 4900, 4902, 4903, 4904, 4905, 4906, 4908, 4909, 4910, 4921, 4927, 4930, 
      4934, 4936, 4937, 4940, 4946, 4951, 4955, 4959, 4964, 4966, 4967, 4972, 4973, 4977, 4980, 4982, 
      4985, 4991, 4993, 4994, 4998, 5000, 5001, 5005, 5016, 5018, 5021, 5022, 5026, 5030, 5033, 5035, 
      5036, 5040, 5050, 5055, 5057, 5062, 5070, 5071, 5076, 5081, 5082, 5085, 5093, 5094, 5098, 5099, 
      5100, 5102, 5106, 5107, 5111, 5112, 5113, 5114, 5128, 5132, 5137, 5139, 5143, 5145, 5148, 5149, 
      5151, 5159, 5163, 5165, 5171, 5175, 5184, 5185, 5188, 5190, 5192, 5196, 5197, 5198, 5205, 5207, 
      5211, 5217, 5218, 5219, 5221, 5222, 5225, 5227, 5232, 5235, 5238, 5242, 5243, 5250, 5252, 5257, 
      5258, 5259, 5267, 5271, 5274, 5276, 5277, 5279, 5284, 5288, 5289, 5290, 5291, 5292, 5294, 5296, 
      5298, 5302, 5303, 5305, 5307, 5314, 5315, 5319, 5326, 5330, 5331, 5336, 5337, 5339, 5341, 5342, 
      5345, 5346, 5347, 5351, 5355, 5356, 5369, 5371, 5376, 5379, 5381, 5383, 5387, 5389, 5391, 5392, 
      5396, 5400, 5401, 5410, 5417, 5419, 5423, 5426, 5430, 5432, 5433, 5442, 5444, 5446, 5450, 5454, 
      5457, 5463, 5466, 5467, 5468, 5469, 5471, 5475, 5478, 5481, 5486, 5487, 5488, 5490, 5494, 5496, 
      5497, 5506, 5507, 5509, 5512, 5514, 5516, 5517, 5521, 5523, 5529, 5531, 5532, 5533, 5534, 5538, 
      5552, 5553, 5558, 5562, 5563, 5568, 5571, 5575, 5578, 5579, 5582, 5591, 5592, 5595, 5596, 5597, 
      5599, 5604, 5610, 5611, 5612, 5616, 5618, 5621, 5622, 5623, 5624, 5625, 5635, 5638, 5641, 5648, 
      5651, 5653, 5661, 5665, 5672, 5674, 5675, 5677, 5694, 5700, 5703, 5704, 5710, 5711, 5715, 5716, 
      5720, 5722, 5724, 5725, 5730, 5737, 5738, 5740, 5741, 5748, 5749, 5752, 5754, 5755, 5756, 5759, 
      5760, 5763, 5769, 5773, 5778, 5783, 5784, 5786, 5788, 5799, 5801, 5805, 5809, 5815, 5821, 5823, 
      5826, 5839, 5843, 5848, 5849, 5851, 5856, 5858, 5862, 5865, 5867, 5871, 5872, 5881, 5882, 5883, 
      5889, 5893, 5894, 5915, 5917, 5918, 5928, 5931, 5937, 5939, 5941, 5943, 5944, 5945, 5948, 5950, 
      5954, 5976, 5978, 5980, 5981, 5983, 5989, 5990, 5998, 6001, 6002, 6006, 6009, 6018, 6020, 6021, 
      6025, 6028, 6032, 6036, 6039, 6043, 6048, 6049, 6050, 6051, 6053, 6054, 6056, 6059, 6060, 6063, 
      6071, 6075, 6078, 6080, 6083, 6089, 6091, 6092, 6093, 6094, 6095, 6096, 6105, 6116, 6120, 6133, 
      6134, 6139, 6140, 6145, 6149, 6150, 6153, 6154, 6160, 6165, 6170, 6177, 6178, 6181, 6187, 6188, 
      6191, 6198, 6201, 6207, 6210, 6211, 6217, 6218, 6221, 6222, 6223, 6225, 6226, 6233, 6237, 6239, 
      6241, 6242, 6245, 6246, 6250, 6251, 6253, 6256, 6258, 6260, 6263, 6270, 6271, 6272, 6275, 6289, 
      6290, 6291, 6292, 6293, 6294, 6299, 6300, 6303, 6304, 6307, 6308, 6311, 6312, 6315, 6320, 6323, 
      6325, 6328, 6330, 6332, 6341, 6344, 6345, 6347, 6358, 6359, 6365, 6366, 6367, 6369, 6372, 6376, 
      6379, 6384, 6388, 6394, 6395, 6400, 6402, 6408, 6411, 6414, 6415, 6423, 6424, 6428, 6431, 6435, 
      6436, 6437, 6438, 6440, 6441, 6442, 6444, 6445, 6446, 6447, 6448, 6466, 6471, 6472, 6473, 6474, 
      6482, 6483, 6489, 6490, 6491, 6493, 6495, 6499, 6501, 6502, 6507, 6512, 6522, 6531, 6532, 6533, 
      6541, 6544, 6545, 6552, 6554, 6555, 6561, 6563, 6565, 6568, 6575, 6576, 6577, 6583, 6589, 6595, 
      6600, 6603, 6606, 6614, 6617, 6619, 6620, 6622, 6624, 6634, 6639, 6640, 6645, 6646, 6647, 6649, 
      6651, 6652, 6654, 6658, 6668, 6675, 6676, 6677, 6690, 6698, 6700, 6701, 6702, 6704, 6705, 6708, 
      6711, 6716, 6719, 6721, 6723, 6734, 6739, 6745, 6746, 6747, 6753, 6755, 6758, 6760, 6761, 6763, 
      6765, 6766, 6773, 6775, 6777, 6780, 6784, 6789, 6792, 6794, 6796, 6798, 6799, 6811, 6816, 6820, 
      6821, 6822, 6823, 6830, 6831, 6834, 6838, 6842, 6847, 6849, 6850, 6855, 6856, 6859, 6862, 6863, 
      6865, 6870, 6872, 6875, 6876, 6877, 6885, 6888, 6893, 6896, 6899, 6900, 6902, 6903, 6906, 6907, 
      6911, 6915, 6917, 6919, 6921, 6925, 6926, 6933, 6944, 6946, 6947, 6949, 6951, 6954, 6959, 6960, 
      6961, 6963, 6964, 6969, 6971, 6973, 6974, 6980, 6983, 6985, 6995, 6999, 7000, 7005, 7006, 7008, 
      7009, 7011, 7012, 7013, 7014, 7018, 7019, 7020 ], 
  [ 50, 84, 262, 515, 813, 947, 1108, 1720, 1722, 2039, 2311, 2697, 2746, 2820, 2955, 3037, 3674, 4319, 
      4320, 4422, 4877, 4889, 4922, 5659, 6180, 6928 ] ]