bins :=
[ [ 3, 5 ], [ 7, 14, 17 ], [ 8, 16, 18 ], [ 9, 12 ], [ 10, 11, 13 ],
[ 19, 43, 206, 216 ], [ 20, 24, 46 ], [ 21, 22, 29, 31, 52, 55, 58, 61 ],
[ 23, 45, 207, 218 ], [ 25, 26, 30, 32, 48, 49, 50, 51, 54, 57, 60, 63 ],
[ 27, 47 ], [ 28, 53, 56, 59, 62 ], [ 34, 35, 36 ],
[ 37, 38, 39, 40, 41, 42 ], [ 44, 217 ], [ 67, 68 ],
[ 69, 70, 71, 72, 73, 76, 78 ], [ 74, 75, 77 ], [ 84, 85 ], [ 91, 92 ],
[ 94, 95 ], [ 96, 97, 98 ], [ 100, 101 ], [ 103, 104 ], [ 107, 117 ],
[ 109, 110 ], [ 121, 122 ], [ 123, 126 ], [ 124, 127, 162, 163 ],
[ 129, 135 ], [ 130, 136 ], [ 133, 150, 154 ], [ 138, 139, 151, 153 ],
[ 141, 142, 147, 148, 156 ], [ 144, 145, 159 ], [ 152, 155 ], [ 158, 161 ],
[ 165, 166 ], [ 169, 172, 182, 192 ], [ 171, 181, 191 ],
[ 173, 175, 183, 185 ], [ 174, 176, 184, 186 ],
[ 177, 178, 179, 187, 188, 189 ], [ 180, 190 ], [ 196, 198 ],
[ 197, 199, 201 ], [ 200, 202 ], [ 204, 205 ], [ 208, 219 ], [ 209, 220 ],
[ 211, 223 ], [ 213, 214, 215 ], [ 221, 222 ], [ 230, 231 ], [ 232, 233 ],
[ 234, 235 ], [ 236, 237 ], [ 243, 244 ], [ 248, 249, 285 ],
[ 250, 251, 252, 288, 303 ], [ 254, 255 ], [ 256, 257, 258 ], [ 263, 264 ],
[ 267, 271 ], [ 268, 272 ], [ 269, 273 ], [ 275, 292 ], [ 277, 278, 279 ],
[ 280, 281, 282 ], [ 286, 287 ], [ 289, 290, 302, 304, 306 ],
[ 294, 295, 296, 297, 298, 299 ], [ 300, 309 ], [ 301, 305 ], [ 307, 308 ],
[ 317, 318 ], [ 320, 321 ], [ 323, 324 ], [ 326, 340 ], [ 327, 341 ],
[ 329, 330, 331 ], [ 332, 333, 334 ], [ 336, 337 ], [ 344, 345, 346 ],
[ 348, 349 ], [ 350, 351, 352, 354 ], [ 353, 355, 356 ], [ 358, 359 ],
[ 361, 370 ], [ 362, 363 ], [ 366, 367 ], [ 371, 372 ], [ 373, 378 ],
[ 374, 375, 379 ], [ 376, 380 ], [ 377, 381 ], [ 394, 396, 397 ],
[ 399, 400, 401 ], [ 402, 403, 404, 405, 406, 407, 408 ], [ 411, 412 ],
[ 413, 414 ], [ 415, 416, 417, 418, 419 ], [ 429, 431 ], [ 432, 436 ],
[ 433, 435, 437, 439 ], [ 434, 438 ], [ 441, 445 ], [ 442, 446 ],
[ 443, 447 ], [ 456, 459, 462 ], [ 457, 460 ], [ 458, 461 ], [ 464, 465 ],
[ 466, 470, 474 ], [ 467, 471 ], [ 468, 469, 472, 473 ], [ 479, 480 ],
[ 483, 486 ], [ 492, 496, 520, 523, 524 ], [ 493, 497, 521, 526 ],
[ 503, 504, 525, 527 ], [ 506, 509, 510, 534 ], [ 507, 511, 535 ],
[ 512, 538 ], [ 517, 518 ], [ 543, 546, 547 ], [ 544, 549 ], [ 545, 554 ],
[ 548, 550, 555 ], [ 556, 580 ], [ 557, 581 ], [ 558, 582 ],
[ 559, 583, 607 ], [ 560, 584 ], [ 561, 585 ], [ 562, 586 ],
[ 563, 587, 615, 639, 651 ], [ 564, 588 ], [ 565, 589 ], [ 566, 590 ],
[ 567, 591, 611, 647, 659 ], [ 568, 592 ], [ 569, 593 ], [ 570, 594 ],
[ 571, 595, 619, 623, 631 ], [ 572, 596 ], [ 573, 597 ], [ 574, 598 ],
[ 575, 599, 627 ], [ 576, 600 ], [ 577, 601 ], [ 578, 602 ],
[ 579, 603, 635, 643, 655 ], [ 605, 606 ], [ 609, 610, 625, 626 ],
[ 613, 614 ], [ 616, 620 ], [ 617, 618, 621, 622, 637, 638, 649, 650 ],
[ 629, 630 ], [ 632, 640, 652 ], [ 633, 634, 641, 642, 653, 654 ],
[ 636, 648 ], [ 644, 656 ], [ 645, 646, 657, 658 ], [ 661, 662 ],
[ 664, 665, 666 ], [ 667, 670 ], [ 668, 669, 671, 672 ], [ 677, 679 ],
[ 682, 686 ], [ 684, 689, 693 ], [ 685, 690 ], [ 694, 701 ],
[ 695, 702, 704, 705, 706 ], [ 696, 697, 700 ], [ 698, 699 ],
[ 715, 720, 722, 724 ], [ 716, 719 ], [ 717, 718, 723 ], [ 725, 734 ],
[ 726, 728 ], [ 727, 733 ], [ 729, 731, 736 ], [ 730, 732, 735, 738, 740 ],
[ 737, 739 ], [ 759, 765 ], [ 760, 766 ], [ 761, 767 ], [ 762, 768 ],
[ 774, 787 ], [ 776, 788 ], [ 778, 793 ], [ 781, 790 ], [ 782, 794 ],
[ 795, 798 ], [ 796, 799 ], [ 804, 815, 817 ], [ 805, 810 ],
[ 806, 809, 812, 816 ], [ 823, 828 ], [ 824, 826 ], [ 829, 839 ],
[ 830, 831, 847 ], [ 832, 843, 845, 850 ], [ 833, 836, 838 ],
[ 834, 837, 840, 844, 848 ], [ 835, 849, 853 ], [ 841, 855 ],
[ 846, 852, 854 ], [ 851, 856 ], [ 869, 870 ], [ 875, 877 ],
[ 878, 1131, 1132 ], [ 880, 881, 2838 ],
[ 882, 883, 884, 885, 888, 895, 902, 906, 912, 916, 921, 932, 935 ],
[ 886, 887 ],
[ 889, 1146, 1147, 1148, 1149, 2969, 2974, 2995, 3014, 3059, 3064, 3070 ],
[ 890, 891, 897, 905, 910, 918, 925, 927, 931, 934 ], [ 892, 930 ],
[ 893, 899, 908, 915 ], [ 896, 901, 924, 926 ], [ 900, 913, 923, 928 ],
[ 903, 919 ], [ 904, 933, 936 ], [ 909, 920 ], [ 939, 940 ],
[ 947, 948, 1025 ], [ 949, 952, 959 ], [ 955, 956, 957 ],
[ 958, 960, 998, 1026, 1031, 1032 ], [ 963, 964 ], [ 966, 969 ],
[ 972, 973, 974, 975, 976, 977, 978, 983, 985, 987, 993, 995, 1001, 1005,
1013, 1014, 1020, 1022 ],
[ 981, 982, 992, 1002, 1010, 1011, 1019, 1023, 1028, 1029 ], [ 984, 986 ],
[ 990, 1016 ], [ 991, 1000, 1018, 1021 ], [ 994, 1003, 1009, 1027 ],
[ 996, 1004 ], [ 999, 1007, 1008 ], [ 1006, 1024 ], [ 1035, 1036 ],
[ 1043, 1044, 1108, 1113, 1121 ], [ 1045, 1048, 1055 ],
[ 1051, 1052, 1053, 1090, 1099, 1105, 1123 ],
[ 1054, 1056, 1086, 1094, 1112, 1122, 1127, 1128 ], [ 1057, 1058 ],
[ 1059, 1060 ], [ 1062, 1065 ], [ 1066, 1067 ],
[ 1068, 1069, 1070, 1071, 1072, 1073, 1074, 1079, 1081, 1083, 1089, 1091,
1097, 1101, 1109, 1110, 1116, 1118 ], [ 1075, 1076 ],
[ 1077, 1078, 1088, 1098, 1106, 1107, 1115, 1119, 1124, 1125 ],
[ 1080, 1082 ], [ 1084, 1093 ],
[ 1085, 1087, 1095, 1096, 1103, 1104, 1114, 1117 ], [ 1092, 1100 ],
[ 1102, 1111, 1120 ], [ 1135, 1139 ], [ 1137, 1138, 2719, 2734 ],
[ 1140, 2890, 3040 ], [ 1142, 1143 ],
[ 1152, 1176, 2837, 2852, 2862, 2881, 2882, 2885, 2895, 2910, 2925, 2927,
2931, 2936, 2956, 2976, 2981, 2990, 2996, 3001, 3005, 3007, 3015, 3026,
3030, 3046, 3067, 3072, 3086 ], [ 1154, 1156 ],
[ 1155, 1157, 1158, 2850, 2856, 2861, 2865, 2937, 2940, 2955, 2962, 2970,
2979, 2987, 2997, 2999, 3000, 3016, 3017, 3029, 3039, 3041, 3060, 3071,
3079, 3091, 3094 ], [ 1159, 1160, 1177, 1178 ],
[ 1161, 1162, 1163, 1164, 1179, 1180, 1181, 1182, 1185, 1187, 1189 ],
[ 1167, 1168, 1169, 1170 ],
[ 1173, 1174, 2840, 2841, 2880, 2926, 3045, 3077, 3087 ], [ 1183, 1184 ],
[ 1186, 1188 ], [ 1190, 1191 ], [ 1192, 1230 ],
[ 1193, 1210, 1212, 1229, 1237, 1238, 1248, 1256 ],
[ 1194, 1202, 1219, 1228, 1246, 1255, 1265, 1266 ],
[ 1195, 1204, 1209, 1216, 1217, 1224, 1226, 1236, 1240, 1242, 1252, 1258,
1267, 1268, 1270, 1272 ],
[ 1196, 1200, 1206, 1208, 1214, 1215, 1222, 1227, 1231, 1235, 1244, 1245,
1250, 1253, 1260, 1263 ],
[ 1197, 1205, 1207, 1223, 1225, 1234, 1254, 1259 ],
[ 1198, 1233, 1251, 1262 ],
[ 1199, 1218, 1232, 1241, 1249, 1261, 1269, 1271 ], [ 1201, 1220 ],
[ 1203, 1211, 1221, 1239 ], [ 1213, 1243 ], [ 1247, 1257 ], [ 1277, 1304 ],
[ 1288, 1294, 1310 ], [ 1289, 1307 ], [ 1293, 1305 ],
[ 1297, 1298, 1299, 1303 ], [ 1300, 1301, 1302 ], [ 1314, 1319 ],
[ 1321, 1322, 1323, 1324, 1325, 1326 ],
[ 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1342, 1346, 1357, 1361,
1363, 1372, 1377, 1379, 1391 ], [ 1335, 1339 ], [ 1336, 1340 ],
[ 1337, 1338 ],
[ 1341, 1343, 1347, 1352, 1364, 1371, 1381, 1383, 1384, 1386, 1388, 1389 ],
[ 1344, 1345, 1358, 1360, 1367, 1375 ], [ 1348, 1349, 1370 ],
[ 1351, 1353, 1359, 1374, 1382, 1385, 1387 ], [ 1356, 1365 ],
[ 1362, 1392 ], [ 1368, 1376 ], [ 1373, 1390 ], [ 1378, 1380 ],
[ 1396, 1407 ], [ 1398, 1409 ], [ 1399, 1402, 2108, 2134, 2539, 2540, 2549 ]
, [ 1403, 2116, 2133 ], [ 1405, 2125 ],
[ 1410, 1412, 1416, 1421, 2130, 2152, 2543, 2544, 2553, 2562, 2579, 2589 ],
[ 1411, 1413, 1417 ], [ 1415, 1418, 2129, 2142, 2147, 2156 ],
[ 1419, 2111, 2151, 2160 ], [ 1420, 2148, 2561, 2580, 2583, 2593 ],
[ 1423, 1471, 2170 ],
[ 1424, 1426, 1430, 1432, 2110, 2119, 2136, 2541, 2542, 2567, 2568 ],
[ 1425, 1427, 1429, 1431, 2109, 2118, 2137, 2551, 2569 ], [ 1428, 2135 ],
[ 1433, 1472, 2175 ],
[ 1434, 1436, 1437, 1439, 1443, 1444, 1446, 1447, 2115, 2122, 2131, 2132,
2145, 2149, 2154, 2155, 2545, 2556, 2564, 2581, 2586, 2590, 2595 ],
[ 1435, 1438, 1440, 1442, 1445, 1448, 1449, 1450, 2113, 2114, 2123, 2124,
2146, 2150, 2153, 2158, 2162, 2164, 2546, 2554, 2563, 2576, 2577, 2582,
2585, 2587, 2591, 2594, 2596 ],
[ 1441, 1451, 2144, 2159, 2163, 2547, 2555, 2578 ], [ 1452, 2168 ],
[ 1453, 1466, 2105, 2173, 2559, 2604, 2607 ], [ 1454, 2127 ],
[ 1455, 1467, 2166, 2169, 2600 ],
[ 1456, 1462, 2171, 2172, 2176, 2177, 2605, 2606 ],
[ 1457, 1459, 1460, 1465, 1468, 2174, 2179, 2603, 2610, 2611 ],
[ 1458, 2598, 2601 ], [ 1476, 1487 ], [ 1478, 1489 ],
[ 1479, 1482, 2189, 2215, 2221, 2620, 2621, 2630, 2654 ],
[ 1483, 1555, 1604, 1609, 1823, 2197, 2214 ], [ 1485, 2206 ],
[ 1486, 1580, 1584, 1585, 1605, 1608, 1821, 1825, 1826 ],
[ 1490, 1492, 1496, 1501, 1505, 1507, 1509, 1511, 2190, 2199, 2211, 2218,
2233, 2369, 2387, 2624, 2625, 2632, 2634, 2643, 2650, 2660, 2670 ],
[ 1491, 1493, 1497, 1504, 1506, 1510, 1512, 2191, 2200, 2217, 2622, 2623,
2648, 2649 ], [ 1495, 1498, 1792, 2210, 2223, 2228, 2237 ],
[ 1499, 1556, 1560, 1581, 1582, 1606, 1607, 1807, 1822, 2192, 2232, 2241 ],
[ 1500, 1508, 2216, 2229, 2642, 2661, 2664, 2674 ], [ 1502, 1579, 1820 ],
[ 1503, 1551, 2251 ], [ 1513, 1552, 1648, 1705, 1860, 1894, 2256 ],
[ 1514, 1516, 1517, 1519, 1523, 1524, 1526, 1527, 2196, 2203, 2212, 2213,
2226, 2230, 2235, 2236, 2626, 2637, 2645, 2662, 2667, 2671, 2676 ],
[ 1515, 1518, 1520, 1522, 1525, 1528, 1529, 1530, 2194, 2195, 2204, 2205,
2227, 2231, 2234, 2239, 2243, 2245, 2627, 2635, 2644, 2657, 2658, 2663,
2666, 2668, 2672, 2675, 2677 ],
[ 1521, 1531, 2225, 2240, 2244, 2628, 2636, 2659 ], [ 1532, 2249, 3249 ],
[ 1533, 1546, 2186, 2254, 2336, 2366, 2640, 2685, 2688, 3158, 3290 ],
[ 1534, 2208, 2381, 3128, 3239, 3310 ],
[ 1535, 1547, 2187, 2207, 2247, 2250, 2617, 2639, 2681, 3138 ],
[ 1536, 1542, 2252, 2253, 2257, 2258, 2686, 2687 ],
[ 1537, 1539, 1540, 1545, 1548, 2255, 2260, 2684, 2691, 2692 ],
[ 1538, 2185, 2209, 2324, 2679, 2682, 3180, 3262, 3270 ], [ 1541, 1769 ],
[ 1543, 2456, 2516, 2519, 2530, 3143, 3206, 3242, 3312, 3317, 3328, 3381,
3421, 3441, 3467, 3474, 3521 ], [ 1554, 1803 ], [ 1559, 1806 ],
[ 1561, 1616, 1624, 1828, 1841, 2380, 2394 ],
[ 1562, 1569, 1816, 3411, 3433, 3498, 3504, 3548, 3560, 3579, 3583 ],
[ 1563, 1576 ], [ 1564, 3476 ], [ 1565, 3409, 3458, 3507 ],
[ 1566, 1571, 1588, 1591, 1596, 1599, 1809, 1818, 3368, 3432, 3502, 3547 ],
[ 1567, 1626, 1814, 1833 ], [ 1568, 3426, 3430, 3452, 3543 ],
[ 1572, 1603, 1810 ],
[ 1574, 1817, 2411, 2493, 2515, 3385, 3424, 3429, 3514, 3575 ],
[ 1575, 1577, 1595, 1598, 1623, 1827, 2358 ],
[ 1586, 1589, 1613, 1617, 1627, 1834, 1839, 1844, 3343, 3347, 3352, 3374,
3440, 3442, 3462, 3494, 3522, 3523, 3539, 3553, 3557, 3563, 3571 ],
[ 1587, 1590, 1597, 1600, 1610, 1618, 1621, 1622, 1829, 1831, 1838, 1840,
3188 ], [ 1592, 2307, 2349, 3117 ],
[ 1593, 2041, 2049, 2445, 2459, 2474, 2477, 2487, 2510, 3342, 3349, 3350,
3351, 3371, 3395, 3398, 3417, 3449, 3466, 3472, 3485, 3492, 3533, 3536 ]
, [ 1594, 1602, 1611, 1615, 1836, 1843, 3142, 3170 ],
[ 1612, 1619, 1832, 1837, 2417, 2426, 2432, 3404, 3413, 3423, 3427, 3512,
3555, 3566 ], [ 1614, 1842, 2356 ],
[ 1620, 1625, 1830, 1835, 2311, 3109, 3174, 3278 ], [ 1628, 1845 ],
[ 1630, 1691, 1701, 1763, 1783, 1893, 1934, 2527 ],
[ 1631, 1646, 1668, 1669, 1682, 1684, 1695, 1697, 1708, 1714, 1717, 1723,
1760, 1765, 1788, 1858, 1890, 1892, 1902, 1903, 1904, 1905, 1927, 1931,
1936, 2454, 3581 ],
[ 1632, 1756, 1855, 3119, 3139, 3175, 3193, 3194, 3195, 3227, 3230, 3313 ],
[ 1633, 1690, 1703, 1731, 1741, 1755, 1775, 1797, 1854, 1868, 1873, 1883,
1918 ], [ 1634, 1784, 1801, 2481 ],
[ 1635, 1643, 1694, 1767, 1776, 1782, 1793, 1794, 1799, 1852, 1926, 1933,
1938, 2461, 3112, 3135, 3141, 3147, 3163, 3165, 3177, 3218, 3243, 3248,
3276, 3283, 3285, 3309, 3324, 3326 ],
[ 1636, 1726, 1737, 1861, 1871, 2451, 2497, 3538 ],
[ 1637, 1761, 1859, 2316, 2323, 2362, 2389, 2395, 3115, 3132, 3140, 3157,
3211, 3217, 3234, 3244, 3245, 3272, 3289, 3299, 3303, 3322, 3327 ],
[ 1638, 1641, 1688, 1692, 1753, 1754, 1781, 1850, 1856, 1924 ],
[ 1639, 1925 ],
[ 1640, 1670, 1680, 1700, 1704, 1709, 1719, 1746, 1749, 1774, 1853, 1895,
1912, 1917, 1920, 1932, 3111, 3113, 3137, 3144, 3149, 3151, 3164, 3169,
3172, 3176, 3202, 3205, 3222, 3225, 3226, 3246, 3250, 3253, 3258, 3281,
3297, 3301, 3307, 3308, 3325, 3329, 3337, 3338 ],
[ 1644, 1674, 1675, 1676, 1678, 1698, 1707, 1713, 1715, 1721, 1724, 1729,
1734, 1736, 1762, 1768, 1790, 1791, 1795, 1796, 1800, 1849, 1863, 1864,
1872, 1877, 1884, 1886, 1899, 1900, 1907, 1908, 1939, 2476, 2503 ],
[ 1645, 1702, 1851 ],
[ 1647, 1748, 1764, 1773, 1935, 2320, 2325, 2329, 2331, 2340, 2341, 2350,
2368, 2370, 2373, 2382, 2386, 2392, 3127, 3129, 3136, 3146, 3153, 3160,
3162, 3173, 3201, 3204, 3210, 3220, 3228, 3232, 3238, 3240, 3256, 3284,
3292, 3294, 3302, 3311, 3321, 3333 ],
[ 1649, 1650, 1654, 1657, 1659, 1660, 1661, 1664, 1667, 1683, 1711, 1720,
1725, 1732, 1738, 1740, 1862, 1867, 1870, 1874, 1901, 1906, 2452, 2458,
2463, 2464, 2473, 2478, 2508, 2518, 2520, 3383, 3407, 3460, 3493, 3501,
3578 ], [ 1651, 1658, 1891 ],
[ 1652, 1653, 1655, 1656, 1662, 1663, 1665, 1666, 1687, 1727, 1733, 1866,
1878, 1888, 2412, 2415, 2419, 2427, 2479, 3471 ],
[ 1671, 1672, 1679, 1681, 1706, 1712, 1716, 1722, 1728, 1730, 1735, 1739,
1865, 1869, 1875, 1876, 1896, 1897, 1910, 1911, 2457, 2484, 2496, 2500,
2505, 2528, 3399, 3400, 3402, 3468, 3532, 3534, 3580 ],
[ 1673, 1677, 1710, 1718, 1898, 1909, 3491, 3540, 3570 ],
[ 1686, 1847, 1880, 1881 ],
[ 1689, 1766, 1772, 1937, 2284, 2292, 2302, 3145, 3192, 3257, 3274, 3306,
3331 ], [ 1693, 2405 ], [ 1699, 1857, 1885, 2498 ],
[ 1742, 1922, 2522 ], [ 1743, 1757, 1787, 1914 ],
[ 1745, 1789, 1916, 2283, 2289, 2295, 2299, 3167, 3216, 3339 ],
[ 1747, 1887 ], [ 1750, 1758, 1780, 1929, 3155, 3166, 3323 ],
[ 1751, 1759, 1771 ], [ 1770, 1915 ],
[ 1777, 1798, 2317, 2318, 2322, 2337, 2344, 2374, 2377, 2388, 3156, 3214,
3252, 3288, 3316, 3335 ], [ 1779, 1923, 2443, 3150 ],
[ 1786, 1930, 2494, 2504, 2507, 3377, 3490 ], [ 1812, 3231, 3305 ],
[ 1815, 2449 ], [ 1848, 2275, 3200 ],
[ 1919, 2277, 2278, 2281, 2293, 3208, 3241, 3298 ],
[ 1941, 2073, 2074, 2085 ], [ 1942, 2075, 2090 ], [ 1943, 2076, 2095 ],
[ 1947, 2069, 2072 ], [ 1948, 1953, 1955, 1956 ],
[ 1949, 1952, 1958, 1962, 1964, 1966, 1968 ], [ 1950, 1951 ],
[ 1957, 1961, 1963 ], [ 1970, 1976 ], [ 1974, 1983 ], [ 1975, 1989 ],
[ 1977, 1982, 1984, 1985 ], [ 1978, 1981, 1987, 1991, 1993, 1995, 1997 ],
[ 1979, 1980 ], [ 1986, 1990, 1992 ], [ 2000, 2003, 2013, 2014 ],
[ 2001, 2004, 2006, 2008, 2015, 2017, 2018 ], [ 2002, 2011, 2033 ],
[ 2010, 2035 ],
[ 2019, 2021, 2022, 2023, 2029, 2030, 2037, 2043, 2046, 2048 ],
[ 2020, 2024, 2026, 2027, 2028, 2031, 2040, 2045, 2047, 2051 ],
[ 2025, 2032, 2039, 2050 ], [ 2038, 2042 ], [ 2053, 2056 ], [ 2057, 2062 ],
[ 2058, 2063, 2067 ], [ 2059, 2060, 2061, 2064, 2065 ],
[ 2077, 2082, 2087, 2091, 2094 ],
[ 2078, 2083, 2088, 2093, 2096, 2097, 2098 ],
[ 2079, 2080, 2081, 2084, 2086, 2089 ], [ 2102, 2532 ], [ 2104, 2128 ],
[ 2106, 2126, 2536, 2558 ], [ 2121, 2143, 2161, 2552, 2574, 2592 ],
[ 2140, 2573 ], [ 2182, 2276 ], [ 2183, 2279, 2613, 3102, 3178 ],
[ 2202, 2224, 2242, 2633, 2655, 2673 ], [ 2248, 2354, 2619 ],
[ 2265, 2615 ], [ 2267, 2446, 2471 ], [ 2268, 2304 ], [ 2269, 2375, 2390 ],
[ 2271, 2274, 2280, 2287, 2296, 2334, 3110, 3159, 3282 ], [ 2272, 3121 ],
[ 2273, 2332 ], [ 2285, 2435, 3361 ], [ 2291, 2294, 3320 ],
[ 2298, 2303, 3126 ], [ 2300, 2447, 2490 ], [ 2309, 2342, 3106, 3199 ],
[ 2310, 2647 ], [ 2315, 2367, 2378, 3154, 3237, 3295 ],
[ 2319, 2333, 2393 ], [ 2326, 2383 ], [ 2327, 2384 ],
[ 2328, 2338, 2343, 2346, 2364, 2371, 2385, 3130, 3133, 3207, 3213, 3221,
3235, 3315, 3318, 3319 ], [ 2335, 2353 ], [ 2345, 2359, 3131, 3233 ],
[ 2355, 2641 ],
[ 2361, 2376, 2379, 3114, 3171, 3191, 3254, 3277, 3286, 3334 ],
[ 2363, 2365, 2391, 3122, 3196, 3291 ], [ 2372, 3209 ],
[ 2399, 2404, 2425, 3428 ], [ 2400, 2414, 2488, 3391, 3455 ],
[ 2401, 3508 ], [ 2402, 2403, 2470, 3345, 3513 ],
[ 2406, 2413, 3435, 3445, 3447, 3520, 3525 ],
[ 2407, 2437, 3355, 3363, 3365 ], [ 2408, 2418, 2468, 2512, 3375, 3439 ],
[ 2409, 3362, 3367 ], [ 2410, 2529, 3364, 3366, 3516 ],
[ 2416, 2424, 2431, 3372, 3392, 3406, 3415, 3463, 3465, 3495, 3496, 3517,
3518, 3527, 3545, 3567 ], [ 2420, 3359, 3360 ],
[ 2421, 2428, 2436, 3515, 3559 ], [ 2422, 2423 ],
[ 2430, 2434, 2439, 2455, 2469, 2475, 2517, 2521, 3356, 3380, 3475, 3486,
3487, 3535, 3551, 3576 ], [ 2433, 2511, 3396 ], [ 2438, 2514, 3519 ],
[ 2440, 3348, 3511 ], [ 2444, 2489, 3152, 3293 ],
[ 2450, 2453, 2460, 2467, 2472, 2482, 2502, 2506, 2513, 2523, 2524, 2526,
3353, 3370, 3378, 3388, 3394, 3397, 3403, 3410, 3444, 3454, 3480, 3484,
3489, 3531, 3537, 3544, 3546, 3554, 3562, 3564, 3577, 3582 ],
[ 2462, 2501, 3125, 3161, 3212, 3236, 3247, 3314, 3401, 3530 ],
[ 2466, 2483, 2499, 2509, 3369, 3382, 3384, 3387, 3418, 3436, 3446, 3450,
3461, 3469, 3470, 3473, 3497, 3524, 3550, 3574 ], [ 2485, 3224 ],
[ 2491, 2492, 3431, 3479, 3482, 3505, 3573 ],
[ 2495, 3379, 3488, 3529, 3565 ], [ 2525, 3509 ], [ 2533, 2599 ],
[ 2537, 2609 ], [ 2575, 2584 ], [ 2614, 2680 ], [ 2618, 2690, 3105, 3265 ],
[ 2631, 3287 ], [ 2656, 2665 ], [ 2683, 3103, 3185, 3186 ], [ 2694, 2743 ],
[ 2698, 2784 ], [ 2700, 2702, 2711, 2715, 2731, 2771, 2820 ],
[ 2701, 2705, 2707, 2712, 2717, 2726, 2727, 2730, 2760, 2762, 2772, 2801,
2802, 2821 ], [ 2703, 2723, 2798 ], [ 2709, 2729 ], [ 2710, 2770 ],
[ 2714, 2724, 2799, 2819 ], [ 2716, 2732, 2822 ], [ 2718, 2773 ],
[ 2720, 2721, 2735 ], [ 2725, 2800 ], [ 2739, 2788 ], [ 2742, 2786 ],
[ 2745, 2751, 2752, 2756, 2766, 2775, 2776, 2782, 2792, 2795, 2796, 2805,
2810, 2816, 2825, 2827 ],
[ 2746, 2747, 2757, 2765, 2780, 2790, 2791, 2807, 2811, 2817 ],
[ 2748, 2753 ], [ 2750, 2797 ], [ 2754, 2774 ], [ 2755, 2815 ],
[ 2759, 2769, 2809, 2824 ], [ 2764, 2779 ], [ 2767, 2781 ], [ 2777, 2826 ],
[ 2804, 2814 ], [ 2806, 2812 ], [ 2808, 2823 ], [ 2829, 3055 ],
[ 2830, 2964, 2968, 2973, 2978, 3009, 3013, 3018, 3038, 3054, 3058 ],
[ 2831, 2967, 2998, 3028, 3056 ],
[ 2832, 2876, 2877, 2922, 2988, 3043, 3073 ], [ 2834, 2845 ],
[ 2835, 2836, 2844, 2846, 2849, 2854, 2855, 2859, 2864, 2866, 2869, 2870,
2886, 2887, 2889, 2892, 2894, 2899, 2901, 2904, 2906, 2909, 2914, 2917,
2930, 2932, 2934, 2939, 2942, 2944, 2945, 2949, 2952, 2954, 2959, 2960,
2972, 2975, 2982, 2984, 2985, 2994, 3021, 3022, 3032, 3034, 3036, 3042,
3049, 3052, 3061, 3065, 3069, 3080, 3081, 3089, 3090, 3095 ],
[ 2843, 2858, 2888, 2903, 2928, 2933, 2948, 3063 ],
[ 2847, 2872, 2946, 2951, 2971, 2989, 3004, 3024, 3027, 3035, 3044, 3050,
3062, 3074, 3075, 3084, 3097 ],
[ 2848, 2853, 2863, 2868, 2893, 2898, 2908, 2913, 2938, 2953, 3078, 3093 ],
[ 2851, 2947, 2957, 3031 ], [ 2860, 2935, 2950, 2980 ],
[ 2867, 2941, 2961, 3047, 3082 ], [ 2874, 2923 ], [ 2884, 3019 ],
[ 2891, 2897, 2907, 2911, 2977, 3066 ], [ 2896, 2912, 3002, 3096 ],
[ 2900, 2915, 3020 ], [ 2902, 2916, 3037, 3051 ],
[ 2920, 3010, 3023, 3083 ], [ 2943, 2958 ], [ 2963, 3008, 3053 ],
[ 2966, 3057 ], [ 2983, 3048, 3088 ], [ 2992, 3076, 3092 ], [ 2993, 3068 ],
[ 3011, 3012 ], [ 3099, 3259 ], [ 3100, 3108, 3280 ], [ 3101, 3229 ],
[ 3104, 3182 ], [ 3107, 3279 ], [ 3118, 3183, 3187, 3264 ],
[ 3120, 3203, 3275 ], [ 3124, 3273 ], [ 3148, 3266 ], [ 3179, 3260 ],
[ 3181, 3189, 3219, 3300, 3340 ], [ 3190, 3223, 3269, 3296, 3304 ],
[ 3197, 3198, 3215, 3255, 3332 ], [ 3251, 3336 ],
[ 3344, 3346, 3386, 3393, 3506, 3510 ],
[ 3354, 3376, 3389, 3390, 3405, 3408, 3414, 3419, 3448, 3453, 3456, 3457,
3459, 3477, 3478, 3499, 3526, 3528, 3541, 3542, 3549, 3558, 3568, 3569,
3572 ],
[ 3357, 3358, 3373, 3412, 3416, 3438, 3443, 3451, 3464, 3481, 3483, 3500,
3552, 3556, 3561 ], [ 3434, 3437 ], [ 3584, 3585, 3591 ],
[ 3586, 3592, 3597 ], [ 3587, 3588, 3593, 3594, 3598, 3599 ],
[ 3589, 3590, 3595, 3596, 3600, 3601 ], [ 3604, 3605, 3606 ],
[ 3607, 3608 ], [ 3609, 3610, 3611 ],
[ 3612, 3613, 3619, 3625, 3643, 3644, 3650 ],
[ 3614, 3620, 3626, 3645, 3651, 3656 ],
[ 3615, 3616, 3621, 3622, 3627, 3628, 3638, 3639, 3640, 3641, 3642, 3646,
3647, 3652, 3653, 3657, 3658, 3668, 3669, 3670 ],
[ 3617, 3618, 3623, 3624, 3629, 3630, 3648, 3649, 3654, 3655, 3659, 3660 ],
[ 3631, 3632, 3661 ], [ 3633, 3662, 3663 ],
[ 3634, 3635, 3636, 3664, 3665, 3666 ], [ 3637, 3667 ],
[ 3671, 3673, 3685, 3704 ], [ 3672, 3674, 3694, 3705 ],
[ 3675, 3677, 3706, 3708 ],
[ 3676, 3678, 3697, 3699, 3701, 3703, 3707, 3709, 3710, 3728, 3730, 3731,
3733, 3735, 3736 ],
[ 3679, 3681, 3687, 3689, 3711, 3713, 3718, 3720, 3721 ],
[ 3680, 3682, 3686, 3688, 3691, 3693, 3700, 3702, 3712, 3714, 3715, 3717,
3719, 3723, 3725, 3726, 3732, 3734 ], [ 3683, 3684, 3695, 3716 ],
[ 3690, 3692, 3722, 3724 ], [ 3696, 3698, 3727, 3729 ],
[ 3737, 3739, 3741, 3747, 3749 ], [ 3738, 3740, 3743, 3745, 3750 ],
[ 3742, 3744, 3746, 3748, 3751 ],
[ 3752, 3754, 3768, 3770, 3776, 3778, 3794, 3808, 3814, 3816, 3845, 3847 ],
[ 3753, 3755, 3756, 3757, 3759, 3781, 3795, 3796, 3797, 3799, 3830, 3832,
3860, 3862, 3863, 3865, 3866, 3875, 3878, 3880, 3881 ],
[ 3758, 3760, 3761, 3785, 3787, 3788, 3790, 3792, 3793, 3798, 3800, 3801,
3821, 3823, 3824, 3826, 3828, 3829, 3831, 3833, 3834, 3851, 3853, 3854,
3856, 3858, 3859, 3869, 3872, 3873, 3874, 3876, 3877, 3884, 3885, 3886 ]
, [ 3762, 3764, 3767, 3769, 3772, 3774, 3775, 3782, 3783, 3802, 3804,
3807, 3810, 3812, 3813, 3819, 3835, 3837, 3841, 3843, 3844 ],
[ 3763, 3765, 3766, 3771, 3773, 3777, 3779, 3780, 3789, 3791, 3803, 3805,
3806, 3809, 3811, 3815, 3817, 3818, 3825, 3827, 3836, 3838, 3839, 3840,
3842, 3846, 3848, 3849, 3855, 3857, 3861, 3864, 3867, 3868, 3870, 3871,
3879, 3882, 3883 ], [ 3784, 3786, 3820, 3822, 3850, 3852 ],
[ 3887, 3888, 3889, 3890, 3891, 3892 ],
[ 3893, 3894, 3895, 3896, 3897, 3898, 3899, 3900, 3901, 3921, 3922, 3923,
3924, 3925, 3926, 3927, 3928, 3929, 3930, 3931, 3932, 3933, 3934, 3935 ]
, [ 3902, 3903 ],
[ 3904, 3905, 3906, 3907, 3908, 3909, 3910, 3911, 3912, 3913, 3914, 3915,
3916, 3917, 3918 ], [ 3919, 3920 ], [ 3936, 3937 ],
[ 3938, 3939, 3940 ], [ 3941, 3942, 3943 ], [ 3944, 3945, 3946 ],
[ 3947, 3948, 3949, 3950, 3951, 3952 ],
[ 3953, 3954, 3955, 3956, 3957, 3958, 3959, 3960, 3961 ],
[ 3962, 3963, 3964, 3965, 3966, 3967, 3968, 3969, 3970, 3971, 3972, 3973,
3974, 3975, 3976, 3977, 3978, 3979, 4013, 4014, 4015, 4016, 4017, 4018,
4019, 4020, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030,
4031, 4032, 4033, 4034, 4035, 4036, 4037, 4038, 4039 ],
[ 3980, 3981, 3982 ],
[ 3983, 3984, 3985, 3986, 3987, 3988, 3989, 3990, 3991, 3992, 3993, 3994,
3995, 3996, 3997, 3998, 3999, 4000, 4001, 4002, 4003, 4004, 4005, 4006,
4007, 4008, 4009 ], [ 4010, 4011, 4012 ], [ 4040, 4041, 4042 ],
[ 4043, 4044, 4045, 4052, 4053, 4054, 4061, 4062, 4063 ],
[ 4046, 4047, 4048, 4049, 4050, 4051, 4055, 4056, 4057, 4058, 4059, 4060,
4064, 4065, 4066, 4067, 4068, 4069 ], [ 4074, 4075, 4099, 4102 ],
[ 4076, 4084 ], [ 4077, 4085, 4091, 4092 ], [ 4082, 4086, 4088 ],
[ 4083, 4087, 4089 ], [ 4093, 4124 ],
[ 4094, 4095, 4096, 4125, 4126, 4128, 4129, 4130 ], [ 4100, 4103 ],
[ 4111, 4113 ], [ 4118, 4120 ], [ 4119, 4121, 4123 ], [ 4134, 4226 ],
[ 4136, 4138 ], [ 4140, 4142 ], [ 4148, 4149 ], [ 4152, 4161 ],
[ 4158, 4159 ], [ 4163, 4182, 4321, 4379 ],
[ 4164, 4183, 4184, 4322, 4354, 4380, 4381, 4414 ], [ 4177, 4178 ],
[ 4190, 4191 ], [ 4192, 4193 ], [ 4195, 4196 ], [ 4197, 4199 ],
[ 4198, 4200 ], [ 4202, 4203 ], [ 4204, 4208, 4211, 4214, 4221, 4407, 4438 ]
, [ 4206, 4209, 4212, 4215, 4216, 4222, 4408, 4409, 4439 ],
[ 4217, 4218, 4219 ], [ 4223, 4224 ], [ 4229, 4255 ], [ 4232, 4259 ],
[ 4233, 4235, 4262 ], [ 4234, 4236, 4263 ], [ 4243, 4244 ], [ 4245, 4311 ],
[ 4246, 4247, 4312 ], [ 4248, 4249 ], [ 4250, 4303, 4318 ],
[ 4251, 4276, 4291 ], [ 4252, 4253, 4275, 4295, 4301, 4316 ],
[ 4266, 4268 ], [ 4272, 4279, 4296 ], [ 4274, 4293 ], [ 4277, 4292 ],
[ 4278, 4294 ], [ 4280, 4297 ], [ 4289, 4290 ], [ 4299, 4314 ],
[ 4300, 4315 ], [ 4304, 4305, 4319, 4320 ], [ 4326, 4329 ], [ 4327, 4330 ],
[ 4328, 4331 ], [ 4333, 4334 ], [ 4335, 4337 ], [ 4339, 4340 ],
[ 4343, 4346 ], [ 4344, 4347, 4348 ], [ 4349, 4351 ], [ 4350, 4352 ],
[ 4353, 4413 ], [ 4355, 4356 ], [ 4357, 4358 ], [ 4359, 4360 ],
[ 4365, 4366 ], [ 4369, 4371 ], [ 4372, 4377 ], [ 4373, 4374, 4375, 4376 ],
[ 4384, 4386 ], [ 4385, 4387 ], [ 4388, 4391 ], [ 4389, 4390, 4392, 4393 ],
[ 4394, 4396, 4399, 4400, 4401 ], [ 4403, 4404 ], [ 4410, 4411 ],
[ 4419, 4421 ], [ 4420, 4422 ], [ 4423, 4424 ], [ 4427, 4428 ],
[ 4432, 4434 ], [ 4433, 4435 ], [ 4436, 4437 ], [ 4440, 4441, 4442 ],
[ 4445, 4448 ], [ 4458, 4461 ], [ 4463, 4466, 4468, 4469 ], [ 4470, 4473 ],
[ 4475, 4476 ], [ 4480, 4481 ], [ 4490, 4492 ],
[ 4496, 4511, 4535, 4538, 4548, 4551 ], [ 4497, 4521, 4523 ],
[ 4498, 4499, 4522, 4524 ], [ 4500, 4502, 4505 ], [ 4501, 4504, 4527 ],
[ 4507, 4510 ], [ 4509, 4536, 4547 ], [ 4512, 4539, 4550 ], [ 4513, 4514 ],
[ 4515, 4542 ], [ 4516, 4545, 4556 ], [ 4517, 4518, 4541, 4544, 4554, 4557 ]
, [ 4525, 4532, 4533 ], [ 4528, 4530 ], [ 4529, 4531 ],
[ 4534, 4537, 4546, 4549 ], [ 4543, 4552, 4555 ], [ 4560, 4561 ],
[ 4568, 4570 ], [ 4576, 4577 ], [ 4578, 4579 ], [ 4581, 4584, 4587 ],
[ 4582, 4585, 4588 ], [ 4583, 4586 ], [ 4589, 4590 ], [ 4593, 4594 ],
[ 4595, 4596, 4598 ], [ 4599, 4600 ], [ 4601, 4602 ], [ 4603, 4604 ],
[ 4605, 4616 ], [ 4606, 4611, 4615 ], [ 4607, 4608 ], [ 4610, 4613, 4619 ],
[ 4612, 4614, 4617, 4618, 4620, 4621 ], [ 4622, 4623, 4624 ],
[ 4625, 4626, 4630, 4631 ], [ 4634, 4635, 4636 ], [ 4639, 4640 ],
[ 4642, 4643, 4648, 4649, 4650 ], [ 4646, 4647 ], [ 4653, 4654 ],
[ 4656, 4657 ], [ 4661, 4662, 4663 ], [ 4670, 4671, 4672 ],
[ 4673, 4674, 4675 ], [ 4680, 4689 ], [ 4681, 4690 ], [ 4682, 4691, 4692 ],
[ 4685, 4701 ], [ 4686, 4687, 4702, 4710 ], [ 4694, 4695 ], [ 4696, 4697 ],
[ 4700, 4711, 4712 ], [ 4716, 4717 ], [ 4719, 4723 ], [ 4721, 4724 ],
[ 4725, 4729, 4731, 4735 ], [ 4726, 4732 ], [ 4727, 4730, 4733, 4736 ],
[ 4728, 4734 ], [ 4737, 4738 ], [ 4749, 4750 ], [ 4753, 4754 ],
[ 4757, 4758 ], [ 4765, 4775 ], [ 4766, 4778, 4779 ], [ 4767, 4768 ],
[ 4770, 4771 ], [ 4772, 4782, 4783 ], [ 4773, 4774, 4786, 4787, 4788, 4790 ]
, [ 4785, 4789 ], [ 4791, 4792 ], [ 4798, 4799 ],
[ 4800, 4801, 4802, 4803, 4941, 4942 ], [ 4805, 4806 ], [ 4812, 4870 ],
[ 4813, 4830, 4855, 4858, 4868 ],
[ 4814, 4815, 4826, 4828, 4867, 4869, 4871 ], [ 4816, 4872 ],
[ 4817, 4873 ], [ 4818, 4878, 4880 ],
[ 4819, 4838, 4841, 4861, 4865, 4866, 4876 ],
[ 4820, 4821, 4822, 4823, 4833, 4834, 4836, 4840, 4874, 4875, 4877, 4879,
4881, 4882 ], [ 4824, 4825, 4883, 4884 ], [ 4827, 4856 ],
[ 4835, 4862, 4863 ], [ 4837, 4839 ], [ 4842, 4843 ], [ 4859, 4860 ],
[ 4885, 4895, 4896 ], [ 4886, 4887 ], [ 4888, 4890, 4891, 4892 ],
[ 4889, 4893, 4897, 4899, 4900, 4901 ], [ 4898, 4902 ],
[ 4903, 4913, 4914, 4921, 4931, 4932 ], [ 4904, 4905, 4922, 4923 ],
[ 4906, 4908, 4909, 4910, 4924, 4926, 4927, 4928 ],
[ 4907, 4911, 4915, 4917, 4918, 4919, 4925, 4929, 4933, 4935, 4936, 4937 ],
[ 4912, 4930 ], [ 4916, 4920, 4934, 4938 ], [ 4943, 4944 ], [ 4946, 4947 ],
[ 4949, 4952 ], [ 4950, 4951 ], [ 4954, 4955 ],
[ 4958, 4959, 4962, 4963, 4964, 4965 ],
[ 4960, 4961, 4966, 4967, 4973, 4974 ], [ 4969, 4970 ], [ 4971, 4972 ],
[ 4975, 4976 ], [ 4977, 4992, 5007 ], [ 4978, 4993, 5008 ],
[ 4979, 4980, 4982, 4984, 4994, 4995, 4997, 4999, 5009, 5010, 5012, 5014 ],
[ 4981, 4983, 4996, 4998, 5011, 5013 ],
[ 4985, 4989, 4990, 5000, 5004, 5005, 5015, 5019, 5020 ],
[ 4986, 4987, 4988, 4991, 5001, 5002, 5003, 5006, 5016, 5017, 5018, 5021 ],
[ 5033, 5038, 5039, 5040, 5053, 5054 ], [ 5034, 5035 ], [ 5036, 5037 ],
[ 5041, 5042 ], [ 5049, 5051 ], [ 5050, 5052 ], [ 5056, 5067 ],
[ 5057, 5091, 5092 ], [ 5058, 5069, 5070, 5090 ], [ 5060, 5061 ],
[ 5062, 5072, 5073 ], [ 5063, 5064, 5097, 5098, 5099 ],
[ 5065, 5075, 5076, 5077, 5096 ], [ 5082, 5083 ], [ 5085, 5127, 5128 ],
[ 5094, 5095, 5100 ], [ 5101, 5102, 5106 ], [ 5104, 5107 ],
[ 5108, 5109, 5113, 5115, 5116, 5120 ], [ 5110, 5117 ],
[ 5111, 5114, 5118, 5121 ], [ 5112, 5119 ], [ 5125, 5126 ],
[ 5130, 5136, 5137, 5140, 5141, 5142, 5143 ], [ 5132, 5133 ],
[ 5134, 5135, 5138, 5139 ], [ 5144, 5159, 5174 ],
[ 5145, 5146, 5148, 5160, 5161, 5163, 5175, 5176, 5178 ],
[ 5147, 5149, 5162, 5164, 5177, 5179 ],
[ 5150, 5151, 5155, 5158, 5165, 5166, 5170, 5173, 5180, 5181, 5185, 5188 ],
[ 5152, 5167, 5182 ],
[ 5153, 5154, 5156, 5157, 5168, 5169, 5171, 5172, 5183, 5184, 5186, 5187 ],
[ 5197, 5198, 5229, 5230 ], [ 5199, 5201, 5202, 5227 ],
[ 5200, 5203, 5204, 5205, 5214, 5215, 5216, 5217, 5228, 5237, 5238 ],
[ 5206, 5207, 5208 ], [ 5218, 5241, 5242 ],
[ 5219, 5231, 5232, 5233, 5234, 5235, 5236, 5239, 5240, 5243, 5244, 5245,
5246 ], [ 5247, 5262, 5277 ],
[ 5248, 5249, 5251, 5252, 5253, 5260, 5261, 5263, 5264, 5266, 5267, 5268,
5275, 5276, 5278, 5279, 5281, 5282, 5283, 5290, 5291 ],
[ 5250, 5257, 5258, 5259, 5265, 5272, 5273, 5274, 5280, 5287, 5288, 5289 ],
[ 5254, 5255, 5256, 5269, 5270, 5271, 5284, 5285, 5286 ], [ 5294, 5295 ],
[ 5305, 5399 ], [ 5308, 5310 ], [ 5309, 5311 ], [ 5313, 5318 ],
[ 5320, 5322 ], [ 5321, 5323 ], [ 5324, 5325, 5329, 5338, 5347 ],
[ 5326, 5330 ], [ 5327, 5333 ], [ 5328, 5332, 5334, 5342, 5349, 5351 ],
[ 5340, 5346 ], [ 5343, 5372 ], [ 5348, 5350 ], [ 5359, 5360, 5382 ],
[ 5366, 5376 ], [ 5367, 5378 ], [ 5369, 5380 ], [ 5383, 5384 ],
[ 5387, 5388, 5392, 5436 ], [ 5393, 5394, 5437, 5438 ], [ 5396, 5397 ],
[ 5405, 5414 ], [ 5407, 5415 ], [ 5417, 5418 ],
[ 5419, 5420, 5423, 5429, 5432 ], [ 5421, 5424 ],
[ 5422, 5425, 5430, 5433 ], [ 5426, 5427, 5434 ], [ 5428, 5431 ],
[ 5439, 5442 ], [ 5443, 5446, 5450, 5453, 5454 ], [ 5445, 5452 ],
[ 5449, 5455 ], [ 5458, 5459 ], [ 5462, 5463 ], [ 5465, 5467 ],
[ 5470, 5473, 5476, 5477 ], [ 5472, 5475 ], [ 5478, 5480 ], [ 5479, 5481 ],
[ 5482, 5484, 5539, 5547 ], [ 5485, 5486 ], [ 5489, 5490 ], [ 5500, 5502 ],
[ 5507, 5508 ], [ 5509, 5510 ], [ 5515, 5516 ], [ 5518, 5520 ],
[ 5522, 5524 ], [ 5530, 5532 ], [ 5538, 5554 ], [ 5542, 5544, 5552 ],
[ 5548, 5550 ], [ 5556, 5557 ], [ 5561, 5562 ], [ 5564, 5565 ],
[ 5567, 5568, 5570, 5572, 5575 ], [ 5580, 5581 ], [ 5582, 5583, 5600 ],
[ 5584, 5585, 5586, 5587, 5588 ], [ 5589, 5590, 5602, 5603 ],
[ 5592, 5593, 5596 ], [ 5597, 5598 ], [ 5604, 5605 ], [ 5607, 5608 ],
[ 5609, 5610 ], [ 5612, 5613 ], [ 5614, 5615 ], [ 5617, 5618 ],
[ 5620, 5621 ], [ 5622, 5623 ], [ 5624, 5625 ], [ 5626, 5629 ],
[ 5630, 5633, 5636, 5639 ], [ 5632, 5635, 5638 ], [ 5634, 5637 ],
[ 5640, 5643, 5644, 5647, 5648, 5651, 5653, 5658, 5660 ],
[ 5641, 5645, 5649 ], [ 5642, 5646, 5650, 5655, 5657, 5659 ],
[ 5652, 5654, 5656 ], [ 5661, 5663 ], [ 5662, 5664 ],
[ 5665, 5667, 5669, 5671 ], [ 5666, 5668, 5670, 5672 ],
[ 5673, 5675, 5685, 5687, 5712, 5714, 5715, 5727, 5729, 5730 ],
[ 5674, 5676, 5686, 5688, 5698, 5699, 5701, 5713, 5716, 5728, 5731 ],
[ 5677, 5679, 5693, 5695, 5717, 5719, 5737, 5740 ],
[ 5678, 5680, 5682, 5684, 5690, 5692, 5694, 5696, 5703, 5706, 5709, 5711,
5718, 5720, 5721, 5723, 5725, 5734, 5736, 5738, 5739, 5741 ],
[ 5681, 5683, 5689, 5691, 5702, 5704, 5705, 5707, 5708, 5710, 5722, 5724,
5726, 5732, 5733, 5735 ], [ 5697, 5700 ], [ 5750, 5751 ],
[ 5752, 5753 ], [ 5754, 5755 ],
[ 5756, 5757, 5758, 5759, 5760, 5761, 5821, 5822, 5823 ], [ 5762, 5763 ],
[ 5764, 5765 ], [ 5766, 5767, 5768, 5769, 5840 ], [ 5771, 5772, 5773 ],
[ 5775, 5776, 5777 ], [ 5778, 5781 ], [ 5782, 5786, 5791, 5792, 5796, 5797 ]
, [ 5784, 5785, 5790, 5800 ], [ 5787, 5801 ], [ 5788, 5798 ],
[ 5789, 5799 ], [ 5802, 5803, 5806, 5807 ], [ 5808, 5809 ],
[ 5810, 5811, 5812 ], [ 5813, 5814 ], [ 5815, 5816, 5817 ],
[ 5818, 5819, 5820 ], [ 5824, 5825 ], [ 5826, 5827 ], [ 5828, 5829 ],
[ 5830, 5831, 5832 ], [ 5833, 5834 ], [ 5835, 5836 ], [ 5837, 5838 ],
[ 5846, 5847 ], [ 5850, 5860 ], [ 5851, 5852, 5858 ], [ 5853, 5861 ],
[ 5862, 5864 ], [ 5863, 5865 ], [ 5868, 5869 ], [ 5871, 5873 ],
[ 5875, 5877 ], [ 5880, 5881, 5884, 5885 ], [ 5882, 5883 ],
[ 5886, 5887, 5888, 5889, 5890, 5891, 5892 ], [ 5894, 5910 ],
[ 5895, 5897, 5904, 5907 ], [ 5896, 5898, 5906, 5909, 5911, 5912 ],
[ 5899, 5900, 5901, 5902, 5903, 5905, 5908 ], [ 5918, 5923, 5939 ],
[ 5921, 5935 ], [ 5922, 5924, 5926, 5929, 5938, 5942 ], [ 5925, 5936 ],
[ 5927, 5930, 5940 ], [ 5928, 5941 ], [ 5931, 5933, 5944, 5945, 5946 ],
[ 5932, 5947, 5948 ], [ 5949, 5950, 5951, 5952, 5954, 5955, 5957, 5958 ],
[ 5953, 5956 ], [ 5960, 5988 ], [ 5962, 5982 ],
[ 5964, 5965, 5983, 5984, 5989 ], [ 5966, 5968 ],
[ 5967, 5969, 5970, 5971, 5972, 5973 ],
[ 5975, 5976, 5977, 5978, 5992, 5993 ], [ 5986, 5987, 5991 ],
[ 5996, 5998, 6000 ],
[ 5997, 5999, 6001, 6002, 6003, 6004, 6005, 6006, 6007, 6008, 6009 ],
[ 6011, 6012 ], [ 6013, 6014, 6015, 6016, 6017, 6018, 6019 ],
[ 6020, 6021, 6022, 6023, 6024, 6025 ], [ 6027, 6028, 6030 ],
[ 6029, 6031, 6032, 6033, 6034, 6035, 6036 ],
[ 6038, 6042, 6049, 6050, 6054 ], [ 6039, 6052 ], [ 6040, 6043 ],
[ 6041, 6082, 6094 ], [ 6048, 6059, 6131 ], [ 6053, 6139 ],
[ 6055, 6065, 6069, 6106, 6121, 6127, 6135, 6145 ],
[ 6056, 6066, 6070, 6073, 6087, 6091, 6099, 6103, 6118, 6129 ],
[ 6057, 6058, 6067, 6068, 6071, 6072, 6074, 6075, 6109, 6111, 6119, 6120,
6124, 6126, 6130, 6137, 6138, 6142, 6144, 6148, 6150 ],
[ 6060, 6063, 6083, 6095, 6133, 6134, 6140 ], [ 6062, 6136, 6146 ],
[ 6064, 6107, 6122, 6128 ],
[ 6076, 6078, 6079, 6080, 6088, 6089, 6092, 6093, 6100, 6101, 6104, 6105,
6112, 6114, 6115, 6116, 6152, 6154, 6155, 6156 ],
[ 6077, 6081, 6113, 6117, 6151, 6153, 6157 ], [ 6084, 6096 ],
[ 6085, 6097, 6149 ], [ 6086, 6090, 6098, 6102 ],
[ 6108, 6110, 6123, 6125, 6141, 6143, 6147 ],
[ 6158, 6165, 6166, 6167, 6254, 6442 ], [ 6159, 6160, 6248, 6251 ],
[ 6161, 6260, 6266 ],
[ 6162, 6163, 6168, 6169, 6261, 6262, 6267, 6268, 6440, 6441 ],
[ 6171, 6443, 6444 ],
[ 6172, 6184, 6190, 6192, 6230, 6233, 6236, 6239, 6296, 6299, 6302, 6305,
6308, 6311 ],
[ 6173, 6174, 6185, 6186, 6191, 6193, 6231, 6232, 6234, 6235, 6237, 6238,
6240, 6241, 6297, 6298, 6300, 6301, 6303, 6304, 6306, 6307, 6309, 6310,
6312, 6313, 6314, 6317, 6320, 6324, 6325, 6327, 6328, 6330, 6331, 6332,
6335, 6338, 6341, 6344, 6347, 6351, 6352, 6354, 6355, 6357, 6358, 6359,
6361, 6362, 6363, 6365, 6369, 6373, 6376, 6380, 6383, 6387, 6388, 6390,
6393, 6396, 6399 ],
[ 6175, 6178, 6181, 6187, 6194, 6198, 6202, 6203, 6204, 6205, 6209, 6212,
6213, 6214, 6221, 6222, 6223, 6269, 6270, 6271, 6278, 6279, 6280, 6287,
6288, 6289, 6402, 6403, 6407, 6412, 6413, 6414, 6417, 6420, 6423, 6432,
6433, 6445 ],
[ 6176, 6177, 6179, 6180, 6182, 6183, 6188, 6189, 6195, 6197, 6199, 6200,
6206, 6207, 6208, 6210, 6211, 6215, 6216, 6217, 6218, 6219, 6220, 6224,
6225, 6226, 6227, 6228, 6229, 6272, 6273, 6274, 6275, 6276, 6277, 6281,
6282, 6283, 6284, 6285, 6286, 6290, 6291, 6292, 6293, 6294, 6295, 6315,
6316, 6318, 6319, 6321, 6322, 6333, 6334, 6336, 6337, 6339, 6340, 6342,
6343, 6345, 6346, 6348, 6349, 6366, 6367, 6368, 6370, 6371, 6372, 6374,
6375, 6377, 6378, 6379, 6381, 6382, 6384, 6385, 6391, 6392, 6394, 6395,
6397, 6398, 6404, 6405, 6406, 6408, 6409, 6410, 6415, 6416, 6418, 6419,
6421, 6422, 6424, 6434, 6435, 6436 ], [ 6196, 6201, 6401, 6411, 6431 ],
[ 6243, 6244 ],
[ 6245, 6246, 6247, 6249, 6250, 6252, 6253, 6258, 6263, 6265, 6437, 6438,
6439 ], [ 6255, 6256, 6426, 6427 ],
[ 6257, 6259, 6264, 6428, 6429, 6430 ],
[ 6323, 6326, 6329, 6350, 6353, 6356, 6360, 6364, 6386, 6389, 6400 ],
[ 6446, 6447, 6448, 6449, 6450, 6451, 6452, 6453, 6454, 6455, 6456, 6457 ],
[ 6458, 6460, 6462, 6464, 6466, 6468, 6470 ],
[ 6459, 6461, 6463, 6465, 6467, 6469, 6471 ], [ 6472, 6474 ],
[ 6473, 6475, 6476 ], [ 6482, 6484, 6485 ], [ 6486, 6489 ],
[ 6487, 6490, 6491 ], [ 6488, 6492 ], [ 6493, 6496, 6582, 6585 ],
[ 6494, 6495, 6497 ], [ 6498, 6500, 6503, 6505, 6507 ],
[ 6499, 6501, 6502, 6504, 6506, 6508 ],
[ 6511, 6513, 6515, 6532, 6533, 6542, 6543 ],
[ 6512, 6514, 6516, 6534, 6535, 6544, 6545, 6546, 6547, 6554, 6555 ],
[ 6517, 6518, 6519, 6520, 6521, 6522, 6523, 6524, 6525, 6526, 6527, 6548,
6549, 6550, 6551, 6552, 6553, 6556, 6557, 6567, 6568, 6569, 6570, 6571,
6572, 6573, 6574, 6575, 6855, 6856, 6857, 6858, 6859, 6860, 6861, 6862,
6863, 6866, 6867, 6868, 6869, 6870, 6871, 6872, 6873, 6874, 6876, 6877,
6878, 6879, 6880, 6881, 6882, 6883, 6884, 6885, 6886, 6887, 6888, 6889,
6890, 6891, 6892, 6893, 6894, 6895, 6896, 6897, 6898, 6899, 6900, 6901,
6902, 6903, 6904, 6905, 6906, 6907, 6908, 6909, 6910, 6911, 6912, 6913,
6914, 6915, 6916, 6917, 6918, 6919, 6920, 6921, 6922, 6923, 6924, 6925,
6926, 6927, 6928, 6929, 6930, 6931, 6932, 6933, 6934, 6935, 6936, 6937,
6938, 6939, 6940, 6941, 6942, 6943, 6944, 6945, 6946, 6947, 6948, 6949,
6950, 6951, 6952, 6953, 6954, 6955, 6956, 6957, 6958, 6959, 6960, 6961,
6962, 6963, 6964, 6965, 6966, 6967, 6968, 6969, 6970, 6971, 6972, 6973,
6974, 6975, 6976, 6977, 6978, 6979, 6980, 6981, 6982, 6983, 6984, 6985,
6986, 6987, 6988, 6989, 6990, 6991, 6992, 6993, 6994, 6995, 6996, 6997,
6998, 6999, 7000, 7001, 7002, 7003, 7004, 7005, 7006, 7007, 7008, 7009,
7010, 7011, 7012, 7013, 7014, 7015, 7016, 7017, 7018, 7019, 7020, 7021,
7022, 7023, 7024, 7025, 7026, 7027, 7028, 7029, 7030, 7031, 7032, 7034,
7035, 7036, 7037, 7039, 7040, 7041, 7042, 7043, 7044, 7045, 7046, 7047,
7048, 7049, 7050, 7051, 7052, 7053, 7054, 7055, 7056, 7057, 7058, 7059,
7060, 7062, 7063, 7064, 7067, 7068, 7069, 7070, 7072, 7073, 7074, 7075,
7076, 7077, 7078, 7079, 7080, 7081, 7082, 7083, 7084, 7085, 7086, 7087,
7088, 7089, 7090, 7091, 7092, 7093, 7094, 7095, 7096, 7097, 7098, 7099,
7100, 7101, 7102, 7103, 7104, 7105, 7106, 7107, 7108, 7109, 7110, 7111,
7112, 7113, 7114, 7115, 7116, 7117, 7118, 7119, 7120 ], [ 6530, 6531 ],
[ 6536, 6537, 6538, 6558, 6559, 6564 ],
[ 6539, 6540, 6541, 6560, 6561, 6562, 6563, 6565, 6566 ], [ 6577, 6580 ],
[ 6578, 6579 ], [ 6583, 6584, 6586 ],
[ 6588, 6589, 6596, 6597, 6598, 6661, 6663, 6666, 6670, 6679, 6688, 6730,
6732, 6733 ],
[ 6590, 6591, 6592, 6593, 6594, 6595, 6599, 6600, 6601, 6602, 6603, 6604,
6605, 6606, 6664, 6665, 6667, 6686, 6687, 6689, 6690, 6691, 6731, 6734,
6735, 6736, 6764, 6765, 6766, 6786, 6787, 6788, 6808, 6845 ],
[ 6607, 6615, 6625, 6633, 6668, 6677, 6737 ],
[ 6608, 6626, 6669, 6678, 6711, 6721, 6738, 6748, 6799, 6805 ],
[ 6609, 6610, 6611, 6612, 6613, 6614, 6616, 6617, 6618, 6619, 6620, 6621,
6622, 6623, 6624, 6627, 6628, 6629, 6630, 6631, 6632, 6634, 6635, 6636,
6637, 6638, 6639, 6640, 6641, 6642, 6645, 6646, 6647, 6649, 6650, 6651,
6653, 6654, 6655, 6671, 6672, 6673, 6674, 6675, 6676, 6680, 6681, 6682,
6683, 6684, 6685, 6692, 6693, 6694, 6695, 6696, 6697, 6698, 6699, 6700,
6701, 6702, 6703, 6704, 6705, 6706, 6707, 6708, 6709, 6710, 6712, 6714,
6717, 6718, 6720, 6722, 6725, 6728, 6729, 6739, 6740, 6741, 6742, 6743,
6744, 6745, 6746, 6747, 6749, 6750, 6751, 6752, 6753, 6754, 6755, 6756,
6757, 6758, 6759, 6760, 6761, 6762, 6763, 6767, 6768, 6769, 6770, 6771,
6772, 6773, 6774, 6775, 6776, 6777, 6778, 6779, 6780, 6781, 6789, 6790,
6791, 6793, 6794, 6795, 6796, 6797, 6798, 6800, 6801, 6802, 6803, 6804,
6806, 6809, 6810, 6811, 6813, 6814, 6815, 6816, 6817, 6818, 6819, 6820,
6822, 6823, 6824, 6825, 6827, 6828, 6829, 6830, 6831, 6832, 6833, 6835,
6836, 6837, 6838, 6840, 6841, 6842, 6843, 6844, 6846, 6847, 6848, 6849,
6850, 6851, 6852, 6853 ],
[ 6643, 6648, 6652, 6656, 6658, 6659, 6715, 6719, 6723, 6726, 6784 ],
[ 6644, 6657, 6660, 6713, 6716, 6724, 6727, 6782, 6783, 6785, 6792, 6812,
6821, 6826, 6834, 6839 ], [ 6854, 6864, 6865, 6875 ],
[ 7033, 7038, 7061, 7065, 7066, 7071, 7121, 7122, 7123, 7124, 7125 ],
[ 7130, 7131, 7132 ],
[ 7133, 7134, 7135, 7139, 7141, 7148, 7149, 7150, 7151, 7152 ],
[ 7136, 7137, 7138, 7140, 7142, 7153, 7154, 7155, 7156, 7157, 7158, 7159,
7160, 7161, 7162 ], [ 7144, 7145, 7146 ],
[ 7163, 7164, 7165, 7166, 7167, 7168 ],
[ 7169, 7170, 7171, 7172, 7173, 7174, 7175, 7176, 7177, 7178, 7179, 7180,
7181, 7182, 7183, 7184, 7185, 7186, 7187, 7188, 7189, 7190, 7191, 7192,
7193, 7194, 7195, 7196, 7197, 7198, 7199, 7200, 7201, 7202, 7203, 7204,
7205, 7206, 7207, 7211, 7212, 7213, 7214, 7215, 7216, 7217, 7218, 7219,
7220, 7221, 7222, 7223, 7224, 7225, 7226 ], [ 7208, 7209, 7210 ],
[ 7231, 7233 ], [ 7242, 7263, 7264 ], [ 7243, 7254 ], [ 7244, 7265 ],
[ 7248, 7251, 7268, 7270, 7271 ], [ 7249, 7275 ], [ 7255, 7274 ],
[ 7256, 7257, 7269 ], [ 7258, 7280 ], [ 7259, 7287 ], [ 7272, 7282 ],
[ 7273, 7289 ], [ 7276, 7281 ], [ 7277, 7288 ], [ 7284, 7291 ],
[ 7300, 7306 ], [ 7302, 7309, 7313, 7315 ], [ 7308, 7310, 7314 ],
[ 7311, 7321 ], [ 7312, 7328 ], [ 7316, 7323 ], [ 7317, 7330 ],
[ 7324, 7331 ], [ 7341, 7347 ], [ 7343, 7350, 7355, 7357 ],
[ 7349, 7351, 7356 ], [ 7352, 7368 ], [ 7353, 7382 ], [ 7354, 7363, 7370 ],
[ 7358, 7365, 7371, 7373 ], [ 7359, 7384 ], [ 7361, 7367 ], [ 7362, 7372 ],
[ 7375, 7376, 7377, 7378, 7385, 7386, 7387 ], [ 7388, 7398 ],
[ 7389, 7390 ], [ 7391, 7392, 7405 ], [ 7393, 7400 ],
[ 7394, 7395, 7399, 7401, 7408 ], [ 7396, 7414 ], [ 7397, 7415 ],
[ 7404, 7411 ], [ 7406, 7412 ], [ 7407, 7413 ],
[ 7417, 7426, 7458, 7467, 7470 ], [ 7418, 7419, 7459, 7460, 7483, 7484 ],
[ 7420, 7434, 7439, 7461, 7477, 7478, 7485, 7486, 7493 ],
[ 7421, 7428, 7462, 7469, 7475, 7501 ],
[ 7422, 7427, 7429, 7438, 7440, 7463, 7468, 7471, 7482, 7487, 7492, 7494,
7495 ], [ 7423, 7464 ], [ 7424, 7511 ],
[ 7425, 7443, 7444, 7465, 7489, 7517, 7521 ], [ 7430, 7472 ],
[ 7431, 7506 ], [ 7432, 7473, 7516 ], [ 7433, 7449, 7476, 7500 ],
[ 7435, 7451, 7479, 7508 ], [ 7436, 7450, 7502, 7509 ],
[ 7437, 7452, 7453, 7480, 7503, 7518, 7519 ], [ 7441, 7442, 7488, 7507 ],
[ 7445, 7446, 7496, 7510 ], [ 7447, 7448, 7497, 7520 ],
[ 7454, 7455, 7456, 7457, 7512, 7513, 7514, 7515, 7522, 7523, 7530 ],
[ 7466, 7491, 7533 ], [ 7474, 7531 ], [ 7481, 7504, 7526, 7527, 7532 ],
[ 7490, 7525, 7529, 7536 ], [ 7498, 7499, 7528, 7534 ], [ 7505, 7535 ],
[ 7543, 7544 ], [ 7545, 7546, 7547, 7548, 7549, 7556 ],
[ 7551, 7554, 7557, 7559 ], [ 7552, 7558, 7560 ], [ 7555, 7613, 7619 ],
[ 7568, 7571 ], [ 7569, 7570, 7573 ], [ 7577, 7579 ], [ 7580, 7581 ],
[ 7582, 7583, 7584, 7585 ], [ 7586, 7592, 7641, 7654, 7666, 7682 ],
[ 7587, 7593 ], [ 7588, 7596 ],
[ 7589, 7590, 7594, 7597, 7738, 7753, 7775, 7822 ], [ 7591, 7595, 7807 ],
[ 7601, 7602, 7603, 7644, 7657, 7662, 7664, 7686, 7687 ],
[ 7604, 7606, 7610, 7758, 7823 ],
[ 7607, 7608, 7611, 7703, 7736, 7771, 7793, 7811, 7812, 7841, 7845 ],
[ 7614, 7624 ], [ 7615, 7622 ], [ 7616, 7702, 7732, 7769, 7788 ],
[ 7617, 7623, 7625 ], [ 7621, 7696, 7750 ],
[ 7627, 7634, 7705, 7711, 7724, 7725, 7727, 7731, 7741, 7742, 7759, 7760,
7777, 7778, 7796, 7797 ],
[ 7628, 7646, 7649, 7667, 7673, 7710, 7779, 7795 ],
[ 7629, 7632, 7635, 7637, 7708, 7709, 7713, 7726, 7728, 7729, 7730, 7746,
7749, 7764, 7765, 7766, 7781, 7782, 7783, 7785, 7798, 7799, 7801, 7803,
7813, 7817, 7818, 7819, 7834, 7835, 7838, 7839, 7852, 7853, 7855, 7857 ]
, [ 7630, 7636, 7638, 7647, 7648, 7651, 7670, 7671, 7675, 7678, 7691,
7692, 7695, 7712, 7745, 7747, 7762, 7763, 7780, 7784, 7800, 7802, 7814,
7815, 7820, 7821, 7831, 7833, 7836, 7837, 7850, 7851, 7854, 7856 ],
[ 7631, 7672, 7676, 7688, 7690, 7694, 7767, 7816, 7832, 7849 ],
[ 7633, 7668, 7674 ], [ 7639, 7652 ], [ 7642, 7659 ], [ 7653, 7658 ],
[ 7655, 7661, 7683, 7684 ], [ 7656, 7685 ], [ 7660, 7714 ], [ 7663, 7679 ],
[ 7665, 7680, 7681 ], [ 7669, 7677, 7693 ], [ 7698, 7739, 7752 ],
[ 7699, 7720, 7794, 7843 ],
[ 7700, 7737, 7755, 7773, 7790, 7808, 7809, 7829 ], [ 7701, 7786 ],
[ 7704, 7719, 7721, 7740, 7757, 7776, 7789, 7830 ],
[ 7707, 7744, 7748, 7761 ], [ 7715, 7722, 7751, 7787 ],
[ 7716, 7718, 7733, 7768 ], [ 7717, 7772, 7804 ], [ 7723, 7743 ],
[ 7754, 7827, 7842, 7847 ], [ 7756, 7810, 7825, 7846 ],
[ 7774, 7792, 7826, 7844, 7848 ], [ 7791, 7828 ], [ 7805, 7806, 7824 ],
[ 7859, 7874 ], [ 7862, 7878 ], [ 7864, 7869, 7880, 7886 ], [ 7865, 7871 ],
[ 7867, 7872, 7884, 7890 ], [ 7875, 7876 ], [ 7881, 7882 ],
[ 7883, 7887, 7888 ], [ 7893, 7926 ], [ 7894, 7954 ], [ 7895, 7928, 7956 ],
[ 7898, 7914, 7931, 7947 ],
[ 7899, 7907, 7910, 7913, 7919, 7921, 7937, 7942, 7949 ],
[ 7900, 7911, 7917, 7923, 7933, 7938, 7944, 7950 ], [ 7906, 7918 ],
[ 7908, 7941 ], [ 7909, 7916, 7948 ], [ 7915, 7922, 7932, 7943 ],
[ 7920, 7936 ], [ 7925, 7952 ], [ 7927, 7955 ], [ 7930, 7935, 7940, 7946 ],
[ 7939, 7945 ], [ 7966, 8023 ], [ 7989, 7992 ], [ 7990, 7993 ],
[ 7991, 7994 ], [ 7995, 8052 ], [ 7998, 7999, 8001 ],
[ 8004, 8005, 8012, 8064 ], [ 8013, 8014, 8062, 8063 ],
[ 8016, 8017, 8068, 8069, 8088, 8089 ], [ 8018, 8075 ],
[ 8019, 8066, 8110 ], [ 8020, 8071, 8080, 8102 ], [ 8021, 8070, 8090 ],
[ 8035, 8040 ], [ 8049, 8050 ], [ 8056, 8059 ], [ 8065, 8076 ],
[ 8074, 8103 ], [ 8077, 8099, 8109 ], [ 8078, 8107 ], [ 8079, 8098, 8105 ],
[ 8092, 8095 ], [ 8093, 8097 ], [ 8094, 8096 ], [ 8100, 8106, 8108 ],
[ 8112, 8115 ], [ 8118, 8121 ], [ 8123, 8130 ], [ 8124, 8134, 8153, 8183 ],
[ 8126, 8152 ], [ 8127, 8131, 8135, 8136, 8154 ], [ 8128, 8137 ],
[ 8129, 8138, 8139 ], [ 8145, 8146 ], [ 8161, 8162, 8163 ], [ 8177, 8179 ],
[ 8184, 8187 ], [ 8191, 8194 ], [ 8209, 8210 ], [ 8213, 8218 ],
[ 8214, 8215, 8219, 8220 ], [ 8216, 8221 ], [ 8217, 8222 ],
[ 8225, 8226, 8228 ], [ 8229, 8232 ], [ 8230, 8231, 8233, 8234 ],
[ 8240, 8241 ], [ 8242, 8243 ], [ 8247, 8248 ], [ 8253, 8255 ],
[ 8257, 8258, 8259, 8260 ], [ 8276, 8277, 8287, 8316 ], [ 8278, 8303 ],
[ 8279, 8306 ], [ 8281, 8305 ], [ 8288, 8291 ], [ 8289, 8292 ],
[ 8295, 8298 ], [ 8296, 8299 ], [ 8307, 8308, 8309 ], [ 8311, 8322 ],
[ 8323, 8324, 8325, 8326 ], [ 8327, 8331 ], [ 8328, 8332 ], [ 8329, 8333 ],
[ 8339, 8342 ], [ 8344, 8345 ], [ 8352, 8353 ], [ 8360, 8376 ],
[ 8361, 8377, 8378 ], [ 8362, 8379 ], [ 8365, 8372 ],
[ 8366, 8370, 8371, 8374 ], [ 8367, 8373 ], [ 8382, 8383 ],
[ 8385, 8386, 8387, 8388 ], [ 8390, 8391 ],
[ 8396, 8397, 8401, 8414, 8415, 8419 ], [ 8398, 8416 ],
[ 8399, 8400, 8417, 8418 ], [ 8403, 8421 ], [ 8408, 8409 ], [ 8425, 8426 ],
[ 8427, 8428 ], [ 8431, 8432, 8437, 8438 ], [ 8435, 8436 ], [ 8439, 8440 ],
[ 8441, 8442 ], [ 8443, 8444 ], [ 8445, 8446, 8447, 8448 ], [ 8449, 8450 ],
[ 8451, 8452 ], [ 8453, 8454 ], [ 8455, 8456, 8473, 8474 ],
[ 8457, 8458, 8475, 8476 ], [ 8459, 8460, 8477, 8478 ],
[ 8461, 8462, 8463, 8464, 8479, 8480, 8481, 8482 ],
[ 8465, 8466, 8483, 8484 ], [ 8467, 8468, 8485, 8486 ],
[ 8469, 8470, 8487, 8488 ], [ 8471, 8472, 8489, 8490 ], [ 8492, 8493 ],
[ 8505, 8508 ], [ 8533, 8534 ], [ 8537, 8538 ], [ 8540, 8541, 8543, 8544 ],
[ 8546, 8552, 8553 ], [ 8547, 8554 ], [ 8548, 8549, 8555 ], [ 8550, 8556 ],
[ 8551, 8557 ], [ 8558, 8559 ], [ 8563, 8564 ], [ 8567, 8568, 8569 ],
[ 8571, 8572, 8573, 8574, 8575, 8576 ], [ 8577, 8578 ],
[ 8581, 8582, 8583, 8584 ], [ 8586, 8587, 8588, 8589 ], [ 8593, 8594 ],
[ 8595, 8597 ], [ 8596, 8598 ], [ 8599, 8636, 8637 ], [ 8601, 8605, 8616 ],
[ 8602, 8617 ], [ 8603, 8604, 8618, 8619 ], [ 8606, 8607 ], [ 8608, 8609 ],
[ 8612, 8613, 8614, 8653, 8654, 8655, 8656, 8665, 8668, 8683, 8686 ],
[ 8620, 8621, 8622, 8623 ], [ 8624, 8627 ], [ 8625, 8628 ], [ 8631, 8634 ],
[ 8632, 8635 ], [ 8638, 8641 ], [ 8639, 8642 ], [ 8640, 8643 ],
[ 8644, 8647, 8650 ], [ 8645, 8648, 8651 ], [ 8646, 8649, 8652 ],
[ 8657, 8660, 8675, 8678 ], [ 8658, 8661, 8676, 8679 ],
[ 8659, 8662, 8677, 8680 ], [ 8663, 8666, 8681, 8684 ],
[ 8664, 8667, 8682, 8685 ],
[ 8669, 8670, 8672, 8673, 8687, 8688, 8690, 8691 ],
[ 8671, 8674, 8689, 8692 ], [ 8699, 8700 ], [ 8716, 8722 ], [ 8726, 8732 ],
[ 8736, 8739, 8740 ], [ 8744, 8747, 8748 ], [ 8749, 8750, 8751, 8752, 8753 ]
, [ 8757, 8758, 8759 ], [ 8763, 8764, 8765 ], [ 8767, 8768 ],
[ 8769, 8770, 8771 ], [ 8772, 8774 ], [ 8775, 8776, 8777 ],
[ 8778, 8779, 8780, 8784, 8785, 8786 ],
[ 8781, 8782, 8783, 8787, 8788, 8789 ], [ 8795, 8797 ], [ 8807, 8809 ],
[ 8810, 8811, 8822, 8823, 8838, 8839 ], [ 8814, 8830 ], [ 8815, 8831 ],
[ 8816, 8832 ], [ 8817, 8833 ], [ 8818, 8834 ], [ 8819, 8821, 8835, 8837 ],
[ 8820, 8836 ], [ 8824, 8825, 8840, 8841 ], [ 8826, 8828, 8842, 8844 ],
[ 8827, 8829, 8843, 8845 ], [ 8848, 8920 ],
[ 8849, 8921, 8925, 8927, 8928, 8929 ],
[ 8851, 8852, 8854, 8919, 8923, 8924 ],
[ 8856, 8857, 8858, 8930, 8931, 8932 ], [ 8861, 8944 ],
[ 8862, 8945, 8949 ], [ 8864, 8865, 8867, 8943, 8947, 8948 ],
[ 8868, 8869, 8870, 8871, 8872, 8882, 8883, 8900, 8901 ], [ 8873, 8891 ],
[ 8874, 8892 ], [ 8875, 8893 ], [ 8876, 8894 ], [ 8877, 8895 ],
[ 8878, 8879, 8881, 8896, 8897, 8899 ], [ 8880, 8898 ],
[ 8884, 8885, 8886, 8887, 8888, 8889, 8890, 8902, 8903, 8904, 8905, 8906,
8907, 8908, 8954, 8955, 8956, 8960, 8961, 8962 ], [ 8912, 8916 ],
[ 8913, 8917 ], [ 8914, 8915 ], [ 8922, 8926 ], [ 8935, 8965, 9001 ],
[ 8936, 8940, 8966, 8970, 9002, 9006 ], [ 8937, 8941 ], [ 8938, 8939 ],
[ 8942, 8972, 9008 ], [ 8946, 8950, 8976, 8980, 9012, 9016 ],
[ 8951, 8952, 8953, 8957, 8958, 8959, 8975, 8979, 9011, 9015 ],
[ 8963, 8999 ], [ 8964, 9000 ], [ 8967, 8971, 9003, 9007 ],
[ 8968, 8969, 9004, 9005 ], [ 8973, 8977, 8978, 9009, 9013, 9014 ],
[ 8974, 9010 ],
[ 8981, 8983, 8984, 8985, 8988, 8989, 9017, 9019, 9020, 9021, 9024, 9025 ],
[ 8982, 8986, 8987, 9018, 9022, 9023 ],
[ 8990, 8991, 8994, 8995, 8996, 8998, 9026, 9027, 9030, 9031, 9032, 9034 ],
[ 8992, 8993, 8997, 9028, 9029, 9033 ], [ 9051, 9067 ], [ 9053, 9066 ],
[ 9054, 9068 ], [ 9055, 9070 ], [ 9059, 9060 ], [ 9075, 9077 ],
[ 9076, 9078 ], [ 9085, 9086 ], [ 9089, 9090 ], [ 9097, 9098 ],
[ 9113, 9114 ], [ 9132, 9133 ], [ 9147, 9148 ], [ 9150, 9151 ],
[ 9152, 9153, 9154, 9155, 9156 ], [ 9158, 9159 ], [ 9161, 9162 ],
[ 9165, 9167, 9168 ], [ 9171, 9173 ], [ 9172, 9174 ], [ 9177, 9178 ],
[ 9180, 9181 ], [ 9184, 9186 ], [ 9188, 9189, 9190 ], [ 9193, 9194, 9210 ],
[ 9197, 9202, 9209 ], [ 9198, 9201, 9208 ], [ 9204, 9206, 9211, 9213, 9216 ]
, [ 9205, 9207, 9212 ], [ 9214, 9217 ], [ 9215, 9218 ],
[ 9219, 9221, 9223, 9225 ], [ 9220, 9222, 9224, 9226 ],
[ 9227, 9228, 9229, 9230, 9231 ], [ 9232, 9241, 9242, 9259 ],
[ 9233, 9234, 9243, 9260 ], [ 9235, 9236 ],
[ 9238, 9239, 9240, 9245, 9246, 9264 ], [ 9244, 9263 ],
[ 9247, 9251, 9252, 9253, 9254, 9262, 9266, 9268 ],
[ 9248, 9256, 9258, 9270 ], [ 9249, 9250, 9255 ], [ 9257, 9269 ],
[ 9261, 9265, 9267 ], [ 9292, 9293 ] ];
