[ [ 1, 2, 3, 4, 5, 9, 10, 14, 15, 17, 18, 22, 23, 30, 31, 35, 36, 43, 44, 48, 49, 53, 54, 61, 62, 73, 
      74, 78, 79, 86, 87, 98, 99, 105, 106, 110, 111, 118, 119, 130, 131, 146, 147, 151, 152, 159, 160, 
      171, 172, 187, 188, 196, 197, 201, 202, 209, 210, 221, 222, 237, 238, 257, 260, 261, 262, 270, 
      271, 272, 286, 287, 288, 308, 309, 310, 336, 341, 342, 343, 344, 345, 348, 351, 352, 353, 354, 
      355, 356, 359, 362, 363, 364, 367, 372, 373, 374, 377, 378, 379, 380, 381, 382, 385, 390, 391, 
      392, 395, 396, 397, 400, 405, 406, 407, 412, 413, 414, 417, 418, 419, 420, 421, 422, 425, 430, 
      431, 432, 437, 438, 439, 442, 443, 444, 447, 452, 453, 454, 459, 460, 461, 466, 467, 468, 471, 
      472, 473, 474, 475, 476, 479, 484, 485, 486, 491, 492, 493, 498, 499, 500, 503, 504, 505, 506, 
      509, 510, 511, 512, 513, 514, 515, 518, 519, 520, 523, 526, 527, 530, 531, 532, 535, 536, 537, 
      540, 541, 542, 543, 544, 545, 548, 549, 550, 553, 554, 555, 558, 561, 562, 563, 566, 569, 570, 
      573, 574, 575, 578, 579, 580, 583, 584, 585, 588, 591, 592, 593, 596, 597, 598, 599, 600, 601, 
      604, 605, 606, 609, 610, 611, 614, 617, 618, 619, 622, 623, 624, 627, 630, 631, 632, 635, 638, 
      639, 642, 643, 644, 647, 648, 649, 652, 653, 654, 657, 660, 661, 662, 665, 666, 667, 670, 673, 
      674, 675, 678, 679, 680, 681, 682, 683, 686, 687, 688, 691, 692, 693, 696, 699, 700, 701, 704, 
      705, 706, 709, 712, 713, 714, 717, 718, 719, 722, 725, 726, 727, 730, 733, 734, 737, 738, 739, 
      742, 743, 744, 747, 748, 749, 752, 755, 756, 757, 760, 761, 762, 765, 768, 769, 770, 773, 774, 
      775, 778, 781, 782, 783, 786, 787, 788, 789, 790, 793, 794, 795, 796, 799, 800, 801, 802, 803, 
      804, 805, 806, 807, 808, 809, 810, 813, 814, 815, 818, 821, 822, 823, 826, 827, 828, 829, 830, 
      831, 834, 835, 836, 839, 840, 841, 844, 847, 848, 849, 852, 853, 854, 855, 856, 857, 860, 861, 
      862, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 879, 880, 881, 884, 887, 888, 
      889, 892, 895, 896, 897, 900, 901, 902, 903, 904, 905, 908, 909, 910, 913, 914, 915, 916, 917, 
      918, 921, 922, 923, 926, 927, 928, 931, 934, 935, 936, 939, 940, 941, 942, 943, 944, 947, 948, 
      949, 952, 955, 956, 957, 960, 961, 962, 963, 964, 965, 968, 969, 970, 973, 974, 975, 976, 977, 
      978, 979, 980, 981, 982, 983, 984, 987, 988, 989, 992, 995, 996, 997, 1000, 1003, 1004, 1005, 
      1008, 1009, 1010, 1011, 1012, 1013, 1016, 1017, 1018, 1021, 1024, 1025, 1026, 1029, 1030, 1031, 
      1032, 1033, 1034, 1037, 1038, 1039, 1042, 1043, 1044, 1045, 1046, 1047, 1050, 1051, 1052, 1055, 
      1056, 1057, 1060, 1063, 1064, 1065, 1068, 1069, 1070, 1071, 1072, 1073, 1076, 1077, 1078, 1081, 
      1084, 1085, 1086, 1089, 1090, 1091, 1092, 1093, 1094, 1097, 1098, 1099, 1102, 1105, 1106, 1107, 
      1110, 1111, 1112, 1113, 1114, 1115, 1118, 1119, 1120, 1123, 1124, 1125, 1126, 1127, 1128, 1129, 
      1130, 1131, 1132, 1133, 1134, 1137, 1138, 1139, 1142, 1145, 1146, 1147, 1150, 1153, 1154, 1155, 
      1158, 1159, 1160, 1161, 1162, 1163, 1166, 1167, 1168, 1171, 1174, 1175, 1176, 1179, 1180, 1181, 
      1182, 1183, 1184, 1187, 1188, 1189, 1192, 1195, 1196, 1197, 1200, 1201, 1202, 1203, 1204, 1205, 
      1208, 1209, 1210, 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 1224, 1225, 
      1226, 1227, 1228, 1229, 1230, 1231, 1233, 1235, 1236, 1239, 1240, 1241, 1244, 1245, 1246, 1247, 
      1248, 1249, 1251, 1252, 1256, 1257, 1258, 1259, 1260, 1261, 1262, 1264, 1265, 1266, 1267, 1268, 
      1269, 1270, 1273, 1274, 1275, 1278, 1279, 1280, 1281, 1282, 1283, 1285, 1286, 1290, 1291, 1292, 
      1293, 1294, 1295, 1296, 1298, 1300, 1301, 1305, 1306, 1307, 1308, 1309, 1310, 1311, 1313, 1315, 
      1316, 1319, 1320, 1321, 1324, 1325, 1326, 1327, 1328, 1329, 1332, 1333, 1334, 1337, 1338, 1339, 
      1340, 1341, 1342, 1344, 1345, 1349, 1350, 1351, 1352, 1353, 1354, 1355, 1357, 1359, 1360, 1364, 
      1365, 1366, 1367, 1368, 1369, 1370, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1381, 1382, 1383, 
      1386, 1387, 1388, 1389, 1390, 1391, 1393, 1394, 1398, 1399, 1400, 1401, 1402, 1403, 1404, 1406, 
      1409, 1410, 1411, 1414, 1415, 1416, 1417, 1418, 1419, 1421, 1422, 1426, 1427, 1428, 1429, 1430, 
      1431, 1432, 1434, 1436, 1437, 1441, 1442, 1443, 1444, 1445, 1446, 1447, 1449, 1451, 1452, 1455, 
      1456, 1457, 1460, 1461, 1462, 1463, 1464, 1465, 1468, 1469, 1470, 1473, 1474, 1475, 1476, 1477, 
      1478, 1480, 1481, 1485, 1486, 1487, 1488, 1489, 1490, 1491, 1493, 1496, 1497, 1498, 1501, 1502, 
      1503, 1504, 1505, 1506, 1508, 1509, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1521, 1523, 1524, 
      1528, 1529, 1530, 1531, 1532, 1533, 1534, 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1545, 1546, 
      1547, 1550, 1551, 1552, 1553, 1554, 1555, 1557, 1558, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 
      1570, 1573, 1574, 1575, 1578, 1579, 1580, 1581, 1582, 1583, 1585, 1586, 1590, 1591, 1592, 1593, 
      1594, 1595, 1596, 1598, 1601, 1602, 1603, 1606, 1607, 1608, 1609, 1610, 1611, 1613, 1614, 1618, 
      1619, 1620, 1621, 1622, 1623, 1624, 1626, 1628, 1629, 1633, 1634, 1635, 1636, 1637, 1638, 1639, 
      1641, 1643, 1644, 1647, 1648, 1649, 1652, 1653, 1654, 1655, 1656, 1657, 1660, 1661, 1662, 1665, 
      1666, 1667, 1668, 1669, 1670, 1672, 1673, 1677, 1678, 1679, 1680, 1682, 1685, 1686, 1687, 1690, 
      1691, 1692, 1693, 1694, 1695, 1697, 1698, 1702, 1703, 1704, 1705, 1707, 1710, 1711, 1712, 1715, 
      1716, 1717, 1718, 1719, 1720, 1722, 1723, 1727, 1728, 1729, 1730, 1732, 1734, 1735, 1737, 1738, 
      1740, 1743, 1744, 1750, 1751, 1753, 1754, 1759, 1763, 1764, 1765, 1766, 1767, 1769, 1775, 1776, 
      1778, 1779, 1786, 1787, 1789, 1790, 1796, 1797, 1801, 1802, 1806, 1807, 1808, 1809, 1810, 1811, 
      1812, 1814, 1820, 1821, 1823, 1824, 1831, 1832, 1834, 1835, 1844, 1845, 1847, 1848, 1855, 1856, 
      1858, 1859, 1864, 1868, 1869, 1870, 1871, 1872, 1874, 1876, 1877, 1881, 1882, 1883, 1884, 1885, 
      1886, 1887, 1889, 1895, 1896, 1898, 1899, 1906, 1907, 1909, 1910, 1919, 1920, 1922, 1923, 1930, 
      1931, 1933, 1934, 1940, 1941, 1945, 1946, 1950, 1951, 1952, 1953, 1954, 1955, 1956, 1958, 1964, 
      1965, 1967, 1968, 1975, 1976, 1978, 1979, 1984, 1985, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 
      1997, 2003, 2004, 2006, 2007, 2014, 2015, 2017, 2018, 2027, 2028, 2030, 2031, 2038, 2039, 2041, 
      2042, 2047, 2051, 2052, 2053, 2054, 2055, 2057, 2059, 2060, 2064, 2065, 2066, 2067, 2068, 2069, 
      2070, 2072, 2078, 2079, 2081, 2082, 2089, 2090, 2092, 2093, 2098, 2099, 2103, 2104, 2105, 2106, 
      2107, 2108, 2109, 2111, 2117, 2118, 2120, 2121, 2128, 2129, 2131, 2132, 2141, 2142, 2144, 2145, 
      2152, 2153, 2155, 2156, 2163, 2164, 2168, 2169, 2170, 2171, 2172, 2173, 2174, 2176, 2182, 2183, 
      2185, 2186, 2193, 2194, 2198, 2199, 2203, 2204, 2205, 2206, 2207, 2208, 2209, 2211, 2217, 2218, 
      2220, 2221, 2228, 2229, 2233, 2234, 2238, 2239, 2240, 2241, 2242, 2243, 2244, 2246, 2252, 2253, 
      2255, 2256, 2263, 2264, 2272, 2273, 2279, 2280, 2284, 2288, 2289, 2291, 2293, 2294, 2298, 2299, 
      2300, 2301, 2303, 2307, 2308, 2312, 2313, 2317, 2318, 2319, 2320, 2322, 2326, 2327, 2331, 2332, 
      2336, 2337, 2338, 2339, 2341, 2345, 2346, 2352, 2354, 2355, 2359, 2361, 2362, 2365, 2366, 2370, 
      2371, 2375, 2376, 2381, 2382, 2384, 2385, 2390, 2391, 2395, 2396, 2404, 2405, 2409, 2410, 2412, 
      2413, 2416, 2417, 2421, 2422, 2426, 2427, 2429, 2431, 2432, 2436, 2443, 2444, 2446, 2447, 2454, 
      2455, 2457, 2458, 2463, 2464, 2472, 2473, 2477, 2478, 2480, 2481, 2484, 2485, 2489, 2490, 2494, 
      2495, 2498, 2499, 2507, 2508, 2512, 2513, 2515, 2516, 2519, 2520, 2524, 2525, 2529, 2530, 2535, 
      2536, 2538, 2539, 2544, 2545, 2553, 2554, 2556, 2557, 2564, 2565, 2567, 2568, 2573, 2574, 2582, 
      2583, 2587, 2588, 2590, 2591, 2594, 2595, 2599, 2600, 2604, 2605, 2608, 2609, 2617, 2618, 2622, 
      2623, 2625, 2626, 2629, 2630, 2634, 2635, 2639, 2640, 2642, 2644, 2645, 2649, 2656, 2657, 2659, 
      2660, 2667, 2668, 2670, 2671, 2676, 2677, 2685, 2686, 2690, 2691, 2693, 2694, 2697, 2698, 2702, 
      2703, 2707, 2708, 2715, 2716, 2718, 2719, 2726, 2727, 2729, 2730, 2735, 2736, 2744, 2745, 2749, 
      2750, 2752, 2753, 2756, 2757, 2761, 2762, 2766, 2767, 2770, 2771, 2779, 2780, 2784, 2785, 2787, 
      2788, 2791, 2792, 2796, 2797, 2801, 2802, 2807, 2808, 2810, 2811, 2816, 2817, 2825, 2826, 2828, 
      2829, 2836, 2837, 2839, 2840, 2845, 2846, 2854, 2855, 2859, 2860, 2862, 2863, 2866, 2867, 2871, 
      2872, 2876, 2877, 2884, 2885, 2887, 2888, 2895, 2896, 2898, 2899, 2904, 2905, 2913, 2914, 2918, 
      2919, 2921, 2922, 2925, 2926, 2930, 2931, 2935, 2936, 2939, 2940, 2949, 2950, 2952, 2953, 2956, 
      2957, 2962, 2963, 2970, 2971, 2973, 2974, 2981, 2982, 2985, 2990, 2993, 2994, 2996, 2997, 3006, 
      3007, 3009, 3010, 3017, 3018, 3021, 3026, 3029, 3030, 3032, 3033, 3042, 3043, 3045, 3046, 3053, 
      3054, 3057, 3062, 3065, 3066, 3068, 3069, 3073, 3078, 3081, 3082, 3085, 3086, 3088, 3089, 3090, 
      3091, 3094, 3095, 3097, 3098, 3099, 3100, 3103, 3104, 3106, 3107, 3108, 3109, 3113, 3114, 3118, 
      3119, 3130, 3131, 3134, 3135, 3137, 3138, 3142, 3143, 3151, 3158, 3159, 3163, 3165, 3167, 3168, 
      3172, 3181, 3182, 3186, 3187, 3191, 3192, 3205, 3206, 3210, 3211, 3213, 3214, 3218, 3219, 3229, 
      3230, 3234, 3235, 3241, 3242, 3250, 3251, 3255, 3256, 3258, 3259, 3262, 3263, 3267, 3268, 3272, 
      3273, 3282, 3283, 3287, 3288, 3292, 3293, 3306, 3307, 3310, 3311, 3313, 3314, 3318, 3319, 3333, 
      3334, 3338, 3339, 3343, 3344, 3357, 3358, 3362, 3363, 3365, 3366, 3370, 3371, 3379, 3386, 3387, 
      3391, 3393, 3395, 3396, 3400, 3403, 3404, 3412, 3413, 3417, 3418, 3420, 3421, 3424, 3425, 3429, 
      3430, 3434, 3435, 3444, 3445, 3449, 3450, 3454, 3455, 3468, 3469, 3473, 3474, 3476, 3477, 3481, 
      3482, 3496, 3497, 3501, 3502, 3506, 3507, 3520, 3521, 3525, 3526, 3528, 3529, 3533, 3534, 3544, 
      3545, 3549, 3550, 3556, 3557, 3565, 3566, 3570, 3571, 3573, 3574, 3577, 3578, 3582, 3583, 3587, 
      3588, 3597, 3598, 3602, 3603, 3607, 3608, 3621, 3622, 3625, 3626, 3628, 3629, 3633, 3634, 3642, 
      3643, 3651, 3652, 3656, 3657, 3659, 3660, 3663, 3664, 3668, 3669, 3673, 3674, 3683, 3684, 3688, 
      3689, 3693, 3694, 3707, 3708, 3712, 3713, 3715, 3716, 3720, 3721, 3735, 3736, 3741, 3742, 3755, 
      3756, 3760, 3761, 3764, 3765, 3773, 3780, 3781, 3785, 3787, 3789, 3790, 3794, 3797, 3798, 3806, 
      3807, 3811, 3812, 3814, 3815, 3818, 3819, 3823, 3824, 3828, 3829, 3837, 3839, 3842, 3843, 3844, 
      3855, 3856, 3860, 3861, 3863, 3865, 3869, 3870, 3878, 3879, 3883, 3884, 3886, 3887, 3890, 3891, 
      3895, 3896, 3900, 3901, 3909, 3911, 3914, 3915, 3916, 3927, 3928, 3932, 3933, 3935, 3937, 3946, 
      3960, 3961, 3965, 3967, 3969, 3970, 3972, 3973, 3977, 3978, 3979, 3980, 3981, 3982, 3983, 3984, 
      3985, 3989, 3992, 3993, 3995, 3996, 4000, 4001, 4002, 4003, 4004, 4005, 4006, 4008, 4009, 4013, 
      4016, 4017, 4019, 4020, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4032, 4033, 4036, 4037, 4041, 
      4042, 4049, 4052, 4053, 4058, 4059, 4063, 4070, 4071, 4075, 4076, 4083, 4084, 4092, 4093, 4097, 
      4098, 4101, 4102, 4110, 4111, 4114, 4115, 4121, 4122, 4134, 4135, 4139, 4140, 4147, 4148, 4152, 
      4153, 4158, 4159, 4163, 4164, 4171, 4172, 4176, 4177, 4184, 4185, 4189, 4192, 4193, 4197, 4198, 
      4205, 4215, 4216, 4220, 4221, 4225, 4226, 4239, 4240, 4244, 4245, 4247, 4248, 4252, 4253, 4261, 
      4262, 4274, 4275, 4279, 4280, 4287, 4288, 4292, 4293, 4298, 4299, 4303, 4310, 4311, 4315, 4316, 
      4323, 4324, 4329, 4330, 4342, 4343, 4347, 4348, 4355, 4356, 4360, 4361, 4366, 4367, 4371, 4372, 
      4379, 4380, 4384, 4385, 4392, 4393, 4401, 4402, 4406, 4407, 4410, 4411, 4419, 4420, 4423, 4424, 
      4436, 4437, 4441, 4442, 4446, 4447, 4460, 4461, 4465, 4466, 4468, 4469, 4473, 4474, 4482, 4483, 
      4495, 4496, 4500, 4501, 4508, 4509, 4513, 4514, 4519, 4520, 4524, 4525, 4532, 4533, 4537, 4538, 
      4545, 4546, 4551, 4552, 4565, 4566, 4573, 4574, 4578, 4579, 4584, 4585, 4589, 4590, 4598, 4599, 
      4606, 4607, 4611, 4614, 4624, 4625, 4629, 4630, 4634, 4635, 4648, 4649, 4653, 4654, 4656, 4657, 
      4661, 4662, 4669, 4678, 4681, 4682, 4683, 4691, 4693, 4696, 4697, 4701, 4708, 4711, 4714, 4723, 
      4724, 4728, 4729, 4733, 4734, 4747, 4748, 4752, 4753, 4755, 4756, 4760, 4761, 4768, 4777, 4780, 
      4781, 4782, 4790, 4792, 4795, 4796, 4800, 4801, 4808, 4811, 4814, 4816, 4830, 4832, 4836, 4837, 
      4846, 4848, 4850, 4852, 4853, 4854, 4857, 4858, 4862, 4864, 4867, 4868, 4869, 4877, 4878, 4882, 
      4883, 4885, 4887, 4890, 4892, 4893, 4894, 4895, 4896, 4897, 4901, 4902, 4904, 4905, 4906, 4908, 
      4909, 4912, 4915, 4916, 4920, 4922, 4925, 4926, 4927, 4935, 4936, 4940, 4941, 4943, 4945, 4948, 
      4950, 4951, 4952, 4953, 4954, 4955, 4959, 4960, 4962, 4963, 4964, 4966, 4967, 4970, 4973, 4974, 
      4978, 4979, 4980, 4981, 4982, 4984, 4985, 4986, 4987, 4989, 4990, 4991, 4996, 4997, 5001, 5002, 
      5009, 5010, 5026, 5027, 5030, 5031, 5036, 5037, 5041, 5042, 5046, 5047, 5054, 5055, 5067, 5077, 
      5078, 5082, 5089, 5092, 5095, 5096, 5100, 5107, 5119, 5120, 5126, 5127, 5131, 5132, 5139, 5140, 
      5159, 5160, 5164, 5165, 5172, 5173, 5177, 5178, 5182, 5183, 5190, 5191, 5206, 5207, 5211, 5212, 
      5219, 5220, 5229, 5230, 5242, 5243, 5247, 5248, 5255, 5256, 5260, 5261, 5266, 5267, 5271, 5272, 
      5279, 5280, 5284, 5285, 5292, 5293, 5306, 5307, 5313, 5314, 5318, 5319, 5326, 5327, 5346, 5347, 
      5350, 5351, 5356, 5357, 5361, 5362, 5366, 5367, 5374, 5375, 5395, 5396, 5403, 5404, 5411, 5412, 
      5431, 5432, 5436, 5437, 5444, 5445, 5450, 5451, 5458, 5459, 5471, 5481, 5482, 5486, 5493, 5496, 
      5499, 5500, 5504, 5511, 5515, 5516, 5528, 5529, 5533, 5534, 5541, 5542, 5546, 5547, 5552, 5553, 
      5557, 5558, 5565, 5566, 5570, 5571, 5578, 5579, 5592, 5595, 5598, 5599, 5600, 5608, 5609, 5610, 
      5628, 5629, 5633, 5634, 5641, 5642, 5646, 5649, 5650, 5651, 5656, 5670, 5678, 5679, 5680, 5704, 
      5705, 5712, 5713, 5719, 5724, 5725, 5726, 5727, 5731, 5733, 5734, 5735, 5741, 5743, 5746, 5747, 
      5751, 5752, 5759, 5762, 5765, 5767, 5769, 5770, 5771, 5772, 5773, 5774, 5778, 5779, 5781, 5782, 
      5783, 5784, 5787, 5789, 5790, 5791, 5793, 5794, 5795, 5798, 5800, 5801, 5802, 5803, 5804, 5805, 
      5811, 5814, 5815, 5816, 5824, 5826, 5829, 5830, 5834, 5835, 5842, 5845, 5848, 5850, 5852, 5853, 
      5854, 5855, 5856, 5857, 5861, 5862, 5864, 5865, 5866, 5867, 5870, 5872, 5873, 5874, 5877, 5878, 
      5879, 5884, 5886, 5887, 5888, 5889, 5890, 5891, 5894, 5895, 5898, 5904, 5907, 5911, 5912, 5916, 
      5917, 5918, 5919, 5920, 5923, 5926, 5930, 5931, 5935, 5936, 5937, 5938, 5939, 5940, 5944, 5945, 
      5949, 5950, 5957, 5958, 5969, 5973, 5974, 5981, 5982, 5986, 5993, 6003, 6004, 6008, 6009, 6016, 
      6017, 6028, 6029, 6040, 6041, 6047, 6048, 6051, 6052, 6057, 6058, 6070, 6071, 6074, 6075, 6080, 
      6081, 6090, 6091, 6108, 6109, 6116, 6117, 6128, 6129, 6135, 6136, 6143, 6144, 6148, 6149, 6156, 
      6157, 6169, 6170, 6177, 6178, 6189, 6190, 6196, 6199, 6200, 6201, 6209, 6223, 6224, 6230, 6231, 
      6235, 6236, 6243, 6244, 6263, 6264, 6268, 6269, 6276, 6277, 6281, 6282, 6286, 6287, 6294, 6295, 
      6306, 6319, 6322, 6323, 6324, 6332, 6333, 6334, 6348, 6351, 6355, 6356, 6360, 6367, 6377, 6380, 
      6381, 6382, 6390, 6395, 6398, 6416, 6417, 6418, 6432, 6435, 6440, 6441, 6448, 6449, 6465, 6470, 
      6473, 6476, 6478, 6479, 6480, 6486, 6487, 6488, 6494, 6496, 6497, 6498, 6501, 6507, 6510, 6513, 
      6514, 6515, 6523, 6524, 6525, 6538, 6539, 6543, 6544, 6551, 6552, 6556, 6559, 6560, 6561, 6566, 
      6571, 6573, 6575, 6576, 6577, 6578, 6579, 6580, 6584, 6585, 6587, 6588, 6589, 6590, 6593, 6595, 
      6596, 6600, 6601, 6605, 6606, 6608, 6609, 6610, 6612, 6614, 6615, 6618, 6619, 6620, 6628, 6633, 
      6634, 6635, 6636, 6637, 6641, 6642, 6644, 6645, 6646, 6649, 6650, 6653, 6656, 6657, 6663, 6674, 
      6676, 6677, 6678, 6681, 6684, 6685, 6689, 6690, 6692, 6693, 6694, 6698, 6699, 6701, 6705, 6708, 
      6709, 6710, 6715, 6718, 6719, 6723, 6724, 6726, 6727, 6728, 6729, 6730, 6734, 6735, 6737, 6738, 
      6739, 6740, 6754, 6755, 6759, 6760, 6767, 6768, 6779, 6780, 6799, 6800, 6803, 6804, 6809, 6810, 
      6818, 6819, 6826, 6831, 6840, 6854, 6867, 6868, 6872, 6879, 6889, 6893, 6897, 6898, 6902, 6909, 
      6919, 6935, 6944, 6945, 6946, 6960, 6961, 6962, 6995, 6996, 7003, 7004, 7015, 7016, 7027, 7028, 
      7029, 7038, 7045, 7046, 7047, 7051, 7052, 7054, 7055, 7057, 7058, 7064, 7066, 7067, 7068, 7074, 
      7075, 7076, 7088, 7091, 7095, 7096, 7100, 7101, 7108, 7109, 7120, 7123, 7124, 7125, 7133, 7138, 
      7141, 7143, 7145, 7146, 7147, 7148, 7149, 7150, 7154, 7155, 7157, 7158, 7159, 7160, 7163, 7165, 
      7166, 7170, 7171, 7175, 7176, 7178, 7179, 7180, 7181, 7184, 7188, 7189, 7191, 7192, 7193, 7195, 
      7196, 7197, 7203, 7204, 7205, 7211, 7214, 7215, 7216, 7217, 7218, 7222, 7223, 7225, 7226, 7227, 
      7228, 7231, 7233, 7234, 7235, 7238, 7239, 7242, 7245, 7246, 7247, 7248, 7249, 7252, 7255, 7256, 
      7262, 7263, 7264, 7273, 7276, 7279, 7280, 7299, 7302, 7303, 7304, 7312, 7321, 7322, 7326, 7327, 
      7329, 7330, 7333, 7338, 7339, 7340, 7341, 7342, 7346, 7347, 7349, 7350, 7351, 7352, 7355, 7357, 
      7358, 7359, 7360, 7363, 7364, 7365, 7366, 7367, 7368, 7371, 7372, 7384, 7385, 7391, 7392, 7398, 
      7403, 7406, 7407, 7408, 7416, 7417, 7418, 7432, 7482, 7486, 7488, 7489, 7490, 7496, 7497, 7498, 
      7509, 7510, 7511, 7520, 7522, 7523, 7524, 7530, 7531, 7532, 7538, 7541, 7544, 7545, 7548, 7551, 
      7552, 7553, 7554, 7555, 7558, 7561, 7562, 7565, 7570, 7571, 7572, 7575, 7576, 7582, 7583, 7584, 
      7598, 7610, 7613, 7614, 7617, 7620, 7621, 7622, 7623, 7637, 7639, 7640, 7641, 7647, 7648, 7649, 
      7656, 7664, 7668, 7669, 7671, 7674, 7678, 7679, 7681, 7682, 7685, 7686, 7687, 7691, 7692, 7694, 
      7695, 7697, 7701, 7702, 7706, 7708, 7709, 7710, 7714, 7715, 7717, 7718, 7719, 7720, 7721, 7723, 
      7726, 7727, 7728, 7729, 7730, 7733, 7734, 7737, 7740, 7741, 7742, 7743, 7759, 7760, 7764, 7765, 
      7767, 7768, 7785, 7787, 7792, 7794, 7796, 7798, 7817, 7820, 7823, 7824, 7851, 7852, 7853, 7854, 
      7856, 7859, 7860, 7861, 7862, 7863, 7864, 7867, 7868, 7870, 7871, 7873, 7876, 7877, 7880, 7883, 
      7884, 7885, 7886, 7887, 7890, 7893, 7894, 7895, 7896, 7897, 7898, 7919, 7920, 7924, 7925, 7928, 
      7933, 7935, 7936, 7937, 7938, 7939, 7947, 7951, 7957, 7964, 7972, 7975, 7976, 7977, 7978, 7979, 
      7980, 7982, 7985, 7986, 7987, 7988, 8000, 8001, 8005, 8007, 8008 ], 
  [ 1925, 2327, 2973, 4816, 5777, 7053, 7677, 7684 ] ]