diff --git a/src/klotski_core/ffi/tmain.cc b/src/klotski_core/ffi/tmain.cc index f883b36..e56ce49 100644 --- a/src/klotski_core/ffi/tmain.cc +++ b/src/klotski_core/ffi/tmain.cc @@ -73,6 +73,8 @@ void tmain() { // } std::vector group_id_index; + std::vector group_id_index_rev; + for (uint16_t type_id = 0; type_id < TYPE_ID_LIMIT; ++type_id) { auto groups = Group::build_groups(type_id); std::map seeds; @@ -83,11 +85,23 @@ void tmain() { // std::cout << seeds.size() << std::endl; - for (auto &&tmp: seeds) { -// std::cout << tmp.first << " -> " << tmp.second << std::endl; +// for (auto &&tmp: seeds) { +// std::cout << tmp.first << " -> " << tmp.second << std::endl; // std::cout << tmp.first << std::endl; // std::cout << tmp.second << std::endl; - group_id_index.emplace_back(tmp.second); +// group_id_index.emplace_back(tmp.second); +// } + + uint32_t index = 0; + std::map seeds_index_rev; + for (auto &&tmp : seeds) { + seeds_index_rev[tmp.second] = index; + ++index; + } + + for (auto &&tmp : seeds_index_rev) { + group_id_index_rev.emplace_back(tmp.second); +// std::cout << tmp.first << " -> " << tmp.second << std::endl; } std::cerr << type_id << std::endl; @@ -95,8 +109,8 @@ void tmain() { } printf(" "); - for (uint32_t i = 0; i < group_id_index.size(); ++i) { - printf("%4d, ", group_id_index[i]); + for (uint32_t i = 0; i < group_id_index_rev.size(); ++i) { + printf("%4d, ", group_id_index_rev[i]); if (i % 16 == 15) { printf("\n "); } diff --git a/src/klotski_core/group/index.h b/src/klotski_core/group/index.h index 09a7826..84156ca 100644 --- a/src/klotski_core/group/index.h +++ b/src/klotski_core/group/index.h @@ -5,6 +5,1598 @@ namespace klotski { const uint16_t GROUP_SEEDS_INDEX[25422] = { + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 6, 7, 9, + 3, 5, 8, 10, 1, 2, 11, 12, 0, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 0, 0, 1, 2, 3, 4, 0, 0, 0, 0, 0, 0, 0, + 0, 0, 0, 1, 2, 0, 23, 24, 36, 37, 40, 43, 53, 56, 21, 34, + 41, 54, 19, 33, 44, 57, 1, 2, 3, 10, 11, 12, 65, 67, 69, 74, + 76, 78, 16, 18, 29, 31, 45, 46, 59, 60, 4, 5, 8, 13, 14, 22, + 25, 27, 35, 38, 42, 48, 52, 55, 61, 66, 68, 70, 75, 77, 15, 17, + 28, 30, 49, 50, 62, 63, 7, 9, 26, 39, 47, 58, 71, 72, 20, 32, + 51, 64, 6, 73, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, + 4, 7, 8, 9, 12, 13, 14, 16, 18, 19, 1, 5, 6, 10, 11, 15, + 17, 20, 0, 22, 50, 85, 113, 25, 49, 86, 101, 1, 2, 3, 4, 11, + 12, 13, 14, 125, 126, 127, 128, 136, 138, 139, 140, 30, 31, 57, 58, 84, + 90, 111, 118, 21, 23, 52, 65, 87, 91, 112, 115, 24, 29, 32, 51, 56, + 59, 82, 93, 94, 109, 110, 119, 17, 18, 45, 48, 74, 75, 106, 107, 35, + 43, 44, 63, 77, 97, 98, 117, 5, 16, 20, 27, 34, 36, 37, 38, 47, + 53, 61, 62, 64, 66, 76, 78, 83, 88, 89, 92, 105, 108, 114, 116, 120, + 121, 129, 137, 28, 33, 39, 55, 60, 67, 73, 79, 95, 100, 104, 122, 6, + 8, 9, 15, 26, 40, 41, 54, 68, 69, 72, 80, 81, 99, 103, 123, 130, + 132, 133, 135, 7, 10, 19, 42, 46, 70, 71, 96, 102, 124, 131, 134, 0, + 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 6, 9, 14, 4, 5, + 10, 13, 2, 7, 12, 15, 1, 8, 11, 16, 0, 0, 0, 0, 0, 0, + 0, 0, 1, 5, 11, 14, 3, 4, 13, 15, 2, 6, 7, 8, 9, 10, + 12, 16, 0, 2, 3, 5, 36, 37, 39, 222, 224, 233, 257, 259, 268, 57, + 58, 64, 65, 102, 103, 109, 110, 144, 145, 159, 160, 190, 191, 205, 206, 9, + 10, 43, 44, 55, 62, 76, 77, 80, 81, 100, 107, 121, 122, 125, 126, 140, + 142, 147, 148, 149, 162, 185, 187, 192, 193, 194, 207, 223, 232, 258, 267, 53, + 60, 99, 106, 163, 164, 208, 209, 69, 70, 117, 118, 141, 143, 186, 188, 26, + 27, 33, 34, 79, 82, 88, 89, 124, 127, 133, 134, 138, 146, 151, 161, 183, + 189, 196, 204, 240, 241, 247, 248, 68, 71, 116, 119, 139, 152, 184, 197, 1, + 25, 237, 252, 11, 12, 29, 30, 46, 47, 59, 66, 92, 93, 104, 111, 154, + 155, 179, 180, 200, 201, 226, 227, 243, 244, 261, 262, 14, 15, 17, 31, 32, + 48, 49, 51, 56, 63, 75, 83, 84, 85, 86, 94, 95, 101, 108, 120, 128, + 129, 130, 131, 137, 150, 157, 166, 167, 168, 169, 176, 177, 182, 195, 202, 211, + 212, 213, 214, 221, 225, 229, 239, 242, 256, 260, 264, 6, 7, 13, 16, 18, + 40, 41, 45, 50, 52, 78, 87, 90, 123, 132, 135, 156, 158, 165, 199, 203, + 210, 228, 230, 234, 235, 236, 263, 265, 269, 270, 271, 4, 8, 28, 35, 38, + 42, 67, 72, 73, 74, 91, 96, 97, 112, 113, 114, 115, 136, 153, 170, 171, + 172, 173, 178, 181, 198, 215, 216, 217, 218, 231, 238, 245, 246, 266, 272, 54, + 61, 98, 105, 174, 175, 219, 220, 19, 20, 21, 22, 23, 24, 249, 250, 251, + 253, 254, 255, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3, 4, 5, 6, + 7, 8, 0, 26, 47, 74, 99, 31, 32, 52, 53, 73, 95, 100, 120, 23, + 24, 28, 29, 49, 50, 56, 57, 81, 82, 91, 92, 103, 104, 114, 115, 22, + 27, 48, 55, 85, 86, 117, 118, 2, 3, 18, 19, 34, 36, 37, 61, 62, + 63, 84, 88, 94, 105, 116, 123, 125, 127, 143, 144, 25, 30, 51, 58, 76, + 77, 109, 110, 1, 7, 8, 14, 21, 39, 40, 41, 42, 54, 65, 66, 67, + 68, 79, 87, 90, 96, 97, 101, 106, 111, 121, 122, 128, 137, 138, 139, 4, + 6, 9, 11, 12, 15, 16, 20, 33, 35, 38, 43, 44, 45, 59, 60, 64, + 69, 70, 71, 78, 80, 83, 89, 93, 98, 102, 108, 112, 113, 119, 124, 126, + 130, 131, 134, 135, 136, 140, 142, 5, 10, 13, 17, 46, 72, 75, 107, 129, + 132, 133, 141, 0, 216, 351, 422, 557, 214, 350, 476, 617, 4, 5, 19, 22, + 113, 114, 128, 131, 673, 674, 700, 706, 783, 784, 814, 820, 211, 212, 397, 398, + 424, 487, 560, 615, 18, 21, 127, 130, 698, 705, 812, 819, 3, 141, 171, 187, + 213, 220, 239, 243, 246, 247, 304, 330, 354, 368, 369, 373, 376, 377, 421, 475, + 481, 482, 483, 501, 502, 503, 555, 556, 603, 612, 618, 619, 635, 636, 702, 816, + 223, 347, 423, 569, 32, 112, 217, 218, 238, 328, 344, 352, 484, 486, 504, 571, + 604, 611, 703, 815, 174, 186, 190, 208, 209, 276, 277, 302, 303, 326, 327, 329, + 404, 405, 425, 426, 448, 488, 489, 490, 491, 554, 559, 561, 576, 577, 614, 616, + 7, 8, 12, 16, 116, 117, 121, 125, 678, 682, 687, 696, 786, 791, 798, 810, + 36, 158, 179, 180, 195, 196, 311, 312, 337, 338, 477, 478, 505, 506, 606, 607, + 638, 639, 675, 799, 34, 69, 71, 75, 76, 148, 230, 293, 294, 346, 461, 549, + 550, 558, 676, 732, 741, 753, 754, 800, 9, 20, 40, 41, 70, 73, 118, 129, + 144, 145, 170, 172, 188, 226, 227, 295, 296, 306, 332, 357, 358, 396, 480, 492, + 508, 509, 510, 543, 547, 608, 609, 610, 622, 640, 683, 699, 704, 715, 758, 759, + 793, 813, 818, 828, 77, 94, 178, 181, 194, 197, 292, 299, 310, 313, 336, 339, + 469, 470, 519, 520, 551, 552, 598, 599, 645, 646, 752, 755, 6, 11, 13, 17, + 44, 45, 64, 67, 90, 91, 115, 120, 122, 126, 156, 157, 173, 184, 189, 200, + 288, 289, 290, 291, 305, 317, 331, 343, 442, 443, 523, 524, 541, 542, 544, 545, + 601, 602, 626, 627, 677, 680, 686, 688, 689, 697, 733, 735, 742, 743, 785, 788, + 797, 801, 802, 811, 2, 37, 39, 42, 54, 68, 72, 74, 93, 111, 143, 146, + 160, 163, 222, 225, 228, 251, 252, 253, 325, 353, 356, 359, 381, 382, 439, 445, + 472, 494, 522, 526, 590, 600, 620, 628, 632, 647, 694, 707, 708, 709, 718, 756, + 757, 762, 774, 807, 821, 822, 823, 831, 183, 185, 199, 201, 315, 316, 341, 342, + 450, 451, 514, 515, 593, 594, 656, 657, 35, 80, 81, 97, 98, 159, 176, 192, + 240, 241, 242, 244, 245, 248, 249, 250, 254, 259, 265, 266, 270, 272, 307, 333, + 370, 371, 372, 374, 375, 378, 379, 380, 385, 386, 391, 392, 400, 407, 436, 437, + 438, 444, 446, 453, 467, 473, 474, 479, 496, 497, 507, 517, 525, 530, 568, 570, + 587, 588, 589, 595, 605, 625, 629, 631, 637, 642, 648, 649, 650, 658, 711, 750, + 751, 765, 766, 833, 177, 182, 193, 198, 309, 314, 335, 340, 455, 456, 531, 532, + 573, 574, 661, 662, 15, 24, 26, 27, 33, 38, 43, 46, 47, 48, 49, 50, + 51, 52, 55, 56, 57, 65, 66, 79, 82, 96, 99, 107, 108, 124, 133, 135, + 136, 142, 147, 149, 150, 151, 152, 153, 154, 155, 162, 164, 165, 166, 210, 219, + 221, 224, 229, 231, 232, 233, 234, 235, 236, 237, 255, 256, 258, 260, 261, 264, + 267, 269, 271, 273, 274, 279, 281, 282, 298, 300, 345, 348, 349, 355, 360, 362, + 363, 364, 365, 366, 367, 384, 387, 389, 390, 393, 394, 399, 401, 402, 406, 408, + 409, 413, 414, 415, 432, 433, 434, 435, 441, 447, 452, 454, 458, 463, 464, 465, + 466, 468, 471, 485, 493, 498, 499, 511, 516, 518, 521, 527, 528, 534, 540, 546, + 563, 564, 565, 566, 575, 583, 584, 585, 586, 592, 596, 597, 613, 621, 624, 630, + 633, 643, 644, 651, 652, 655, 659, 663, 666, 667, 681, 684, 691, 692, 695, 701, + 710, 712, 714, 716, 719, 720, 721, 722, 723, 725, 726, 736, 745, 748, 749, 763, + 770, 771, 776, 789, 790, 792, 794, 804, 805, 808, 809, 817, 824, 826, 827, 829, + 832, 834, 835, 837, 175, 191, 308, 334, 459, 460, 664, 665, 10, 14, 23, 25, + 28, 29, 30, 31, 53, 58, 59, 60, 61, 62, 63, 78, 83, 84, 85, 86, + 87, 88, 89, 95, 100, 101, 102, 103, 104, 105, 106, 109, 110, 119, 123, 132, + 134, 137, 138, 139, 140, 161, 167, 168, 202, 203, 204, 205, 206, 207, 215, 257, + 262, 263, 268, 275, 278, 280, 283, 284, 285, 286, 287, 297, 301, 318, 319, 320, + 321, 322, 323, 361, 383, 388, 395, 403, 410, 411, 412, 416, 417, 418, 419, 420, + 427, 428, 429, 430, 431, 440, 449, 457, 462, 495, 500, 512, 513, 529, 533, 535, + 536, 537, 538, 548, 553, 562, 567, 572, 578, 579, 580, 581, 582, 591, 623, 634, + 641, 653, 654, 660, 668, 669, 670, 671, 679, 685, 690, 693, 713, 717, 724, 727, + 728, 729, 730, 734, 737, 738, 739, 740, 744, 746, 747, 760, 761, 764, 767, 768, + 769, 772, 773, 775, 777, 778, 779, 780, 781, 787, 795, 796, 803, 806, 825, 830, + 836, 838, 839, 840, 1, 92, 169, 324, 539, 672, 731, 782, 0, 0, 0, 0, + 0, 0, 0, 3, 8, 4, 7, 9, 12, 1, 2, 5, 6, 10, 11, 13, + 14, 0, 12, 25, 44, 46, 16, 17, 36, 37, 53, 57, 79, 85, 15, 21, + 38, 41, 54, 62, 80, 83, 18, 35, 55, 82, 1, 2, 13, 14, 43, 45, + 58, 64, 76, 87, 95, 96, 5, 6, 19, 20, 22, 29, 30, 39, 40, 42, + 52, 61, 68, 69, 70, 74, 78, 90, 91, 92, 4, 7, 9, 10, 23, 24, + 28, 31, 33, 34, 47, 48, 59, 60, 65, 66, 67, 71, 75, 77, 86, 88, + 89, 93, 3, 8, 11, 26, 27, 32, 49, 50, 51, 56, 63, 72, 73, 81, + 84, 94, 0, 158, 175, 73, 196, 263, 388, 74, 186, 271, 371, 4, 8, 10, + 54, 58, 60, 446, 452, 454, 499, 508, 513, 75, 178, 272, 370, 78, 105, 107, + 179, 202, 213, 264, 277, 318, 387, 402, 409, 122, 195, 278, 408, 111, 199, 319, + 376, 134, 135, 225, 226, 265, 273, 369, 386, 3, 5, 6, 7, 9, 11, 53, + 55, 56, 57, 59, 61, 108, 109, 112, 113, 146, 197, 198, 200, 201, 235, 306, + 310, 329, 333, 373, 377, 398, 406, 445, 447, 448, 450, 453, 455, 497, 500, 502, + 507, 510, 514, 76, 177, 297, 366, 19, 69, 100, 101, 104, 106, 110, 126, 128, + 129, 203, 211, 212, 216, 218, 219, 229, 230, 286, 299, 307, 317, 320, 324, 325, + 330, 393, 394, 396, 404, 414, 416, 418, 436, 449, 495, 77, 121, 123, 176, 193, + 194, 276, 287, 331, 391, 395, 435, 83, 161, 162, 163, 164, 166, 167, 169, 170, + 185, 294, 347, 348, 349, 350, 353, 354, 355, 357, 361, 12, 15, 36, 42, 64, + 67, 85, 99, 102, 116, 119, 133, 136, 150, 151, 204, 207, 223, 224, 228, 231, + 233, 253, 254, 262, 270, 298, 300, 302, 303, 311, 323, 334, 365, 368, 385, 392, + 400, 407, 419, 425, 428, 456, 459, 468, 477, 506, 509, 160, 172, 351, 356, 88, + 89, 124, 125, 127, 130, 131, 132, 139, 140, 189, 190, 214, 215, 217, 220, 221, + 222, 240, 241, 281, 284, 308, 309, 315, 321, 322, 326, 328, 337, 372, 375, 403, + 405, 413, 415, 417, 420, 423, 431, 165, 168, 345, 352, 159, 173, 358, 360, 1, + 13, 14, 16, 17, 18, 20, 23, 24, 26, 28, 31, 34, 37, 38, 40, 43, + 46, 50, 52, 62, 63, 65, 66, 68, 71, 84, 87, 90, 98, 103, 114, 115, + 117, 118, 120, 138, 141, 143, 144, 147, 148, 156, 171, 174, 184, 188, 191, 205, + 206, 208, 209, 210, 227, 232, 234, 236, 239, 242, 250, 251, 259, 274, 275, 282, + 283, 285, 289, 290, 291, 295, 296, 304, 305, 316, 335, 336, 339, 340, 346, 359, + 363, 364, 374, 379, 389, 390, 399, 401, 411, 421, 424, 427, 429, 432, 438, 439, + 441, 457, 458, 460, 461, 462, 463, 464, 467, 475, 476, 478, 479, 480, 481, 483, + 486, 487, 488, 492, 496, 498, 501, 503, 511, 512, 515, 2, 21, 22, 25, 27, + 29, 30, 32, 33, 35, 39, 41, 44, 45, 47, 48, 49, 51, 70, 72, 79, + 80, 81, 82, 86, 91, 92, 93, 94, 95, 96, 97, 137, 142, 145, 149, 152, + 153, 154, 155, 157, 180, 181, 182, 183, 187, 192, 237, 238, 243, 244, 245, 246, + 247, 248, 249, 252, 255, 256, 257, 258, 260, 261, 266, 267, 268, 269, 279, 280, + 288, 292, 293, 301, 312, 313, 314, 327, 332, 338, 341, 342, 343, 344, 362, 367, + 378, 380, 381, 382, 383, 384, 397, 410, 412, 422, 426, 430, 433, 434, 437, 440, + 442, 443, 444, 451, 465, 466, 469, 470, 471, 472, 473, 474, 482, 484, 485, 489, + 490, 491, 493, 494, 504, 505, 516, 0, 0, 0, 0, 0, 0, 0, 0, 1, + 2, 3, 4, 0, 16, 30, 49, 75, 15, 31, 48, 77, 23, 67, 14, 17, + 18, 28, 29, 32, 47, 50, 51, 73, 74, 78, 20, 33, 54, 70, 13, 19, + 26, 34, 46, 52, 72, 79, 21, 27, 60, 71, 22, 24, 68, 69, 1, 3, + 5, 8, 11, 25, 35, 37, 39, 42, 61, 62, 63, 64, 66, 76, 80, 83, + 84, 85, 2, 4, 6, 7, 9, 10, 12, 36, 38, 40, 41, 43, 44, 45, + 53, 55, 56, 57, 58, 59, 65, 81, 82, 86, 87, 88, 89, 90, 0, 0, + 0, 0, 0, 0, 2, 3, 14, 15, 39, 41, 46, 50, 9, 10, 48, 49, + 1, 16, 44, 56, 4, 5, 6, 7, 8, 11, 17, 18, 19, 20, 21, 22, + 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 35, 36, 37, 38, 40, 42, + 43, 45, 47, 51, 54, 55, 57, 58, 12, 13, 25, 34, 52, 53, 0, 152, + 220, 3, 65, 350, 435, 10, 11, 91, 92, 467, 469, 551, 553, 145, 146, 167, + 168, 234, 235, 254, 255, 307, 308, 313, 314, 396, 397, 402, 403, 9, 12, 90, + 93, 141, 142, 163, 164, 230, 231, 250, 251, 320, 321, 346, 347, 408, 409, 433, + 434, 466, 471, 550, 555, 28, 29, 109, 110, 134, 135, 156, 157, 181, 182, 226, + 227, 246, 247, 268, 269, 310, 311, 312, 316, 317, 318, 398, 399, 400, 404, 405, + 406, 468, 470, 552, 554, 13, 19, 20, 21, 39, 40, 94, 100, 101, 102, 120, + 121, 192, 193, 279, 280, 319, 345, 407, 432, 472, 473, 493, 494, 495, 497, 556, + 557, 576, 577, 578, 580, 144, 147, 166, 169, 233, 236, 253, 256, 301, 302, 329, + 330, 390, 391, 417, 418, 4, 5, 6, 62, 63, 64, 498, 500, 502, 528, 532, + 536, 27, 30, 67, 68, 79, 80, 108, 111, 133, 136, 155, 158, 180, 183, 198, + 199, 225, 228, 245, 248, 267, 270, 283, 284, 304, 305, 306, 309, 315, 332, 333, + 334, 392, 393, 394, 395, 401, 419, 420, 421, 464, 480, 513, 514, 515, 516, 547, + 564, 33, 34, 35, 36, 74, 75, 76, 77, 116, 117, 118, 119, 150, 151, 172, + 173, 208, 209, 210, 211, 239, 240, 259, 260, 296, 297, 323, 324, 372, 373, 376, + 377, 384, 385, 412, 413, 458, 459, 474, 475, 507, 508, 517, 518, 541, 542, 558, + 559, 2, 41, 42, 87, 123, 124, 148, 149, 153, 170, 171, 177, 178, 219, 237, + 238, 257, 258, 265, 266, 328, 339, 340, 349, 352, 353, 354, 388, 427, 428, 437, + 439, 441, 442, 481, 484, 486, 548, 567, 569, 8, 15, 44, 45, 89, 96, 125, + 126, 140, 162, 188, 189, 190, 191, 229, 249, 275, 276, 277, 278, 299, 326, 348, + 351, 357, 358, 386, 414, 436, 438, 444, 445, 461, 465, 477, 482, 544, 549, 561, + 565, 31, 32, 46, 112, 113, 127, 184, 185, 194, 271, 272, 281, 338, 342, 356, + 425, 429, 443, 487, 488, 496, 570, 571, 579, 37, 38, 47, 48, 49, 50, 66, + 69, 78, 81, 114, 115, 128, 129, 130, 131, 143, 165, 186, 187, 197, 200, 203, + 204, 232, 252, 273, 274, 282, 285, 288, 289, 298, 300, 303, 325, 327, 331, 343, + 344, 383, 387, 389, 411, 415, 416, 430, 431, 460, 462, 476, 478, 483, 485, 511, + 512, 521, 522, 543, 545, 560, 562, 566, 568, 1, 16, 17, 18, 22, 23, 24, + 43, 70, 71, 82, 83, 86, 97, 98, 99, 103, 104, 105, 122, 174, 175, 176, + 179, 195, 196, 201, 202, 205, 213, 214, 261, 262, 263, 264, 286, 287, 290, 291, + 292, 335, 336, 337, 341, 355, 359, 360, 363, 366, 379, 380, 422, 423, 424, 426, + 440, 446, 447, 450, 453, 489, 490, 491, 492, 499, 501, 503, 505, 523, 524, 525, + 526, 572, 573, 574, 575, 581, 582, 583, 584, 7, 14, 25, 26, 72, 73, 84, + 85, 88, 95, 106, 107, 132, 137, 138, 139, 154, 159, 160, 161, 206, 207, 215, + 216, 217, 218, 221, 222, 223, 224, 241, 242, 243, 244, 293, 294, 295, 322, 361, + 362, 364, 365, 367, 368, 369, 370, 371, 374, 375, 378, 382, 410, 448, 449, 451, + 452, 454, 455, 456, 457, 463, 479, 504, 506, 509, 510, 519, 520, 546, 563, 585, + 586, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 212, 381, 527, 529, + 530, 531, 533, 534, 535, 537, 538, 539, 540, 0, 0, 0, 0, 0, 6, 8, + 11, 14, 5, 7, 9, 10, 12, 13, 15, 16, 1, 2, 3, 4, 17, 18, + 19, 20, 0, 86, 128, 183, 232, 4, 26, 94, 125, 215, 231, 297, 318, 118, + 124, 216, 230, 1, 47, 296, 319, 2, 3, 45, 46, 73, 74, 147, 148, 181, + 218, 239, 269, 282, 299, 307, 320, 100, 101, 142, 143, 179, 180, 237, 238, 27, + 31, 34, 35, 306, 317, 327, 328, 111, 112, 165, 166, 177, 197, 235, 247, 85, + 130, 182, 233, 76, 78, 79, 89, 91, 92, 99, 102, 133, 134, 135, 141, 144, + 151, 152, 153, 178, 195, 196, 202, 203, 207, 213, 214, 236, 245, 246, 252, 264, + 265, 276, 277, 5, 7, 9, 10, 52, 54, 56, 57, 81, 82, 83, 84, 87, + 95, 96, 97, 98, 129, 137, 138, 139, 140, 155, 156, 157, 158, 188, 189, 198, + 199, 208, 209, 221, 222, 225, 234, 241, 242, 249, 250, 258, 259, 273, 274, 281, + 285, 289, 291, 332, 336, 340, 342, 8, 12, 13, 14, 17, 18, 19, 20, 21, + 22, 23, 25, 39, 40, 55, 59, 60, 61, 64, 65, 66, 67, 68, 69, 70, + 71, 103, 104, 105, 106, 107, 108, 109, 110, 113, 114, 115, 126, 127, 145, 146, + 159, 160, 161, 162, 163, 164, 167, 168, 169, 187, 191, 194, 201, 204, 211, 212, + 217, 219, 220, 224, 228, 229, 243, 244, 251, 256, 260, 263, 268, 270, 271, 275, + 278, 283, 286, 287, 288, 290, 294, 295, 298, 300, 301, 302, 303, 321, 322, 333, + 337, 338, 339, 341, 344, 345, 346, 347, 348, 349, 350, 75, 77, 80, 88, 90, + 93, 131, 132, 136, 149, 150, 154, 192, 193, 205, 206, 226, 227, 261, 262, 266, + 267, 279, 280, 6, 11, 15, 16, 24, 28, 29, 30, 32, 33, 36, 37, 38, + 41, 42, 43, 44, 48, 49, 50, 51, 53, 58, 62, 63, 72, 116, 117, 119, + 120, 121, 122, 123, 170, 171, 172, 173, 174, 175, 176, 184, 185, 186, 190, 200, + 210, 223, 240, 248, 253, 254, 255, 257, 272, 284, 292, 293, 304, 305, 308, 309, + 310, 311, 312, 313, 314, 315, 316, 323, 324, 325, 326, 329, 330, 331, 334, 335, + 343, 351, 352, 0, 20, 23, 247, 250, 1368, 1374, 1604, 1610, 388, 429, 649, 716, + 880, 881, 1155, 1156, 424, 640, 915, 1134, 386, 427, 648, 715, 981, 982, 1255, 1256, + 18, 36, 42, 47, 245, 263, 269, 274, 1365, 1410, 1427, 1445, 1601, 1646, 1664, 1683, + 2, 237, 1392, 1600, 383, 384, 824, 825, 898, 998, 1168, 1254, 19, 22, 43, 46, + 246, 249, 270, 273, 1366, 1373, 1428, 1444, 1602, 1609, 1665, 1682, 487, 488, 494, 757, + 827, 828, 873, 890, 893, 1158, 1164, 1203, 13, 306, 385, 411, 415, 418, 419, 454, + 458, 461, 462, 668, 672, 675, 676, 733, 734, 738, 741, 742, 876, 877, 977, 978, + 986, 1035, 1036, 1041, 1042, 1142, 1143, 1234, 1235, 1246, 1304, 1305, 1308, 1309, 1431, 1672, + 11, 12, 16, 17, 78, 127, 128, 173, 174, 209, 210, 238, 239, 242, 307, 308, + 354, 355, 392, 410, 433, 492, 493, 501, 502, 546, 547, 652, 698, 699, 700, 719, + 749, 756, 778, 779, 875, 882, 885, 900, 950, 989, 1000, 1039, 1040, 1145, 1146, 1148, + 1154, 1166, 1183, 1200, 1244, 1252, 1370, 1382, 1383, 1406, 1432, 1442, 1443, 1522, 1523, 1552, + 1553, 1606, 1615, 1616, 1640, 1670, 1680, 1681, 395, 436, 645, 712, 896, 897, 1188, 1189, + 86, 90, 93, 94, 309, 313, 316, 317, 495, 496, 508, 512, 515, 516, 754, 755, + 760, 764, 767, 768, 879, 889, 954, 980, 1038, 1044, 1144, 1153, 1202, 1236, 1306, 1310, + 1367, 1426, 1477, 1478, 1603, 1663, 1711, 1712, 79, 80, 243, 244, 389, 390, 430, 431, + 525, 526, 642, 650, 707, 708, 709, 717, 883, 951, 996, 997, 1045, 1046, 1147, 1194, + 1195, 1199, 1237, 1238, 1371, 1407, 1605, 1639, 26, 30, 253, 257, 1381, 1397, 1614, 1631, + 1, 81, 176, 177, 180, 181, 236, 305, 425, 453, 479, 480, 486, 489, 503, 504, + 527, 528, 531, 532, 598, 599, 613, 614, 616, 617, 639, 666, 702, 703, 758, 759, + 780, 781, 784, 785, 826, 829, 846, 847, 872, 874, 886, 891, 892, 894, 895, 936, + 955, 990, 1031, 1032, 1033, 1034, 1119, 1120, 1121, 1122, 1135, 1137, 1138, 1139, 1140, 1151, + 1157, 1159, 1163, 1165, 1205, 1245, 1301, 1302, 1401, 1434, 1543, 1544, 1545, 1546, 1668, 1678, + 21, 27, 33, 45, 248, 254, 260, 272, 1372, 1393, 1402, 1441, 1608, 1626, 1636, 1679, + 178, 179, 182, 183, 402, 443, 620, 621, 622, 623, 644, 711, 958, 959, 1105, 1106, + 1112, 1113, 1161, 1162, 1517, 1518, 1532, 1533, 83, 104, 129, 241, 321, 345, 452, 520, + 667, 748, 953, 994, 1160, 1243, 1376, 1377, 1433, 1643, 1644, 1669, 398, 399, 439, 440, + 558, 559, 655, 656, 722, 723, 832, 833, 899, 984, 985, 999, 1048, 1049, 1167, 1240, + 1241, 1253, 1312, 1313, 10, 150, 451, 615, 1097, 1132, 1509, 1595, 100, 166, 167, 171, + 172, 185, 188, 192, 195, 196, 213, 217, 221, 224, 225, 348, 490, 491, 500, 571, + 573, 577, 580, 581, 611, 612, 626, 627, 634, 775, 800, 804, 807, 808, 830, 831, + 878, 979, 991, 1003, 1004, 1037, 1043, 1098, 1110, 1124, 1126, 1128, 1131, 1141, 1233, 1248, + 1260, 1262, 1303, 1307, 1436, 1514, 1515, 1520, 1536, 1540, 1541, 1542, 1549, 1555, 1559, 1572, + 1573, 1574, 1575, 1675, 186, 187, 215, 216, 618, 619, 635, 636, 1107, 1108, 1114, 1115, + 1516, 1519, 1531, 1534, 3, 25, 29, 37, 54, 102, 112, 113, 163, 169, 212, 252, + 256, 264, 281, 335, 343, 344, 423, 426, 466, 641, 680, 746, 925, 926, 1059, 1133, + 1275, 1276, 1379, 1380, 1388, 1396, 1411, 1414, 1462, 1508, 1521, 1535, 1596, 1613, 1621, 1630, + 1647, 1648, 1651, 1699, 44, 50, 51, 62, 85, 105, 108, 109, 271, 277, 278, 289, + 326, 331, 332, 347, 394, 397, 400, 435, 438, 441, 478, 481, 529, 530, 535, 536, + 540, 542, 597, 600, 651, 654, 657, 701, 704, 718, 721, 724, 782, 783, 788, 789, + 794, 795, 845, 848, 887, 888, 913, 923, 928, 956, 957, 975, 976, 983, 1013, 1047, + 1071, 1072, 1077, 1078, 1150, 1152, 1182, 1204, 1206, 1219, 1231, 1232, 1239, 1272, 1277, 1289, + 1290, 1311, 1327, 1328, 1429, 1430, 1448, 1449, 1454, 1455, 1479, 1480, 1666, 1667, 1688, 1691, + 1692, 1693, 1713, 1714, 24, 32, 35, 75, 131, 133, 135, 136, 251, 259, 262, 302, + 358, 360, 362, 363, 412, 413, 414, 416, 417, 420, 421, 422, 455, 456, 457, 459, + 460, 463, 464, 465, 669, 670, 671, 673, 674, 677, 678, 679, 735, 736, 737, 739, + 740, 743, 744, 745, 930, 931, 941, 942, 968, 969, 1014, 1015, 1018, 1019, 1064, 1065, + 1073, 1074, 1090, 1091, 1185, 1186, 1191, 1192, 1225, 1226, 1280, 1281, 1286, 1287, 1321, 1322, + 1330, 1331, 1347, 1348, 1375, 1378, 1387, 1400, 1408, 1409, 1413, 1503, 1611, 1612, 1620, 1635, + 1642, 1645, 1650, 1736, 14, 15, 41, 49, 52, 68, 82, 84, 87, 88, 89, 91, + 92, 95, 96, 97, 98, 99, 103, 107, 110, 121, 122, 123, 124, 130, 134, 138, + 139, 140, 164, 165, 168, 170, 175, 184, 202, 211, 214, 229, 240, 268, 276, 279, + 295, 310, 311, 312, 314, 315, 318, 319, 320, 322, 323, 324, 325, 328, 330, 333, + 346, 349, 350, 351, 356, 357, 361, 365, 366, 367, 482, 483, 505, 506, 507, 509, + 510, 511, 513, 514, 517, 518, 519, 521, 522, 523, 524, 534, 537, 539, 541, 543, + 544, 549, 551, 552, 560, 562, 564, 565, 572, 585, 587, 589, 590, 592, 601, 602, + 624, 625, 629, 630, 632, 633, 637, 638, 705, 706, 747, 750, 751, 752, 753, 761, + 762, 763, 765, 766, 769, 770, 771, 776, 777, 787, 790, 792, 793, 796, 797, 799, + 812, 815, 816, 817, 819, 836, 837, 838, 840, 849, 850, 855, 856, 857, 909, 910, + 911, 912, 920, 921, 922, 927, 929, 933, 940, 944, 964, 965, 966, 967, 971, 974, + 987, 988, 992, 993, 995, 1002, 1005, 1006, 1007, 1017, 1021, 1050, 1051, 1063, 1067, 1070, + 1076, 1079, 1082, 1093, 1109, 1111, 1116, 1118, 1123, 1125, 1127, 1130, 1173, 1174, 1175, 1176, + 1187, 1193, 1215, 1216, 1217, 1218, 1223, 1227, 1230, 1242, 1247, 1249, 1250, 1251, 1258, 1259, + 1261, 1263, 1269, 1270, 1271, 1274, 1278, 1282, 1288, 1291, 1292, 1293, 1314, 1323, 1326, 1332, + 1345, 1349, 1389, 1390, 1394, 1398, 1417, 1418, 1419, 1424, 1425, 1435, 1437, 1438, 1439, 1440, + 1447, 1450, 1452, 1453, 1456, 1457, 1460, 1461, 1465, 1468, 1469, 1484, 1489, 1490, 1491, 1502, + 1547, 1548, 1550, 1551, 1554, 1556, 1557, 1561, 1570, 1588, 1622, 1623, 1625, 1627, 1632, 1654, + 1655, 1656, 1661, 1662, 1671, 1673, 1674, 1676, 1677, 1684, 1687, 1689, 1690, 1694, 1695, 1698, + 1701, 1717, 1722, 1723, 1724, 1727, 1728, 1735, 143, 144, 370, 371, 391, 393, 396, 401, + 403, 404, 405, 406, 407, 408, 409, 432, 434, 437, 442, 444, 445, 446, 447, 448, + 449, 450, 484, 485, 643, 646, 647, 653, 658, 660, 661, 662, 663, 664, 665, 710, + 713, 714, 720, 725, 727, 728, 729, 730, 731, 732, 851, 852, 884, 934, 935, 945, + 946, 948, 949, 952, 972, 973, 1022, 1023, 1024, 1025, 1052, 1053, 1068, 1069, 1080, 1081, + 1087, 1088, 1095, 1096, 1149, 1197, 1198, 1201, 1228, 1229, 1283, 1284, 1294, 1295, 1324, 1325, + 1333, 1334, 1338, 1339, 1350, 1351, 1353, 1354, 1355, 1356, 1357, 1358, 1369, 1405, 1607, 1641, + 609, 610, 869, 870, 871, 914, 1136, 1177, 28, 31, 34, 38, 39, 40, 48, 53, + 55, 56, 57, 58, 59, 60, 61, 63, 64, 65, 66, 67, 69, 70, 71, 72, + 73, 74, 76, 77, 101, 106, 111, 114, 115, 116, 117, 118, 119, 120, 125, 126, + 132, 137, 141, 142, 145, 146, 147, 148, 149, 151, 152, 153, 154, 155, 156, 157, + 158, 159, 160, 161, 162, 189, 190, 191, 193, 194, 197, 198, 199, 200, 201, 218, + 219, 220, 222, 223, 226, 227, 228, 230, 231, 232, 233, 234, 235, 255, 258, 261, + 265, 266, 267, 275, 280, 282, 283, 284, 285, 286, 287, 288, 290, 291, 292, 293, + 294, 296, 297, 298, 299, 300, 301, 303, 304, 327, 329, 334, 336, 337, 338, 339, + 340, 341, 342, 352, 353, 359, 364, 368, 369, 372, 373, 374, 375, 376, 467, 468, + 469, 470, 471, 472, 473, 474, 475, 476, 477, 497, 498, 499, 533, 538, 545, 548, + 550, 553, 554, 555, 556, 557, 561, 563, 566, 567, 568, 569, 570, 574, 575, 576, + 578, 579, 582, 583, 584, 586, 588, 591, 593, 594, 595, 596, 603, 604, 605, 606, + 607, 608, 628, 631, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 772, + 773, 774, 786, 791, 798, 801, 802, 803, 805, 806, 809, 810, 811, 813, 814, 818, + 820, 821, 822, 823, 834, 835, 839, 841, 842, 843, 844, 853, 854, 858, 859, 860, + 861, 862, 863, 864, 865, 866, 867, 868, 901, 902, 903, 904, 905, 906, 907, 908, + 916, 917, 918, 919, 924, 932, 937, 938, 939, 943, 947, 960, 961, 962, 963, 970, + 1001, 1008, 1009, 1010, 1011, 1012, 1016, 1020, 1026, 1027, 1028, 1029, 1054, 1055, 1056, 1057, + 1060, 1061, 1062, 1066, 1075, 1083, 1084, 1085, 1086, 1092, 1094, 1099, 1117, 1129, 1169, 1170, + 1171, 1172, 1178, 1179, 1180, 1181, 1184, 1190, 1196, 1207, 1208, 1209, 1210, 1211, 1212, 1213, + 1214, 1220, 1221, 1222, 1224, 1257, 1264, 1265, 1266, 1267, 1268, 1273, 1279, 1285, 1296, 1297, + 1298, 1299, 1315, 1316, 1317, 1318, 1320, 1329, 1335, 1336, 1337, 1340, 1342, 1343, 1344, 1346, + 1352, 1359, 1384, 1385, 1386, 1391, 1395, 1399, 1403, 1404, 1412, 1415, 1416, 1420, 1421, 1422, + 1423, 1446, 1451, 1458, 1459, 1463, 1464, 1466, 1467, 1470, 1471, 1472, 1473, 1474, 1475, 1481, + 1482, 1485, 1486, 1487, 1488, 1492, 1493, 1494, 1495, 1496, 1497, 1498, 1499, 1500, 1504, 1505, + 1506, 1507, 1510, 1524, 1525, 1526, 1527, 1528, 1529, 1530, 1537, 1538, 1539, 1558, 1560, 1562, + 1563, 1564, 1565, 1566, 1567, 1568, 1569, 1576, 1577, 1578, 1579, 1580, 1582, 1583, 1584, 1585, + 1586, 1587, 1590, 1591, 1592, 1593, 1594, 1617, 1618, 1619, 1624, 1628, 1629, 1633, 1634, 1637, + 1638, 1649, 1652, 1653, 1657, 1658, 1659, 1660, 1685, 1686, 1696, 1697, 1700, 1702, 1703, 1704, + 1705, 1706, 1707, 1708, 1709, 1710, 1715, 1716, 1718, 1719, 1720, 1721, 1725, 1726, 1729, 1730, + 1731, 1732, 1733, 1734, 1737, 1738, 1739, 1740, 4, 5, 6, 7, 8, 9, 203, 204, + 205, 206, 207, 208, 377, 378, 379, 380, 381, 382, 387, 428, 659, 692, 693, 694, + 695, 696, 697, 726, 1030, 1058, 1089, 1100, 1101, 1102, 1103, 1104, 1300, 1319, 1341, 1360, + 1361, 1362, 1363, 1364, 1476, 1483, 1501, 1511, 1512, 1513, 1571, 1581, 1589, 1597, 1598, 1599, + 0, 0, 0, 0, 2, 3, 4, 5, 1, 6, 0, 16, 23, 43, 45, 24, + 27, 38, 44, 13, 29, 36, 46, 17, 18, 30, 39, 47, 48, 59, 60, 3, + 6, 12, 26, 41, 50, 61, 69, 77, 80, 1, 2, 9, 10, 14, 15, 35, + 37, 52, 56, 63, 66, 70, 71, 75, 78, 4, 5, 7, 8, 11, 19, 20, + 21, 22, 25, 28, 31, 32, 33, 34, 40, 42, 49, 51, 53, 54, 55, 57, + 58, 62, 64, 65, 67, 68, 72, 73, 74, 76, 79, 0, 93, 163, 253, 328, + 120, 140, 228, 235, 82, 157, 225, 237, 126, 207, 310, 329, 60, 327, 86, 87, + 94, 95, 164, 165, 199, 200, 258, 259, 270, 271, 354, 355, 372, 373, 85, 91, + 100, 170, 201, 204, 260, 287, 288, 357, 358, 366, 88, 136, 158, 192, 194, 236, + 263, 364, 14, 67, 102, 106, 109, 110, 119, 131, 139, 172, 176, 179, 180, 213, + 232, 244, 248, 290, 301, 311, 316, 331, 359, 380, 393, 398, 411, 475, 83, 84, + 97, 166, 224, 226, 264, 272, 296, 345, 365, 376, 161, 162, 325, 326, 10, 70, + 89, 90, 92, 96, 98, 99, 101, 134, 167, 168, 169, 171, 202, 203, 205, 208, + 254, 255, 268, 275, 283, 284, 312, 313, 330, 337, 338, 351, 352, 363, 395, 396, + 405, 472, 3, 4, 48, 49, 78, 79, 187, 188, 302, 317, 381, 399, 419, 422, + 451, 458, 7, 8, 11, 12, 13, 15, 16, 17, 18, 23, 25, 26, 30, 32, + 33, 34, 35, 37, 38, 39, 44, 52, 53, 58, 62, 63, 65, 66, 68, 69, + 71, 72, 73, 114, 121, 122, 123, 124, 125, 128, 129, 130, 132, 133, 137, 138, + 149, 184, 191, 193, 209, 210, 211, 212, 214, 215, 220, 227, 229, 230, 231, 257, + 265, 274, 277, 278, 281, 286, 289, 293, 298, 303, 304, 315, 318, 339, 341, 343, + 347, 353, 356, 368, 374, 377, 382, 384, 386, 388, 397, 407, 408, 409, 410, 413, + 416, 417, 420, 421, 431, 432, 433, 435, 436, 440, 441, 444, 447, 448, 449, 452, + 453, 457, 459, 466, 469, 470, 471, 473, 474, 476, 477, 478, 31, 36, 425, 434, + 2, 5, 47, 50, 77, 80, 135, 186, 189, 216, 300, 309, 320, 379, 392, 401, + 418, 423, 450, 462, 9, 19, 20, 21, 22, 24, 27, 28, 29, 40, 41, 42, + 43, 45, 54, 55, 56, 57, 59, 61, 64, 74, 75, 103, 104, 105, 107, 108, + 111, 112, 113, 115, 116, 117, 118, 127, 141, 142, 143, 144, 145, 146, 147, 148, + 150, 151, 152, 153, 154, 155, 156, 160, 173, 174, 175, 177, 178, 181, 182, 183, + 195, 196, 197, 198, 206, 217, 218, 219, 221, 222, 223, 233, 234, 238, 239, 240, + 241, 242, 243, 245, 247, 249, 250, 251, 252, 256, 261, 262, 266, 267, 269, 273, + 279, 280, 282, 285, 291, 294, 295, 297, 299, 305, 306, 307, 308, 314, 319, 321, + 322, 323, 332, 333, 334, 335, 336, 340, 342, 344, 346, 348, 349, 350, 360, 362, + 367, 369, 370, 371, 375, 378, 385, 387, 389, 390, 391, 394, 400, 402, 403, 406, + 414, 415, 426, 427, 428, 429, 430, 437, 438, 439, 442, 445, 446, 454, 455, 456, + 460, 461, 463, 465, 467, 468, 1, 6, 46, 51, 76, 81, 185, 190, 292, 324, + 361, 404, 412, 424, 443, 464, 159, 246, 276, 383, 0, 836, 884, 4, 377, 1785, + 2139, 31, 66, 402, 437, 1768, 1848, 2141, 2237, 605, 899, 1239, 1503, 744, 820, 1103, + 1113, 111, 397, 1392, 1714, 592, 769, 960, 1124, 574, 995, 1206, 1641, 14, 109, 399, + 481, 591, 963, 1211, 1636, 1777, 1778, 2197, 2198, 15, 110, 401, 483, 576, 606, 655, + 656, 690, 730, 731, 906, 984, 1016, 1050, 1051, 1106, 1107, 1177, 1185, 1200, 1305, 1331, + 1351, 1352, 1504, 1513, 1541, 1582, 1617, 1618, 1626, 1859, 1860, 2251, 2252, 5, 227, 674, + 678, 681, 682, 1084, 1088, 1091, 1092, 1173, 1292, 1332, 1354, 1508, 1614, 1666, 1683, 1944, + 2042, 580, 610, 903, 981, 1357, 1358, 1556, 1557, 22, 32, 35, 40, 45, 46, 53, + 60, 61, 226, 237, 403, 406, 411, 416, 417, 424, 431, 432, 480, 621, 692, 697, + 922, 1008, 1015, 1172, 1176, 1212, 1526, 1567, 1635, 1771, 1776, 1790, 1796, 1805, 1806, 1817, + 1840, 1841, 1962, 1987, 2142, 2145, 2168, 2181, 2182, 2200, 2206, 2227, 2228, 33, 37, 38, + 49, 52, 57, 63, 70, 404, 408, 409, 420, 423, 428, 434, 441, 1772, 1782, 1794, + 1809, 1816, 1833, 1843, 1858, 2143, 2148, 2161, 2185, 2199, 2219, 2231, 2249, 839, 852, 1442, + 1464, 10, 107, 114, 118, 198, 208, 231, 244, 245, 248, 249, 378, 478, 496, 513, + 577, 578, 581, 582, 604, 607, 608, 611, 612, 673, 686, 687, 693, 710, 722, 862, + 900, 901, 902, 904, 905, 964, 979, 980, 982, 983, 1006, 1007, 1014, 1041, 1042, 1215, + 1228, 1265, 1291, 1295, 1296, 1300, 1301, 1304, 1306, 1307, 1397, 1398, 1409, 1410, 1488, 1501, + 1511, 1546, 1547, 1558, 1559, 1560, 1608, 1609, 1622, 1623, 1627, 1628, 1629, 1644, 1773, 1774, + 1853, 1854, 1965, 1967, 1969, 2005, 2006, 2008, 2039, 2196, 2201, 2241, 2242, 36, 39, 42, + 43, 112, 398, 407, 410, 413, 414, 637, 932, 1207, 1640, 1779, 1791, 1795, 1800, 1801, + 2147, 2166, 2175, 2176, 2208, 200, 206, 1970, 2007, 65, 68, 117, 152, 202, 207, 224, + 233, 236, 243, 436, 439, 493, 515, 573, 575, 596, 598, 599, 630, 632, 633, 694, + 707, 723, 864, 865, 868, 870, 925, 927, 928, 978, 993, 994, 998, 1000, 1001, 1011, + 1013, 1216, 1246, 1276, 1277, 1330, 1347, 1348, 1353, 1372, 1373, 1399, 1458, 1460, 1479, 1481, + 1506, 1593, 1594, 1602, 1616, 1643, 1679, 1680, 1693, 1694, 1748, 1770, 1810, 1847, 1856, 2035, + 2045, 2047, 2049, 2051, 2085, 2236, 2246, 2247, 2269, 199, 210, 232, 247, 569, 570, 579, + 590, 593, 609, 739, 819, 863, 866, 867, 871, 907, 961, 962, 985, 1080, 1081, 1117, + 1145, 1249, 1297, 1359, 1376, 1377, 1402, 1447, 1459, 1480, 1482, 1596, 1597, 1600, 1621, 1687, + 1746, 2044, 2046, 2050, 2052, 826, 1162, 1329, 1502, 13, 34, 47, 48, 54, 58, 64, + 67, 69, 108, 113, 121, 123, 124, 128, 136, 154, 155, 163, 196, 203, 217, 222, + 229, 238, 242, 262, 263, 264, 265, 266, 300, 304, 325, 396, 400, 405, 418, 419, + 425, 429, 435, 438, 440, 479, 482, 486, 488, 489, 511, 512, 517, 518, 626, 654, + 659, 663, 666, 667, 696, 700, 702, 703, 732, 748, 749, 767, 768, 777, 788, 790, + 791, 802, 806, 809, 810, 840, 841, 842, 843, 845, 846, 848, 849, 850, 851, 853, + 854, 856, 857, 859, 860, 861, 869, 888, 917, 946, 965, 969, 972, 973, 1017, 1020, + 1022, 1023, 1049, 1056, 1066, 1068, 1069, 1118, 1119, 1130, 1134, 1137, 1138, 1153, 1154, 1174, + 1175, 1182, 1183, 1184, 1197, 1198, 1199, 1208, 1213, 1214, 1264, 1273, 1279, 1293, 1294, 1333, + 1334, 1350, 1355, 1356, 1375, 1379, 1445, 1446, 1449, 1450, 1452, 1453, 1454, 1455, 1465, 1466, + 1467, 1469, 1470, 1472, 1473, 1477, 1478, 1489, 1490, 1507, 1509, 1510, 1525, 1538, 1539, 1540, + 1579, 1580, 1581, 1595, 1613, 1615, 1634, 1639, 1642, 1653, 1665, 1667, 1681, 1682, 1684, 1695, + 1775, 1784, 1807, 1808, 1818, 1819, 1822, 1828, 1831, 1834, 1846, 1855, 1857, 1861, 1863, 1874, + 1875, 1888, 1895, 1966, 1971, 1972, 1974, 1981, 1982, 2010, 2011, 2012, 2013, 2018, 2019, 2038, + 2041, 2048, 2144, 2150, 2154, 2159, 2163, 2183, 2184, 2202, 2205, 2216, 2220, 2235, 2245, 2248, + 2250, 2277, 2284, 2310, 2311, 12, 160, 161, 170, 219, 241, 366, 385, 393, 395, 535, + 603, 622, 623, 638, 651, 920, 921, 933, 948, 1005, 1263, 1268, 1313, 1367, 1368, 1500, + 1512, 1521, 1530, 1588, 1589, 1780, 1781, 1815, 1821, 1964, 2077, 2146, 2155, 2203, 2204, 18, + 19, 134, 166, 167, 197, 201, 205, 209, 230, 246, 252, 253, 273, 311, 312, 328, + 381, 382, 509, 531, 532, 568, 571, 585, 588, 615, 618, 625, 627, 689, 724, 725, + 726, 727, 728, 729, 735, 736, 838, 885, 908, 911, 915, 916, 956, 957, 986, 989, + 1029, 1043, 1044, 1045, 1046, 1047, 1048, 1079, 1082, 1250, 1274, 1280, 1281, 1286, 1287, 1288, + 1299, 1318, 1345, 1361, 1362, 1364, 1370, 1378, 1403, 1411, 1457, 1475, 1590, 1601, 1612, 1619, + 1652, 1676, 1685, 1688, 1690, 1696, 1697, 1698, 1711, 1722, 1723, 1729, 1747, 1820, 1849, 1850, + 1890, 1891, 1980, 2015, 2036, 2037, 2068, 2070, 2071, 2086, 2087, 2122, 2123, 2124, 2153, 2238, + 2239, 2279, 2280, 594, 595, 597, 600, 601, 602, 620, 624, 628, 629, 631, 634, 635, + 636, 844, 847, 855, 858, 918, 919, 923, 924, 926, 929, 930, 931, 996, 997, 999, + 1002, 1003, 1004, 1229, 1230, 1240, 1241, 1254, 1339, 1340, 1383, 1384, 1393, 1394, 1407, 1421, + 1422, 1440, 1441, 1462, 1463, 1543, 1544, 1553, 1554, 1599, 1673, 1674, 1703, 1704, 1716, 1717, + 1736, 1737, 1745, 129, 510, 1864, 2162, 1, 17, 20, 56, 62, 73, 76, 81, 83, + 84, 89, 94, 97, 115, 116, 119, 120, 122, 125, 126, 127, 130, 131, 132, 133, + 137, 139, 140, 141, 142, 143, 145, 148, 153, 156, 162, 165, 168, 177, 178, 181, + 182, 183, 186, 193, 220, 221, 223, 225, 234, 235, 239, 240, 251, 254, 278, 280, + 281, 297, 298, 299, 301, 303, 310, 313, 321, 322, 337, 339, 340, 344, 346, 347, + 348, 353, 362, 363, 367, 372, 376, 380, 383, 394, 427, 433, 444, 447, 452, 454, + 455, 460, 465, 468, 484, 485, 487, 490, 491, 492, 494, 495, 497, 498, 499, 501, + 502, 503, 504, 505, 506, 507, 516, 520, 523, 526, 530, 533, 545, 546, 547, 550, + 551, 554, 559, 652, 653, 657, 658, 675, 676, 677, 679, 680, 683, 684, 685, 691, + 695, 698, 699, 701, 704, 705, 706, 708, 709, 711, 712, 713, 715, 716, 717, 718, + 719, 720, 721, 734, 737, 740, 741, 745, 746, 754, 762, 763, 774, 781, 783, 784, + 789, 793, 794, 800, 814, 831, 837, 872, 873, 875, 877, 886, 887, 889, 891, 947, + 949, 955, 958, 977, 1009, 1010, 1012, 1018, 1019, 1021, 1024, 1025, 1026, 1028, 1030, 1031, + 1032, 1033, 1034, 1036, 1037, 1038, 1039, 1040, 1054, 1055, 1059, 1061, 1062, 1067, 1076, 1085, + 1086, 1087, 1089, 1090, 1093, 1094, 1095, 1102, 1104, 1108, 1109, 1110, 1127, 1129, 1144, 1146, + 1159, 1168, 1201, 1202, 1203, 1219, 1220, 1221, 1232, 1235, 1236, 1237, 1238, 1243, 1251, 1269, + 1270, 1271, 1272, 1275, 1278, 1282, 1283, 1290, 1302, 1303, 1308, 1310, 1314, 1315, 1319, 1320, + 1321, 1325, 1327, 1342, 1346, 1349, 1369, 1371, 1374, 1380, 1381, 1386, 1396, 1404, 1413, 1415, + 1416, 1419, 1424, 1427, 1428, 1443, 1451, 1456, 1471, 1476, 1487, 1491, 1493, 1498, 1520, 1522, + 1523, 1524, 1529, 1532, 1545, 1548, 1549, 1550, 1551, 1555, 1562, 1583, 1584, 1585, 1587, 1591, + 1592, 1604, 1610, 1624, 1625, 1630, 1631, 1647, 1648, 1650, 1655, 1657, 1659, 1661, 1663, 1675, + 1677, 1678, 1691, 1692, 1699, 1700, 1705, 1718, 1721, 1725, 1727, 1730, 1732, 1738, 1743, 1750, + 1761, 1792, 1793, 1798, 1802, 1803, 1825, 1826, 1827, 1829, 1832, 1842, 1844, 1845, 1851, 1852, + 1865, 1866, 1869, 1871, 1873, 1880, 1883, 1886, 1889, 1892, 1893, 1896, 1897, 1898, 1899, 1900, + 1902, 1909, 1912, 1916, 1918, 1919, 1924, 1925, 1927, 1931, 1935, 1936, 1937, 1943, 1978, 1979, + 1983, 1984, 1986, 1988, 1993, 1997, 2002, 2014, 2017, 2022, 2023, 2026, 2027, 2033, 2034, 2040, + 2043, 2053, 2054, 2055, 2058, 2062, 2066, 2083, 2084, 2091, 2092, 2096, 2111, 2112, 2116, 2131, + 2156, 2157, 2158, 2165, 2167, 2172, 2177, 2178, 2188, 2212, 2213, 2214, 2217, 2218, 2221, 2229, + 2230, 2232, 2233, 2240, 2243, 2244, 2253, 2255, 2259, 2260, 2261, 2264, 2265, 2271, 2275, 2278, + 2282, 2285, 2286, 2287, 2289, 2293, 2295, 2299, 2304, 2305, 2306, 2308, 2312, 275, 302, 326, + 345, 1963, 1968, 1985, 2009, 2, 135, 195, 204, 218, 228, 375, 508, 567, 572, 583, + 584, 586, 587, 589, 613, 614, 616, 617, 619, 758, 759, 879, 883, 895, 897, 909, + 910, 912, 913, 914, 987, 988, 990, 991, 992, 1078, 1083, 1098, 1099, 1233, 1234, 1244, + 1245, 1256, 1257, 1258, 1259, 1260, 1298, 1343, 1344, 1360, 1431, 1444, 1448, 1468, 1474, 1566, + 1620, 1686, 1706, 1707, 1719, 1720, 1739, 1740, 1754, 1755, 1756, 1757, 1760, 1911, 1926, 2072, + 2073, 2129, 2130, 2140, 2234, 189, 562, 834, 1163, 1204, 1505, 1769, 2160, 3, 11, 16, + 21, 23, 24, 25, 26, 27, 28, 29, 30, 41, 44, 50, 51, 55, 59, 71, + 72, 74, 75, 77, 78, 79, 80, 82, 85, 86, 87, 88, 90, 91, 92, 93, + 95, 96, 98, 99, 100, 101, 102, 103, 104, 105, 106, 138, 146, 147, 149, 150, + 151, 157, 158, 159, 164, 169, 171, 172, 173, 174, 175, 176, 179, 180, 184, 185, + 187, 188, 190, 191, 192, 194, 211, 212, 213, 214, 215, 216, 250, 255, 256, 257, + 258, 259, 260, 261, 267, 268, 269, 270, 271, 272, 274, 276, 277, 279, 282, 283, + 284, 285, 286, 287, 289, 290, 291, 292, 293, 294, 295, 296, 309, 314, 315, 316, + 317, 318, 319, 320, 323, 324, 327, 329, 330, 331, 332, 333, 334, 335, 336, 338, + 341, 342, 343, 349, 350, 351, 352, 354, 355, 357, 358, 359, 360, 361, 364, 365, + 368, 369, 370, 371, 373, 374, 379, 384, 386, 387, 388, 389, 390, 391, 392, 412, + 415, 421, 422, 426, 430, 442, 443, 445, 446, 448, 449, 450, 451, 453, 456, 457, + 458, 459, 461, 462, 463, 464, 466, 467, 469, 470, 471, 472, 473, 474, 475, 476, + 477, 500, 519, 521, 522, 524, 525, 527, 528, 529, 534, 536, 537, 538, 539, 540, + 541, 542, 543, 544, 548, 549, 552, 553, 555, 556, 557, 558, 560, 561, 639, 640, + 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 660, 661, 662, 664, 665, 668, + 669, 670, 671, 672, 688, 714, 733, 738, 742, 743, 747, 750, 751, 752, 753, 755, + 757, 760, 764, 765, 766, 770, 771, 772, 773, 775, 776, 778, 779, 780, 782, 785, + 786, 787, 792, 795, 796, 797, 798, 799, 801, 803, 804, 805, 807, 808, 811, 812, + 813, 815, 816, 817, 818, 821, 822, 823, 824, 825, 828, 829, 830, 832, 833, 874, + 876, 880, 881, 882, 890, 892, 893, 894, 898, 934, 935, 936, 937, 938, 939, 940, + 941, 942, 943, 944, 945, 954, 959, 966, 967, 968, 970, 971, 974, 975, 976, 1027, + 1035, 1052, 1053, 1057, 1058, 1060, 1063, 1064, 1065, 1070, 1071, 1072, 1073, 1074, 1075, 1077, + 1097, 1100, 1105, 1111, 1112, 1114, 1115, 1116, 1120, 1121, 1122, 1123, 1125, 1126, 1128, 1131, + 1132, 1133, 1135, 1136, 1139, 1140, 1141, 1142, 1143, 1147, 1148, 1149, 1150, 1151, 1152, 1155, + 1156, 1157, 1158, 1160, 1164, 1165, 1166, 1167, 1169, 1170, 1178, 1179, 1180, 1181, 1186, 1187, + 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195, 1196, 1205, 1209, 1210, 1217, 1218, 1222, 1223, + 1224, 1225, 1226, 1227, 1231, 1242, 1247, 1248, 1252, 1253, 1255, 1262, 1266, 1267, 1284, 1285, + 1289, 1309, 1311, 1312, 1316, 1317, 1322, 1323, 1324, 1326, 1335, 1336, 1337, 1338, 1341, 1363, + 1365, 1366, 1382, 1385, 1387, 1388, 1389, 1391, 1395, 1400, 1401, 1405, 1406, 1408, 1412, 1417, + 1418, 1420, 1423, 1425, 1429, 1430, 1433, 1434, 1436, 1437, 1461, 1483, 1484, 1485, 1486, 1492, + 1494, 1496, 1497, 1499, 1514, 1515, 1516, 1517, 1518, 1519, 1527, 1528, 1531, 1533, 1534, 1535, + 1536, 1537, 1542, 1552, 1561, 1563, 1564, 1568, 1569, 1570, 1571, 1572, 1573, 1574, 1575, 1576, + 1577, 1578, 1586, 1598, 1603, 1605, 1606, 1607, 1611, 1632, 1633, 1637, 1638, 1645, 1646, 1649, + 1651, 1656, 1658, 1660, 1662, 1668, 1669, 1670, 1671, 1672, 1689, 1701, 1702, 1708, 1709, 1712, + 1713, 1715, 1724, 1726, 1728, 1731, 1733, 1734, 1735, 1741, 1744, 1749, 1751, 1752, 1753, 1758, + 1762, 1764, 1765, 1766, 1783, 1786, 1787, 1788, 1789, 1797, 1799, 1804, 1811, 1812, 1813, 1814, + 1823, 1824, 1830, 1835, 1836, 1837, 1838, 1839, 1862, 1867, 1868, 1870, 1872, 1876, 1877, 1878, + 1879, 1881, 1882, 1884, 1885, 1887, 1894, 1901, 1903, 1904, 1905, 1907, 1908, 1910, 1913, 1914, + 1915, 1917, 1920, 1921, 1922, 1923, 1928, 1929, 1930, 1932, 1933, 1938, 1939, 1940, 1941, 1942, + 1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952, 1953, 1955, 1957, 1958, 1959, 1961, 1973, 1975, + 1976, 1977, 1989, 1990, 1991, 1992, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2003, 2004, 2016, + 2020, 2021, 2024, 2025, 2028, 2029, 2030, 2031, 2032, 2056, 2057, 2059, 2060, 2061, 2063, 2064, + 2065, 2067, 2069, 2074, 2075, 2076, 2078, 2079, 2080, 2081, 2082, 2089, 2090, 2093, 2094, 2095, + 2097, 2098, 2099, 2100, 2103, 2104, 2105, 2106, 2107, 2108, 2109, 2110, 2113, 2114, 2115, 2117, + 2118, 2119, 2120, 2125, 2126, 2127, 2128, 2132, 2133, 2134, 2135, 2136, 2149, 2151, 2152, 2164, + 2169, 2170, 2171, 2173, 2174, 2179, 2180, 2186, 2187, 2189, 2190, 2191, 2192, 2193, 2194, 2195, + 2207, 2209, 2210, 2211, 2215, 2222, 2223, 2224, 2225, 2226, 2254, 2256, 2257, 2258, 2262, 2263, + 2266, 2267, 2268, 2270, 2272, 2273, 2274, 2276, 2281, 2283, 2288, 2290, 2291, 2292, 2294, 2296, + 2297, 2298, 2300, 2301, 2302, 2303, 2307, 2309, 2313, 2314, 2315, 2316, 2317, 2318, 2319, 2320, + 2321, 2322, 2323, 2325, 2326, 6, 7, 8, 9, 305, 306, 307, 308, 563, 564, 565, + 566, 878, 896, 950, 951, 952, 953, 1390, 1426, 1435, 1438, 1439, 1495, 1710, 1742, 1763, + 1767, 1906, 1934, 1954, 1956, 2101, 2121, 2137, 2138, 144, 288, 356, 514, 756, 761, 827, + 835, 1096, 1101, 1161, 1171, 1261, 1328, 1414, 1432, 1565, 1654, 1664, 1759, 1960, 2088, 2102, + 2324, 0, 0, 0, 0, 1, 2, 3, 4, 0, 5, 7, 16, 17, 3, 8, + 12, 15, 19, 24, 27, 31, 1, 2, 4, 6, 9, 10, 11, 13, 14, 18, + 20, 21, 22, 23, 25, 26, 28, 29, 30, 32, 0, 28, 42, 71, 78, 18, + 35, 44, 65, 75, 80, 106, 127, 31, 33, 34, 64, 66, 72, 89, 97, 107, + 134, 141, 148, 27, 36, 37, 59, 67, 68, 93, 94, 104, 138, 144, 145, 1, + 2, 3, 4, 7, 9, 10, 14, 16, 17, 19, 20, 25, 29, 30, 32, 40, + 48, 50, 51, 55, 56, 58, 62, 69, 70, 73, 74, 76, 84, 90, 98, 100, + 101, 108, 109, 111, 112, 113, 114, 115, 119, 120, 129, 131, 132, 133, 136, 140, + 142, 149, 150, 151, 153, 156, 157, 161, 162, 163, 164, 15, 57, 99, 124, 5, + 6, 8, 11, 12, 13, 21, 22, 23, 24, 26, 38, 39, 41, 43, 45, 46, + 47, 49, 52, 53, 54, 60, 61, 63, 77, 79, 81, 82, 83, 85, 86, 87, + 88, 91, 92, 95, 96, 102, 103, 105, 110, 116, 117, 118, 121, 122, 123, 125, + 126, 128, 130, 135, 137, 139, 143, 146, 147, 152, 154, 155, 158, 159, 160, 0, + 160, 410, 548, 782, 317, 320, 373, 374, 23, 136, 901, 1005, 162, 305, 409, 492, + 324, 326, 699, 700, 14, 18, 20, 21, 120, 124, 126, 127, 906, 916, 921, 922, + 1020, 1032, 1036, 1039, 321, 323, 368, 372, 159, 429, 545, 806, 322, 701, 161, 328, + 408, 557, 697, 780, 44, 151, 158, 163, 171, 176, 382, 385, 407, 430, 535, 542, + 543, 555, 562, 768, 776, 777, 804, 810, 318, 319, 714, 727, 31, 33, 138, 140, + 246, 249, 252, 263, 425, 435, 438, 447, 568, 570, 655, 659, 785, 816, 830, 832, + 902, 911, 1007, 1010, 174, 377, 558, 781, 72, 92, 719, 743, 175, 327, 329, 378, + 549, 696, 698, 805, 11, 12, 13, 15, 16, 17, 19, 22, 52, 53, 117, 118, + 119, 121, 122, 123, 125, 128, 167, 169, 172, 248, 250, 253, 274, 276, 296, 307, + 375, 379, 381, 434, 437, 448, 458, 461, 488, 495, 544, 556, 608, 611, 613, 646, + 651, 656, 759, 763, 765, 775, 792, 803, 814, 827, 903, 904, 905, 907, 908, 909, + 920, 923, 953, 974, 1014, 1015, 1017, 1022, 1025, 1027, 1035, 1040, 165, 178, 194, 264, + 386, 398, 428, 431, 589, 590, 650, 657, 752, 753, 813, 826, 32, 34, 137, 139, + 157, 164, 166, 168, 177, 376, 380, 387, 405, 432, 537, 538, 560, 563, 564, 771, + 772, 809, 811, 812, 912, 914, 1008, 1011, 35, 56, 57, 65, 83, 115, 179, 187, + 192, 235, 239, 241, 242, 251, 254, 269, 271, 338, 339, 340, 342, 343, 345, 346, + 347, 389, 397, 401, 406, 413, 433, 436, 453, 467, 469, 470, 567, 571, 604, 605, + 606, 614, 616, 647, 660, 671, 679, 707, 708, 710, 712, 720, 722, 723, 724, 747, + 748, 749, 764, 786, 818, 824, 829, 833, 853, 860, 913, 954, 955, 973, 978, 1012, + 170, 173, 189, 278, 383, 384, 404, 462, 579, 591, 634, 637, 746, 751, 757, 779, + 27, 135, 198, 199, 234, 236, 247, 261, 262, 265, 266, 267, 268, 270, 273, 277, + 279, 281, 325, 331, 333, 337, 356, 359, 363, 365, 411, 412, 445, 446, 449, 450, + 451, 452, 454, 455, 456, 457, 463, 474, 477, 478, 539, 561, 565, 569, 582, 598, + 599, 609, 612, 623, 639, 652, 654, 663, 675, 676, 706, 709, 711, 713, 721, 725, + 726, 736, 744, 758, 762, 770, 784, 808, 820, 821, 828, 834, 847, 855, 856, 863, + 894, 895, 925, 1006, 314, 334, 336, 341, 344, 348, 349, 350, 351, 362, 366, 531, + 588, 692, 693, 694, 715, 716, 717, 728, 729, 738, 740, 750, 1, 4, 7, 24, + 25, 26, 28, 29, 30, 36, 39, 43, 50, 51, 54, 55, 60, 63, 66, 70, + 73, 80, 81, 82, 84, 87, 91, 94, 98, 99, 100, 104, 110, 113, 116, 129, + 130, 131, 132, 133, 134, 143, 146, 149, 190, 191, 193, 195, 197, 200, 216, 218, + 219, 237, 238, 240, 243, 244, 245, 255, 256, 257, 258, 259, 260, 272, 275, 280, + 282, 285, 287, 288, 292, 294, 295, 297, 298, 303, 310, 312, 313, 330, 352, 353, + 360, 367, 369, 399, 400, 402, 403, 416, 418, 419, 423, 424, 427, 439, 440, 441, + 442, 443, 444, 459, 460, 464, 465, 466, 468, 471, 472, 473, 476, 479, 487, 489, + 496, 498, 507, 509, 510, 528, 530, 532, 536, 546, 547, 554, 559, 572, 580, 583, + 584, 585, 592, 593, 594, 595, 602, 607, 610, 617, 618, 622, 624, 625, 638, 640, + 641, 642, 648, 649, 661, 662, 665, 666, 672, 680, 681, 682, 689, 704, 705, 730, + 734, 737, 741, 756, 760, 761, 766, 767, 769, 778, 788, 790, 791, 794, 796, 802, + 807, 817, 819, 825, 831, 839, 840, 845, 846, 849, 852, 854, 857, 859, 861, 864, + 867, 869, 874, 876, 881, 885, 887, 898, 910, 927, 928, 929, 930, 931, 932, 935, + 939, 940, 941, 944, 949, 950, 951, 952, 956, 957, 962, 966, 971, 972, 975, 976, + 977, 979, 980, 986, 987, 990, 996, 998, 1009, 1013, 1016, 1021, 1026, 1033, 1034, 1037, + 1038, 1041, 1042, 1046, 293, 335, 361, 426, 566, 718, 732, 745, 180, 188, 332, 354, + 355, 364, 370, 371, 388, 396, 687, 688, 695, 702, 703, 733, 735, 739, 841, 842, + 2, 3, 5, 6, 8, 9, 10, 37, 38, 40, 41, 42, 45, 46, 48, 49, + 58, 59, 61, 62, 64, 67, 68, 69, 71, 74, 75, 76, 77, 78, 79, 85, + 86, 88, 89, 90, 93, 95, 96, 97, 101, 102, 103, 105, 106, 107, 108, 109, + 111, 112, 114, 141, 142, 144, 145, 147, 148, 150, 152, 153, 154, 156, 181, 182, + 183, 184, 185, 186, 196, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, + 212, 213, 214, 215, 217, 220, 221, 222, 223, 224, 225, 227, 228, 229, 230, 231, + 232, 233, 283, 284, 286, 289, 290, 291, 299, 300, 301, 302, 304, 306, 308, 309, + 311, 315, 316, 357, 358, 390, 391, 392, 393, 394, 395, 414, 415, 417, 420, 421, + 422, 475, 480, 481, 482, 483, 484, 485, 486, 490, 491, 493, 494, 497, 499, 500, + 501, 502, 503, 504, 505, 506, 508, 511, 512, 513, 514, 515, 516, 517, 518, 520, + 521, 522, 523, 524, 525, 526, 527, 529, 533, 534, 540, 541, 550, 551, 552, 553, + 573, 574, 575, 576, 577, 578, 581, 586, 587, 596, 597, 600, 601, 603, 615, 619, + 620, 621, 626, 627, 628, 629, 630, 631, 632, 633, 635, 636, 643, 644, 645, 658, + 664, 667, 668, 669, 670, 673, 674, 677, 678, 683, 684, 685, 686, 690, 691, 731, + 742, 754, 755, 773, 774, 783, 787, 789, 793, 795, 797, 798, 799, 800, 801, 815, + 822, 823, 835, 836, 837, 838, 843, 844, 848, 850, 851, 858, 862, 865, 866, 868, + 870, 871, 872, 875, 877, 878, 879, 880, 882, 883, 884, 886, 888, 889, 890, 891, + 892, 893, 896, 897, 899, 900, 915, 917, 918, 919, 926, 933, 934, 936, 937, 938, + 942, 943, 945, 946, 947, 948, 958, 959, 960, 961, 963, 964, 965, 967, 968, 969, + 970, 981, 982, 983, 984, 985, 988, 989, 991, 992, 993, 994, 995, 997, 999, 1000, + 1001, 1002, 1003, 1004, 1018, 1019, 1023, 1024, 1028, 1029, 1030, 1031, 1043, 1044, 1045, 1047, + 1048, 1049, 1050, 1051, 47, 155, 226, 519, 653, 873, 924, 1052, 0, 0, 0, 0, + 0, 0, 1, 2, 3, 4, 5, 6, 7, 8, 0, 28, 58, 93, 124, 37, + 39, 112, 113, 22, 24, 26, 27, 49, 56, 57, 59, 79, 81, 83, 84, 127, + 134, 135, 136, 32, 54, 94, 123, 23, 29, 30, 31, 48, 50, 53, 55, 80, + 85, 86, 87, 126, 128, 130, 131, 1, 156, 25, 35, 36, 38, 43, 44, 45, + 60, 82, 114, 115, 116, 117, 118, 119, 137, 2, 3, 6, 9, 14, 33, 34, + 41, 46, 47, 51, 52, 61, 64, 69, 88, 102, 103, 104, 105, 110, 111, 121, + 125, 129, 132, 133, 139, 140, 148, 4, 5, 7, 8, 10, 11, 12, 13, 15, + 16, 17, 18, 19, 20, 21, 40, 42, 62, 63, 65, 66, 67, 68, 70, 71, + 72, 73, 74, 75, 76, 77, 78, 89, 90, 91, 92, 95, 96, 97, 98, 99, + 100, 101, 106, 107, 108, 109, 120, 122, 138, 141, 142, 143, 144, 145, 146, 147, + 149, 150, 151, 152, 153, 154, 155, 0, 0, 0, 0, 1, 8, 33, 40, 2, + 3, 13, 14, 42, 45, 51, 54, 4, 5, 6, 7, 15, 16, 17, 18, 19, + 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39, 41, + 43, 44, 46, 52, 53, 55, 56, 9, 10, 11, 12, 23, 24, 34, 35, 47, + 48, 49, 50, 0, 1, 75, 296, 362, 141, 192, 6, 66, 298, 360, 130, 131, + 150, 151, 201, 202, 219, 220, 268, 269, 271, 272, 338, 339, 341, 342, 7, 61, + 428, 447, 12, 13, 20, 21, 36, 37, 80, 81, 88, 89, 104, 105, 167, 168, + 236, 237, 267, 270, 337, 340, 399, 400, 401, 402, 421, 422, 466, 467, 468, 469, + 489, 490, 129, 132, 149, 152, 200, 203, 218, 221, 265, 266, 284, 285, 335, 336, + 354, 355, 41, 42, 43, 44, 111, 112, 113, 114, 126, 127, 137, 138, 139, 140, + 146, 147, 157, 158, 159, 160, 198, 199, 208, 209, 210, 211, 216, 217, 226, 227, + 228, 229, 258, 259, 277, 278, 290, 291, 294, 295, 299, 300, 303, 304, 329, 330, + 348, 349, 364, 365, 367, 368, 370, 371, 373, 374, 388, 390, 404, 406, 455, 457, + 471, 473, 5, 74, 142, 193, 297, 361, 424, 487, 11, 17, 19, 22, 31, 32, + 33, 34, 35, 38, 47, 48, 49, 50, 79, 85, 87, 90, 99, 100, 101, 102, + 103, 106, 115, 116, 117, 118, 133, 134, 153, 154, 162, 163, 164, 165, 166, 169, + 172, 173, 204, 205, 222, 223, 231, 232, 233, 234, 235, 238, 241, 242, 257, 261, + 264, 276, 280, 283, 288, 289, 293, 302, 306, 307, 327, 331, 334, 346, 350, 353, + 358, 359, 366, 372, 376, 377, 391, 392, 397, 398, 407, 408, 413, 414, 415, 416, + 419, 420, 423, 425, 458, 459, 464, 465, 474, 475, 480, 481, 482, 483, 486, 488, + 491, 492, 51, 52, 53, 54, 119, 120, 121, 122, 135, 136, 155, 156, 206, 207, + 224, 225, 262, 263, 281, 282, 332, 333, 351, 352, 387, 389, 403, 405, 454, 456, + 470, 472, 2, 3, 4, 18, 23, 24, 39, 40, 71, 72, 73, 86, 91, 92, + 107, 108, 161, 170, 171, 174, 230, 239, 240, 243, 286, 287, 305, 308, 356, 357, + 375, 378, 417, 418, 426, 427, 429, 431, 434, 437, 484, 485, 493, 494, 495, 496, + 499, 502, 8, 9, 10, 14, 15, 16, 25, 26, 27, 28, 29, 30, 45, 46, + 62, 63, 64, 65, 67, 68, 69, 70, 76, 77, 78, 82, 83, 84, 93, 94, + 95, 96, 97, 98, 109, 110, 123, 124, 125, 128, 143, 144, 145, 148, 175, 176, + 177, 178, 179, 180, 181, 182, 183, 184, 188, 189, 190, 191, 194, 195, 196, 197, + 212, 213, 214, 215, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, + 256, 260, 273, 274, 275, 279, 292, 301, 309, 310, 311, 312, 313, 314, 315, 316, + 317, 318, 319, 320, 324, 325, 326, 328, 343, 344, 345, 347, 363, 369, 379, 380, + 381, 382, 383, 384, 385, 386, 393, 394, 395, 396, 409, 410, 411, 412, 430, 432, + 433, 435, 436, 438, 439, 440, 441, 442, 443, 444, 445, 446, 460, 461, 462, 463, + 476, 477, 478, 479, 497, 498, 500, 501, 503, 504, 55, 56, 57, 58, 59, 60, + 185, 186, 187, 321, 322, 323, 448, 449, 450, 451, 452, 453, 0, 0, 0, 1, + 2, 8, 10, 5, 6, 7, 9, 3, 4, 11, 12, 0, 1, 34, 209, 256, + 3, 38, 184, 222, 4, 37, 193, 225, 91, 124, 175, 215, 2, 33, 285, 286, + 13, 14, 35, 36, 98, 99, 121, 122, 168, 190, 211, 213, 259, 270, 291, 299, + 115, 116, 119, 120, 169, 191, 210, 212, 89, 126, 163, 216, 5, 6, 53, 54, + 258, 269, 292, 300, 8, 9, 48, 49, 76, 77, 140, 141, 172, 173, 226, 227, + 262, 263, 294, 295, 87, 88, 100, 101, 133, 134, 151, 152, 164, 165, 180, 181, + 219, 220, 232, 233, 23, 24, 65, 66, 90, 107, 108, 125, 154, 155, 167, 174, + 183, 217, 221, 234, 257, 266, 307, 311, 7, 10, 47, 50, 75, 78, 139, 142, + 171, 194, 224, 239, 261, 272, 293, 301, 39, 40, 43, 44, 289, 290, 305, 306, + 11, 12, 25, 31, 32, 51, 52, 67, 68, 69, 79, 80, 81, 82, 83, 84, + 85, 86, 92, 93, 94, 95, 96, 97, 102, 103, 104, 105, 106, 109, 123, 127, + 128, 129, 130, 131, 132, 135, 136, 137, 138, 143, 144, 145, 146, 147, 148, 149, + 150, 153, 170, 178, 179, 186, 187, 188, 189, 192, 196, 197, 198, 199, 200, 201, + 202, 203, 204, 205, 207, 208, 214, 223, 229, 230, 236, 237, 238, 242, 243, 244, + 245, 246, 247, 248, 249, 250, 252, 253, 254, 255, 260, 271, 275, 276, 281, 302, + 303, 308, 314, 317, 45, 46, 55, 56, 117, 118, 161, 162, 166, 182, 218, 231, + 287, 288, 296, 297, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, + 30, 41, 42, 57, 58, 59, 60, 61, 62, 63, 64, 70, 71, 72, 73, 74, + 110, 111, 112, 113, 114, 156, 157, 158, 159, 160, 176, 177, 185, 195, 206, 228, + 235, 240, 241, 251, 264, 265, 267, 268, 273, 274, 277, 278, 279, 280, 282, 283, + 284, 298, 304, 309, 310, 312, 313, 315, 316, 318, 319, 320, 321, 322, 323, 324, + 0, 2, 260, 922, 1124, 10, 177, 1002, 1258, 1, 261, 919, 1132, 9, 230, 1056, + 1313, 15, 247, 921, 1130, 16, 246, 959, 1163, 14, 190, 1438, 1503, 596, 625, 1004, + 1088, 466, 657, 923, 1125, 31, 173, 1483, 1504, 417, 418, 424, 470, 673, 743, 825, + 826, 874, 875, 903, 906, 1171, 1176, 1214, 1215, 4, 258, 1374, 1609, 3, 259, 1409, + 1585, 38, 39, 328, 329, 422, 423, 764, 765, 885, 946, 1154, 1206, 1348, 1393, 1600, + 1644, 44, 45, 46, 48, 49, 53, 54, 65, 66, 68, 276, 277, 278, 280, 281, + 285, 286, 297, 298, 300, 463, 660, 865, 1122, 1339, 1340, 1341, 1344, 1345, 1362, 1363, + 1406, 1407, 1410, 1586, 1587, 1588, 1592, 1593, 1613, 1614, 1654, 1655, 1657, 94, 95, 274, + 275, 431, 432, 455, 456, 477, 478, 665, 672, 727, 728, 735, 742, 880, 881, 888, + 895, 896, 949, 1152, 1167, 1168, 1194, 1195, 1204, 1349, 1394, 1598, 1642, 8, 256, 1383, + 1582, 33, 34, 154, 155, 194, 195, 232, 233, 265, 266, 386, 387, 425, 426, 438, + 442, 445, 446, 471, 472, 484, 488, 491, 492, 564, 565, 670, 671, 676, 680, 683, + 684, 722, 723, 740, 741, 746, 750, 753, 754, 883, 884, 901, 902, 905, 908, 960, + 961, 974, 975, 1045, 1046, 1048, 1049, 1147, 1148, 1165, 1166, 1169, 1174, 1212, 1213, 1230, + 1231, 1306, 1307, 1309, 1310, 1367, 1368, 1372, 1373, 1522, 1523, 1524, 1525, 1617, 1618, 1621, + 1622, 6, 7, 262, 263, 1365, 1387, 1590, 1606, 464, 662, 920, 1131, 47, 51, 52, + 56, 60, 67, 279, 283, 284, 288, 292, 299, 457, 458, 461, 462, 467, 508, 509, + 512, 513, 659, 698, 699, 702, 703, 766, 767, 770, 771, 870, 871, 876, 877, 900, + 1031, 1032, 1038, 1039, 1135, 1136, 1141, 1142, 1149, 1298, 1299, 1302, 1303, 1343, 1358, 1359, + 1366, 1388, 1408, 1591, 1607, 1608, 1616, 1635, 1656, 96, 97, 201, 202, 203, 204, 205, + 206, 207, 208, 326, 327, 416, 419, 433, 434, 479, 480, 506, 507, 628, 629, 630, + 631, 635, 636, 637, 638, 674, 675, 694, 695, 744, 745, 824, 827, 889, 897, 950, + 962, 1035, 1036, 1042, 1043, 1090, 1091, 1092, 1093, 1102, 1103, 1104, 1105, 1138, 1139, 1144, + 1145, 1153, 1162, 1205, 1218, 1351, 1396, 1511, 1512, 1513, 1514, 1530, 1531, 1532, 1533, 1596, + 1640, 28, 29, 30, 174, 175, 176, 501, 502, 503, 632, 633, 634, 1023, 1054, 1073, + 1116, 1118, 1120, 1469, 1481, 1492, 1555, 1570, 1576, 50, 70, 71, 75, 78, 79, 88, + 89, 99, 100, 103, 104, 114, 118, 121, 122, 282, 302, 303, 307, 310, 311, 320, + 321, 330, 331, 334, 335, 344, 348, 351, 352, 465, 530, 531, 534, 535, 539, 543, + 546, 547, 593, 594, 595, 622, 623, 624, 661, 773, 774, 777, 778, 782, 786, 789, + 790, 873, 879, 882, 973, 1024, 1034, 1037, 1041, 1044, 1047, 1055, 1074, 1115, 1117, 1119, + 1133, 1137, 1143, 1146, 1229, 1300, 1304, 1305, 1308, 1338, 1342, 1346, 1347, 1421, 1422, 1428, + 1442, 1448, 1449, 1474, 1475, 1476, 1477, 1478, 1479, 1584, 1589, 1594, 1595, 1667, 1668, 1674, + 1685, 1693, 1694, 1711, 1712, 1713, 1714, 1715, 1716, 159, 160, 272, 273, 450, 496, 504, + 505, 664, 696, 697, 734, 893, 954, 956, 957, 1151, 1172, 1173, 1203, 1350, 1395, 1597, + 1641, 11, 12, 13, 239, 240, 241, 468, 658, 958, 1164, 1468, 1480, 1491, 1556, 1571, + 1577, 32, 35, 55, 64, 106, 108, 109, 153, 156, 193, 196, 211, 212, 231, 234, + 242, 243, 264, 267, 287, 296, 375, 376, 377, 385, 388, 420, 421, 430, 476, 524, + 525, 526, 527, 528, 563, 566, 578, 579, 626, 627, 650, 651, 691, 721, 724, 761, + 780, 828, 829, 830, 831, 832, 833, 835, 836, 890, 899, 904, 907, 951, 964, 977, + 982, 983, 986, 994, 995, 996, 1095, 1097, 1107, 1109, 1156, 1160, 1170, 1175, 1208, 1216, + 1235, 1238, 1248, 1252, 1254, 1255, 1256, 1353, 1360, 1361, 1364, 1398, 1405, 1411, 1412, 1423, + 1510, 1517, 1520, 1521, 1529, 1536, 1539, 1540, 1603, 1610, 1611, 1615, 1647, 1653, 1658, 1659, + 1672, 5, 257, 1413, 1612, 57, 59, 63, 83, 111, 128, 130, 132, 133, 189, 191, + 289, 291, 295, 315, 356, 362, 364, 366, 367, 459, 460, 469, 510, 511, 640, 641, + 656, 700, 701, 768, 769, 933, 934, 1013, 1014, 1063, 1099, 1111, 1123, 1191, 1192, 1274, + 1275, 1369, 1370, 1371, 1378, 1386, 1403, 1404, 1416, 1458, 1543, 1545, 1619, 1620, 1626, 1634, + 1650, 1651, 1652, 1662, 1702, 36, 37, 98, 101, 102, 113, 131, 135, 136, 137, 143, + 157, 158, 188, 192, 197, 198, 213, 214, 217, 218, 235, 236, 248, 249, 252, 253, + 268, 269, 332, 333, 336, 341, 361, 365, 369, 370, 371, 389, 390, 532, 533, 536, + 538, 551, 553, 555, 556, 558, 567, 568, 599, 600, 603, 604, 639, 642, 643, 645, + 725, 726, 772, 775, 776, 781, 794, 797, 798, 799, 801, 808, 809, 812, 813, 872, + 878, 914, 928, 932, 936, 969, 976, 979, 980, 998, 999, 1016, 1033, 1040, 1100, 1112, + 1113, 1114, 1134, 1140, 1181, 1193, 1224, 1232, 1233, 1236, 1244, 1250, 1268, 1272, 1276, 1297, + 1301, 1379, 1384, 1418, 1424, 1425, 1426, 1431, 1433, 1434, 1440, 1443, 1444, 1457, 1506, 1507, + 1508, 1509, 1541, 1542, 1544, 1546, 1547, 1548, 1560, 1561, 1562, 1563, 1627, 1631, 1664, 1669, + 1670, 1671, 1676, 1682, 1686, 1687, 1689, 1690, 1701, 40, 41, 42, 43, 144, 145, 146, + 147, 161, 162, 199, 200, 209, 210, 237, 238, 244, 245, 270, 271, 342, 343, 378, + 379, 391, 392, 393, 394, 435, 436, 437, 439, 440, 441, 443, 444, 447, 448, 449, + 451, 452, 453, 454, 481, 482, 483, 485, 486, 487, 489, 490, 493, 494, 495, 497, + 498, 499, 500, 520, 521, 522, 523, 577, 580, 583, 584, 597, 598, 611, 612, 615, + 616, 617, 618, 646, 647, 648, 649, 652, 653, 654, 655, 663, 666, 667, 668, 669, + 677, 678, 679, 681, 682, 685, 686, 687, 692, 693, 729, 730, 731, 732, 733, 736, + 737, 738, 739, 747, 748, 749, 751, 752, 755, 756, 757, 762, 763, 806, 807, 820, + 821, 834, 837, 846, 847, 850, 851, 852, 853, 886, 887, 891, 892, 894, 898, 937, + 938, 940, 941, 944, 945, 947, 948, 952, 953, 955, 963, 971, 972, 984, 985, 987, + 988, 992, 993, 1006, 1007, 1018, 1019, 1021, 1022, 1050, 1051, 1052, 1053, 1066, 1067, 1069, + 1070, 1071, 1072, 1076, 1077, 1084, 1085, 1089, 1094, 1096, 1098, 1101, 1106, 1108, 1110, 1150, + 1155, 1157, 1158, 1159, 1161, 1197, 1198, 1200, 1201, 1202, 1207, 1209, 1210, 1211, 1217, 1227, + 1228, 1237, 1239, 1245, 1246, 1247, 1249, 1260, 1261, 1277, 1278, 1280, 1281, 1283, 1284, 1285, + 1286, 1287, 1288, 1289, 1290, 1311, 1312, 1321, 1322, 1324, 1325, 1334, 1335, 1352, 1354, 1355, + 1356, 1357, 1397, 1399, 1400, 1401, 1402, 1515, 1516, 1518, 1519, 1534, 1535, 1537, 1538, 1599, + 1601, 1602, 1604, 1605, 1643, 1645, 1646, 1648, 1649, 171, 172, 254, 255, 403, 404, 575, + 576, 591, 592, 613, 614, 620, 621, 822, 823, 848, 849, 860, 861, 863, 864, 866, + 867, 868, 869, 915, 916, 917, 918, 1126, 1127, 1128, 1129, 1182, 1183, 1184, 1185, 1337, + 1380, 1505, 1526, 1583, 1628, 58, 61, 62, 69, 72, 73, 74, 76, 77, 80, 81, + 82, 84, 85, 86, 87, 90, 91, 92, 93, 107, 110, 112, 115, 116, 117, 119, + 120, 123, 124, 125, 126, 127, 129, 134, 138, 139, 140, 141, 142, 148, 149, 150, + 151, 152, 163, 164, 165, 166, 167, 168, 169, 170, 178, 179, 180, 181, 182, 183, + 184, 185, 186, 187, 215, 216, 250, 251, 290, 293, 294, 301, 304, 305, 306, 308, + 309, 312, 313, 314, 316, 317, 318, 319, 322, 323, 324, 325, 338, 339, 340, 345, + 346, 347, 349, 350, 353, 354, 355, 357, 358, 359, 360, 363, 368, 372, 373, 374, + 380, 381, 382, 383, 384, 395, 396, 397, 398, 399, 400, 401, 402, 514, 515, 516, + 517, 518, 519, 529, 540, 541, 542, 544, 545, 548, 549, 550, 552, 554, 557, 559, + 560, 561, 562, 569, 570, 571, 572, 573, 574, 581, 582, 585, 586, 587, 588, 589, + 590, 601, 602, 605, 606, 607, 608, 609, 610, 704, 705, 706, 707, 708, 709, 779, + 783, 784, 785, 787, 788, 791, 792, 793, 795, 796, 800, 802, 803, 804, 805, 810, + 811, 814, 815, 816, 817, 818, 819, 838, 839, 840, 841, 842, 843, 844, 845, 854, + 855, 856, 857, 858, 859, 909, 910, 911, 912, 913, 924, 925, 926, 927, 929, 930, + 931, 935, 939, 942, 943, 965, 966, 967, 968, 970, 978, 989, 990, 991, 997, 1000, + 1001, 1003, 1005, 1009, 1010, 1011, 1012, 1015, 1017, 1020, 1025, 1057, 1064, 1065, 1068, 1075, + 1083, 1177, 1178, 1179, 1180, 1186, 1187, 1188, 1189, 1190, 1196, 1199, 1219, 1220, 1221, 1222, + 1223, 1225, 1226, 1234, 1240, 1241, 1242, 1251, 1253, 1257, 1259, 1262, 1264, 1265, 1266, 1267, + 1269, 1270, 1271, 1273, 1279, 1282, 1291, 1314, 1320, 1323, 1326, 1332, 1333, 1375, 1376, 1377, + 1381, 1382, 1385, 1389, 1390, 1391, 1392, 1414, 1415, 1417, 1419, 1420, 1427, 1429, 1430, 1432, + 1435, 1436, 1437, 1439, 1441, 1445, 1446, 1447, 1450, 1451, 1452, 1453, 1455, 1456, 1459, 1460, + 1461, 1462, 1463, 1464, 1465, 1466, 1467, 1470, 1482, 1487, 1488, 1489, 1490, 1493, 1494, 1495, + 1499, 1500, 1527, 1528, 1550, 1551, 1552, 1553, 1554, 1564, 1565, 1566, 1567, 1568, 1569, 1575, + 1623, 1624, 1625, 1629, 1630, 1632, 1633, 1636, 1637, 1638, 1639, 1660, 1661, 1663, 1665, 1666, + 1673, 1675, 1677, 1678, 1679, 1680, 1681, 1683, 1684, 1688, 1691, 1692, 1695, 1696, 1697, 1698, + 1699, 1700, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1717, 1718, 1719, 1720, 1721, 1722, + 1723, 1724, 1725, 1726, 1727, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, + 105, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 337, 405, 406, 407, + 408, 409, 410, 411, 412, 413, 414, 415, 427, 428, 429, 473, 474, 475, 537, 619, + 644, 688, 689, 690, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 758, + 759, 760, 862, 981, 1008, 1026, 1027, 1028, 1029, 1030, 1058, 1059, 1060, 1061, 1062, 1078, + 1079, 1080, 1081, 1082, 1086, 1087, 1121, 1243, 1263, 1292, 1293, 1294, 1295, 1296, 1315, 1316, + 1317, 1318, 1319, 1327, 1328, 1329, 1330, 1331, 1336, 1454, 1471, 1472, 1473, 1484, 1485, 1486, + 1496, 1497, 1498, 1501, 1502, 1549, 1557, 1558, 1559, 1572, 1573, 1574, 1578, 1579, 1580, 1581, + 1728, 0, 1, 2, 0, 1, 3, 6, 8, 2, 4, 5, 7, 0, 24, 55, + 19, 37, 44, 56, 25, 34, 50, 54, 27, 30, 40, 52, 60, 61, 73, 74, + 28, 38, 63, 70, 1, 14, 31, 32, 41, 42, 58, 64, 71, 76, 82, 95, + 6, 7, 8, 15, 16, 17, 33, 35, 49, 53, 59, 72, 83, 84, 88, 96, + 97, 98, 2, 3, 4, 5, 10, 11, 12, 13, 18, 20, 21, 22, 23, 26, + 29, 36, 39, 43, 45, 46, 47, 48, 51, 57, 62, 65, 66, 67, 68, 69, + 75, 77, 78, 79, 80, 81, 85, 86, 87, 89, 90, 91, 92, 93, 9, 94, + 0, 5, 101, 395, 416, 160, 217, 303, 315, 4, 100, 365, 417, 1, 64, 393, + 463, 2, 65, 210, 218, 273, 314, 510, 559, 166, 181, 244, 281, 385, 386, 419, + 420, 3, 99, 498, 585, 97, 98, 405, 409, 8, 102, 504, 587, 176, 241, 342, + 413, 232, 412, 159, 215, 307, 321, 177, 242, 346, 418, 9, 13, 16, 17, 80, + 84, 87, 88, 147, 151, 154, 155, 171, 179, 186, 240, 250, 260, 264, 267, 268, + 287, 329, 361, 367, 368, 374, 389, 394, 414, 428, 451, 452, 462, 485, 489, 495, + 527, 544, 547, 552, 564, 576, 578, 178, 199, 200, 239, 308, 309, 324, 343, 396, + 415, 422, 440, 27, 29, 34, 35, 36, 39, 52, 111, 113, 118, 119, 120, 123, + 135, 191, 192, 195, 196, 205, 254, 255, 258, 259, 295, 327, 328, 366, 387, 388, + 424, 425, 450, 483, 484, 496, 503, 518, 519, 521, 522, 533, 589, 594, 607, 608, + 609, 611, 619, 174, 189, 245, 282, 347, 348, 426, 427, 63, 66, 73, 74, 161, + 162, 163, 164, 165, 168, 169, 170, 172, 173, 180, 183, 184, 185, 187, 188, 233, + 234, 235, 236, 237, 238, 246, 247, 248, 249, 251, 252, 283, 284, 285, 286, 288, + 289, 302, 304, 305, 306, 335, 336, 338, 352, 353, 354, 358, 359, 363, 364, 370, + 375, 391, 392, 397, 398, 404, 406, 407, 408, 410, 411, 434, 435, 438, 444, 448, + 449, 457, 459, 460, 467, 468, 471, 473, 474, 487, 488, 565, 566, 567, 568, 26, + 30, 31, 42, 45, 47, 48, 110, 114, 115, 126, 129, 130, 138, 175, 190, 197, + 198, 230, 231, 253, 278, 279, 290, 318, 319, 325, 326, 344, 345, 381, 382, 421, + 423, 439, 441, 480, 481, 493, 494, 497, 508, 509, 511, 539, 588, 598, 599, 600, + 610, 615, 626, 6, 21, 22, 23, 24, 25, 28, 32, 33, 37, 38, 40, 41, + 43, 44, 49, 50, 51, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 67, + 68, 69, 70, 71, 72, 75, 76, 77, 78, 92, 93, 94, 95, 104, 105, 106, + 107, 108, 109, 112, 116, 117, 121, 122, 124, 125, 127, 128, 132, 133, 134, 136, + 137, 139, 140, 141, 142, 143, 144, 145, 146, 193, 194, 201, 202, 203, 204, 206, + 207, 208, 209, 211, 212, 213, 214, 216, 220, 226, 229, 256, 257, 272, 274, 275, + 276, 277, 291, 292, 293, 294, 296, 297, 298, 301, 317, 320, 323, 330, 331, 332, + 333, 334, 337, 340, 341, 356, 357, 362, 372, 377, 378, 384, 390, 429, 430, 431, + 432, 433, 436, 442, 445, 447, 454, 455, 458, 469, 472, 482, 486, 499, 500, 501, + 502, 505, 506, 507, 512, 513, 514, 516, 517, 523, 524, 525, 528, 529, 530, 531, + 532, 534, 535, 536, 537, 538, 543, 545, 546, 553, 554, 555, 556, 560, 561, 562, + 569, 570, 572, 577, 579, 580, 581, 590, 591, 592, 593, 595, 596, 597, 601, 602, + 603, 604, 605, 606, 612, 613, 614, 616, 617, 618, 620, 621, 622, 623, 624, 625, + 627, 628, 629, 10, 11, 12, 14, 15, 18, 19, 20, 81, 82, 83, 85, 86, + 89, 90, 91, 148, 149, 150, 152, 153, 156, 157, 158, 167, 182, 243, 261, 262, + 263, 265, 266, 269, 270, 271, 280, 360, 369, 373, 379, 380, 399, 400, 401, 402, + 403, 446, 453, 461, 475, 476, 477, 478, 490, 491, 492, 515, 520, 526, 540, 541, + 549, 550, 551, 557, 558, 563, 571, 573, 582, 583, 584, 7, 46, 79, 96, 103, + 131, 219, 221, 222, 223, 224, 225, 227, 228, 299, 300, 310, 311, 312, 313, 316, + 322, 339, 349, 350, 351, 355, 371, 376, 383, 437, 443, 456, 464, 465, 466, 470, + 479, 542, 548, 574, 575, 586, 630, 0, 975, 1011, 976, 1611, 898, 1252, 752, 789, + 1352, 1595, 745, 934, 1019, 1276, 17, 423, 1411, 1692, 21, 390, 1489, 1672, 2, 3, + 424, 425, 1389, 1539, 1660, 1662, 751, 1024, 1312, 1658, 6, 411, 1963, 2353, 15, 412, + 1986, 2350, 746, 1012, 1314, 1647, 261, 664, 1313, 1657, 58, 59, 454, 455, 1954, 1955, + 2359, 2360, 161, 410, 564, 1445, 1610, 1787, 1, 418, 1999, 2355, 5, 14, 420, 422, + 1994, 2034, 2349, 2352, 20, 388, 1521, 1777, 22, 389, 1993, 2253, 18, 308, 892, 897, + 1256, 1293, 2102, 2257, 7, 427, 2035, 2351, 19, 381, 974, 977, 1617, 1631, 2032, 2312, + 705, 756, 788, 1018, 1035, 1127, 1413, 1499, 1500, 1674, 1675, 1691, 750, 1022, 1356, 1671, + 689, 693, 696, 697, 813, 814, 1221, 1225, 1228, 1229, 1258, 1259, 1326, 1335, 1336, 1436, + 1501, 1524, 1686, 1697, 1698, 1776, 1859, 1878, 16, 426, 1985, 2356, 707, 712, 758, 763, + 1027, 1034, 1119, 1126, 1324, 1325, 1337, 1338, 1710, 1711, 1747, 1748, 35, 61, 66, 69, + 80, 156, 316, 317, 429, 457, 462, 465, 476, 552, 688, 701, 737, 836, 839, 979, + 980, 1094, 1152, 1153, 1161, 1164, 1317, 1333, 1365, 1439, 1440, 1638, 1639, 1709, 1746, 1782, + 1783, 1806, 1960, 1980, 1997, 2037, 2062, 2063, 2267, 2268, 2363, 2378, 2391, 2437, 2469, 2470, + 36, 37, 63, 78, 89, 90, 157, 158, 213, 318, 319, 430, 431, 459, 474, 485, + 486, 553, 554, 569, 702, 708, 725, 738, 753, 759, 776, 828, 829, 850, 851, 983, + 984, 1025, 1026, 1033, 1108, 1109, 1110, 1117, 1118, 1125, 1174, 1175, 1329, 1330, 1368, 1406, + 1407, 1414, 1415, 1434, 1435, 1443, 1444, 1613, 1627, 1687, 1688, 1695, 1696, 1737, 1738, 1742, + 1743, 1785, 1786, 1804, 1966, 1967, 1969, 2003, 2027, 2028, 2033, 2060, 2061, 2232, 2250, 2367, + 2368, 2372, 2373, 2423, 2424, 2435, 2466, 2467, 904, 932, 951, 1210, 1272, 1301, 1486, 1487, + 1488, 1663, 1664, 1665, 4, 13, 41, 42, 46, 49, 50, 57, 92, 159, 160, 172, + 183, 184, 194, 229, 234, 238, 241, 242, 320, 324, 327, 328, 362, 366, 369, 370, + 419, 421, 428, 432, 436, 439, 440, 451, 453, 488, 555, 562, 576, 579, 606, 610, + 625, 629, 632, 633, 748, 790, 830, 831, 834, 835, 840, 848, 853, 864, 866, 867, + 878, 882, 885, 886, 1020, 1060, 1095, 1099, 1102, 1103, 1160, 1163, 1180, 1190, 1192, 1193, + 1233, 1234, 1237, 1238, 1318, 1321, 1328, 1343, 1349, 1360, 1364, 1390, 1410, 1438, 1442, 1490, + 1491, 1494, 1503, 1526, 1661, 1669, 1673, 1677, 1684, 1694, 1726, 1755, 1774, 1781, 1797, 1801, + 1852, 1855, 1857, 1876, 1953, 1961, 1962, 1971, 1972, 2002, 2019, 2058, 2059, 2064, 2067, 2068, + 2071, 2074, 2075, 2076, 2141, 2142, 2155, 2156, 2229, 2230, 2264, 2265, 2314, 2315, 2318, 2319, + 2358, 2364, 2365, 2428, 2429, 2461, 2463, 2464, 2468, 2472, 2474, 2480, 2486, 2491, 2492, 2503, + 2536, 2537, 2549, 2550, 709, 722, 760, 773, 1030, 1032, 1122, 1124, 1497, 1498, 1522, 1523, + 1682, 1683, 1779, 1780, 56, 62, 67, 76, 79, 88, 91, 93, 404, 405, 406, 452, + 458, 463, 472, 475, 484, 487, 489, 749, 1023, 1540, 1646, 1649, 1653, 1659, 1952, 1968, + 1995, 2020, 2036, 2057, 2066, 2069, 2357, 2371, 2389, 2419, 2436, 2462, 2473, 2475, 10, 65, + 68, 81, 106, 179, 195, 203, 284, 286, 287, 288, 291, 292, 299, 302, 304, 305, + 307, 310, 311, 312, 314, 315, 335, 336, 337, 382, 383, 384, 417, 461, 464, 477, + 502, 592, 608, 609, 711, 715, 717, 718, 762, 766, 768, 769, 793, 812, 815, 978, + 981, 982, 986, 987, 989, 990, 993, 994, 1013, 1016, 1017, 1036, 1039, 1041, 1042, 1062, + 1128, 1131, 1133, 1134, 1257, 1260, 1334, 1369, 1412, 1427, 1428, 1518, 1519, 1552, 1553, 1558, + 1559, 1614, 1615, 1621, 1623, 1624, 1628, 1629, 1640, 1641, 1642, 1643, 1644, 1693, 1749, 1767, + 1768, 1805, 1826, 1827, 1874, 1875, 1893, 1894, 1974, 1975, 1984, 1996, 2038, 2040, 2112, 2143, + 2227, 2228, 2231, 2234, 2235, 2236, 2237, 2249, 2252, 2254, 2255, 2256, 2266, 2269, 2273, 2275, + 2276, 2285, 2286, 2287, 2311, 2313, 2366, 2376, 2382, 2390, 2438, 2439, 2441, 2510, 747, 1021, + 1520, 1778, 9, 39, 60, 72, 103, 118, 171, 173, 182, 212, 215, 231, 413, 444, + 456, 468, 499, 514, 570, 577, 589, 613, 614, 637, 739, 740, 741, 742, 743, 744, + 791, 792, 794, 795, 796, 797, 798, 799, 811, 1061, 1063, 1064, 1065, 1066, 1067, 1068, + 1069, 1080, 1154, 1155, 1156, 1157, 1158, 1159, 1373, 1420, 1421, 1446, 1448, 1462, 1463, 1511, + 1512, 1527, 1528, 1545, 1546, 1554, 1555, 1761, 1762, 1788, 1789, 1803, 1823, 1824, 1868, 1869, + 1880, 1881, 1887, 1888, 1896, 1897, 1958, 1959, 1976, 1977, 1978, 1979, 1991, 2007, 2031, 2107, + 2140, 2157, 2362, 2377, 2406, 2431, 2432, 2433, 2434, 2444, 2465, 2507, 2534, 2535, 704, 755, + 1048, 1140, 1533, 1534, 1912, 1913, 64, 75, 77, 85, 96, 98, 99, 123, 131, 155, + 162, 163, 164, 165, 166, 167, 168, 187, 189, 190, 201, 214, 217, 218, 220, 227, + 233, 246, 263, 265, 270, 271, 272, 275, 303, 313, 334, 374, 449, 450, 460, 471, + 473, 481, 492, 494, 495, 519, 527, 551, 556, 557, 558, 559, 560, 561, 563, 571, + 574, 575, 582, 584, 585, 605, 616, 621, 655, 657, 662, 663, 665, 668, 810, 816, + 817, 822, 823, 826, 827, 832, 833, 841, 842, 843, 844, 845, 846, 847, 849, 857, + 859, 860, 865, 869, 870, 876, 890, 909, 914, 918, 921, 922, 938, 956, 962, 963, + 966, 967, 973, 996, 1003, 1081, 1107, 1111, 1112, 1115, 1116, 1162, 1165, 1166, 1167, 1168, + 1169, 1170, 1173, 1178, 1179, 1183, 1185, 1186, 1191, 1200, 1216, 1235, 1236, 1239, 1243, 1246, + 1247, 1261, 1262, 1279, 1286, 1287, 1290, 1291, 1307, 1319, 1320, 1322, 1323, 1327, 1370, 1394, + 1395, 1396, 1397, 1419, 1423, 1426, 1437, 1441, 1447, 1449, 1450, 1451, 1455, 1456, 1465, 1492, + 1493, 1495, 1496, 1502, 1514, 1517, 1525, 1530, 1544, 1548, 1551, 1557, 1560, 1620, 1633, 1656, + 1668, 1670, 1676, 1678, 1685, 1706, 1715, 1717, 1730, 1731, 1732, 1733, 1759, 1763, 1766, 1775, + 1784, 1790, 1791, 1792, 1793, 1808, 1825, 1828, 1851, 1853, 1854, 1856, 1858, 1870, 1873, 1877, + 1882, 1889, 1892, 1898, 1970, 1973, 1983, 2014, 2015, 2018, 2029, 2030, 2039, 2043, 2044, 2045, + 2050, 2051, 2065, 2079, 2083, 2084, 2085, 2088, 2089, 2090, 2100, 2101, 2116, 2148, 2153, 2154, + 2158, 2164, 2169, 2170, 2171, 2220, 2244, 2272, 2280, 2296, 2374, 2375, 2381, 2385, 2386, 2396, + 2399, 2414, 2415, 2418, 2427, 2430, 2440, 2447, 2452, 2453, 2471, 2477, 2478, 2482, 2487, 2488, + 2495, 2496, 2513, 2542, 2547, 2548, 2551, 2557, 2562, 2563, 2564, 2604, 196, 607, 2106, 2393, + 254, 255, 280, 281, 283, 285, 289, 290, 300, 301, 306, 309, 338, 349, 391, 398, + 407, 408, 642, 643, 673, 674, 690, 691, 692, 694, 695, 698, 699, 700, 706, 710, + 713, 714, 716, 719, 720, 721, 723, 724, 726, 727, 728, 730, 731, 732, 733, 734, + 735, 736, 757, 761, 764, 765, 767, 770, 771, 772, 774, 775, 777, 778, 779, 781, + 782, 783, 784, 785, 786, 787, 818, 819, 820, 821, 985, 988, 991, 992, 998, 1002, + 1007, 1009, 1014, 1015, 1028, 1029, 1031, 1037, 1038, 1040, 1043, 1044, 1045, 1047, 1049, 1050, + 1051, 1052, 1053, 1055, 1056, 1057, 1058, 1059, 1120, 1121, 1123, 1129, 1130, 1132, 1135, 1136, + 1137, 1139, 1141, 1142, 1143, 1144, 1145, 1147, 1148, 1149, 1150, 1151, 1222, 1223, 1224, 1226, + 1227, 1230, 1231, 1232, 1263, 1264, 1284, 1285, 1331, 1332, 1378, 1379, 1380, 1381, 1382, 1392, + 1393, 1399, 1400, 1402, 1408, 1409, 1424, 1425, 1429, 1430, 1431, 1459, 1466, 1467, 1468, 1469, + 1470, 1475, 1476, 1480, 1481, 1509, 1510, 1515, 1516, 1549, 1550, 1561, 1562, 1566, 1567, 1570, + 1571, 1580, 1581, 1583, 1590, 1591, 1592, 1597, 1598, 1601, 1602, 1604, 1616, 1618, 1619, 1625, + 1626, 1630, 1632, 1634, 1654, 1655, 1689, 1690, 1721, 1728, 1729, 1735, 1736, 1741, 1744, 1745, + 1764, 1765, 1772, 1815, 1816, 1817, 1818, 1821, 1832, 1833, 1836, 1838, 1839, 1841, 1842, 1865, + 1866, 1871, 1872, 1890, 1891, 1899, 1900, 1902, 1903, 1907, 1908, 1920, 1921, 1922, 1923, 1926, + 1927, 1928, 1931, 1935, 1936, 1938, 1939, 1943, 1945, 1946, 1964, 1965, 2025, 2026, 2233, 2251, + 2270, 2271, 2277, 2278, 2279, 2281, 2292, 2293, 2308, 2309, 2341, 2342, 2369, 2370, 2425, 2426, + 169, 223, 262, 266, 267, 278, 565, 624, 654, 658, 659, 671, 912, 941, 959, 968, + 969, 970, 971, 1211, 1269, 1270, 1273, 1298, 1299, 1302, 1315, 1316, 1350, 1351, 1353, 1354, + 1355, 1666, 1667, 1679, 1680, 1681, 1707, 1708, 1956, 1957, 1992, 1998, 2024, 2105, 2361, 2387, + 2388, 2392, 2506, 2608, 8, 11, 12, 38, 40, 43, 44, 45, 47, 48, 51, 52, + 53, 54, 55, 70, 71, 73, 74, 82, 83, 84, 86, 87, 94, 95, 97, 100, + 101, 102, 104, 105, 107, 108, 109, 111, 112, 113, 114, 115, 116, 117, 119, 120, + 121, 122, 124, 126, 127, 128, 129, 130, 132, 133, 134, 135, 136, 137, 138, 140, + 141, 142, 143, 144, 145, 146, 147, 149, 150, 151, 152, 153, 154, 170, 180, 181, + 185, 186, 188, 191, 192, 193, 197, 198, 199, 200, 202, 204, 206, 207, 208, 209, + 210, 211, 216, 219, 221, 222, 224, 225, 226, 228, 230, 232, 235, 236, 237, 239, + 240, 243, 244, 245, 247, 248, 249, 250, 251, 252, 253, 256, 257, 258, 259, 260, + 264, 268, 269, 273, 274, 276, 277, 279, 293, 294, 295, 296, 297, 298, 321, 322, + 323, 325, 326, 329, 330, 331, 332, 333, 339, 340, 341, 342, 343, 344, 345, 346, + 347, 348, 363, 364, 365, 367, 368, 371, 372, 373, 375, 376, 377, 378, 379, 380, + 385, 386, 387, 392, 393, 394, 395, 396, 397, 399, 400, 401, 402, 403, 414, 415, + 416, 433, 434, 435, 437, 438, 441, 442, 443, 445, 446, 447, 448, 466, 467, 469, + 470, 478, 479, 480, 482, 483, 490, 491, 493, 496, 497, 498, 500, 501, 503, 504, + 505, 507, 508, 509, 510, 511, 512, 513, 515, 516, 517, 518, 520, 522, 523, 524, + 525, 526, 528, 529, 530, 531, 532, 533, 534, 536, 537, 538, 539, 540, 541, 542, + 543, 545, 546, 547, 548, 549, 550, 572, 573, 578, 580, 581, 583, 586, 587, 588, + 590, 591, 593, 594, 595, 597, 598, 599, 600, 601, 602, 603, 604, 615, 617, 618, + 619, 620, 622, 623, 626, 627, 628, 630, 631, 634, 635, 636, 638, 639, 640, 641, + 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 656, 660, 661, 666, 667, 669, + 670, 672, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 824, 825, 837, 838, + 852, 854, 855, 856, 858, 861, 862, 863, 868, 871, 872, 873, 874, 875, 877, 879, + 880, 881, 883, 884, 887, 888, 889, 891, 893, 894, 895, 896, 899, 900, 901, 902, + 903, 906, 907, 908, 910, 911, 926, 927, 928, 929, 930, 931, 935, 936, 937, 939, + 940, 943, 944, 945, 946, 947, 948, 949, 950, 953, 954, 955, 957, 958, 960, 964, + 965, 995, 999, 1000, 1001, 1004, 1005, 1006, 1010, 1070, 1071, 1072, 1073, 1074, 1075, 1076, + 1077, 1078, 1079, 1096, 1097, 1098, 1100, 1101, 1104, 1105, 1106, 1113, 1114, 1171, 1172, 1176, + 1177, 1181, 1182, 1184, 1187, 1188, 1189, 1194, 1195, 1196, 1197, 1198, 1199, 1201, 1202, 1203, + 1204, 1205, 1206, 1207, 1208, 1212, 1213, 1214, 1215, 1217, 1218, 1219, 1251, 1253, 1254, 1255, + 1265, 1266, 1267, 1268, 1274, 1275, 1277, 1278, 1280, 1281, 1282, 1288, 1289, 1292, 1294, 1295, + 1296, 1297, 1303, 1304, 1305, 1306, 1308, 1309, 1339, 1340, 1341, 1342, 1344, 1345, 1346, 1347, + 1348, 1357, 1358, 1359, 1361, 1362, 1363, 1366, 1367, 1371, 1372, 1374, 1375, 1376, 1377, 1384, + 1385, 1386, 1387, 1388, 1391, 1398, 1401, 1404, 1405, 1416, 1417, 1418, 1422, 1433, 1452, 1453, + 1454, 1457, 1458, 1461, 1464, 1472, 1473, 1477, 1478, 1504, 1505, 1506, 1507, 1508, 1513, 1529, + 1535, 1536, 1537, 1541, 1542, 1543, 1547, 1556, 1563, 1564, 1565, 1569, 1576, 1577, 1579, 1582, + 1585, 1586, 1594, 1596, 1600, 1606, 1622, 1635, 1636, 1637, 1645, 1648, 1651, 1652, 1699, 1700, + 1701, 1702, 1703, 1704, 1705, 1712, 1713, 1714, 1716, 1718, 1719, 1722, 1723, 1724, 1725, 1727, + 1734, 1739, 1750, 1751, 1752, 1753, 1754, 1756, 1757, 1758, 1760, 1769, 1770, 1773, 1794, 1795, + 1796, 1798, 1799, 1800, 1802, 1807, 1809, 1810, 1811, 1812, 1813, 1814, 1819, 1822, 1834, 1837, + 1843, 1844, 1845, 1860, 1861, 1862, 1863, 1864, 1867, 1879, 1883, 1884, 1886, 1895, 1901, 1904, + 1906, 1911, 1914, 1915, 1919, 1924, 1929, 1932, 1934, 1940, 1941, 1944, 1981, 1982, 1987, 1988, + 1989, 1990, 2000, 2001, 2004, 2005, 2006, 2008, 2009, 2010, 2011, 2012, 2013, 2016, 2017, 2021, + 2022, 2023, 2041, 2042, 2046, 2047, 2048, 2049, 2052, 2053, 2054, 2055, 2070, 2072, 2073, 2077, + 2078, 2080, 2081, 2082, 2086, 2087, 2091, 2092, 2093, 2094, 2095, 2096, 2097, 2098, 2099, 2103, + 2104, 2108, 2109, 2110, 2111, 2113, 2114, 2115, 2117, 2118, 2119, 2120, 2121, 2122, 2125, 2126, + 2127, 2128, 2130, 2131, 2132, 2133, 2134, 2135, 2136, 2137, 2144, 2145, 2146, 2147, 2149, 2150, + 2151, 2152, 2159, 2161, 2162, 2165, 2166, 2167, 2168, 2172, 2173, 2174, 2175, 2176, 2177, 2179, + 2180, 2183, 2184, 2188, 2189, 2190, 2191, 2193, 2194, 2195, 2196, 2197, 2198, 2199, 2200, 2201, + 2203, 2204, 2206, 2207, 2208, 2209, 2211, 2212, 2214, 2215, 2216, 2217, 2218, 2221, 2222, 2223, + 2238, 2239, 2240, 2241, 2242, 2243, 2245, 2246, 2247, 2248, 2258, 2259, 2260, 2261, 2262, 2263, + 2274, 2282, 2283, 2284, 2288, 2289, 2290, 2291, 2294, 2295, 2297, 2298, 2299, 2300, 2301, 2302, + 2303, 2304, 2305, 2316, 2317, 2320, 2321, 2322, 2324, 2325, 2326, 2327, 2328, 2329, 2331, 2335, + 2336, 2337, 2338, 2343, 2344, 2345, 2354, 2379, 2380, 2383, 2384, 2394, 2395, 2397, 2398, 2400, + 2401, 2402, 2403, 2404, 2405, 2407, 2408, 2409, 2410, 2411, 2412, 2413, 2416, 2417, 2420, 2421, + 2422, 2442, 2443, 2445, 2446, 2448, 2449, 2450, 2451, 2454, 2455, 2456, 2457, 2458, 2459, 2476, + 2479, 2481, 2483, 2484, 2485, 2489, 2490, 2493, 2494, 2497, 2498, 2499, 2500, 2501, 2502, 2504, + 2505, 2508, 2509, 2511, 2512, 2514, 2515, 2516, 2517, 2518, 2519, 2520, 2521, 2523, 2524, 2525, + 2526, 2527, 2528, 2529, 2531, 2532, 2538, 2539, 2540, 2541, 2543, 2544, 2545, 2546, 2552, 2555, + 2556, 2558, 2559, 2560, 2561, 2565, 2566, 2567, 2568, 2569, 2570, 2571, 2572, 2573, 2575, 2577, + 2578, 2579, 2580, 2581, 2582, 2583, 2584, 2585, 2587, 2589, 2590, 2591, 2592, 2593, 2594, 2595, + 2596, 2597, 2598, 2599, 2601, 2602, 2603, 2605, 2606, 2607, 23, 24, 25, 26, 27, 28, + 29, 30, 31, 32, 33, 34, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, + 360, 361, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 703, 729, + 754, 780, 997, 1008, 1046, 1054, 1082, 1083, 1084, 1085, 1086, 1087, 1088, 1089, 1090, 1091, + 1092, 1093, 1138, 1146, 1474, 1479, 1531, 1532, 1538, 1568, 1572, 1573, 1574, 1575, 1578, 1599, + 1603, 1607, 1608, 1609, 1612, 1650, 1840, 1846, 1885, 1905, 1909, 1910, 1916, 1917, 1918, 1933, + 1937, 1947, 1948, 1949, 1950, 1951, 2124, 2129, 2163, 2178, 2181, 2182, 2187, 2210, 2213, 2224, + 2225, 2226, 2306, 2307, 2323, 2330, 2332, 2333, 2334, 2339, 2340, 2346, 2347, 2348, 110, 125, + 139, 148, 174, 175, 176, 177, 178, 205, 282, 409, 506, 521, 535, 544, 566, 567, + 568, 596, 611, 612, 675, 905, 913, 915, 916, 917, 919, 920, 923, 924, 925, 933, + 942, 952, 961, 972, 1209, 1220, 1240, 1241, 1242, 1244, 1245, 1248, 1249, 1250, 1271, 1283, + 1300, 1310, 1311, 1383, 1403, 1432, 1460, 1471, 1482, 1483, 1484, 1485, 1584, 1587, 1588, 1589, + 1593, 1605, 1720, 1740, 1771, 1820, 1829, 1830, 1831, 1835, 1847, 1848, 1849, 1850, 1925, 1930, + 1942, 2056, 2123, 2138, 2139, 2160, 2185, 2186, 2192, 2202, 2205, 2219, 2310, 2460, 2522, 2530, + 2533, 2553, 2554, 2574, 2576, 2586, 2588, 2600, 0, 0, 1, 3, 11, 13, 5, 7, + 9, 10, 2, 4, 6, 8, 12, 14, 15, 16, 0, 1, 9, 54, 67, 2, + 17, 53, 65, 25, 29, 47, 50, 27, 37, 52, 66, 35, 36, 63, 64, 20, + 34, 41, 51, 5, 14, 23, 26, 30, 31, 42, 45, 46, 49, 55, 60, 70, + 73, 80, 87, 7, 8, 10, 11, 16, 18, 19, 32, 44, 57, 68, 76, 77, + 82, 83, 86, 89, 90, 3, 4, 6, 12, 13, 15, 21, 22, 24, 39, 40, + 43, 58, 59, 62, 71, 72, 75, 78, 79, 81, 84, 85, 88, 28, 33, 38, + 48, 56, 61, 69, 74, 0, 1, 41, 283, 334, 3, 75, 257, 330, 125, 187, + 258, 331, 141, 161, 241, 243, 20, 22, 85, 87, 389, 396, 462, 466, 113, 170, + 231, 250, 21, 23, 86, 88, 393, 397, 463, 467, 172, 173, 319, 325, 126, 189, + 273, 329, 123, 186, 255, 332, 147, 158, 235, 248, 120, 129, 191, 221, 285, 286, + 339, 340, 176, 177, 318, 323, 4, 38, 174, 175, 326, 327, 414, 429, 116, 118, + 119, 127, 128, 190, 192, 220, 222, 232, 262, 263, 271, 272, 287, 346, 347, 358, + 364, 365, 124, 188, 256, 333, 112, 121, 122, 131, 152, 171, 179, 180, 181, 182, + 183, 184, 194, 212, 215, 223, 224, 249, 267, 268, 279, 280, 315, 316, 317, 321, + 322, 324, 352, 353, 361, 362, 18, 24, 25, 34, 51, 52, 58, 72, 81, 89, + 90, 97, 130, 150, 151, 155, 157, 193, 216, 218, 226, 227, 270, 274, 282, 289, + 335, 354, 356, 360, 390, 402, 404, 405, 424, 428, 445, 446, 473, 481, 482, 483, + 7, 9, 10, 26, 28, 29, 39, 40, 42, 43, 48, 49, 50, 53, 54, 55, + 63, 65, 66, 91, 92, 94, 105, 107, 108, 114, 115, 117, 132, 139, 140, 159, + 195, 202, 205, 207, 208, 229, 230, 233, 247, 254, 264, 276, 293, 294, 295, 301, + 306, 309, 343, 350, 367, 368, 369, 378, 381, 384, 407, 408, 409, 410, 419, 420, + 425, 426, 427, 434, 435, 436, 437, 438, 448, 449, 450, 455, 457, 471, 472, 484, + 14, 30, 84, 100, 391, 392, 474, 475, 2, 15, 16, 17, 19, 27, 31, 32, + 33, 35, 36, 37, 44, 45, 46, 47, 56, 57, 59, 60, 70, 71, 73, 74, + 76, 77, 78, 79, 80, 82, 83, 93, 95, 96, 98, 99, 101, 102, 133, 134, + 135, 136, 137, 138, 142, 143, 144, 145, 148, 149, 153, 154, 156, 160, 162, 165, + 167, 168, 178, 185, 196, 197, 198, 199, 200, 201, 213, 214, 217, 225, 228, 234, + 238, 240, 242, 244, 245, 246, 251, 253, 259, 260, 261, 266, 269, 275, 278, 281, + 288, 291, 292, 296, 297, 298, 303, 305, 307, 308, 310, 311, 320, 328, 336, 337, + 338, 341, 344, 345, 348, 351, 357, 363, 366, 370, 371, 372, 374, 376, 380, 382, + 383, 385, 394, 395, 398, 399, 400, 401, 411, 412, 413, 415, 416, 417, 430, 431, + 432, 433, 439, 440, 441, 442, 443, 451, 452, 453, 456, 458, 464, 465, 468, 469, + 470, 476, 477, 478, 479, 480, 485, 486, 5, 6, 8, 11, 12, 13, 61, 62, + 64, 67, 68, 69, 103, 104, 106, 109, 110, 111, 203, 204, 206, 209, 210, 211, + 284, 290, 304, 312, 313, 314, 355, 359, 379, 386, 387, 388, 403, 406, 418, 421, + 422, 423, 444, 447, 454, 459, 460, 461, 146, 163, 164, 166, 169, 219, 236, 237, + 239, 252, 265, 277, 299, 300, 302, 342, 349, 373, 375, 377, 0, 15, 451, 1415, + 1710, 980, 981, 1066, 1067, 768, 1092, 1385, 1714, 1, 481, 1960, 2423, 987, 988, 1057, + 1077, 9, 483, 1994, 2419, 24, 268, 2151, 2208, 4, 164, 482, 650, 1959, 1981, 2418, + 2438, 773, 1097, 1384, 1718, 8, 22, 266, 484, 1983, 2160, 2216, 2440, 10, 485, 770, + 903, 968, 1096, 1278, 1301, 1414, 1711, 2002, 2430, 12, 432, 2003, 2336, 366, 440, 1616, + 1661, 13, 340, 2084, 2281, 276, 288, 1655, 1689, 37, 132, 541, 605, 1971, 1972, 2509, + 2510, 29, 129, 134, 135, 490, 525, 534, 539, 985, 986, 1571, 1572, 1573, 1574, 1613, + 1651, 1896, 1931, 1932, 1933, 728, 755, 758, 759, 923, 934, 936, 937, 1153, 1166, 1170, + 1174, 1275, 1320, 1321, 1322, 128, 133, 136, 245, 371, 436, 523, 533, 540, 698, 739, + 757, 760, 901, 1169, 1175, 1199, 1307, 1352, 1389, 1395, 1488, 1489, 1490, 1654, 1688, 1758, + 1842, 1847, 1921, 1940, 1942, 253, 255, 713, 715, 1958, 1980, 2417, 2437, 35, 47, 70, + 86, 92, 94, 131, 254, 256, 267, 285, 305, 312, 528, 542, 558, 564, 566, 603, + 604, 714, 716, 742, 745, 774, 777, 865, 867, 983, 984, 1100, 1103, 1187, 1190, 1221, + 1224, 1360, 1373, 1535, 1536, 1547, 1548, 1653, 1687, 1767, 1777, 1778, 1804, 1817, 1818, 1963, + 1970, 1982, 1986, 2022, 2034, 2051, 2063, 2065, 2210, 2214, 2250, 2255, 2425, 2429, 2439, 2497, + 2515, 2518, 2533, 2553, 2555, 796, 1122, 1380, 1716, 14, 431, 998, 999, 1000, 1015, 1022, + 1023, 1602, 1606, 1612, 1642, 1650, 1652, 2201, 2361, 771, 1095, 1439, 1717, 23, 27, 71, + 73, 74, 77, 78, 81, 82, 87, 91, 93, 96, 97, 127, 137, 275, 293, 348, + 352, 394, 492, 538, 543, 545, 546, 549, 550, 553, 554, 559, 563, 565, 568, 569, + 599, 741, 1200, 1537, 1811, 1964, 1973, 1976, 1977, 1978, 1987, 2000, 2005, 2013, 2014, 2023, + 2033, 2050, 2058, 2059, 2127, 2215, 2225, 2237, 2275, 2282, 2426, 2432, 2433, 2462, 2473, 2486, + 2487, 2498, 2511, 2512, 2514, 2519, 2532, 2542, 2545, 261, 263, 277, 280, 287, 292, 743, + 746, 761, 769, 775, 778, 887, 974, 1093, 1099, 1102, 1173, 1186, 1189, 1296, 1313, 1517, + 1518, 1523, 1524, 1540, 1575, 1712, 1787, 1788, 1809, 1829, 1830, 2226, 2229, 2231, 2274, 2277, + 2278, 140, 303, 304, 611, 823, 827, 830, 831, 859, 1207, 1281, 1285, 1288, 1289, 1351, + 1466, 1495, 1496, 1522, 1724, 1728, 1828, 1870, 1890, 1962, 2253, 2324, 2577, 262, 265, 274, + 279, 289, 290, 310, 311, 1032, 1033, 1035, 1036, 1037, 1038, 1041, 1042, 1627, 1628, 1637, + 1638, 1677, 1678, 1679, 1680, 2305, 2306, 2307, 2308, 2313, 2314, 2315, 2316, 30, 72, 75, + 76, 80, 83, 85, 90, 95, 130, 139, 149, 157, 269, 284, 316, 317, 343, 347, + 354, 358, 491, 544, 547, 548, 552, 555, 557, 562, 567, 598, 602, 618, 625, 727, + 766, 787, 791, 805, 869, 947, 979, 982, 1001, 1002, 1003, 1005, 1006, 1008, 1009, 1010, + 1016, 1017, 1018, 1020, 1021, 1025, 1026, 1027, 1046, 1114, 1120, 1129, 1156, 1205, 1225, 1232, + 1381, 1386, 1387, 1393, 1396, 1397, 1430, 1615, 1621, 1622, 1623, 1624, 1630, 1631, 1634, 1635, + 1660, 1662, 1663, 1667, 1668, 1669, 1670, 1672, 1673, 1709, 1715, 1735, 1839, 1840, 1846, 1848, + 1849, 1967, 1979, 1992, 1993, 1999, 2012, 2015, 2017, 2032, 2036, 2057, 2060, 2068, 2227, 2235, + 2236, 2244, 2283, 2285, 2286, 2292, 2428, 2436, 2445, 2461, 2485, 2488, 2491, 2513, 2520, 2523, + 2541, 2547, 2548, 25, 353, 2096, 2252, 28, 31, 142, 147, 158, 172, 175, 177, 178, + 179, 181, 192, 194, 195, 196, 201, 203, 204, 226, 272, 273, 281, 291, 298, 302, + 308, 309, 313, 315, 486, 488, 489, 494, 507, 522, 524, 530, 532, 619, 620, 627, + 628, 629, 631, 633, 635, 636, 670, 732, 734, 735, 744, 747, 776, 779, 788, 789, + 792, 793, 794, 795, 800, 807, 816, 819, 821, 822, 846, 863, 864, 868, 870, 872, + 1034, 1039, 1040, 1043, 1098, 1101, 1112, 1113, 1117, 1118, 1119, 1123, 1124, 1132, 1141, 1143, + 1144, 1146, 1177, 1185, 1188, 1217, 1218, 1219, 1220, 1226, 1250, 1252, 1253, 1356, 1375, 1398, + 1399, 1446, 1447, 1448, 1449, 1452, 1454, 1456, 1458, 1462, 1474, 1477, 1479, 1493, 1494, 1519, + 1541, 1549, 1577, 1578, 1586, 1587, 1656, 1657, 1658, 1659, 1719, 1725, 1729, 1730, 1731, 1741, + 1742, 1745, 1747, 1749, 1751, 1754, 1756, 1763, 1779, 1780, 1806, 1810, 1821, 1826, 1827, 1850, + 1851, 1889, 1908, 1974, 1975, 1996, 2001, 2027, 2029, 2030, 2031, 2035, 2040, 2043, 2045, 2061, + 2062, 2066, 2069, 2070, 2075, 2077, 2218, 2222, 2223, 2309, 2310, 2311, 2312, 2346, 2347, 2348, + 2431, 2434, 2435, 2446, 2448, 2453, 2455, 2460, 2467, 2516, 2517, 2527, 2544, 2546, 2550, 2551, + 2552, 2556, 2558, 767, 772, 806, 1094, 1130, 1206, 1377, 1378, 1576, 1713, 1722, 1723, 34, + 148, 199, 349, 372, 435, 443, 504, 622, 667, 726, 729, 740, 754, 756, 762, 763, + 764, 765, 797, 798, 801, 802, 803, 804, 894, 910, 933, 951, 967, 989, 991, 993, + 997, 1068, 1069, 1073, 1075, 1116, 1121, 1125, 1126, 1127, 1128, 1154, 1155, 1197, 1198, 1201, + 1202, 1203, 1204, 1242, 1257, 1305, 1315, 1337, 1344, 1390, 1403, 1416, 1417, 1427, 1428, 1429, + 1440, 1441, 1501, 1502, 1531, 1532, 1545, 1559, 1560, 1582, 1583, 1614, 1626, 1633, 1636, 1665, + 1674, 1676, 1705, 1732, 1733, 1734, 1774, 1775, 1808, 1823, 1824, 1841, 1855, 1876, 1877, 1898, + 1899, 1914, 1915, 1951, 1952, 1968, 1969, 1997, 2234, 2243, 2284, 2289, 2424, 2578, 2579, 260, + 264, 278, 286, 1004, 1007, 1011, 1012, 1013, 1014, 1019, 1024, 1028, 1029, 1030, 1031, 1600, + 1601, 1604, 1605, 1608, 1609, 1640, 1641, 1644, 1645, 1646, 1647, 2342, 2344, 2410, 2411, 26, + 36, 40, 42, 43, 126, 138, 141, 143, 144, 145, 146, 152, 154, 168, 173, 180, + 182, 183, 200, 207, 209, 210, 214, 216, 217, 218, 224, 234, 235, 243, 251, 301, + 314, 320, 322, 323, 339, 341, 342, 344, 346, 368, 397, 399, 400, 404, 406, 407, + 408, 413, 422, 423, 429, 441, 472, 493, 497, 499, 500, 520, 526, 527, 531, 536, + 537, 600, 601, 606, 607, 608, 609, 610, 612, 621, 632, 637, 638, 639, 649, 660, + 662, 663, 686, 694, 695, 702, 709, 786, 790, 799, 820, 847, 848, 849, 850, 851, + 852, 853, 854, 855, 856, 857, 858, 860, 866, 871, 873, 876, 878, 879, 883, 885, + 886, 888, 889, 897, 906, 908, 909, 927, 931, 932, 939, 946, 948, 949, 950, 994, + 996, 1044, 1048, 1072, 1076, 1110, 1111, 1115, 1145, 1159, 1161, 1162, 1167, 1168, 1172, 1208, + 1209, 1210, 1211, 1212, 1213, 1215, 1222, 1223, 1227, 1230, 1239, 1240, 1241, 1243, 1258, 1259, + 1260, 1261, 1262, 1263, 1279, 1295, 1297, 1310, 1314, 1316, 1338, 1343, 1345, 1353, 1354, 1355, + 1361, 1370, 1371, 1372, 1374, 1379, 1383, 1388, 1394, 1402, 1404, 1409, 1419, 1431, 1432, 1433, + 1443, 1455, 1457, 1459, 1464, 1480, 1481, 1483, 1500, 1504, 1514, 1521, 1526, 1534, 1542, 1551, + 1553, 1554, 1557, 1562, 1585, 1619, 1683, 1685, 1695, 1699, 1706, 1721, 1726, 1739, 1746, 1748, + 1755, 1757, 1760, 1761, 1762, 1768, 1776, 1784, 1785, 1786, 1801, 1802, 1803, 1805, 1813, 1819, + 1822, 1838, 1843, 1845, 1856, 1859, 1861, 1863, 1874, 1878, 1883, 1887, 1892, 1900, 1904, 1906, + 1910, 1916, 1950, 1995, 2004, 2008, 2010, 2020, 2021, 2038, 2039, 2044, 2052, 2053, 2064, 2067, + 2071, 2074, 2076, 2078, 2081, 2082, 2083, 2089, 2101, 2102, 2107, 2108, 2109, 2120, 2121, 2129, + 2137, 2138, 2143, 2240, 2241, 2242, 2245, 2254, 2257, 2270, 2271, 2287, 2288, 2291, 2294, 2299, + 2300, 2304, 2318, 2322, 2323, 2330, 2359, 2360, 2374, 2375, 2378, 2443, 2444, 2450, 2452, 2454, + 2459, 2464, 2466, 2468, 2471, 2472, 2480, 2482, 2495, 2496, 2526, 2534, 2535, 2549, 2554, 2557, + 2559, 2582, 2595, 2596, 2605, 2612, 2613, 2614, 2616, 2646, 2647, 215, 219, 345, 405, 529, + 535, 884, 1171, 1382, 1727, 1998, 2080, 2221, 2248, 2427, 2465, 2, 5, 11, 150, 151, + 155, 174, 176, 185, 186, 193, 202, 270, 271, 282, 283, 299, 300, 306, 307, 351, + 355, 356, 357, 370, 373, 384, 385, 386, 387, 433, 437, 439, 452, 453, 454, 459, + 460, 461, 462, 476, 479, 480, 487, 521, 615, 616, 617, 626, 630, 634, 642, 730, + 731, 733, 736, 737, 738, 748, 749, 750, 751, 752, 753, 780, 781, 782, 783, 784, + 785, 808, 809, 817, 818, 922, 952, 953, 954, 955, 959, 966, 990, 995, 1045, 1047, + 1049, 1050, 1052, 1056, 1059, 1061, 1070, 1071, 1080, 1082, 1084, 1086, 1104, 1105, 1106, 1107, + 1108, 1109, 1131, 1133, 1140, 1142, 1176, 1184, 1191, 1192, 1193, 1194, 1195, 1196, 1228, 1229, + 1233, 1234, 1248, 1249, 1251, 1254, 1255, 1256, 1273, 1391, 1420, 1421, 1422, 1423, 1424, 1434, + 1435, 1436, 1444, 1445, 1450, 1453, 1467, 1468, 1472, 1473, 1475, 1478, 1505, 1506, 1507, 1508, + 1509, 1565, 1579, 1589, 1594, 1595, 1617, 1618, 1620, 1625, 1629, 1632, 1649, 1664, 1666, 1671, + 1675, 1686, 1692, 1694, 1696, 1708, 1740, 1744, 1750, 1753, 1783, 1791, 1831, 1832, 1833, 1834, + 1854, 1866, 1867, 1881, 1901, 1902, 1917, 1918, 1922, 1923, 1926, 1934, 1935, 1938, 1943, 1944, + 1947, 1954, 1955, 2037, 2042, 2079, 2128, 2139, 2169, 2171, 2182, 2194, 2195, 2200, 2202, 2217, + 2219, 2220, 2224, 2228, 2230, 2246, 2247, 2249, 2256, 2258, 2276, 2279, 2280, 2302, 2303, 2317, + 2319, 2320, 2321, 2333, 2334, 2337, 2338, 2386, 2387, 2403, 2404, 2416, 2420, 2422, 2447, 2451, + 2463, 2504, 2505, 2536, 2543, 2571, 2572, 239, 247, 705, 712, 992, 1074, 1611, 1703, 1965, + 1966, 2457, 2458, 3, 6, 7, 32, 33, 38, 39, 41, 44, 45, 46, 48, 50, + 51, 52, 53, 54, 55, 56, 57, 59, 60, 61, 62, 63, 65, 66, 67, 68, + 69, 79, 84, 88, 89, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, + 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, + 125, 153, 156, 161, 165, 166, 167, 169, 170, 171, 184, 187, 188, 190, 191, 197, + 198, 205, 206, 208, 211, 212, 213, 220, 221, 222, 223, 225, 227, 229, 230, 231, + 232, 233, 236, 237, 238, 240, 241, 242, 244, 246, 248, 249, 250, 252, 257, 258, + 259, 294, 295, 296, 297, 318, 319, 321, 324, 325, 326, 327, 328, 329, 331, 332, + 333, 334, 335, 336, 337, 338, 359, 360, 362, 363, 364, 365, 367, 374, 375, 376, + 377, 378, 381, 382, 383, 395, 396, 398, 401, 402, 403, 409, 410, 411, 412, 414, + 415, 417, 418, 419, 420, 421, 424, 425, 426, 427, 428, 430, 442, 444, 446, 447, + 448, 449, 450, 455, 456, 457, 458, 463, 464, 466, 467, 469, 470, 471, 473, 474, + 475, 477, 478, 495, 496, 498, 501, 502, 503, 505, 506, 508, 509, 510, 512, 513, + 514, 515, 516, 517, 518, 519, 551, 556, 560, 561, 570, 571, 572, 573, 574, 575, + 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, + 592, 593, 594, 595, 596, 597, 613, 614, 640, 641, 643, 644, 645, 646, 647, 648, + 652, 654, 655, 657, 658, 659, 661, 664, 665, 666, 668, 669, 671, 672, 673, 675, + 676, 677, 678, 679, 680, 681, 682, 684, 685, 687, 688, 690, 691, 692, 693, 696, + 697, 699, 700, 701, 703, 704, 706, 707, 708, 710, 711, 717, 718, 719, 810, 811, + 812, 813, 814, 815, 824, 825, 826, 828, 829, 832, 833, 834, 835, 836, 837, 838, + 839, 840, 841, 842, 843, 844, 845, 861, 862, 874, 875, 877, 880, 881, 882, 890, + 891, 892, 893, 895, 896, 898, 899, 900, 902, 904, 905, 907, 911, 912, 915, 917, + 918, 924, 925, 926, 928, 929, 930, 935, 938, 940, 941, 942, 943, 944, 945, 956, + 957, 958, 960, 961, 962, 963, 964, 965, 969, 970, 971, 972, 977, 978, 1053, 1054, + 1055, 1060, 1078, 1079, 1083, 1087, 1134, 1135, 1136, 1137, 1138, 1139, 1157, 1158, 1160, 1163, + 1164, 1165, 1178, 1179, 1180, 1181, 1182, 1183, 1214, 1216, 1231, 1235, 1236, 1237, 1238, 1244, + 1245, 1246, 1247, 1266, 1268, 1269, 1274, 1276, 1277, 1280, 1282, 1283, 1284, 1286, 1287, 1290, + 1291, 1292, 1293, 1294, 1298, 1299, 1300, 1302, 1303, 1304, 1306, 1308, 1309, 1311, 1317, 1318, + 1319, 1323, 1324, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336, 1339, + 1340, 1341, 1346, 1347, 1349, 1350, 1357, 1358, 1359, 1362, 1363, 1364, 1365, 1366, 1367, 1368, + 1369, 1376, 1392, 1400, 1401, 1405, 1406, 1407, 1408, 1410, 1411, 1412, 1413, 1418, 1426, 1438, + 1442, 1451, 1460, 1461, 1463, 1465, 1469, 1470, 1471, 1476, 1482, 1484, 1485, 1486, 1487, 1497, + 1498, 1499, 1503, 1511, 1512, 1513, 1515, 1516, 1520, 1525, 1527, 1528, 1529, 1530, 1533, 1538, + 1539, 1543, 1544, 1546, 1550, 1555, 1556, 1558, 1561, 1563, 1567, 1569, 1581, 1584, 1588, 1591, + 1596, 1597, 1648, 1681, 1682, 1684, 1693, 1698, 1700, 1707, 1720, 1736, 1737, 1738, 1743, 1752, + 1759, 1764, 1765, 1766, 1769, 1770, 1771, 1772, 1773, 1781, 1789, 1792, 1793, 1794, 1795, 1796, + 1797, 1798, 1799, 1800, 1807, 1812, 1814, 1815, 1816, 1820, 1825, 1835, 1836, 1837, 1844, 1852, + 1853, 1857, 1860, 1862, 1864, 1865, 1871, 1872, 1873, 1875, 1879, 1882, 1884, 1885, 1886, 1888, + 1891, 1893, 1894, 1895, 1897, 1903, 1905, 1907, 1909, 1911, 1912, 1913, 1919, 1924, 1928, 1930, + 1936, 1939, 1941, 1945, 1953, 1956, 1961, 1984, 1985, 1988, 1989, 1990, 1991, 2006, 2007, 2009, + 2011, 2016, 2018, 2019, 2024, 2025, 2026, 2028, 2041, 2046, 2047, 2048, 2049, 2054, 2055, 2056, + 2072, 2073, 2085, 2086, 2087, 2088, 2090, 2091, 2093, 2094, 2097, 2098, 2099, 2100, 2103, 2104, + 2105, 2106, 2110, 2111, 2112, 2113, 2114, 2115, 2117, 2118, 2119, 2122, 2123, 2124, 2125, 2126, + 2130, 2131, 2132, 2133, 2134, 2135, 2136, 2140, 2141, 2142, 2144, 2145, 2147, 2148, 2149, 2150, + 2152, 2153, 2154, 2155, 2156, 2161, 2162, 2163, 2166, 2167, 2168, 2170, 2172, 2173, 2174, 2175, + 2176, 2178, 2179, 2180, 2181, 2183, 2184, 2185, 2187, 2188, 2189, 2190, 2191, 2196, 2197, 2198, + 2199, 2203, 2204, 2205, 2209, 2211, 2212, 2213, 2232, 2233, 2238, 2239, 2251, 2259, 2260, 2261, + 2262, 2263, 2264, 2265, 2266, 2267, 2268, 2269, 2272, 2273, 2290, 2293, 2295, 2296, 2297, 2298, + 2301, 2325, 2326, 2327, 2328, 2329, 2331, 2332, 2335, 2339, 2340, 2345, 2349, 2350, 2351, 2352, + 2353, 2354, 2355, 2356, 2357, 2358, 2367, 2368, 2369, 2370, 2371, 2372, 2373, 2376, 2377, 2379, + 2380, 2381, 2382, 2384, 2385, 2388, 2389, 2390, 2396, 2397, 2398, 2399, 2400, 2401, 2402, 2405, + 2406, 2407, 2414, 2421, 2441, 2442, 2449, 2456, 2469, 2470, 2474, 2475, 2476, 2477, 2478, 2479, + 2481, 2483, 2484, 2489, 2490, 2492, 2493, 2494, 2499, 2500, 2501, 2502, 2503, 2506, 2507, 2508, + 2521, 2522, 2524, 2525, 2528, 2529, 2530, 2531, 2537, 2538, 2539, 2540, 2560, 2561, 2562, 2563, + 2564, 2565, 2567, 2568, 2569, 2570, 2573, 2574, 2575, 2576, 2580, 2581, 2583, 2584, 2585, 2586, + 2587, 2588, 2589, 2590, 2592, 2593, 2594, 2597, 2598, 2599, 2600, 2603, 2604, 2606, 2607, 2608, + 2609, 2610, 2611, 2615, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2624, 2625, 2626, 2627, 2628, + 2629, 2630, 2631, 2632, 2633, 2635, 2636, 2637, 2638, 2641, 2642, 2643, 2644, 2645, 2648, 2649, + 2650, 16, 17, 18, 19, 20, 21, 350, 369, 388, 389, 390, 391, 392, 393, 434, + 438, 720, 721, 722, 723, 724, 725, 1051, 1058, 1062, 1063, 1064, 1065, 1081, 1085, 1088, + 1089, 1090, 1091, 1147, 1148, 1149, 1150, 1151, 1152, 1564, 1568, 1570, 1592, 1593, 1598, 1599, + 1603, 1607, 1610, 1639, 1643, 1690, 1691, 1697, 1701, 1702, 1704, 1920, 1927, 1929, 1948, 1949, + 1957, 2146, 2157, 2158, 2192, 2193, 2206, 2341, 2343, 2383, 2391, 2392, 2408, 2409, 2412, 2413, + 2415, 49, 58, 64, 159, 160, 162, 163, 189, 228, 330, 361, 379, 380, 416, 445, + 465, 468, 511, 623, 624, 651, 653, 656, 674, 683, 689, 913, 914, 916, 919, 920, + 921, 973, 975, 976, 1264, 1265, 1267, 1270, 1271, 1272, 1312, 1342, 1348, 1425, 1437, 1491, + 1492, 1510, 1552, 1566, 1580, 1590, 1782, 1790, 1858, 1868, 1869, 1880, 1925, 1937, 1946, 2092, + 2095, 2116, 2159, 2164, 2165, 2177, 2186, 2207, 2362, 2363, 2364, 2365, 2366, 2393, 2394, 2395, + 2566, 2591, 2601, 2602, 2634, 2639, 2640, 2651, 2652, 0, 0, 0, 2, 6, 1, 3, + 4, 5, 7, 8, 9, 10, 0, 20, 21, 10, 18, 35, 39, 13, 16, 32, + 36, 49, 53, 65, 68, 1, 2, 7, 8, 9, 22, 23, 28, 29, 30, 43, + 44, 45, 46, 47, 58, 59, 60, 69, 70, 3, 4, 5, 6, 11, 12, 14, + 15, 17, 19, 24, 25, 26, 27, 31, 33, 34, 37, 38, 40, 41, 42, 48, + 50, 51, 52, 54, 55, 56, 57, 61, 62, 63, 64, 66, 67, 71, 72, 73, + 74, 0, 1, 6, 9, 580, 755, 2, 3, 770, 787, 4, 7, 769, 777, 8, + 62, 581, 756, 5, 93, 525, 737, 167, 292, 514, 611, 168, 228, 294, 382, 166, + 239, 297, 399, 165, 295, 516, 592, 275, 345, 279, 584, 13, 122, 768, 852, 33, + 112, 767, 853, 154, 161, 270, 271, 371, 390, 442, 443, 280, 286, 290, 293, 341, + 344, 585, 610, 10, 61, 809, 825, 159, 282, 284, 393, 508, 586, 613, 662, 56, + 147, 274, 277, 281, 285, 549, 593, 594, 605, 617, 704, 289, 296, 588, 591, 273, + 278, 604, 618, 50, 52, 141, 144, 152, 155, 157, 158, 164, 283, 340, 372, 377, + 391, 392, 394, 463, 464, 465, 471, 476, 477, 511, 660, 669, 674, 692, 694, 696, + 697, 11, 139, 766, 881, 32, 34, 36, 37, 39, 121, 123, 124, 125, 127, 153, + 160, 162, 163, 276, 298, 299, 370, 373, 376, 378, 468, 478, 480, 481, 589, 590, + 612, 672, 678, 681, 682, 773, 775, 782, 783, 791, 854, 857, 859, 861, 879, 99, + 100, 614, 647, 171, 235, 346, 398, 518, 531, 649, 668, 51, 143, 550, 705, 179, + 351, 512, 661, 24, 25, 26, 27, 28, 29, 30, 31, 35, 38, 66, 113, 114, + 115, 116, 117, 118, 119, 120, 126, 128, 170, 177, 178, 237, 238, 264, 347, 350, + 352, 395, 396, 439, 469, 479, 482, 555, 563, 673, 685, 693, 695, 702, 772, 776, + 778, 779, 780, 781, 786, 789, 790, 792, 823, 855, 860, 864, 867, 870, 873, 876, + 877, 878, 880, 183, 308, 309, 357, 517, 602, 615, 657, 63, 64, 67, 69, 79, + 94, 169, 172, 173, 174, 175, 176, 180, 188, 192, 229, 240, 348, 349, 353, 354, + 355, 356, 360, 367, 368, 381, 397, 495, 498, 500, 532, 533, 534, 535, 538, 540, + 559, 560, 646, 648, 652, 655, 656, 659, 665, 667, 671, 677, 680, 698, 699, 820, + 821, 833, 834, 241, 400, 484, 650, 156, 227, 234, 287, 288, 291, 303, 316, 317, + 318, 332, 408, 409, 414, 474, 487, 488, 597, 600, 601, 603, 616, 628, 631, 633, + 708, 709, 728, 310, 311, 582, 606, 12, 40, 41, 42, 46, 65, 68, 76, 77, + 78, 83, 84, 85, 89, 95, 108, 109, 110, 111, 140, 191, 195, 197, 198, 230, + 231, 232, 233, 242, 243, 247, 250, 267, 300, 302, 331, 333, 369, 374, 375, 406, + 410, 411, 412, 413, 419, 421, 422, 440, 446, 501, 504, 509, 510, 513, 521, 541, + 542, 548, 556, 564, 565, 566, 619, 621, 638, 643, 666, 679, 687, 690, 703, 714, + 720, 721, 730, 735, 739, 743, 747, 771, 774, 793, 798, 799, 817, 818, 819, 822, + 824, 828, 835, 836, 837, 844, 856, 858, 862, 863, 882, 181, 182, 189, 190, 236, + 244, 245, 246, 248, 249, 251, 252, 253, 254, 255, 256, 261, 262, 263, 301, 304, + 305, 306, 307, 312, 313, 314, 315, 330, 334, 335, 336, 337, 338, 339, 342, 343, + 358, 359, 365, 366, 379, 380, 387, 388, 389, 401, 402, 403, 404, 405, 407, 415, + 416, 445, 447, 466, 467, 472, 473, 475, 483, 485, 486, 489, 490, 496, 499, 530, + 536, 539, 571, 572, 576, 577, 583, 587, 595, 596, 598, 599, 607, 608, 609, 623, + 624, 625, 627, 629, 630, 632, 637, 642, 651, 653, 654, 658, 664, 670, 676, 706, + 707, 715, 716, 717, 718, 719, 722, 723, 725, 726, 727, 14, 15, 16, 17, 18, + 19, 20, 21, 22, 23, 43, 44, 45, 47, 48, 49, 54, 55, 58, 70, 71, + 72, 73, 74, 75, 80, 81, 82, 86, 87, 88, 90, 91, 92, 96, 97, 98, + 101, 102, 103, 104, 105, 106, 107, 129, 130, 131, 132, 133, 134, 135, 136, 137, + 138, 142, 146, 149, 184, 185, 186, 187, 193, 194, 196, 199, 200, 201, 202, 203, + 204, 206, 207, 208, 209, 210, 211, 212, 213, 214, 216, 217, 218, 219, 220, 221, + 222, 223, 224, 257, 258, 259, 260, 265, 266, 268, 269, 272, 319, 321, 322, 323, + 324, 326, 327, 328, 329, 361, 362, 363, 364, 383, 384, 385, 386, 417, 418, 420, + 423, 424, 425, 426, 427, 428, 429, 430, 432, 433, 434, 435, 436, 437, 438, 441, + 444, 448, 450, 451, 452, 453, 454, 455, 456, 457, 458, 460, 462, 470, 491, 492, + 493, 494, 497, 502, 503, 505, 506, 507, 515, 519, 520, 522, 523, 524, 526, 527, + 528, 529, 537, 543, 544, 545, 546, 547, 557, 558, 561, 562, 567, 568, 569, 570, + 573, 574, 575, 578, 579, 620, 622, 634, 635, 636, 639, 640, 641, 644, 663, 675, + 683, 684, 686, 688, 689, 691, 700, 701, 710, 711, 712, 713, 724, 729, 731, 732, + 733, 734, 738, 740, 741, 742, 744, 745, 746, 748, 749, 750, 751, 752, 753, 754, + 760, 761, 762, 763, 764, 765, 784, 785, 788, 800, 801, 802, 803, 804, 805, 806, + 807, 808, 810, 811, 812, 813, 814, 815, 816, 826, 827, 829, 830, 831, 832, 838, + 839, 840, 841, 842, 843, 845, 846, 847, 848, 849, 850, 851, 865, 866, 868, 869, + 871, 872, 874, 875, 883, 884, 885, 886, 887, 888, 889, 890, 891, 893, 894, 53, + 57, 59, 60, 145, 148, 150, 151, 205, 215, 225, 226, 320, 325, 431, 449, 459, + 461, 551, 552, 553, 554, 626, 645, 736, 757, 758, 759, 794, 795, 796, 797, 892, + 895, 896, 897, 0, 1, 0, 1, 0, 1, 0, 1, 0, 43, 1, 2, 55, + 69, 18, 57, 15, 17, 27, 29, 47, 48, 64, 65, 13, 14, 16, 26, 28, + 30, 40, 41, 42, 66, 67, 70, 19, 24, 58, 59, 3, 25, 56, 68, 4, + 5, 6, 7, 8, 9, 10, 11, 12, 20, 21, 22, 23, 31, 32, 33, 34, + 35, 36, 37, 38, 39, 44, 45, 46, 49, 50, 51, 52, 53, 54, 60, 61, + 62, 63, 71, 72, 73, 74, 75, 76, 77, 78, 79, 0, 0, 1, 0, 19, + 1, 20, 42, 55, 2, 21, 83, 98, 14, 15, 16, 17, 33, 34, 35, 36, + 38, 39, 40, 41, 44, 45, 46, 47, 57, 58, 59, 60, 62, 63, 64, 65, + 74, 75, 78, 79, 81, 82, 85, 86, 92, 93, 96, 97, 100, 101, 103, 104, + 107, 108, 111, 112, 123, 124, 127, 128, 3, 22, 120, 135, 4, 5, 6, 7, + 8, 9, 10, 11, 12, 13, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, + 37, 43, 48, 49, 50, 51, 52, 53, 56, 61, 66, 67, 68, 69, 70, 71, + 72, 73, 76, 77, 80, 84, 87, 88, 90, 91, 94, 95, 99, 102, 105, 106, + 109, 110, 113, 114, 115, 116, 117, 118, 119, 121, 125, 126, 129, 130, 131, 132, + 133, 134, 136, 137, 18, 54, 89, 122, 3, 7, 2, 5, 10, 12, 1, 6, + 8, 9, 0, 4, 11, 13, 5, 26, 4, 24, 71, 84, 2, 25, 50, 65, + 0, 19, 81, 97, 1, 18, 111, 112, 3, 27, 98, 117, 41, 42, 44, 45, + 54, 55, 61, 62, 67, 68, 73, 74, 86, 87, 90, 91, 10, 11, 12, 13, + 16, 17, 28, 29, 30, 31, 34, 35, 48, 49, 63, 64, 66, 72, 85, 89, + 99, 100, 103, 104, 107, 109, 118, 119, 121, 122, 124, 125, 6, 7, 8, 9, + 14, 15, 20, 21, 22, 23, 32, 33, 36, 37, 38, 39, 40, 43, 46, 47, + 51, 52, 53, 56, 57, 58, 59, 60, 69, 70, 75, 76, 77, 78, 79, 80, + 82, 83, 88, 92, 93, 94, 95, 96, 101, 102, 105, 106, 108, 110, 113, 114, + 115, 116, 120, 123, 0, 91, 2, 89, 319, 384, 4, 96, 194, 273, 1, 92, + 318, 389, 10, 83, 347, 429, 3, 90, 330, 401, 5, 95, 452, 534, 19, 71, + 495, 517, 184, 224, 355, 373, 18, 72, 178, 183, 223, 225, 343, 345, 378, 380, + 493, 526, 218, 222, 346, 379, 6, 98, 484, 559, 8, 11, 88, 94, 481, 492, + 527, 563, 162, 163, 166, 167, 171, 172, 175, 176, 234, 235, 238, 239, 254, 255, + 258, 259, 303, 304, 306, 307, 364, 365, 367, 368, 391, 392, 394, 395, 445, 446, + 448, 449, 7, 97, 500, 560, 39, 40, 138, 139, 156, 157, 158, 159, 160, 169, + 241, 261, 284, 285, 286, 287, 309, 326, 335, 336, 337, 340, 399, 414, 419, 428, + 432, 433, 459, 470, 544, 555, 9, 24, 25, 27, 28, 31, 32, 34, 35, 44, + 45, 48, 49, 93, 103, 104, 106, 107, 110, 111, 113, 114, 121, 122, 125, 126, + 187, 188, 191, 192, 264, 265, 268, 269, 302, 305, 363, 366, 390, 393, 444, 447, + 455, 456, 457, 458, 477, 478, 490, 499, 501, 509, 510, 511, 512, 537, 538, 539, + 540, 561, 562, 566, 578, 579, 584, 585, 586, 587, 20, 21, 22, 23, 59, 60, + 63, 64, 65, 66, 73, 74, 75, 76, 84, 85, 86, 87, 99, 100, 101, 102, + 119, 120, 142, 143, 144, 145, 164, 165, 168, 173, 174, 177, 185, 186, 200, 201, + 204, 205, 206, 207, 226, 227, 231, 232, 233, 236, 237, 249, 250, 251, 252, 253, + 256, 257, 262, 263, 277, 278, 308, 311, 312, 323, 324, 325, 328, 329, 339, 342, + 349, 350, 359, 360, 374, 375, 376, 377, 396, 397, 400, 409, 410, 411, 412, 415, + 417, 424, 425, 426, 441, 442, 460, 461, 462, 471, 472, 473, 479, 480, 488, 489, + 518, 519, 520, 521, 522, 523, 524, 525, 541, 542, 543, 552, 553, 554, 564, 565, + 571, 572, 61, 62, 67, 68, 69, 70, 140, 141, 146, 147, 148, 149, 202, 203, + 209, 210, 216, 217, 220, 221, 279, 280, 282, 283, 293, 294, 296, 297, 298, 299, + 300, 301, 314, 315, 316, 317, 385, 386, 387, 388, 403, 404, 405, 406, 453, 454, + 465, 466, 476, 483, 535, 536, 547, 548, 558, 568, 26, 29, 30, 33, 43, 46, + 47, 50, 51, 52, 53, 54, 55, 56, 57, 58, 105, 108, 109, 112, 118, 123, + 124, 127, 128, 129, 130, 131, 132, 133, 134, 135, 179, 189, 190, 193, 195, 196, + 197, 198, 199, 242, 266, 267, 270, 271, 272, 274, 275, 276, 313, 320, 321, 322, + 331, 344, 348, 357, 358, 402, 407, 408, 416, 420, 430, 438, 439, 440, 464, 467, + 468, 469, 475, 482, 485, 486, 487, 491, 494, 496, 497, 504, 505, 506, 546, 549, + 550, 551, 557, 567, 569, 570, 573, 574, 575, 576, 577, 580, 581, 582, 12, 13, + 14, 15, 16, 17, 36, 37, 38, 41, 42, 77, 78, 79, 80, 81, 82, 115, + 116, 117, 136, 137, 150, 151, 152, 153, 154, 155, 161, 170, 180, 181, 182, 208, + 211, 212, 213, 214, 215, 219, 228, 229, 230, 240, 243, 244, 245, 246, 247, 248, + 260, 281, 288, 289, 290, 291, 292, 295, 310, 327, 332, 333, 334, 338, 341, 351, + 352, 353, 354, 356, 361, 362, 369, 370, 371, 372, 381, 382, 383, 398, 413, 418, + 421, 422, 423, 427, 431, 434, 435, 436, 437, 443, 450, 451, 463, 474, 498, 502, + 503, 507, 508, 513, 514, 515, 516, 528, 529, 530, 531, 532, 533, 545, 556, 583, + 588, 589, 0, 1, 2, 15, 9, 14, 3, 4, 5, 6, 7, 8, 10, 11, + 12, 13, 16, 17, 18, 19, 20, 21, 2, 11, 6, 0, 4, 65, 90, 1, + 124, 5, 123, 7, 41, 111, 133, 10, 39, 106, 125, 9, 42, 73, 76, 115, + 117, 118, 126, 8, 40, 116, 127, 71, 72, 119, 120, 3, 28, 112, 132, 74, + 75, 121, 122, 59, 60, 91, 92, 95, 101, 130, 138, 12, 13, 16, 17, 31, + 32, 35, 36, 53, 54, 57, 58, 78, 79, 82, 83, 98, 99, 113, 114, 131, + 134, 145, 146, 149, 150, 161, 162, 165, 166, 171, 172, 18, 19, 26, 27, 29, + 30, 37, 38, 43, 44, 51, 52, 67, 68, 84, 85, 97, 103, 128, 136, 147, + 148, 152, 153, 163, 164, 167, 168, 173, 174, 176, 177, 24, 25, 49, 50, 66, + 89, 100, 135, 151, 155, 175, 178, 14, 15, 33, 34, 55, 56, 61, 62, 77, + 80, 81, 86, 105, 107, 109, 110, 139, 141, 143, 144, 154, 158, 169, 170, 69, + 70, 93, 94, 96, 102, 129, 137, 20, 21, 22, 23, 45, 46, 47, 48, 63, + 64, 87, 88, 104, 108, 140, 142, 156, 157, 159, 160, 179, 180, 181, 182, 0, + 18, 4, 194, 29, 37, 388, 521, 49, 690, 102, 278, 6, 211, 386, 518, 372, + 444, 5, 208, 417, 549, 101, 280, 347, 453, 50, 880, 373, 631, 32, 185, 603, + 751, 31, 176, 605, 754, 28, 200, 575, 664, 9, 209, 808, 970, 10, 103, 218, + 286, 553, 620, 698, 712, 34, 147, 350, 382, 446, 513, 688, 689, 2, 3, 192, + 195, 585, 646, 701, 702, 90, 261, 598, 692, 11, 217, 644, 700, 427, 428, 670, + 671, 8, 210, 807, 972, 35, 146, 346, 385, 450, 517, 879, 926, 424, 426, 429, + 430, 667, 669, 672, 673, 93, 273, 597, 748, 1, 193, 636, 746, 30, 33, 38, + 51, 143, 219, 220, 662, 804, 806, 867, 889, 927, 969, 36, 188, 622, 710, 7, + 216, 809, 971, 24, 215, 816, 979, 12, 203, 827, 980, 433, 438, 666, 668, 20, + 212, 423, 425, 685, 686, 869, 1030, 13, 17, 26, 152, 196, 198, 202, 838, 857, + 858, 925, 973, 975, 983, 383, 512, 619, 703, 19, 27, 52, 53, 85, 86, 154, + 155, 156, 157, 197, 199, 223, 224, 256, 257, 322, 323, 330, 333, 344, 345, 351, + 354, 365, 434, 435, 436, 437, 442, 449, 455, 458, 480, 481, 489, 492, 502, 503, + 557, 558, 565, 566, 569, 570, 587, 588, 600, 674, 675, 676, 681, 682, 720, 721, + 729, 730, 737, 738, 740, 741, 747, 821, 822, 834, 850, 851, 859, 935, 936, 943, + 944, 974, 976, 994, 995, 1018, 1019, 16, 25, 62, 63, 65, 70, 191, 213, 214, + 233, 234, 236, 241, 408, 445, 604, 687, 691, 815, 817, 826, 840, 856, 860, 981, + 987, 988, 997, 1000, 1025, 61, 64, 68, 71, 128, 129, 221, 222, 232, 235, 239, + 242, 324, 325, 328, 329, 334, 342, 355, 363, 366, 367, 454, 457, 468, 469, 488, + 491, 528, 529, 532, 533, 559, 562, 568, 590, 591, 592, 623, 624, 625, 628, 709, + 713, 714, 717, 719, 723, 724, 736, 779, 782, 812, 823, 825, 841, 852, 861, 982, + 993, 998, 1009, 1017, 1026, 14, 201, 348, 349, 451, 452, 621, 645, 699, 711, 862, + 999, 164, 165, 186, 187, 431, 432, 447, 448, 677, 678, 683, 684, 934, 937, 942, + 945, 55, 56, 59, 60, 66, 67, 69, 79, 92, 105, 107, 112, 113, 114, 117, + 131, 132, 135, 136, 158, 159, 162, 163, 177, 178, 181, 182, 225, 226, 229, 230, + 237, 238, 240, 250, 271, 275, 277, 284, 285, 287, 290, 299, 300, 303, 304, 391, + 397, 398, 401, 402, 420, 421, 422, 482, 483, 486, 487, 522, 561, 564, 586, 627, + 630, 695, 696, 697, 707, 715, 735, 777, 780, 813, 814, 818, 819, 828, 829, 830, + 833, 839, 849, 854, 855, 863, 875, 891, 903, 904, 906, 907, 930, 931, 932, 933, + 956, 957, 958, 959, 984, 985, 989, 990, 1001, 1002, 1004, 1008, 1016, 1021, 1022, 1023, + 1027, 1034, 1051, 1061, 1062, 1063, 1064, 22, 23, 87, 125, 126, 144, 145, 151, 153, + 205, 206, 259, 296, 297, 326, 327, 335, 336, 337, 338, 339, 340, 341, 343, 356, + 357, 358, 359, 360, 361, 362, 364, 368, 369, 370, 371, 439, 440, 441, 443, 456, + 459, 460, 461, 462, 463, 464, 467, 490, 493, 494, 495, 496, 497, 498, 501, 530, + 531, 542, 543, 544, 545, 567, 579, 589, 594, 595, 596, 599, 601, 602, 606, 610, + 611, 634, 635, 638, 639, 649, 650, 652, 653, 654, 655, 679, 680, 693, 694, 722, + 733, 739, 744, 745, 749, 750, 752, 753, 759, 763, 764, 765, 766, 785, 786, 788, + 789, 793, 794, 796, 797, 824, 831, 853, 905, 908, 946, 947, 948, 949, 986, 991, + 996, 1020, 1024, 15, 88, 104, 108, 109, 120, 124, 137, 138, 139, 140, 183, 184, + 189, 190, 204, 258, 262, 274, 279, 281, 293, 306, 307, 308, 309, 394, 403, 404, + 405, 406, 415, 416, 514, 540, 541, 546, 547, 550, 551, 554, 555, 556, 572, 573, + 574, 576, 704, 705, 706, 718, 726, 727, 728, 810, 811, 820, 835, 836, 837, 842, + 846, 868, 883, 895, 928, 929, 938, 939, 977, 978, 992, 1005, 1006, 1007, 1010, 1031, + 1037, 1055, 1056, 21, 54, 57, 58, 72, 73, 74, 75, 76, 77, 78, 80, 81, + 82, 83, 84, 89, 94, 95, 96, 97, 98, 99, 100, 106, 110, 111, 115, 116, + 118, 119, 121, 122, 123, 130, 133, 134, 148, 149, 150, 160, 161, 179, 180, 207, + 227, 228, 231, 243, 244, 245, 246, 247, 248, 249, 251, 252, 253, 254, 255, 263, + 264, 265, 266, 267, 268, 269, 270, 272, 276, 282, 283, 288, 289, 291, 292, 294, + 295, 301, 302, 305, 374, 375, 376, 377, 378, 379, 380, 381, 387, 389, 390, 392, + 393, 395, 399, 400, 409, 410, 413, 414, 484, 485, 504, 505, 506, 507, 508, 509, + 510, 515, 516, 519, 520, 523, 524, 525, 534, 535, 538, 539, 560, 563, 571, 577, + 578, 581, 582, 583, 584, 593, 608, 609, 626, 629, 632, 633, 637, 647, 648, 651, + 708, 716, 725, 731, 734, 742, 743, 755, 756, 757, 760, 761, 762, 778, 781, 783, + 784, 787, 792, 795, 832, 843, 844, 845, 847, 848, 864, 865, 866, 870, 871, 872, + 873, 874, 876, 877, 881, 882, 884, 885, 886, 887, 890, 892, 893, 894, 896, 897, + 909, 910, 911, 912, 913, 916, 917, 918, 919, 940, 941, 950, 951, 952, 960, 963, + 1003, 1011, 1012, 1013, 1014, 1015, 1028, 1029, 1032, 1033, 1035, 1036, 1038, 1039, 1040, 1041, + 1042, 1045, 1046, 1047, 1048, 1049, 1050, 1052, 1053, 1054, 1057, 1058, 1065, 1066, 1067, 1068, + 1069, 1070, 1071, 1072, 1073, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 166, + 167, 168, 169, 170, 171, 172, 173, 174, 175, 312, 313, 314, 315, 316, 317, 318, + 319, 320, 321, 331, 332, 352, 353, 465, 466, 470, 471, 472, 473, 474, 475, 476, + 477, 478, 479, 499, 500, 612, 613, 614, 640, 641, 642, 643, 656, 657, 658, 659, + 660, 661, 665, 768, 769, 770, 771, 772, 790, 791, 798, 799, 800, 801, 802, 803, + 805, 898, 899, 900, 914, 915, 920, 921, 922, 923, 924, 953, 954, 955, 961, 962, + 964, 965, 966, 967, 968, 91, 127, 141, 142, 260, 298, 310, 311, 384, 396, 407, + 411, 412, 418, 419, 511, 526, 527, 536, 537, 548, 552, 580, 607, 615, 616, 617, + 618, 663, 732, 758, 767, 773, 774, 775, 776, 878, 888, 901, 902, 1043, 1044, 1059, + 1060, 4, 1, 2, 23, 25, 7, 12, 15, 17, 0, 8, 21, 27, 5, 11, + 22, 26, 3, 10, 29, 32, 13, 16, 19, 20, 6, 9, 14, 18, 24, 28, + 30, 31, 4, 1, 2, 117, 132, 24, 55, 77, 88, 0, 31, 112, 142, 5, + 41, 113, 137, 3, 40, 160, 191, 67, 81, 105, 110, 7, 46, 163, 190, 6, + 45, 70, 71, 73, 74, 90, 91, 101, 102, 115, 116, 119, 120, 139, 140, 144, + 145, 161, 192, 27, 54, 75, 76, 107, 108, 111, 114, 138, 141, 168, 196, 84, + 85, 86, 87, 133, 134, 135, 136, 18, 19, 20, 21, 22, 23, 25, 26, 28, + 29, 48, 49, 50, 51, 52, 53, 56, 57, 58, 59, 78, 79, 82, 99, 103, + 109, 118, 143, 157, 158, 159, 162, 164, 165, 166, 167, 170, 171, 195, 197, 198, + 199, 201, 202, 203, 204, 205, 206, 11, 12, 13, 14, 15, 16, 33, 34, 35, + 36, 37, 38, 61, 62, 63, 64, 65, 66, 68, 69, 72, 89, 92, 93, 94, + 95, 96, 97, 100, 104, 121, 122, 123, 126, 127, 128, 129, 130, 131, 146, 147, + 148, 149, 152, 153, 154, 155, 156, 169, 173, 176, 177, 179, 180, 182, 183, 186, + 187, 188, 189, 8, 9, 10, 17, 30, 32, 39, 42, 43, 44, 47, 60, 80, + 98, 125, 150, 172, 174, 175, 178, 181, 184, 185, 193, 194, 200, 207, 208, 83, + 106, 124, 151, 12, 15, 692, 713, 7, 123, 69, 256, 392, 482, 11, 159, 649, + 807, 1, 211, 615, 712, 0, 205, 638, 764, 9, 213, 617, 693, 124, 263, 670, + 694, 14, 184, 687, 847, 18, 28, 877, 911, 378, 379, 616, 711, 17, 161, 873, + 1014, 435, 462, 476, 486, 456, 459, 488, 493, 76, 310, 602, 763, 13, 183, 723, + 852, 20, 21, 876, 898, 362, 394, 494, 559, 74, 308, 609, 779, 455, 460, 725, + 726, 364, 467, 667, 736, 31, 158, 973, 1011, 3, 212, 897, 1057, 125, 271, 618, + 768, 126, 270, 669, 770, 30, 157, 363, 508, 603, 762, 997, 1010, 377, 423, 430, + 468, 578, 586, 605, 741, 8, 206, 875, 1070, 446, 463, 606, 740, 108, 110, 297, + 299, 465, 466, 730, 737, 874, 887, 1058, 1071, 453, 458, 732, 746, 109, 111, 298, + 300, 375, 497, 619, 767, 882, 888, 1067, 1072, 4, 214, 895, 1062, 16, 215, 923, + 1106, 19, 200, 943, 1041, 376, 496, 672, 769, 454, 457, 733, 745, 199, 204, 750, + 751, 116, 273, 872, 1055, 29, 34, 98, 182, 276, 324, 402, 452, 461, 464, 495, + 545, 624, 654, 731, 744, 754, 757, 765, 810, 894, 979, 1016, 1061, 73, 262, 357, + 371, 498, 530, 673, 674, 776, 777, 910, 1069, 100, 113, 117, 160, 163, 269, 272, + 292, 344, 361, 406, 522, 540, 555, 628, 629, 642, 780, 815, 816, 899, 912, 928, + 1012, 1017, 1063, 1068, 1108, 155, 156, 162, 164, 469, 470, 471, 472, 739, 743, 752, + 753, 1024, 1026, 1030, 1031, 32, 33, 43, 44, 52, 56, 67, 68, 71, 72, 75, + 77, 90, 92, 97, 99, 112, 132, 218, 225, 229, 230, 238, 242, 253, 254, 267, + 268, 279, 285, 293, 294, 296, 309, 311, 321, 380, 386, 387, 390, 391, 393, 401, + 403, 404, 405, 509, 543, 552, 553, 554, 556, 579, 580, 583, 584, 607, 608, 610, + 613, 623, 625, 627, 631, 668, 671, 771, 775, 778, 789, 799, 811, 813, 814, 835, + 836, 880, 881, 883, 884, 885, 886, 889, 893, 900, 901, 903, 919, 921, 922, 924, + 925, 950, 963, 1065, 1066, 1082, 1094, 1095, 1096, 1097, 1098, 1107, 1113, 1117, 1120, 1121, + 1126, 1128, 1131, 1143, 1144, 2, 103, 114, 115, 118, 119, 120, 121, 130, 131, 133, + 140, 165, 173, 185, 192, 210, 216, 217, 227, 228, 264, 265, 266, 274, 277, 278, + 295, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 358, 365, 366, + 367, 368, 369, 370, 372, 381, 385, 407, 408, 409, 410, 414, 421, 474, 477, 483, + 485, 499, 500, 501, 502, 503, 504, 506, 510, 514, 521, 529, 531, 532, 533, 534, + 535, 536, 538, 541, 542, 546, 547, 565, 566, 567, 568, 569, 570, 632, 633, 640, + 641, 643, 645, 646, 650, 651, 652, 653, 655, 657, 659, 676, 677, 679, 684, 696, + 697, 699, 706, 707, 708, 715, 716, 719, 720, 734, 735, 747, 748, 781, 783, 785, + 787, 795, 796, 803, 805, 806, 808, 809, 818, 819, 823, 824, 827, 829, 830, 838, + 839, 842, 846, 854, 855, 858, 861, 865, 866, 913, 915, 929, 930, 931, 932, 939, + 941, 942, 944, 946, 1004, 1021, 1022, 1027, 1028, 1060, 1073, 1075, 1079, 1080, 1081, 1085, + 1086, 1109, 1110, 1111, 1112, 450, 451, 591, 592, 604, 614, 766, 784, 5, 6, 10, + 35, 36, 37, 38, 39, 40, 41, 42, 45, 46, 47, 48, 49, 50, 51, 53, + 57, 61, 63, 64, 70, 91, 93, 94, 95, 96, 101, 102, 105, 106, 122, 127, + 128, 129, 134, 135, 136, 137, 138, 139, 141, 142, 143, 144, 145, 146, 149, 150, + 151, 152, 153, 154, 166, 167, 168, 169, 170, 171, 172, 186, 187, 188, 189, 190, + 191, 193, 194, 195, 196, 197, 207, 208, 209, 219, 220, 221, 222, 223, 224, 226, + 231, 232, 233, 234, 235, 236, 237, 239, 243, 247, 249, 250, 255, 275, 280, 281, + 282, 283, 284, 286, 289, 290, 291, 312, 313, 314, 315, 316, 317, 318, 319, 320, + 322, 323, 325, 326, 327, 328, 329, 332, 333, 334, 335, 336, 337, 382, 383, 384, + 388, 389, 395, 396, 397, 398, 399, 400, 411, 412, 413, 415, 416, 417, 418, 419, + 420, 422, 424, 425, 426, 427, 428, 433, 434, 444, 445, 448, 449, 475, 487, 511, + 512, 513, 523, 524, 525, 526, 527, 528, 544, 548, 549, 550, 551, 557, 558, 560, + 561, 563, 564, 581, 582, 585, 587, 588, 589, 590, 595, 596, 598, 600, 601, 611, + 612, 620, 621, 622, 626, 630, 634, 635, 636, 637, 639, 644, 648, 656, 658, 661, + 662, 675, 678, 681, 686, 688, 695, 698, 701, 702, 710, 714, 718, 749, 759, 772, + 773, 774, 782, 786, 788, 790, 791, 792, 793, 794, 797, 798, 800, 801, 804, 812, + 817, 825, 828, 837, 840, 843, 844, 848, 853, 856, 859, 862, 864, 878, 879, 890, + 891, 892, 896, 902, 904, 905, 906, 907, 908, 909, 914, 916, 917, 920, 926, 927, + 933, 934, 935, 936, 937, 938, 940, 945, 947, 948, 949, 951, 952, 953, 954, 955, + 964, 965, 966, 967, 970, 971, 980, 981, 982, 983, 984, 985, 988, 989, 990, 991, + 993, 994, 1003, 1007, 1013, 1015, 1018, 1019, 1020, 1029, 1034, 1035, 1036, 1037, 1042, 1043, + 1044, 1045, 1047, 1048, 1049, 1050, 1056, 1059, 1064, 1074, 1076, 1077, 1078, 1083, 1084, 1087, + 1088, 1089, 1090, 1091, 1092, 1093, 1099, 1100, 1101, 1102, 1103, 1114, 1115, 1116, 1118, 1119, + 1122, 1123, 1124, 1125, 1127, 1129, 1130, 1132, 1133, 1134, 1135, 1137, 1145, 1146, 1147, 1148, + 1152, 1153, 1159, 1160, 1161, 1162, 1165, 1166, 1167, 1168, 1169, 1170, 1177, 22, 23, 24, + 25, 26, 27, 174, 175, 176, 177, 178, 179, 180, 181, 201, 202, 338, 339, 340, + 341, 342, 343, 359, 360, 373, 374, 473, 478, 479, 480, 481, 484, 489, 490, 491, + 492, 505, 507, 515, 516, 517, 518, 519, 520, 537, 539, 663, 682, 683, 689, 690, + 691, 717, 721, 722, 724, 727, 728, 729, 738, 742, 755, 756, 758, 760, 761, 831, + 849, 850, 851, 863, 867, 868, 869, 870, 871, 957, 976, 992, 995, 998, 1009, 1023, + 1025, 1032, 1033, 1038, 1046, 1051, 1052, 1053, 1054, 54, 55, 58, 59, 60, 62, 65, + 66, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 104, 107, 147, 148, + 198, 203, 240, 241, 244, 245, 246, 248, 251, 252, 257, 258, 259, 260, 261, 287, + 288, 301, 302, 304, 305, 306, 307, 330, 331, 429, 431, 432, 436, 437, 438, 439, + 440, 441, 442, 443, 447, 562, 571, 572, 573, 574, 575, 576, 577, 593, 594, 597, + 599, 647, 660, 664, 665, 666, 680, 685, 700, 703, 704, 705, 709, 802, 820, 821, + 822, 826, 832, 833, 834, 841, 845, 857, 860, 918, 956, 958, 960, 961, 962, 968, + 969, 972, 974, 975, 977, 978, 986, 987, 996, 999, 1000, 1001, 1002, 1005, 1006, 1008, + 1039, 1040, 1104, 1105, 1136, 1138, 1139, 1140, 1141, 1142, 1149, 1150, 1151, 1154, 1155, 1156, + 1157, 1158, 1163, 1164, 1171, 1172, 1173, 1174, 1176, 78, 303, 959, 1175, 0, 4, 5, + 8, 9, 1, 2, 3, 6, 7, 10, 11, 12, 2, 5, 17, 0, 109, 1, + 24, 104, 123, 4, 37, 106, 127, 6, 38, 96, 125, 8, 40, 93, 134, 7, + 39, 102, 128, 20, 45, 57, 79, 3, 27, 107, 126, 64, 65, 113, 118, 71, + 73, 54, 85, 9, 25, 68, 69, 112, 116, 148, 154, 66, 67, 119, 120, 56, + 78, 95, 124, 74, 75, 111, 117, 53, 84, 97, 135, 14, 34, 150, 156, 55, + 58, 61, 87, 90, 92, 98, 132, 26, 28, 153, 157, 15, 16, 21, 22, 23, + 29, 35, 36, 41, 42, 46, 47, 48, 60, 62, 70, 72, 76, 77, 86, 91, + 94, 100, 114, 115, 121, 122, 129, 130, 140, 141, 142, 143, 144, 155, 158, 159, + 164, 165, 166, 169, 170, 10, 11, 12, 13, 18, 19, 30, 31, 32, 33, 43, + 44, 49, 50, 51, 52, 80, 81, 82, 83, 101, 105, 108, 110, 133, 137, 138, + 139, 145, 146, 147, 149, 151, 152, 160, 161, 162, 163, 167, 168, 59, 63, 88, + 89, 99, 103, 131, 136, 25, 654, 5, 259, 4, 147, 24, 775, 22, 175, 684, + 849, 14, 261, 630, 803, 31, 188, 704, 772, 10, 253, 646, 729, 8, 265, 687, + 794, 0, 21, 214, 256, 689, 705, 798, 846, 32, 179, 685, 885, 27, 200, 734, + 757, 470, 511, 42, 152, 965, 1001, 88, 326, 450, 619, 23, 273, 658, 850, 18, + 149, 151, 272, 662, 880, 1005, 1009, 6, 20, 258, 270, 711, 889, 892, 1100, 29, + 35, 104, 195, 276, 343, 463, 579, 683, 686, 793, 866, 1, 264, 921, 1087, 19, + 30, 150, 158, 238, 251, 271, 467, 532, 714, 720, 779, 785, 884, 915, 1056, 384, + 550, 670, 802, 7, 60, 257, 317, 647, 712, 799, 848, 34, 247, 691, 796, 3, + 81, 266, 318, 682, 865, 890, 1135, 33, 237, 960, 1059, 9, 13, 16, 26, 267, + 268, 269, 275, 472, 473, 727, 744, 903, 914, 935, 937, 1088, 1093, 1099, 1129, 148, + 379, 671, 805, 155, 156, 774, 791, 474, 480, 509, 530, 48, 49, 82, 89, 282, + 287, 321, 340, 405, 538, 631, 715, 716, 717, 804, 867, 868, 886, 891, 1159, 79, + 103, 159, 165, 198, 199, 241, 242, 250, 252, 316, 342, 680, 733, 747, 748, 765, + 766, 776, 838, 936, 1004, 1026, 1101, 387, 388, 400, 457, 458, 461, 469, 471, 487, + 492, 551, 555, 568, 593, 594, 616, 726, 745, 746, 764, 28, 47, 50, 80, 83, + 87, 142, 143, 171, 180, 274, 281, 288, 319, 322, 327, 372, 374, 389, 401, 404, + 447, 448, 534, 556, 569, 612, 613, 620, 621, 657, 659, 660, 661, 688, 795, 818, + 831, 874, 881, 882, 887, 908, 933, 1008, 1020, 1091, 1139, 396, 567, 668, 801, 46, + 78, 144, 289, 323, 373, 672, 806, 900, 901, 1140, 1141, 154, 157, 1016, 1038, 15, + 43, 212, 260, 909, 980, 1060, 1092, 411, 540, 669, 800, 44, 51, 70, 71, 72, + 73, 74, 75, 76, 77, 84, 90, 173, 178, 197, 204, 244, 286, 308, 309, 310, + 311, 312, 313, 314, 315, 320, 328, 398, 399, 407, 408, 481, 488, 489, 493, 494, + 517, 525, 531, 536, 537, 564, 565, 692, 693, 701, 702, 737, 738, 758, 759, 825, + 826, 836, 837, 895, 899, 902, 906, 907, 916, 927, 928, 931, 938, 941, 966, 1007, + 1019, 1025, 1041, 1058, 1096, 1103, 1111, 1116, 1130, 1131, 1136, 1142, 1143, 1144, 1145, 203, + 239, 406, 466, 468, 535, 690, 756, 773, 790, 792, 797, 40, 41, 110, 115, 160, + 164, 172, 213, 278, 280, 390, 402, 403, 409, 410, 414, 438, 464, 475, 476, 512, + 513, 541, 542, 544, 554, 566, 570, 605, 611, 626, 650, 651, 655, 697, 698, 728, + 732, 783, 788, 808, 812, 816, 817, 833, 834, 918, 934, 939, 970, 1012, 1028, 1057, + 1061, 1102, 1107, 85, 153, 162, 166, 170, 325, 497, 498, 499, 500, 752, 753, 754, + 755, 911, 1044, 1045, 1046, 1047, 1094, 52, 62, 116, 138, 201, 234, 243, 295, 354, + 361, 368, 385, 386, 395, 412, 424, 441, 482, 490, 491, 495, 496, 516, 539, 549, + 576, 580, 585, 606, 632, 634, 648, 649, 700, 718, 722, 723, 739, 740, 741, 760, + 830, 832, 843, 844, 847, 856, 896, 897, 932, 946, 1018, 1037, 1040, 1138, 1150, 1160, + 1161, 86, 324, 413, 543, 627, 807, 953, 1112, 11, 17, 45, 54, 59, 91, 95, + 96, 97, 98, 99, 100, 101, 102, 109, 111, 112, 113, 114, 118, 123, 124, 125, + 126, 129, 161, 163, 168, 169, 174, 176, 177, 192, 193, 194, 196, 215, 216, 217, + 222, 223, 224, 225, 262, 263, 277, 279, 283, 284, 285, 302, 303, 304, 305, 306, + 307, 329, 330, 331, 332, 333, 334, 335, 336, 341, 348, 362, 363, 391, 392, 393, + 394, 422, 423, 425, 426, 427, 428, 429, 430, 435, 436, 437, 477, 479, 501, 502, + 503, 504, 515, 518, 552, 553, 561, 562, 563, 571, 572, 573, 574, 575, 577, 581, + 582, 583, 584, 622, 624, 625, 628, 629, 635, 636, 637, 639, 643, 673, 675, 676, + 694, 706, 735, 736, 761, 762, 777, 778, 784, 789, 809, 810, 811, 813, 815, 819, + 821, 829, 840, 841, 857, 859, 862, 871, 877, 905, 910, 912, 913, 917, 919, 920, + 922, 924, 942, 943, 944, 945, 947, 948, 949, 951, 952, 954, 956, 957, 972, 974, + 982, 996, 1011, 1013, 1014, 1021, 1023, 1024, 1029, 1030, 1042, 1043, 1048, 1049, 1050, 1051, + 1054, 1055, 1074, 1075, 1086, 1090, 1095, 1097, 1098, 1104, 1106, 1113, 1114, 1115, 1118, 1119, + 1121, 1124, 1126, 1146, 1147, 1148, 1149, 1151, 1152, 1153, 1154, 1155, 1163, 134, 202, 205, + 240, 248, 371, 397, 478, 483, 484, 485, 486, 514, 519, 520, 521, 522, 586, 666, + 725, 731, 743, 750, 751, 767, 769, 771, 781, 786, 855, 898, 1010, 1015, 1022, 1039, + 1110, 2, 12, 53, 55, 56, 57, 58, 61, 67, 106, 117, 119, 120, 121, 122, + 127, 128, 131, 132, 135, 136, 137, 139, 140, 141, 145, 146, 167, 181, 182, 183, + 184, 185, 189, 190, 191, 207, 218, 219, 220, 221, 226, 227, 229, 230, 232, 233, + 235, 236, 245, 249, 254, 255, 290, 291, 292, 293, 294, 296, 299, 300, 301, 345, + 349, 350, 351, 352, 353, 355, 365, 366, 367, 369, 370, 375, 376, 377, 378, 415, + 416, 417, 418, 419, 420, 421, 431, 432, 433, 434, 439, 440, 442, 443, 444, 445, + 446, 449, 455, 459, 523, 524, 557, 558, 559, 560, 591, 595, 596, 597, 598, 599, + 600, 601, 602, 603, 604, 607, 608, 609, 614, 617, 618, 623, 633, 638, 640, 641, + 642, 645, 652, 653, 656, 674, 678, 679, 681, 696, 699, 703, 708, 763, 814, 820, + 822, 823, 824, 827, 835, 839, 842, 845, 858, 860, 863, 864, 869, 872, 873, 875, + 893, 894, 904, 923, 925, 926, 929, 930, 940, 950, 955, 958, 959, 962, 963, 971, + 973, 975, 976, 981, 983, 984, 987, 988, 989, 995, 999, 1002, 1003, 1006, 1017, 1027, + 1031, 1032, 1033, 1034, 1035, 1036, 1052, 1053, 1062, 1063, 1064, 1070, 1071, 1072, 1073, 1076, + 1077, 1078, 1083, 1085, 1089, 1105, 1108, 1109, 1117, 1120, 1122, 1123, 1125, 1127, 1128, 1132, + 1133, 1134, 1137, 1158, 1162, 1164, 1165, 1172, 1173, 1175, 1178, 1179, 1180, 1181, 36, 37, + 38, 39, 208, 209, 210, 211, 380, 381, 382, 383, 456, 460, 462, 505, 506, 507, + 508, 510, 526, 527, 528, 529, 533, 545, 546, 547, 548, 578, 592, 615, 664, 665, + 667, 709, 710, 713, 719, 721, 724, 730, 742, 749, 768, 770, 780, 782, 787, 852, + 853, 854, 878, 879, 883, 888, 990, 991, 992, 1000, 1079, 1080, 1081, 1084, 63, 64, + 65, 66, 68, 69, 92, 93, 94, 105, 107, 108, 130, 133, 186, 187, 206, 228, + 231, 246, 297, 298, 337, 338, 339, 344, 346, 347, 356, 357, 358, 359, 360, 364, + 451, 452, 453, 454, 465, 587, 588, 589, 590, 610, 644, 663, 677, 695, 707, 828, + 851, 861, 870, 876, 961, 964, 967, 968, 969, 977, 978, 979, 985, 986, 993, 994, + 997, 998, 1065, 1066, 1067, 1068, 1069, 1082, 1156, 1157, 1166, 1167, 1168, 1169, 1170, 1171, + 1174, 1176, 1177, 1182, 1183, 1184, 1, 4, 0, 5, 2, 3, 1, 10, 0, 13, + 2, 3, 8, 11, 4, 6, 9, 14, 5, 7, 12, 15, 1, 128, 16, 35, + 114, 116, 0, 30, 135, 175, 8, 198, 9, 182, 7, 179, 2, 11, 185, 192, + 51, 115, 6, 29, 180, 201, 10, 13, 27, 28, 130, 178, 186, 200, 50, 77, + 117, 144, 5, 32, 127, 172, 3, 31, 181, 203, 4, 189, 14, 26, 49, 78, + 119, 137, 196, 199, 15, 34, 183, 205, 12, 25, 197, 202, 69, 70, 141, 148, + 73, 146, 68, 71, 72, 75, 138, 143, 145, 147, 17, 36, 74, 139, 184, 210, + 46, 48, 93, 96, 120, 121, 158, 159, 44, 45, 47, 92, 94, 97, 107, 108, + 109, 161, 162, 165, 18, 19, 20, 21, 37, 38, 39, 40, 187, 188, 190, 191, + 206, 207, 208, 209, 52, 53, 55, 86, 87, 88, 112, 122, 123, 156, 157, 160, + 76, 80, 140, 152, 54, 57, 89, 91, 132, 133, 167, 168, 66, 79, 85, 95, + 110, 142, 149, 155, 56, 58, 59, 60, 61, 62, 67, 90, 98, 99, 100, 101, + 103, 105, 111, 113, 118, 124, 131, 134, 136, 163, 164, 166, 169, 173, 174, 176, + 22, 23, 24, 33, 41, 42, 43, 63, 64, 65, 81, 82, 83, 84, 102, 104, + 106, 125, 126, 129, 150, 151, 153, 154, 170, 171, 177, 193, 194, 195, 204, 211, + 212, 213, 0, 1, 2, 3, 4, 5, 0, 1, 3, 4, 6, 7, 10, 11, + 13, 14, 16, 17, 2, 5, 8, 9, 12, 15, 0, 1, 2, 3, 9, 10, + 11, 12, 18, 19, 20, 21, 31, 32, 34, 35, 40, 41, 43, 44, 49, 51, + 52, 53, 4, 5, 22, 23, 30, 33, 48, 50, 8, 17, 26, 27, 36, 45, + 13, 14, 15, 16, 37, 38, 39, 42, 6, 7, 24, 25, 28, 29, 46, 47, + 0, 1, 2, 3, 4, 5, 8, 9, 10, 11, 15, 16, 20, 21, 22, 23, + 28, 29, 32, 33, 34, 35, 39, 40, 41, 42, 0, 1, 6, 7, 12, 13, + 14, 17, 18, 19, 24, 25, 26, 27, 30, 31, 36, 37, 38, 43, 0, 11, + 3, 13, 17, 22, 2, 9, 26, 29, 1, 10, 25, 30, 5, 8, 14, 23, + 31, 36, 20, 27, 19, 28, 4, 12, 34, 37, 6, 7, 15, 16, 18, 21, + 24, 32, 33, 35, 38, 39, 4, 5, 43, 44, 65, 72, 96, 100, 7, 26, + 88, 112, 3, 6, 22, 27, 41, 42, 51, 56, 63, 68, 76, 81, 87, 95, + 107, 115, 50, 52, 74, 75, 17, 18, 23, 24, 36, 37, 48, 49, 60, 61, + 62, 64, 77, 79, 86, 90, 105, 106, 111, 114, 8, 10, 11, 12, 13, 14, + 15, 16, 25, 29, 30, 31, 32, 33, 34, 35, 46, 47, 58, 59, 66, 67, + 78, 80, 89, 91, 92, 93, 94, 97, 98, 101, 113, 116, 117, 118, 119, 120, + 122, 123, 0, 1, 2, 19, 20, 21, 38, 39, 40, 53, 54, 55, 69, 70, + 73, 83, 84, 85, 102, 103, 104, 108, 109, 110, 9, 28, 45, 57, 71, 82, + 99, 121, 4, 5, 6, 10, 13, 14, 15, 22, 23, 24, 28, 32, 36, 43, + 46, 50, 54, 55, 65, 66, 69, 75, 76, 77, 0, 2, 18, 19, 52, 53, + 62, 63, 3, 21, 51, 61, 11, 27, 49, 64, 35, 37, 57, 59, 1, 20, + 74, 79, 33, 45, 7, 8, 17, 26, 29, 31, 38, 39, 40, 41, 42, 48, + 56, 58, 60, 68, 70, 73, 80, 82, 12, 16, 30, 34, 44, 47, 67, 72, + 78, 81, 9, 25, 71, 83, 3, 26, 37, 52, 4, 5, 19, 20, 47, 51, + 65, 68, 1, 2, 11, 14, 49, 55, 59, 61, 25, 32, 38, 44, 7, 8, + 12, 15, 17, 18, 27, 33, 35, 42, 48, 53, 57, 58, 63, 66, 9, 10, + 16, 22, 23, 28, 29, 30, 34, 36, 40, 41, 43, 46, 50, 60, 64, 67, + 0, 13, 24, 31, 39, 45, 56, 62, 6, 21, 54, 69, 3, 4, 16, 17, + 0, 1, 5, 6, 10, 11, 14, 15, 2, 7, 9, 13, 8, 12, +}; + +const uint16_t GROUP_SEEDS_INDEX_[25422] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 10, 5, 1, 6, 2, 3, 7, 4, 8, 11, 12, 0, 0, 0, 0, 0, 0, 0, 0,