[ [ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 15, 16, 19, 20, 25, 26, 29, 30, 35, 36, 39, 40, 43, 44, 49, 50, 
      59, 60, 63, 64, 69, 70, 79, 80, 85, 86, 89, 90, 95, 96, 105, 106, 119, 120, 123, 124, 129, 130, 
      139, 140, 153, 154, 161, 162, 165, 166, 171, 172, 181, 182, 195, 196, 213, 216, 217, 222, 223, 
      232, 233, 246, 247, 264, 273, 274, 275, 276, 280, 281, 283, 290, 291, 293, 304, 305, 307, 322, 
      323, 325, 340, 341, 342, 343, 344, 348, 352, 353, 354, 355, 362, 369, 370, 371, 372, 382, 392, 
      393, 394, 395, 408, 421, 422, 423, 424, 427, 428, 431, 432, 433, 434, 435, 438, 439, 444, 445, 
      450, 451, 454, 455, 456, 457, 458, 461, 462, 467, 468, 473, 474, 479, 480, 485, 486, 489, 490, 
      491, 492, 493, 496, 497, 502, 503, 508, 509, 514, 515, 520, 521, 526, 527, 532, 533, 536, 537, 
      538, 539, 540, 543, 544, 549, 550, 555, 556, 561, 562, 565, 566, 567, 568, 569, 570, 571, 572, 
      573, 576, 577, 580, 581, 582, 585, 586, 591, 592, 593, 594, 595, 596, 597, 598, 601, 602, 605, 
      606, 611, 612, 615, 616, 617, 620, 621, 626, 627, 630, 631, 636, 637, 638, 639, 640, 641, 642, 
      643, 646, 647, 650, 651, 656, 657, 660, 661, 666, 667, 670, 671, 672, 675, 676, 681, 682, 685, 
      686, 691, 692, 695, 696, 701, 702, 703, 704, 705, 706, 707, 708, 711, 712, 715, 716, 721, 722, 
      725, 726, 731, 732, 735, 736, 741, 742, 745, 746, 747, 750, 751, 756, 757, 760, 761, 766, 767, 
      770, 771, 776, 777, 780, 781, 786, 787, 788, 789, 791, 793, 794, 795, 796, 797, 800, 801, 802, 
      803, 804, 806, 807, 810, 811, 812, 813, 816, 817, 821, 823, 824, 825, 828, 829, 834, 835, 838, 
      839, 840, 841, 844, 845, 848, 849, 850, 851, 852, 854, 855, 858, 859, 860, 861, 864, 865, 870, 
      871, 874, 875, 876, 877, 880, 881, 885, 887, 888, 889, 892, 893, 898, 899, 902, 903, 904, 905, 
      908, 909, 914, 915, 918, 919, 920, 921, 924, 925, 928, 929, 930, 931, 932, 934, 935, 938, 939, 
      940, 941, 944, 945, 950, 951, 954, 955, 956, 957, 960, 961, 966, 967, 970, 971, 972, 973, 976, 
      977, 981, 983, 984, 985, 988, 989, 994, 995, 998, 999, 1000, 1001, 1004, 1005, 1010, 1011, 1014, 
      1015, 1016, 1017, 1020, 1021, 1026, 1027, 1030, 1031, 1032, 1033, 1036, 1037, 1040, 1041, 1042, 
      1043, 1045, 1046, 1049, 1050, 1051, 1052, 1055, 1056, 1061, 1062, 1065, 1066, 1067, 1068, 1071, 
      1072, 1077, 1078, 1081, 1082, 1083, 1084, 1087, 1088, 1093, 1094, 1097, 1098, 1099, 1100, 1103, 
      1104, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 1114, 1117, 1118, 1119, 1123, 1124, 1125, 1126, 
      1130, 1131, 1132, 1134, 1135, 1138, 1139, 1142, 1143, 1144, 1145, 1146, 1147, 1148, 1149, 1150, 
      1152, 1153, 1156, 1157, 1158, 1159, 1161, 1162, 1165, 1166, 1167, 1168, 1170, 1171, 1174, 1175, 
      1178, 1179, 1180, 1181, 1185, 1186, 1187, 1188, 1192, 1193, 1194, 1196, 1197, 1200, 1201, 1204, 
      1205, 1206, 1207, 1209, 1210, 1213, 1214, 1215, 1216, 1218, 1219, 1222, 1223, 1226, 1227, 1228, 
      1229, 1230, 1231, 1232, 1233, 1234, 1236, 1237, 1240, 1241, 1242, 1243, 1245, 1246, 1249, 1250, 
      1251, 1252, 1254, 1255, 1258, 1259, 1262, 1263, 1264, 1265, 1267, 1268, 1271, 1272, 1273, 1274, 
      1276, 1277, 1280, 1281, 1284, 1285, 1286, 1287, 1291, 1292, 1293, 1294, 1298, 1299, 1300, 1302, 
      1303, 1306, 1307, 1310, 1311, 1312, 1313, 1315, 1316, 1319, 1320, 1321, 1322, 1324, 1325, 1328, 
      1329, 1332, 1333, 1334, 1335, 1337, 1338, 1341, 1342, 1343, 1344, 1346, 1347, 1350, 1351, 1354, 
      1355, 1356, 1357, 1358, 1359, 1360, 1362, 1363, 1366, 1367, 1368, 1369, 1371, 1372, 1375, 1376, 
      1377, 1378, 1380, 1381, 1384, 1385, 1388, 1389, 1390, 1391, 1393, 1394, 1397, 1398, 1399, 1400, 
      1402, 1403, 1406, 1407, 1410, 1411, 1412, 1413, 1415, 1416, 1419, 1420, 1421, 1422, 1424, 1425, 
      1428, 1429, 1432, 1433, 1434, 1435, 1436, 1437, 1440, 1441, 1443, 1444, 1447, 1448, 1451, 1452, 
      1453, 1454, 1455, 1456, 1459, 1460, 1461, 1463, 1464, 1467, 1468, 1471, 1472, 1473, 1474, 1475, 
      1476, 1479, 1480, 1481, 1483, 1484, 1487, 1488, 1491, 1492, 1493, 1494, 1495, 1496, 1499, 1500, 
      1501, 1503, 1504, 1507, 1508, 1511, 1512, 1513, 1514, 1515, 1516, 1518, 1523, 1524, 1525, 1526, 
      1527, 1529, 1530, 1531, 1533, 1534, 1535, 1537, 1539, 1540, 1544, 1545, 1547, 1548, 1551, 1552, 
      1553, 1554, 1556, 1557, 1562, 1563, 1564, 1565, 1569, 1570, 1572, 1573, 1578, 1579, 1582, 1584, 
      1585, 1586, 1588, 1589, 1592, 1593, 1594, 1595, 1597, 1598, 1599, 1600, 1602, 1603, 1604, 1606, 
      1608, 1609, 1613, 1614, 1616, 1617, 1620, 1621, 1622, 1623, 1625, 1626, 1631, 1632, 1633, 1636, 
      1638, 1639, 1640, 1642, 1643, 1646, 1647, 1648, 1649, 1651, 1652, 1657, 1658, 1659, 1660, 1664, 
      1665, 1667, 1668, 1673, 1674, 1677, 1679, 1680, 1681, 1683, 1684, 1687, 1688, 1689, 1690, 1692, 
      1693, 1698, 1699, 1700, 1703, 1705, 1706, 1707, 1709, 1710, 1713, 1714, 1715, 1716, 1718, 1719, 
      1720, 1722, 1723, 1724, 1726, 1728, 1729, 1733, 1734, 1736, 1737, 1740, 1741, 1742, 1743, 1745, 
      1746, 1751, 1752, 1753, 1756, 1758, 1759, 1760, 1762, 1763, 1766, 1767, 1768, 1769, 1771, 1772, 
      1777, 1778, 1779, 1782, 1784, 1785, 1786, 1788, 1789, 1792, 1793, 1794, 1795, 1797, 1798, 1800, 
      1801, 1805, 1806, 1808, 1809, 1813, 1814, 1817, 1819, 1820, 1821, 1823, 1824, 1827, 1828, 1829, 
      1830, 1832, 1833, 1837, 1838, 1839, 1842, 1844, 1845, 1846, 1848, 1849, 1852, 1853, 1854, 1855, 
      1857, 1858, 1862, 1863, 1864, 1867, 1869, 1870, 1871, 1873, 1874, 1877, 1878, 1879, 1880, 1882, 
      1883, 1884, 1885, 1886, 1887, 1888, 1889, 1892, 1893, 1894, 1896, 1897, 1901, 1902, 1903, 1904, 
      1905, 1906, 1907, 1910, 1911, 1912, 1914, 1915, 1919, 1920, 1921, 1922, 1923, 1924, 1925, 1928, 
      1929, 1930, 1932, 1933, 1937, 1938, 1939, 1940, 1941, 1942, 1943, 1945, 1946, 1947, 1949, 1950, 
      1951, 1952, 1955, 1956, 1957, 1958, 1961, 1962, 1965, 1966, 1967, 1968, 1971, 1977, 1978, 1979, 
      1980, 1983, 1984, 1990, 1991, 1993, 1998, 1999, 2002, 2004, 2005, 2006, 2007, 2008, 2011, 2012, 
      2015, 2016, 2017, 2018, 2020, 2021, 2024, 2025, 2027, 2028, 2034, 2035, 2037, 2038, 2039, 2044, 
      2045, 2046, 2049, 2051, 2052, 2053, 2059, 2060, 2061, 2062, 2065, 2066, 2072, 2073, 2075, 2080, 
      2081, 2084, 2086, 2087, 2088, 2090, 2091, 2097, 2098, 2099, 2101, 2102, 2103, 2108, 2109, 2110, 
      2113, 2115, 2116, 2117, 2118, 2121, 2122, 2125, 2126, 2127, 2128, 2130, 2131, 2134, 2135, 2137, 
      2138, 2144, 2145, 2147, 2148, 2149, 2154, 2155, 2156, 2159, 2161, 2162, 2163, 2165, 2166, 2172, 
      2173, 2174, 2176, 2177, 2178, 2183, 2184, 2185, 2188, 2190, 2191, 2192, 2194, 2195, 2196, 2197, 
      2200, 2201, 2206, 2207, 2209, 2214, 2215, 2218, 2220, 2221, 2222, 2223, 2224, 2230, 2231, 2232, 
      2234, 2235, 2236, 2241, 2242, 2243, 2246, 2248, 2249, 2250, 2251, 2252, 2258, 2259, 2260, 2262, 
      2263, 2264, 2269, 2270, 2271, 2274, 2276, 2277, 2278, 2279, 2282, 2283, 2286, 2287, 2288, 2294, 
      2296, 2297, 2298, 2302, 2303, 2304, 2307, 2309, 2310, 2311, 2312, 2318, 2319, 2321, 2322, 2323, 
      2327, 2328, 2329, 2332, 2334, 2335, 2336, 2337, 2343, 2344, 2346, 2347, 2348, 2352, 2353, 2354, 
      2357, 2359, 2360, 2361, 2362, 2366, 2367, 2368, 2369, 2370, 2373, 2376, 2377, 2378, 2379, 2380, 
      2381, 2384, 2387, 2388, 2389, 2390, 2391, 2392, 2395, 2398, 2399, 2400, 2401, 2402, 2403, 2406, 
      2407, 2410, 2411, 2418, 2419, 2422, 2423, 2424, 2425, 2428, 2429, 2432, 2434, 2435, 2439, 2440, 
      2442, 2443, 2446, 2447, 2450, 2451, 2453, 2454, 2462, 2463, 2465, 2466, 2472, 2473, 2475, 2476, 
      2477, 2484, 2485, 2488, 2489, 2490, 2491, 2494, 2495, 2502, 2504, 2511, 2512, 2520, 2521, 2524, 
      2525, 2527, 2528, 2534, 2535, 2536, 2538, 2539, 2540, 2541, 2545, 2546, 2548, 2549, 2552, 2553, 
      2556, 2557, 2559, 2560, 2568, 2569, 2571, 2572, 2578, 2579, 2581, 2582, 2583, 2590, 2591, 2594, 
      2595, 2601, 2602, 2605, 2606, 2608, 2609, 2615, 2616, 2617, 2619, 2620, 2621, 2624, 2625, 2628, 
      2629, 2630, 2631, 2634, 2635, 2642, 2644, 2650, 2651, 2659, 2660, 2663, 2664, 2666, 2667, 2673, 
      2674, 2675, 2677, 2678, 2679, 2685, 2686, 2689, 2690, 2696, 2697, 2700, 2701, 2703, 2704, 2710, 
      2711, 2712, 2714, 2715, 2716, 2717, 2718, 2720, 2723, 2726, 2727, 2728, 2736, 2737, 2738, 2739, 
      2745, 2746, 2748, 2749, 2750, 2756, 2759, 2760, 2766, 2767, 2770, 2771, 2772, 2773, 2779, 2780, 
      2781, 2783, 2784, 2785, 2791, 2794, 2795, 2801, 2802, 2805, 2806, 2807, 2808, 2814, 2815, 2816, 
      2818, 2819, 2820, 2821, 2822, 2823, 2824, 2828, 2830, 2834, 2835, 2838, 2839, 2844, 2845, 2847, 
      2848, 2849, 2851, 2854, 2855, 2857, 2858, 2861, 2862, 2867, 2868, 2870, 2871, 2872, 2874, 2877, 
      2878, 2880, 2881, 2884, 2885, 2890, 2891, 2893, 2894, 2895, 2900, 2901, 2903, 2907, 2908, 2910, 
      2914, 2915, 2916, 2917, 2920, 2921, 2926, 2928, 2929, 2931, 2932, 2937, 2938, 2941, 2942, 2947, 
      2948, 2950, 2951, 2952, 2953, 2956, 2957, 2968, 2969, 2972, 2973, 2974, 2977, 2978, 2983, 2985, 
      2986, 2996, 2997, 3001, 3002, 3011, 3012, 3020, 3021, 3024, 3025, 3026, 3031, 3032, 3035, 3036, 
      3041, 3042, 3044, 3045, 3046, 3047, 3050, 3051, 3053, 3054, 3059, 3060, 3062, 3063, 3073, 3074, 
      3078, 3079, 3082, 3083, 3084, 3085, 3094, 3095, 3098, 3099, 3105, 3106, 3109, 3110, 3113, 3114, 
      3117, 3118, 3119, 3122, 3123, 3128, 3130, 3131, 3140, 3141, 3145, 3146, 3155, 3156, 3164, 3165, 
      3168, 3169, 3170, 3171, 3181, 3182, 3185, 3186, 3190, 3191, 3194, 3195, 3196, 3197, 3206, 3207, 
      3210, 3211, 3217, 3218, 3221, 3222, 3223, 3226, 3227, 3232, 3233, 3235, 3236, 3237, 3240, 3241, 
      3242, 3247, 3248, 3249, 3259, 3263, 3264, 3267, 3268, 3269, 3270, 3278, 3279, 3282, 3283, 3289, 
      3290, 3293, 3294, 3295, 3305, 3306, 3309, 3313, 3314, 3317, 3318, 3319, 3320, 3328, 3329, 3332, 
      3333, 3339, 3340, 3343, 3344, 3345, 3348, 3349, 3350, 3351, 3353, 3354, 3358, 3361, 3362, 3369, 
      3376, 3377, 3380, 3381, 3382, 3388, 3389, 3392, 3395, 3396, 3399, 3400, 3401, 3402, 3409, 3412, 
      3413, 3418, 3419, 3422, 3423, 3424, 3430, 3431, 3434, 3437, 3438, 3441, 3442, 3443, 3444, 3451, 
      3454, 3455, 3460, 3463, 3464, 3465, 3470, 3474, 3476, 3480, 3481, 3483, 3484, 3487, 3491, 3492, 
      3495, 3497, 3501, 3502, 3504, 3505, 3508, 3512, 3513, 3517, 3521, 3524, 3525, 3526, 3529, 3532, 
      3533, 3534, 3537, 3540, 3541, 3542, 3545, 3546, 3549, 3550, 3555, 3556, 3562, 3563, 3565, 3574, 
      3575, 3578, 3579, 3584, 3585, 3588, 3589, 3592, 3596, 3597, 3600, 3601, 3606, 3609, 3615, 3616, 
      3618, 3619, 3622, 3623, 3626, 3627, 3632, 3633, 3639, 3640, 3642, 3643, 3645, 3646, 3658, 3659, 
      3662, 3663, 3665, 3666, 3676, 3677, 3681, 3682, 3685, 3686, 3687, 3688, 3693, 3694, 3697, 3698, 
      3703, 3704, 3707, 3708, 3711, 3715, 3716, 3719, 3720, 3730, 3733, 3734, 3743, 3744, 3756, 3757, 
      3760, 3761, 3766, 3767, 3770, 3771, 3773, 3774, 3784, 3785, 3788, 3789, 3793, 3794, 3797, 3798, 
      3799, 3800, 3803, 3804, 3806, 3807, 3810, 3813, 3814, 3819, 3825, 3826, 3828, 3829, 3830, 3842, 
      3843, 3846, 3847, 3848, 3849, 3859, 3860, 3864, 3865, 3868, 3869, 3870, 3871, 3881, 3886, 3887, 
      3890, 3891, 3899, 3900, 3903, 3904, 3909, 3910, 3913, 3914, 3915, 3916, 3926, 3927, 3930, 3931, 
      3935, 3936, 3939, 3940, 3941, 3942, 3945, 3946, 3947, 3948, 3952, 3954, 3956, 3961, 3962, 3963, 
      3964, 3971, 3972, 3976, 3983, 3984, 3987, 3988, 3993, 3994, 3997, 3998, 3999, 4008, 4009, 4012, 
      4016, 4017, 4020, 4021, 4022, 4023, 4028, 4033, 4034, 4037, 4038, 4041, 4042, 4045, 4046, 4051, 
      4052, 4055, 4056, 4057, 4066, 4067, 4070, 4074, 4077, 4078, 4079, 4080, 4083, 4084, 4086, 4091, 
      4095, 4096, 4099, 4100, 4105, 4106, 4109, 4110, 4111, 4112, 4119, 4120, 4123, 4124, 4128, 4131, 
      4135, 4136, 4139, 4140, 4144, 4145, 4149, 4150, 4153, 4154, 4155, 4156, 4163, 4164, 4167, 4168, 
      4174, 4178, 4179, 4182, 4183, 4187, 4192, 4193, 4194, 4197, 4198, 4199, 4200, 4201, 4203, 4206, 
      4207, 4209, 4210, 4213, 4215, 4217, 4220, 4223, 4224, 4225, 4227, 4228, 4231, 4233, 4235, 4238, 
      4242, 4247, 4248, 4249, 4250, 4256, 4257, 4258, 4259, 4262, 4263, 4266, 4267, 4272, 4273, 4282, 
      4285, 4286, 4288, 4291, 4298, 4299, 4302, 4303, 4308, 4309, 4318, 4319, 4321, 4322, 4325, 4326, 
      4328, 4329, 4332, 4333, 4338, 4339, 4349, 4350, 4353, 4357, 4359, 4360, 4363, 4364, 4369, 4370, 
      4379, 4382, 4383, 4386, 4398, 4399, 4405, 4406, 4409, 4410, 4423, 4424, 4436, 4437, 4440, 4441, 
      4446, 4447, 4449, 4450, 4453, 4454, 4459, 4460, 4469, 4470, 4472, 4473, 4476, 4477, 4479, 4482, 
      4483, 4488, 4491, 4492, 4499, 4500, 4503, 4504, 4518, 4524, 4525, 4528, 4529, 4534, 4535, 4538, 
      4539, 4542, 4543, 4555, 4556, 4561, 4562, 4565, 4566, 4574, 4575, 4578, 4579, 4584, 4585, 4588, 
      4589, 4590, 4593, 4597, 4599, 4600, 4601, 4602, 4606, 4611, 4612, 4615, 4621, 4626, 4627, 4630, 
      4631, 4642, 4653, 4654, 4657, 4658, 4663, 4664, 4667, 4668, 4669, 4678, 4679, 4682, 4683, 4688, 
      4693, 4694, 4697, 4698, 4703, 4704, 4707, 4708, 4711, 4712, 4723, 4728, 4729, 4732, 4733, 4740, 
      4743, 4744, 4749, 4750, 4753, 4754, 4755, 4760, 4761, 4768, 4769, 4770, 4775, 4776, 4779, 4784, 
      4787, 4788, 4792, 4795, 4796, 4799, 4800, 4809, 4810, 4813, 4814, 4817, 4818, 4821, 4822, 4827, 
      4828, 4831, 4832, 4837, 4838, 4841, 4842, 4849, 4850, 4854, 4857, 4858, 4861, 4862, 4871, 4874, 
      4875, 4879, 4880, 4885, 4888, 4889, 4890, 4892, 4893, 4894, 4895, 4896, 4898, 4899, 4900, 4903, 
      4905, 4909, 4912, 4916, 4917, 4920, 4921, 4922, 4926, 4929, 4930, 4935, 4938, 4939, 4940, 4941, 
      4944, 4946, 4950, 4951, 4954, 4955, 4956, 4959, 4963, 4964, 4967, 4968, 4969, 4973, 4974, 4979, 
      4980, 4984, 4989, 4990, 4995, 4996, 4997, 5008, 5010, 5013, 5014, 5020, 5021, 5022, 5023, 5025, 
      5027, 5030, 5033, 5035, 5036, 5040, 5044, 5045, 5046, 5050, 5051, 5054, 5055, 5060, 5061, 5070, 
      5071, 5080, 5081, 5083, 5086, 5092, 5093, 5096, 5097, 5102, 5103, 5112, 5113, 5118, 5119, 5122, 
      5126, 5132, 5133, 5136, 5137, 5142, 5143, 5152, 5156, 5157, 5159, 5160, 5163, 5164, 5169, 5172, 
      5173, 5178, 5179, 5188, 5189, 5198, 5199, 5201, 5202, 5205, 5206, 5208, 5224, 5225, 5228, 5229, 
      5234, 5235, 5238, 5239, 5253, 5254, 5260, 5263, 5264, 5269, 5270, 5273, 5274, 5276, 5279, 5280, 
      5281, 5282, 5286, 5288, 5295, 5297, 5301, 5304, 5312, 5313, 5314, 5315, 5319, 5321, 5332, 5333, 
      5335, 5336, 5342, 5352, 5353, 5356, 5357, 5362, 5363, 5372, 5373, 5376, 5377, 5382, 5383, 5386, 
      5399, 5400, 5403, 5404, 5409, 5415, 5418, 5419, 5424, 5425, 5428, 5429, 5432, 5433, 5438, 5439, 
      5441, 5445, 5450, 5451, 5457, 5458, 5464, 5465, 5468, 5469, 5474, 5475, 5485, 5486, 5489, 5490, 
      5495, 5496, 5499, 5500, 5503, 5504, 5514, 5515, 5518, 5519, 5524, 5525, 5534, 5535, 5540, 5548, 
      5549, 5552, 5553, 5558, 5559, 5567, 5570, 5571, 5579, 5580, 5585, 5586, 5589, 5592, 5593, 5598, 
      5599, 5600, 5601, 5602, 5607, 5608, 5612, 5614, 5615, 5616, 5617, 5618, 5620, 5621, 5623, 5624, 
      5627, 5631, 5632, 5633, 5634, 5641, 5644, 5648, 5651, 5652, 5655, 5656, 5661, 5664, 5665, 5669, 
      5672, 5673, 5676, 5677, 5682, 5686, 5687, 5692, 5695, 5704, 5708, 5712, 5713, 5722, 5726, 5727, 
      5732, 5733, 5735, 5742, 5747, 5748, 5751, 5752, 5755, 5756, 5765, 5766, 5767, 5768, 5772, 5779, 
      5784, 5785, 5788, 5791, 5792, 5796, 5799, 5801, 5807, 5811, 5824, 5825, 5826, 5827, 5828, 5829, 
      5832, 5836, 5837, 5838, 5839, 5840, 5842, 5843, 5844, 5849, 5850, 5851, 5852, 5854, 5855, 5861, 
      5862, 5863, 5864, 5866, 5868, 5869, 5870, 5871, 5875, 5879, 5887, 5902, 5904, 5907, 5914, 5915, 
      5920, 5921, 5930, 5931, 5944, 5945, 5947, 5948, 5951, 5952, 5957, 5958, 5963, 5964, 5969, 5970, 
      5979, 5980, 5989, 5992, 5996, 6002, 6005, 6006, 6007, 6011, 6013, 6020, 6022, 6033, 6034, 6037, 
      6041, 6058, 6060, 6061, 6066, 6067, 6083, 6098, 6099, 6100, 6104, 6105, 6113, 6115, 6118, 6124, 
      6125, 6132, 6133, 6144, 6145, 6147, 6149, 6154, 6155, 6162, 6163, 6166, 6170, 6179, 6180, 6185, 
      6186, 6195, 6200, 6201, 6203, 6204, 6209, 6210, 6225, 6228, 6229, 6234, 6235, 6242, 6243, 6248, 
      6249, 6258, 6261, 6262, 6267, 6268, 6271, 6273, 6276, 6278, 6279, 6280, 6281, 6286, 6289, 6290, 
      6292, 6293, 6297, 6300, 6301, 6305, 6313, 6316, 6317, 6322, 6330, 6331, 6334, 6335, 6340, 6341, 
      6344, 6349, 6350, 6355, 6356, 6365, 6367, 6371, 6373, 6381, 6382, 6386, 6395, 6396, 6401, 6402, 
      6409, 6418, 6419, 6424, 6425, 6434, 6435, 6443, 6444, 6445, 6452, 6463, 6468, 6469, 6471, 6472, 
      6473, 6474, 6479, 6482, 6483, 6488, 6491, 6498, 6501, 6505, 6510, 6514, 6516, 6520, 6522, 6531, 
      6541, 6544, 6546, 6547, 6548, 6549, 6550, 6553, 6554, 6555, 6559, 6561, 6563, 6565, 6567, 6572, 
      6573, 6578, 6579, 6580, 6581, 6582, 6583, 6585, 6587, 6595, 6597, 6601, 6617, 6621, 6623, 6625, 
      6626, 6627, 6628, 6629, 6631, 6635, 6636, 6637, 6644, 6645, 6646, 6650, 6675, 6678, 6683, 6686, 
      6690, 6697, 6708, 6716, 6720, 6726, 6734, 6738, 6740, 6747, 6749, 6764, 6766, 6770, 6779, 6780, 
      6787, 6788, 6799, 6800, 6806, 6808, 6812, 6819, 6820, 6821, 6824, 6825, 6832, 6833, 6850, 6851, 
      6858, 6859, 6863, 6865, 6869, 6873, 6881, 6888, 6891, 6892, 6893, 6894, 6895, 6900, 6901, 6905, 
      6906, 6908, 6909, 6912, 6913, 6920, 6924, 6926, 6933, 6943, 6947, 6954, 6960, 6961, 6966, 6967, 
      6980, 6981, 6990, 6996, 6997, 7002, 7003, 7012, 7014, 7023, 7024, 7031, 7032, 7039, 7040, 7041, 
      7042, 7051, 7055, 7062, 7064, 7065, 7069, 7079, 7083, 7085, 7092, 7099, 7105, 7118, 7119, 7136, 
      7144, 7149, 7155, 7156, 7157, 7158, 7159, 7160, 7163, 7164, 7166, 7167, 7168, 7169, 7170, 7175, 
      7180, 7184, 7190, 7191, 7192, 7197, 7199, 7213, 7222, 7228, 7229, 7230, 7231, 7232, 7233, 7235, 
      7236, 7237, 7238, 7239, 7244, 7248, 7253, 7254, 7255, 7257, 7258, 7262, 7266, 7267, 7268, 7269, 
      7271, 7272, 7273, 7274, 7275, 7280, 7281, 7282, 7283, 7284, 7285, 7286, 7288, 7291, 7292, 7293, 
      7317, 7322, 7359, 7365, 7366, 7377, 7378, 7390, 7394, 7403, 7404, 7417, 7420, 7430, 7431, 7436, 
      7445, 7446, 7451, 7460, 7463, 7478, 7480, 7485, 7492, 7495, 7507, 7513, 7514, 7522, 7524, 7526, 
      7537, 7538, 7547, 7570, 7578, 7585, 7593, 7595, 7596, 7602, 7603, 7606, 7607, 7610, 7619, 7625, 
      7626, 7637, 7660, 7666, 7673, 7675, 7676, 7677, 7678, 7681, 7682, 7693, 7694, 7698, 7700, 7702, 
      7707, 7712, 7713, 7714, 7725, 7727, 7729, 7730, 7731, 7733, 7741, 7742, 7762, 7768, 7802, 7805, 
      7821, 7835, 7847, 7852, 7866, 7868, 7876, 7888, 7896, 7909, 7910, 7911, 7919, 7920, 7927, 7929, 
      7932, 7933, 7939, 7940, 7942, 7944, 7946, 7947, 7948, 7949, 7977, 7979, 7982, 7986, 7989, 7990, 
      7993, 8001, 8002 ], [ 2556, 2900, 3328, 3796, 5287, 6872, 7372, 7701 ] ]