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