{ "schema_version": "0.2", "name": "[[914,18,31]] reduction of [[922,18,31]]", "code_type": "CSS", "n": 914, "k": 18, "checks": { "X": [ [ 0, 3, 45, 65, 462, 483, 502, 526 ], [ 1, 4, 46, 66, 463, 484, 503, 527 ], [ 2, 5, 47, 67, 464, 485, 504, 528 ], [ 3, 6, 48, 68, 465, 486, 505, 529 ], [ 4, 7, 49, 69, 466, 487, 506, 530 ], [ 5, 8, 50, 70, 467, 488, 507, 531 ], [ 6, 9, 51, 71, 468, 489, 508, 532 ], [ 7, 10, 52, 72, 469, 490, 509, 533 ], [ 8, 11, 53, 73, 470, 491, 510, 534 ], [ 9, 12, 54, 74, 471, 492, 511, 535 ], [ 10, 13, 55, 75, 472, 493, 512, 536 ], [ 11, 14, 56, 76, 473, 494, 513, 537 ], [ 12, 57, 77, 474, 478, 495, 514, 538 ], [ 13, 15, 58, 78, 475, 496, 515, 539 ], [ 14, 16, 59, 79, 476, 497, 516, 540 ], [ 17, 60, 80, 477, 478, 498, 517, 541 ], [ 15, 18, 61, 81, 478, 499, 518, 542 ], [ 16, 19, 62, 82, 479, 500, 519, 543 ], [ 20, 23, 66, 86, 481, 504, 523, 547 ], [ 22, 25, 68, 88, 483, 506, 524, 549 ], [ 23, 26, 69, 89, 484, 507, 525, 550 ], [ 24, 27, 70, 90, 485, 508, 526, 551 ], [ 25, 28, 71, 91, 486, 509, 527, 552 ], [ 26, 29, 72, 92, 487, 510, 528, 553 ], [ 27, 30, 73, 93, 488, 511, 529, 554 ], [ 28, 31, 74, 94, 489, 512, 530, 555 ], [ 29, 32, 75, 95, 490, 513, 531, 556 ], [ 30, 33, 76, 96, 491, 514, 532, 557 ], [ 31, 34, 77, 97, 492, 515, 533, 558 ], [ 32, 35, 78, 98, 493, 516, 534, 559 ], [ 33, 36, 79, 99, 494, 517, 535, 560 ], [ 34, 37, 80, 100, 495, 518, 536, 561 ], [ 35, 38, 81, 101, 496, 519, 537, 562 ], [ 36, 39, 82, 102, 497, 520, 538, 563 ], [ 37, 40, 83, 103, 498, 521, 539, 564 ], [ 38, 41, 84, 104, 499, 522, 540, 565 ], [ 42, 45, 88, 108, 503, 525, 544, 569 ], [ 43, 46, 89, 109, 504, 526, 545, 570 ], [ 44, 47, 90, 110, 505, 527, 546, 571 ], [ 45, 48, 91, 111, 506, 528, 547, 572 ], [ 46, 49, 92, 112, 507, 529, 548, 573 ], [ 47, 50, 93, 113, 508, 530, 549, 574 ], [ 48, 51, 94, 114, 509, 531, 550, 575 ], [ 49, 52, 95, 115, 510, 532, 551, 576 ], [ 50, 53, 96, 116, 511, 533, 552, 577 ], [ 51, 54, 97, 117, 512, 534, 553, 578 ], [ 52, 55, 98, 118, 513, 535, 554, 579 ], [ 53, 56, 99, 119, 514, 536, 555, 580 ], [ 54, 57, 100, 120, 515, 537, 556, 581 ], [ 55, 58, 101, 121, 516, 538, 557, 582 ], [ 56, 59, 102, 122, 517, 539, 558, 583 ], [ 57, 60, 103, 123, 518, 540, 559, 584 ], [ 58, 61, 104, 124, 519, 541, 560, 585 ], [ 59, 62, 105, 125, 520, 542, 561, 586 ], [ 60, 63, 106, 126, 521, 543, 562, 587 ], [ 64, 67, 110, 130, 524, 547, 566, 591 ], [ 65, 68, 111, 131, 525, 548, 567, 592 ], [ 66, 69, 112, 132, 526, 549, 568, 593 ], [ 67, 70, 113, 133, 527, 550, 569, 594 ], [ 68, 71, 114, 134, 528, 551, 570, 595 ], [ 69, 72, 115, 135, 529, 552, 571, 596 ], [ 70, 73, 116, 136, 530, 553, 572, 597 ], [ 71, 74, 117, 137, 531, 554, 573, 598 ], [ 72, 75, 118, 138, 532, 555, 574, 599 ], [ 73, 76, 119, 139, 533, 556, 575, 600 ], [ 74, 77, 120, 140, 534, 557, 576, 601 ], [ 75, 78, 121, 141, 535, 558, 577, 602 ], [ 76, 79, 122, 142, 536, 559, 578, 603 ], [ 77, 80, 123, 143, 537, 560, 579, 604 ], [ 78, 81, 124, 144, 538, 561, 580, 605 ], [ 79, 82, 125, 145, 539, 562, 581, 606 ], [ 80, 83, 126, 146, 540, 563, 582, 607 ], [ 81, 84, 127, 147, 541, 564, 583, 608 ], [ 82, 85, 128, 148, 542, 565, 584, 609 ], [ 86, 89, 132, 152, 546, 569, 588, 612 ], [ 87, 90, 133, 153, 547, 570, 589, 613 ], [ 88, 91, 134, 154, 548, 571, 590, 614 ], [ 89, 92, 135, 155, 549, 572, 591, 615 ], [ 90, 93, 136, 156, 550, 573, 592, 616 ], [ 91, 94, 137, 157, 551, 574, 593, 617 ], [ 92, 95, 138, 158, 552, 575, 594, 618 ], [ 93, 96, 139, 159, 553, 576, 595, 619 ], [ 94, 97, 140, 160, 554, 577, 596, 620 ], [ 95, 98, 141, 161, 555, 578, 597, 621 ], [ 96, 99, 142, 162, 556, 579, 598, 622 ], [ 97, 100, 143, 163, 557, 580, 599, 623 ], [ 98, 101, 144, 164, 558, 581, 600, 624 ], [ 99, 102, 145, 165, 559, 582, 601, 625 ], [ 100, 103, 146, 166, 560, 583, 602, 626 ], [ 101, 104, 147, 167, 561, 584, 603, 627 ], [ 102, 105, 148, 168, 562, 585, 604, 628 ], [ 103, 106, 149, 169, 563, 586, 605, 629 ], [ 104, 107, 150, 170, 564, 587, 606, 630 ], [ 109, 112, 155, 175, 569, 592, 610, 635 ], [ 110, 113, 156, 176, 570, 593, 611, 636 ], [ 111, 114, 157, 177, 571, 594, 612, 637 ], [ 112, 115, 158, 178, 572, 595, 613, 638 ], [ 113, 116, 159, 179, 573, 596, 614, 639 ], [ 114, 117, 160, 180, 574, 597, 615, 640 ], [ 115, 118, 161, 181, 575, 598, 616, 641 ], [ 116, 119, 162, 182, 576, 599, 617, 642 ], [ 117, 120, 163, 183, 577, 600, 618, 643 ], [ 118, 121, 164, 184, 578, 601, 619, 644 ], [ 119, 122, 165, 185, 579, 602, 620, 645 ], [ 120, 123, 166, 186, 580, 603, 621, 646 ], [ 121, 124, 167, 187, 581, 604, 622, 647 ], [ 122, 125, 168, 188, 582, 605, 623, 648 ], [ 123, 126, 169, 189, 583, 606, 624, 649 ], [ 124, 127, 170, 190, 584, 607, 625, 650 ], [ 125, 128, 171, 191, 585, 608, 626, 651 ], [ 126, 129, 172, 192, 586, 609, 627, 652 ], [ 130, 133, 176, 196, 590, 612, 631, 656 ], [ 131, 134, 177, 197, 591, 613, 632, 657 ], [ 132, 135, 178, 198, 592, 614, 633, 658 ], [ 133, 136, 179, 199, 593, 615, 634, 659 ], [ 134, 137, 180, 200, 594, 616, 635, 660 ], [ 135, 138, 181, 201, 595, 617, 636, 661 ], [ 136, 139, 182, 202, 596, 618, 637, 662 ], [ 137, 140, 183, 203, 597, 619, 638, 663 ], [ 138, 141, 184, 204, 598, 620, 639, 664 ], [ 139, 142, 185, 205, 599, 621, 640, 665 ], [ 140, 143, 186, 206, 600, 622, 641, 666 ], [ 141, 144, 187, 207, 601, 623, 642, 667 ], [ 142, 145, 188, 208, 602, 624, 643, 668 ], [ 143, 146, 189, 209, 603, 625, 644, 669 ], [ 144, 147, 190, 210, 604, 626, 645, 670 ], [ 145, 148, 191, 211, 605, 627, 646, 671 ], [ 146, 149, 192, 212, 606, 628, 647, 672 ], [ 147, 150, 193, 213, 607, 629, 648, 673 ], [ 148, 151, 194, 214, 608, 630, 649, 674 ], [ 152, 155, 198, 218, 611, 634, 653, 678 ], [ 153, 156, 199, 219, 612, 635, 654, 679 ], [ 154, 157, 200, 220, 613, 636, 655, 680 ], [ 155, 158, 201, 221, 614, 637, 656, 681 ], [ 156, 159, 202, 222, 615, 638, 657, 682 ], [ 157, 160, 203, 223, 616, 639, 658, 683 ], [ 158, 161, 204, 224, 617, 640, 659, 684 ], [ 159, 162, 205, 225, 618, 641, 660, 685 ], [ 160, 163, 206, 226, 619, 642, 661, 686 ], [ 161, 164, 207, 227, 620, 643, 662, 687 ], [ 162, 165, 208, 228, 621, 644, 663, 688 ], [ 163, 166, 209, 229, 622, 645, 664, 689 ], [ 164, 167, 210, 230, 623, 646, 665, 690 ], [ 165, 168, 211, 231, 624, 647, 666, 691 ], [ 166, 169, 212, 232, 625, 648, 667, 692 ], [ 167, 170, 213, 233, 626, 649, 668, 693 ], [ 168, 171, 214, 234, 627, 650, 669, 694 ], [ 169, 172, 215, 235, 628, 651, 670, 695 ], [ 170, 173, 216, 236, 629, 652, 671, 696 ], [ 174, 177, 220, 240, 633, 656, 675, 699 ], [ 175, 178, 221, 241, 634, 657, 676, 700 ], [ 176, 179, 222, 242, 635, 658, 677, 701 ], [ 177, 180, 223, 243, 636, 659, 678, 702 ], [ 178, 181, 224, 244, 637, 660, 679, 703 ], [ 179, 182, 225, 245, 638, 661, 680, 704 ], [ 180, 183, 226, 246, 639, 662, 681, 705 ], [ 181, 184, 227, 247, 640, 663, 682, 706 ], [ 182, 185, 228, 248, 641, 664, 683, 707 ], [ 183, 186, 229, 249, 642, 665, 684, 708 ], [ 184, 187, 230, 250, 643, 666, 685, 709 ], [ 185, 188, 231, 251, 644, 667, 686, 710 ], [ 186, 189, 232, 252, 645, 668, 687, 711 ], [ 187, 190, 233, 253, 646, 669, 688, 712 ], [ 188, 191, 234, 254, 647, 670, 689, 713 ], [ 189, 192, 235, 255, 648, 671, 690, 714 ], [ 190, 193, 236, 256, 649, 672, 691, 715 ], [ 191, 194, 237, 257, 650, 673, 692, 716 ], [ 192, 195, 238, 258, 651, 674, 693, 717 ], [ 196, 199, 242, 262, 655, 678, 697, 720 ], [ 198, 201, 244, 264, 657, 680, 698, 722 ], [ 199, 202, 245, 265, 658, 681, 699, 723 ], [ 200, 203, 246, 266, 659, 682, 700, 724 ], [ 201, 204, 247, 267, 660, 683, 701, 725 ], [ 202, 205, 248, 268, 661, 684, 702, 726 ], [ 203, 206, 249, 269, 662, 685, 703, 727 ], [ 204, 207, 250, 270, 663, 686, 704, 728 ], [ 205, 208, 251, 271, 664, 687, 705, 729 ], [ 206, 209, 252, 272, 665, 688, 706, 730 ], [ 207, 210, 253, 273, 666, 689, 707, 731 ], [ 208, 211, 254, 274, 667, 690, 708, 732 ], [ 209, 212, 255, 275, 668, 691, 709, 733 ], [ 210, 213, 256, 276, 669, 692, 710, 734 ], [ 211, 214, 257, 277, 670, 693, 711, 735 ], [ 212, 215, 258, 278, 671, 694, 712, 736 ], [ 213, 216, 259, 279, 672, 695, 713, 737 ], [ 214, 217, 260, 280, 673, 696, 714, 738 ], [ 219, 222, 265, 285, 678, 700, 718, 743 ], [ 220, 223, 266, 286, 679, 701, 719, 744 ], [ 221, 224, 267, 287, 680, 702, 720, 745 ], [ 222, 225, 268, 288, 681, 703, 721, 746 ], [ 223, 226, 269, 289, 682, 704, 722, 747 ], [ 224, 227, 270, 290, 683, 705, 723, 748 ], [ 225, 228, 271, 291, 684, 706, 724, 749 ], [ 226, 229, 272, 292, 685, 707, 725, 750 ], [ 227, 230, 273, 293, 686, 708, 726, 751 ], [ 228, 231, 274, 294, 687, 709, 727, 752 ], [ 229, 232, 275, 295, 688, 710, 728, 753 ], [ 230, 233, 276, 296, 689, 711, 729, 754 ], [ 231, 234, 277, 297, 690, 712, 730, 755 ], [ 232, 235, 278, 298, 691, 713, 731, 756 ], [ 233, 236, 279, 299, 692, 714, 732, 757 ], [ 234, 237, 280, 300, 693, 715, 733, 758 ], [ 235, 238, 281, 301, 694, 716, 734, 759 ], [ 236, 239, 282, 302, 695, 717, 735, 760 ], [ 240, 243, 286, 306, 698, 720, 739, 764 ], [ 241, 244, 287, 307, 699, 721, 740, 765 ], [ 242, 245, 288, 308, 700, 722, 741, 766 ], [ 243, 246, 289, 309, 701, 723, 742, 767 ], [ 244, 247, 290, 310, 702, 724, 743, 768 ], [ 245, 248, 291, 311, 703, 725, 744, 769 ], [ 246, 249, 292, 312, 704, 726, 745, 770 ], [ 247, 250, 293, 313, 705, 727, 746, 771 ], [ 248, 251, 294, 314, 706, 728, 747, 772 ], [ 249, 252, 295, 315, 707, 729, 748, 773 ], [ 250, 253, 296, 316, 708, 730, 749, 774 ], [ 251, 254, 297, 317, 709, 731, 750, 775 ], [ 252, 255, 298, 318, 710, 732, 751, 776 ], [ 253, 256, 299, 319, 711, 733, 752, 777 ], [ 254, 257, 300, 320, 712, 734, 753, 778 ], [ 255, 258, 301, 321, 713, 735, 754, 779 ], [ 256, 259, 302, 322, 714, 736, 755, 780 ], [ 257, 260, 303, 323, 715, 737, 756, 781 ], [ 258, 261, 304, 324, 716, 738, 757, 782 ], [ 262, 265, 308, 328, 719, 742, 761, 786 ], [ 263, 266, 309, 329, 720, 743, 762, 787 ], [ 264, 267, 310, 330, 721, 744, 763, 788 ], [ 265, 268, 311, 331, 722, 745, 764, 789 ], [ 266, 269, 312, 332, 723, 746, 765, 790 ], [ 267, 270, 313, 333, 724, 747, 766, 791 ], [ 268, 271, 314, 334, 725, 748, 767, 792 ], [ 269, 272, 315, 335, 726, 749, 768, 793 ], [ 270, 273, 316, 336, 727, 750, 769, 794 ], [ 271, 274, 317, 337, 728, 751, 770, 795 ], [ 272, 275, 318, 338, 729, 752, 771, 796 ], [ 273, 276, 319, 339, 730, 753, 772, 797 ], [ 274, 277, 320, 340, 731, 754, 773, 798 ], [ 275, 278, 321, 341, 732, 755, 774, 799 ], [ 276, 279, 322, 342, 733, 756, 775, 800 ], [ 277, 280, 323, 343, 734, 757, 776, 801 ], [ 278, 281, 324, 344, 735, 758, 777, 802 ], [ 279, 282, 325, 345, 736, 759, 778, 803 ], [ 280, 283, 326, 346, 737, 760, 779, 804 ], [ 284, 287, 330, 350, 741, 764, 783, 808 ], [ 285, 288, 331, 351, 742, 765, 784, 809 ], [ 286, 289, 332, 352, 743, 766, 785, 810 ], [ 287, 290, 333, 353, 744, 767, 786, 811 ], [ 288, 291, 334, 354, 745, 768, 787, 812 ], [ 289, 292, 335, 355, 746, 769, 788, 813 ], [ 290, 293, 336, 356, 747, 770, 789, 814 ], [ 291, 294, 337, 357, 748, 771, 790, 815 ], [ 292, 295, 338, 358, 749, 772, 791, 816 ], [ 293, 296, 339, 359, 750, 773, 792, 817 ], [ 294, 297, 340, 360, 751, 774, 793, 818 ], [ 295, 298, 341, 361, 752, 775, 794, 819 ], [ 296, 299, 342, 362, 753, 776, 795, 820 ], [ 297, 300, 343, 363, 754, 777, 796, 821 ], [ 298, 301, 344, 364, 755, 778, 797, 822 ], [ 299, 302, 345, 365, 756, 779, 798, 823 ], [ 300, 303, 346, 366, 757, 780, 799, 824 ], [ 301, 304, 347, 367, 758, 781, 800, 825 ], [ 302, 305, 348, 368, 759, 782, 801, 826 ], [ 306, 309, 352, 372, 763, 786, 805, 830 ], [ 307, 310, 353, 373, 764, 787, 806, 831 ], [ 308, 311, 354, 374, 765, 788, 807, 832 ], [ 309, 312, 355, 375, 766, 789, 808, 833 ], [ 310, 313, 356, 376, 767, 790, 809, 834 ], [ 311, 314, 357, 377, 768, 791, 810, 835 ], [ 312, 315, 358, 378, 769, 792, 811, 836 ], [ 313, 316, 359, 379, 770, 793, 812, 837 ], [ 314, 317, 360, 380, 771, 794, 813, 838 ], [ 315, 318, 361, 381, 772, 795, 814, 839 ], [ 316, 319, 362, 382, 773, 796, 815, 840 ], [ 317, 320, 363, 383, 774, 797, 816, 841 ], [ 318, 321, 364, 384, 775, 798, 817, 842 ], [ 319, 322, 365, 385, 776, 799, 818, 843 ], [ 320, 323, 366, 386, 777, 800, 819, 844 ], [ 321, 324, 367, 387, 778, 801, 820, 845 ], [ 322, 325, 368, 388, 779, 802, 821, 846 ], [ 323, 326, 369, 389, 780, 803, 822, 847 ], [ 324, 327, 370, 390, 781, 804, 823, 848 ], [ 328, 331, 374, 394, 785, 808, 827, 852 ], [ 329, 332, 375, 395, 786, 809, 828, 853 ], [ 330, 333, 376, 396, 787, 810, 829, 854 ], [ 331, 334, 377, 397, 788, 811, 830, 855 ], [ 332, 335, 378, 398, 789, 812, 831, 856 ], [ 333, 336, 379, 399, 790, 813, 832, 857 ], [ 334, 337, 380, 400, 791, 814, 833, 858 ], [ 335, 338, 381, 401, 792, 815, 834, 859 ], [ 336, 339, 382, 402, 793, 816, 835, 860 ], [ 337, 340, 383, 403, 794, 817, 836, 861 ], [ 338, 341, 384, 404, 795, 818, 837, 862 ], [ 339, 342, 385, 405, 796, 819, 838, 863 ], [ 340, 343, 386, 406, 797, 820, 839, 864 ], [ 341, 344, 387, 407, 798, 821, 840, 865 ], [ 342, 345, 388, 408, 799, 822, 841, 866 ], [ 343, 346, 389, 409, 800, 823, 842, 867 ], [ 344, 347, 390, 410, 801, 824, 843, 868 ], [ 345, 348, 391, 411, 802, 825, 844, 869 ], [ 346, 349, 392, 412, 803, 826, 845, 870 ], [ 350, 353, 396, 415, 807, 830, 849, 874 ], [ 351, 354, 397, 416, 808, 831, 850, 875 ], [ 352, 355, 398, 417, 809, 832, 851, 876 ], [ 353, 356, 399, 418, 810, 833, 852, 877 ], [ 354, 357, 400, 419, 811, 834, 853, 878 ], [ 355, 358, 401, 420, 812, 835, 854, 879 ], [ 356, 359, 402, 421, 813, 836, 855, 880 ], [ 357, 360, 403, 422, 814, 837, 856, 881 ], [ 358, 361, 404, 423, 815, 838, 857, 882 ], [ 359, 362, 405, 424, 816, 839, 858, 883 ], [ 360, 363, 406, 425, 817, 840, 859, 884 ], [ 361, 364, 407, 426, 818, 841, 860, 885 ], [ 362, 365, 408, 427, 819, 842, 861, 886 ], [ 363, 366, 409, 428, 820, 843, 862, 887 ], [ 364, 367, 410, 429, 821, 844, 863, 888 ], [ 365, 368, 411, 430, 822, 845, 864, 889 ], [ 366, 369, 412, 431, 823, 846, 865, 890 ], [ 367, 370, 413, 432, 824, 847, 866, 891 ], [ 368, 371, 414, 433, 825, 848, 867, 892 ], [ 372, 375, 417, 437, 829, 852, 871, 895 ], [ 373, 376, 418, 438, 830, 853, 872, 896 ], [ 374, 377, 419, 439, 831, 854, 873, 897 ], [ 375, 378, 420, 440, 832, 855, 874, 898 ], [ 376, 379, 421, 441, 833, 856, 875, 899 ], [ 377, 380, 422, 442, 834, 857, 876, 900 ], [ 378, 381, 423, 443, 835, 858, 877, 901 ], [ 379, 382, 424, 444, 836, 859, 878, 902 ], [ 380, 383, 425, 445, 837, 860, 879, 903 ], [ 381, 384, 426, 446, 838, 861, 880, 904 ], [ 382, 385, 427, 447, 839, 862, 881, 905 ], [ 383, 386, 428, 448, 840, 863, 882, 906 ], [ 384, 387, 429, 449, 841, 864, 883, 907 ], [ 385, 388, 430, 450, 842, 865, 884, 908 ], [ 386, 389, 431, 451, 843, 866, 885, 909 ], [ 387, 390, 432, 452, 844, 867, 886, 910 ], [ 388, 391, 433, 453, 845, 868, 887, 911 ], [ 389, 392, 434, 454, 846, 869, 888, 912 ], [ 390, 393, 435, 455, 847, 870, 889, 913 ], [ 2, 465 ], [ 0, 463 ], [ 1, 464 ], [ 2, 465 ], [ 3, 466 ], [ 4, 467 ], [ 5, 468 ], [ 6, 469 ], [ 7, 470 ], [ 8, 471 ], [ 9, 472 ], [ 10, 473 ], [ 11, 474 ], [ 12, 475 ], [ 13, 476 ], [ 14, 477 ], [ 15, 479 ], [ 16, 480 ], [ 1, 20, 459, 482 ], [ 2, 21, 460, 483 ], [ 3, 22, 461, 484 ], [ 5, 24, 463, 486 ], [ 6, 25, 464, 487 ], [ 7, 26, 465, 488 ], [ 8, 27, 466, 489 ], [ 9, 28, 467, 490 ], [ 10, 29, 468, 491 ], [ 11, 30, 469, 492 ], [ 12, 31, 470, 493 ], [ 13, 32, 471, 494 ], [ 14, 33, 472, 495 ], [ 34, 473, 478, 496 ], [ 15, 35, 474, 497 ], [ 16, 36, 475, 498 ], [ 17, 37, 476, 499 ], [ 18, 38, 477, 500 ], [ 2, 44, 64, 461, 462, 482, 501, 525 ], [ 3, 45, 65, 462, 463, 483, 502, 526 ], [ 4, 46, 66, 463, 464, 484, 503, 527 ], [ 5, 47, 67, 464, 465, 485, 504, 528 ], [ 6, 48, 68, 465, 466, 486, 505, 529 ], [ 7, 49, 69, 466, 467, 487, 506, 530 ], [ 8, 50, 70, 467, 468, 488, 507, 531 ], [ 9, 51, 71, 468, 469, 489, 508, 532 ], [ 10, 52, 72, 469, 470, 490, 509, 533 ], [ 11, 53, 73, 470, 471, 491, 510, 534 ], [ 12, 54, 74, 471, 472, 492, 511, 535 ], [ 13, 55, 75, 472, 473, 493, 512, 536 ], [ 14, 56, 76, 473, 474, 494, 513, 537 ], [ 57, 77, 474, 475, 478, 495, 514, 538 ], [ 15, 58, 78, 475, 476, 496, 515, 539 ], [ 16, 59, 79, 476, 477, 497, 516, 540 ], [ 17, 60, 80, 477, 478, 498, 517, 541 ], [ 18, 61, 81, 478, 479, 499, 518, 542 ], [ 19, 62, 82, 479, 480, 500, 519, 543 ], [ 4, 23, 462, 485 ], [ 24, 44, 464, 481, 506 ], [ 25, 45, 465, 482, 507 ], [ 26, 46, 466, 483, 508 ], [ 27, 47, 467, 484, 509 ], [ 28, 48, 468, 485, 510 ], [ 29, 49, 469, 486, 511 ], [ 30, 50, 470, 487, 512 ], [ 31, 51, 471, 488, 513 ], [ 32, 52, 472, 489, 514 ], [ 33, 53, 473, 490, 515 ], [ 34, 54, 474, 491, 516 ], [ 35, 55, 475, 492, 517 ], [ 36, 56, 476, 493, 518 ], [ 37, 57, 477, 494, 519 ], [ 38, 58, 478, 495, 520 ], [ 39, 59, 479, 496, 521 ], [ 40, 60, 480, 497, 522 ], [ 395, 398, 440, 852, 875, 893 ], [ 396, 399, 441, 853, 876, 894 ], [ 397, 400, 442, 854, 877, 895 ], [ 398, 401, 443, 855, 878, 896 ], [ 399, 402, 444, 856, 879, 897 ], [ 400, 403, 445, 857, 880, 898 ], [ 401, 404, 446, 858, 881, 899 ], [ 402, 405, 447, 859, 882, 900 ], [ 403, 406, 448, 860, 883, 901 ], [ 404, 407, 449, 861, 884, 902 ], [ 405, 408, 450, 862, 885, 903 ], [ 406, 409, 451, 863, 886, 904 ], [ 407, 410, 452, 864, 887, 905 ], [ 408, 411, 453, 865, 888, 906 ], [ 409, 412, 454, 866, 889, 907 ], [ 410, 413, 455, 867, 890, 908 ], [ 411, 414, 456, 868, 891, 909 ], [ 415, 418, 873, 895 ], [ 416, 419, 874, 896 ], [ 417, 420, 875, 897 ], [ 418, 421, 876, 898 ], [ 419, 422, 877, 899 ], [ 420, 423, 878, 900 ], [ 421, 424, 879, 901 ], [ 422, 425, 880, 902 ], [ 423, 426, 881, 903 ], [ 424, 427, 882, 904 ], [ 425, 428, 883, 905 ], [ 426, 429, 884, 906 ], [ 427, 430, 885, 907 ], [ 428, 431, 886, 908 ], [ 429, 432, 887, 909 ], [ 430, 433, 888, 910 ], [ 431, 434, 889, 911 ], [ 432, 435, 890, 912 ], [ 433, 436, 891, 913 ], [ 437, 440, 894 ], [ 438, 441, 895 ], [ 439, 442, 896 ], [ 440, 443, 897 ], [ 441, 444, 898 ], [ 442, 445, 899 ], [ 443, 446, 900 ], [ 444, 447, 901 ], [ 445, 448, 902 ], [ 446, 449, 903 ], [ 447, 450, 904 ], [ 448, 451, 905 ], [ 449, 452, 906 ], [ 450, 453, 907 ], [ 451, 454, 908 ], [ 452, 455, 909 ], [ 453, 456, 910 ], [ 454, 457, 911 ], [ 455, 458, 912 ] ], "Z": [ [ 23, 42, 65, 462, 523, 525 ], [ 0, 24, 43, 66, 463, 481, 526 ], [ 1, 25, 44, 67, 464, 482, 524, 527 ], [ 2, 26, 45, 68, 465, 483, 525, 528 ], [ 3, 27, 46, 69, 466, 484, 526, 529 ], [ 4, 28, 47, 70, 467, 485, 527, 530 ], [ 5, 29, 48, 71, 468, 486, 528, 531 ], [ 6, 30, 49, 72, 469, 487, 529, 532 ], [ 7, 31, 50, 73, 470, 488, 530, 533 ], [ 8, 32, 51, 74, 471, 489, 531, 534 ], [ 9, 33, 52, 75, 472, 490, 532, 535 ], [ 10, 34, 53, 76, 473, 491, 533, 536 ], [ 11, 35, 54, 77, 474, 492, 534, 537 ], [ 12, 36, 55, 78, 475, 493, 535, 538 ], [ 13, 37, 56, 79, 476, 494, 536, 539 ], [ 14, 38, 57, 80, 477, 495, 537, 540 ], [ 39, 58, 81, 478, 496, 538, 541 ], [ 15, 40, 59, 82, 479, 497, 539, 542 ], [ 16, 41, 60, 83, 480, 498, 540, 543 ], [ 20, 45, 64, 87, 482, 502, 544, 547 ], [ 21, 46, 65, 88, 483, 503, 545, 548 ], [ 22, 47, 66, 89, 484, 504, 546, 549 ], [ 23, 48, 67, 90, 485, 505, 547, 550 ], [ 24, 49, 68, 91, 486, 506, 548, 551 ], [ 25, 50, 69, 92, 487, 507, 549, 552 ], [ 26, 51, 70, 93, 488, 508, 550, 553 ], [ 27, 52, 71, 94, 489, 509, 551, 554 ], [ 28, 53, 72, 95, 490, 510, 552, 555 ], [ 29, 54, 73, 96, 491, 511, 553, 556 ], [ 30, 55, 74, 97, 492, 512, 554, 557 ], [ 31, 56, 75, 98, 493, 513, 555, 558 ], [ 32, 57, 76, 99, 494, 514, 556, 559 ], [ 33, 58, 77, 100, 495, 515, 557, 560 ], [ 34, 59, 78, 101, 496, 516, 558, 561 ], [ 35, 60, 79, 102, 497, 517, 559, 562 ], [ 36, 61, 80, 103, 498, 518, 560, 563 ], [ 37, 62, 81, 104, 499, 519, 561, 564 ], [ 38, 63, 82, 105, 500, 520, 562, 565 ], [ 42, 67, 86, 109, 504, 566, 569 ], [ 43, 68, 87, 110, 505, 524, 567, 570 ], [ 44, 69, 88, 111, 506, 525, 568, 571 ], [ 45, 70, 89, 112, 507, 526, 569, 572 ], [ 46, 71, 90, 113, 508, 527, 570, 573 ], [ 47, 72, 91, 114, 509, 528, 571, 574 ], [ 48, 73, 92, 115, 510, 529, 572, 575 ], [ 49, 74, 93, 116, 511, 530, 573, 576 ], [ 50, 75, 94, 117, 512, 531, 574, 577 ], [ 51, 76, 95, 118, 513, 532, 575, 578 ], [ 52, 77, 96, 119, 514, 533, 576, 579 ], [ 53, 78, 97, 120, 515, 534, 577, 580 ], [ 54, 79, 98, 121, 516, 535, 578, 581 ], [ 55, 80, 99, 122, 517, 536, 579, 582 ], [ 56, 81, 100, 123, 518, 537, 580, 583 ], [ 57, 82, 101, 124, 519, 538, 581, 584 ], [ 58, 83, 102, 125, 520, 539, 582, 585 ], [ 59, 84, 103, 126, 521, 540, 583, 586 ], [ 60, 85, 104, 127, 522, 541, 584, 587 ], [ 64, 89, 108, 131, 525, 545, 588, 591 ], [ 65, 90, 109, 132, 526, 546, 589, 592 ], [ 66, 91, 110, 133, 527, 547, 590, 593 ], [ 67, 92, 111, 134, 528, 548, 591, 594 ], [ 68, 93, 112, 135, 529, 549, 592, 595 ], [ 69, 94, 113, 136, 530, 550, 593, 596 ], [ 70, 95, 114, 137, 531, 551, 594, 597 ], [ 71, 96, 115, 138, 532, 552, 595, 598 ], [ 72, 97, 116, 139, 533, 553, 596, 599 ], [ 73, 98, 117, 140, 534, 554, 597, 600 ], [ 74, 99, 118, 141, 535, 555, 598, 601 ], [ 75, 100, 119, 142, 536, 556, 599, 602 ], [ 76, 101, 120, 143, 537, 557, 600, 603 ], [ 77, 102, 121, 144, 538, 558, 601, 604 ], [ 78, 103, 122, 145, 539, 559, 602, 605 ], [ 79, 104, 123, 146, 540, 560, 603, 606 ], [ 80, 105, 124, 147, 541, 561, 604, 607 ], [ 81, 106, 125, 148, 542, 562, 605, 608 ], [ 82, 107, 126, 149, 543, 563, 606, 609 ], [ 86, 111, 130, 153, 547, 567, 612 ], [ 87, 112, 131, 154, 548, 568, 610, 613 ], [ 88, 113, 132, 155, 549, 569, 611, 614 ], [ 89, 114, 133, 156, 550, 570, 612, 615 ], [ 90, 115, 134, 157, 551, 571, 613, 616 ], [ 91, 116, 135, 158, 552, 572, 614, 617 ], [ 92, 117, 136, 159, 553, 573, 615, 618 ], [ 93, 118, 137, 160, 554, 574, 616, 619 ], [ 94, 119, 138, 161, 555, 575, 617, 620 ], [ 95, 120, 139, 162, 556, 576, 618, 621 ], [ 96, 121, 140, 163, 557, 577, 619, 622 ], [ 97, 122, 141, 164, 558, 578, 620, 623 ], [ 98, 123, 142, 165, 559, 579, 621, 624 ], [ 99, 124, 143, 166, 560, 580, 622, 625 ], [ 100, 125, 144, 167, 561, 581, 623, 626 ], [ 101, 126, 145, 168, 562, 582, 624, 627 ], [ 102, 127, 146, 169, 563, 583, 625, 628 ], [ 103, 128, 147, 170, 564, 584, 626, 629 ], [ 104, 129, 148, 171, 565, 585, 627, 630 ], [ 108, 133, 152, 175, 569, 589, 631, 634 ], [ 109, 134, 153, 176, 570, 590, 632, 635 ], [ 110, 135, 154, 177, 571, 591, 633, 636 ], [ 111, 136, 155, 178, 572, 592, 634, 637 ], [ 112, 137, 156, 179, 573, 593, 635, 638 ], [ 113, 138, 157, 180, 574, 594, 636, 639 ], [ 114, 139, 158, 181, 575, 595, 637, 640 ], [ 115, 140, 159, 182, 576, 596, 638, 641 ], [ 116, 141, 160, 183, 577, 597, 639, 642 ], [ 117, 142, 161, 184, 578, 598, 640, 643 ], [ 118, 143, 162, 185, 579, 599, 641, 644 ], [ 119, 144, 163, 186, 580, 600, 642, 645 ], [ 120, 145, 164, 187, 581, 601, 643, 646 ], [ 121, 146, 165, 188, 582, 602, 644, 647 ], [ 122, 147, 166, 189, 583, 603, 645, 648 ], [ 123, 148, 167, 190, 584, 604, 646, 649 ], [ 124, 149, 168, 191, 585, 605, 647, 650 ], [ 125, 150, 169, 192, 586, 606, 648, 651 ], [ 126, 151, 170, 193, 587, 607, 649, 652 ], [ 130, 155, 174, 197, 591, 610, 653, 656 ], [ 131, 156, 175, 198, 592, 611, 654, 657 ], [ 132, 157, 176, 199, 593, 612, 655, 658 ], [ 133, 158, 177, 200, 594, 613, 656, 659 ], [ 134, 159, 178, 201, 595, 614, 657, 660 ], [ 135, 160, 179, 202, 596, 615, 658, 661 ], [ 136, 161, 180, 203, 597, 616, 659, 662 ], [ 137, 162, 181, 204, 598, 617, 660, 663 ], [ 138, 163, 182, 205, 599, 618, 661, 664 ], [ 139, 164, 183, 206, 600, 619, 662, 665 ], [ 140, 165, 184, 207, 601, 620, 663, 666 ], [ 141, 166, 185, 208, 602, 621, 664, 667 ], [ 142, 167, 186, 209, 603, 622, 665, 668 ], [ 143, 168, 187, 210, 604, 623, 666, 669 ], [ 144, 169, 188, 211, 605, 624, 667, 670 ], [ 145, 170, 189, 212, 606, 625, 668, 671 ], [ 146, 171, 190, 213, 607, 626, 669, 672 ], [ 147, 172, 191, 214, 608, 627, 670, 673 ], [ 148, 173, 192, 215, 609, 628, 671, 674 ], [ 152, 177, 196, 219, 612, 632, 675, 678 ], [ 153, 178, 197, 220, 613, 633, 676, 679 ], [ 154, 179, 198, 221, 614, 634, 677, 680 ], [ 155, 180, 199, 222, 615, 635, 678, 681 ], [ 156, 181, 200, 223, 616, 636, 679, 682 ], [ 157, 182, 201, 224, 617, 637, 680, 683 ], [ 158, 183, 202, 225, 618, 638, 681, 684 ], [ 159, 184, 203, 226, 619, 639, 682, 685 ], [ 160, 185, 204, 227, 620, 640, 683, 686 ], [ 161, 186, 205, 228, 621, 641, 684, 687 ], [ 162, 187, 206, 229, 622, 642, 685, 688 ], [ 163, 188, 207, 230, 623, 643, 686, 689 ], [ 164, 189, 208, 231, 624, 644, 687, 690 ], [ 165, 190, 209, 232, 625, 645, 688, 691 ], [ 166, 191, 210, 233, 626, 646, 689, 692 ], [ 167, 192, 211, 234, 627, 647, 690, 693 ], [ 168, 193, 212, 235, 628, 648, 691, 694 ], [ 169, 194, 213, 236, 629, 649, 692, 695 ], [ 170, 195, 214, 237, 630, 650, 693, 696 ], [ 174, 199, 218, 241, 634, 654, 697, 699 ], [ 175, 200, 219, 242, 635, 655, 700 ], [ 176, 201, 220, 243, 636, 656, 698, 701 ], [ 177, 202, 221, 244, 637, 657, 699, 702 ], [ 178, 203, 222, 245, 638, 658, 700, 703 ], [ 179, 204, 223, 246, 639, 659, 701, 704 ], [ 180, 205, 224, 247, 640, 660, 702, 705 ], [ 181, 206, 225, 248, 641, 661, 703, 706 ], [ 182, 207, 226, 249, 642, 662, 704, 707 ], [ 183, 208, 227, 250, 643, 663, 705, 708 ], [ 184, 209, 228, 251, 644, 664, 706, 709 ], [ 185, 210, 229, 252, 645, 665, 707, 710 ], [ 186, 211, 230, 253, 646, 666, 708, 711 ], [ 187, 212, 231, 254, 647, 667, 709, 712 ], [ 188, 213, 232, 255, 648, 668, 710, 713 ], [ 189, 214, 233, 256, 649, 669, 711, 714 ], [ 190, 215, 234, 257, 650, 670, 712, 715 ], [ 191, 216, 235, 258, 651, 671, 713, 716 ], [ 192, 217, 236, 259, 652, 672, 714, 717 ], [ 196, 221, 240, 263, 656, 676, 720 ], [ 197, 222, 241, 264, 657, 677, 718, 721 ], [ 198, 223, 242, 265, 658, 678, 719, 722 ], [ 199, 224, 243, 266, 659, 679, 720, 723 ], [ 200, 225, 244, 267, 660, 680, 721, 724 ], [ 201, 226, 245, 268, 661, 681, 722, 725 ], [ 202, 227, 246, 269, 662, 682, 723, 726 ], [ 203, 228, 247, 270, 663, 683, 724, 727 ], [ 204, 229, 248, 271, 664, 684, 725, 728 ], [ 205, 230, 249, 272, 665, 685, 726, 729 ], [ 206, 231, 250, 273, 666, 686, 727, 730 ], [ 207, 232, 251, 274, 667, 687, 728, 731 ], [ 208, 233, 252, 275, 668, 688, 729, 732 ], [ 209, 234, 253, 276, 669, 689, 730, 733 ], [ 210, 235, 254, 277, 670, 690, 731, 734 ], [ 211, 236, 255, 278, 671, 691, 732, 735 ], [ 212, 237, 256, 279, 672, 692, 733, 736 ], [ 213, 238, 257, 280, 673, 693, 734, 737 ], [ 214, 239, 258, 281, 674, 694, 735, 738 ], [ 218, 243, 262, 285, 678, 739, 742 ], [ 219, 244, 263, 286, 679, 698, 740, 743 ], [ 220, 245, 264, 287, 680, 699, 741, 744 ], [ 221, 246, 265, 288, 681, 700, 742, 745 ], [ 222, 247, 266, 289, 682, 701, 743, 746 ], [ 223, 248, 267, 290, 683, 702, 744, 747 ], [ 224, 249, 268, 291, 684, 703, 745, 748 ], [ 225, 250, 269, 292, 685, 704, 746, 749 ], [ 226, 251, 270, 293, 686, 705, 747, 750 ], [ 227, 252, 271, 294, 687, 706, 748, 751 ], [ 228, 253, 272, 295, 688, 707, 749, 752 ], [ 229, 254, 273, 296, 689, 708, 750, 753 ], [ 230, 255, 274, 297, 690, 709, 751, 754 ], [ 231, 256, 275, 298, 691, 710, 752, 755 ], [ 232, 257, 276, 299, 692, 711, 753, 756 ], [ 233, 258, 277, 300, 693, 712, 754, 757 ], [ 234, 259, 278, 301, 694, 713, 755, 758 ], [ 235, 260, 279, 302, 695, 714, 756, 759 ], [ 236, 261, 280, 303, 696, 715, 757, 760 ], [ 240, 265, 284, 307, 699, 718, 761, 764 ], [ 241, 266, 285, 308, 700, 719, 762, 765 ], [ 242, 267, 286, 309, 701, 720, 763, 766 ], [ 243, 268, 287, 310, 702, 721, 764, 767 ], [ 244, 269, 288, 311, 703, 722, 765, 768 ], [ 245, 270, 289, 312, 704, 723, 766, 769 ], [ 246, 271, 290, 313, 705, 724, 767, 770 ], [ 247, 272, 291, 314, 706, 725, 768, 771 ], [ 248, 273, 292, 315, 707, 726, 769, 772 ], [ 249, 274, 293, 316, 708, 727, 770, 773 ], [ 250, 275, 294, 317, 709, 728, 771, 774 ], [ 251, 276, 295, 318, 710, 729, 772, 775 ], [ 252, 277, 296, 319, 711, 730, 773, 776 ], [ 253, 278, 297, 320, 712, 731, 774, 777 ], [ 254, 279, 298, 321, 713, 732, 775, 778 ], [ 255, 280, 299, 322, 714, 733, 776, 779 ], [ 256, 281, 300, 323, 715, 734, 777, 780 ], [ 257, 282, 301, 324, 716, 735, 778, 781 ], [ 258, 283, 302, 325, 717, 736, 779, 782 ], [ 262, 287, 306, 329, 720, 740, 783, 786 ], [ 263, 288, 307, 330, 721, 741, 784, 787 ], [ 264, 289, 308, 331, 722, 742, 785, 788 ], [ 265, 290, 309, 332, 723, 743, 786, 789 ], [ 266, 291, 310, 333, 724, 744, 787, 790 ], [ 267, 292, 311, 334, 725, 745, 788, 791 ], [ 268, 293, 312, 335, 726, 746, 789, 792 ], [ 269, 294, 313, 336, 727, 747, 790, 793 ], [ 270, 295, 314, 337, 728, 748, 791, 794 ], [ 271, 296, 315, 338, 729, 749, 792, 795 ], [ 272, 297, 316, 339, 730, 750, 793, 796 ], [ 273, 298, 317, 340, 731, 751, 794, 797 ], [ 274, 299, 318, 341, 732, 752, 795, 798 ], [ 275, 300, 319, 342, 733, 753, 796, 799 ], [ 276, 301, 320, 343, 734, 754, 797, 800 ], [ 277, 302, 321, 344, 735, 755, 798, 801 ], [ 278, 303, 322, 345, 736, 756, 799, 802 ], [ 279, 304, 323, 346, 737, 757, 800, 803 ], [ 280, 305, 324, 347, 738, 758, 801, 804 ], [ 284, 309, 328, 351, 742, 762, 805, 808 ], [ 285, 310, 329, 352, 743, 763, 806, 809 ], [ 286, 311, 330, 353, 744, 764, 807, 810 ], [ 287, 312, 331, 354, 745, 765, 808, 811 ], [ 288, 313, 332, 355, 746, 766, 809, 812 ], [ 289, 314, 333, 356, 747, 767, 810, 813 ], [ 290, 315, 334, 357, 748, 768, 811, 814 ], [ 291, 316, 335, 358, 749, 769, 812, 815 ], [ 292, 317, 336, 359, 750, 770, 813, 816 ], [ 293, 318, 337, 360, 751, 771, 814, 817 ], [ 294, 319, 338, 361, 752, 772, 815, 818 ], [ 295, 320, 339, 362, 753, 773, 816, 819 ], [ 296, 321, 340, 363, 754, 774, 817, 820 ], [ 297, 322, 341, 364, 755, 775, 818, 821 ], [ 298, 323, 342, 365, 756, 776, 819, 822 ], [ 299, 324, 343, 366, 757, 777, 820, 823 ], [ 300, 325, 344, 367, 758, 778, 821, 824 ], [ 301, 326, 345, 368, 759, 779, 822, 825 ], [ 302, 327, 346, 369, 760, 780, 823, 826 ], [ 306, 331, 350, 373, 764, 784, 827, 830 ], [ 307, 332, 351, 374, 765, 785, 828, 831 ], [ 308, 333, 352, 375, 766, 786, 829, 832 ], [ 309, 334, 353, 376, 767, 787, 830, 833 ], [ 310, 335, 354, 377, 768, 788, 831, 834 ], [ 311, 336, 355, 378, 769, 789, 832, 835 ], [ 312, 337, 356, 379, 770, 790, 833, 836 ], [ 313, 338, 357, 380, 771, 791, 834, 837 ], [ 314, 339, 358, 381, 772, 792, 835, 838 ], [ 315, 340, 359, 382, 773, 793, 836, 839 ], [ 316, 341, 360, 383, 774, 794, 837, 840 ], [ 317, 342, 361, 384, 775, 795, 838, 841 ], [ 318, 343, 362, 385, 776, 796, 839, 842 ], [ 319, 344, 363, 386, 777, 797, 840, 843 ], [ 320, 345, 364, 387, 778, 798, 841, 844 ], [ 321, 346, 365, 388, 779, 799, 842, 845 ], [ 322, 347, 366, 389, 780, 800, 843, 846 ], [ 323, 348, 367, 390, 781, 801, 844, 847 ], [ 324, 349, 368, 391, 782, 802, 845, 848 ], [ 328, 353, 372, 395, 786, 806, 849, 852 ], [ 329, 354, 373, 396, 787, 807, 850, 853 ], [ 330, 355, 374, 397, 788, 808, 851, 854 ], [ 331, 356, 375, 398, 789, 809, 852, 855 ], [ 332, 357, 376, 399, 790, 810, 853, 856 ], [ 333, 358, 377, 400, 791, 811, 854, 857 ], [ 334, 359, 378, 401, 792, 812, 855, 858 ], [ 335, 360, 379, 402, 793, 813, 856, 859 ], [ 336, 361, 380, 403, 794, 814, 857, 860 ], [ 337, 362, 381, 404, 795, 815, 858, 861 ], [ 338, 363, 382, 405, 796, 816, 859, 862 ], [ 339, 364, 383, 406, 797, 817, 860, 863 ], [ 340, 365, 384, 407, 798, 818, 861, 864 ], [ 341, 366, 385, 408, 799, 819, 862, 865 ], [ 342, 367, 386, 409, 800, 820, 863, 866 ], [ 343, 368, 387, 410, 801, 821, 864, 867 ], [ 344, 369, 388, 411, 802, 822, 865, 868 ], [ 345, 370, 389, 412, 803, 823, 866, 869 ], [ 346, 371, 390, 413, 804, 824, 867, 870 ], [ 350, 375, 394, 416, 808, 828, 871, 874 ], [ 351, 376, 395, 417, 809, 829, 872, 875 ], [ 352, 377, 396, 418, 810, 830, 873, 876 ], [ 353, 378, 397, 419, 811, 831, 874, 877 ], [ 354, 379, 398, 420, 812, 832, 875, 878 ], [ 355, 380, 399, 421, 813, 833, 876, 879 ], [ 356, 381, 400, 422, 814, 834, 877, 880 ], [ 357, 382, 401, 423, 815, 835, 878, 881 ], [ 358, 383, 402, 424, 816, 836, 879, 882 ], [ 359, 384, 403, 425, 817, 837, 880, 883 ], [ 360, 385, 404, 426, 818, 838, 881, 884 ], [ 361, 386, 405, 427, 819, 839, 882, 885 ], [ 362, 387, 406, 428, 820, 840, 883, 886 ], [ 363, 388, 407, 429, 821, 841, 884, 887 ], [ 364, 389, 408, 430, 822, 842, 885, 888 ], [ 365, 390, 409, 431, 823, 843, 886, 889 ], [ 366, 391, 410, 432, 824, 844, 887, 890 ], [ 367, 392, 411, 433, 825, 845, 888, 891 ], [ 368, 393, 412, 434, 826, 846, 889, 892 ], [ 372, 397, 415, 438, 830, 850, 895 ], [ 373, 398, 416, 439, 831, 851, 893, 896 ], [ 374, 399, 417, 440, 832, 852, 894, 897 ], [ 375, 400, 418, 441, 833, 853, 895, 898 ], [ 376, 401, 419, 442, 834, 854, 896, 899 ], [ 377, 402, 420, 443, 835, 855, 897, 900 ], [ 378, 403, 421, 444, 836, 856, 898, 901 ], [ 379, 404, 422, 445, 837, 857, 899, 902 ], [ 380, 405, 423, 446, 838, 858, 900, 903 ], [ 381, 406, 424, 447, 839, 859, 901, 904 ], [ 382, 407, 425, 448, 840, 860, 902, 905 ], [ 383, 408, 426, 449, 841, 861, 903, 906 ], [ 384, 409, 427, 450, 842, 862, 904, 907 ], [ 385, 410, 428, 451, 843, 863, 905, 908 ], [ 386, 411, 429, 452, 844, 864, 906, 909 ], [ 387, 412, 430, 453, 845, 865, 907, 910 ], [ 388, 413, 431, 454, 846, 866, 908, 911 ], [ 389, 414, 432, 455, 847, 867, 909, 912 ], [ 390, 433, 456, 848, 868, 910, 913 ], [ 20, 459, 523 ], [ 42, 544 ], [ 64, 501, 566 ], [ 86, 523, 588 ], [ 108, 544 ], [ 130, 566, 631 ], [ 152, 588, 653 ], [ 174, 675 ], [ 196, 631, 697 ], [ 218, 653 ], [ 240, 675, 739 ], [ 262, 697, 761 ], [ 284, 783 ], [ 306, 739, 805 ], [ 328, 761, 827 ], [ 350, 783, 849 ], [ 372, 805, 871 ], [ 394, 827 ], [ 21, 460 ], [ 43, 545 ], [ 65, 502, 567 ], [ 87, 589 ], [ 109, 545, 610 ], [ 131, 567, 632 ], [ 153, 589, 654 ], [ 175, 610, 676 ], [ 197, 632 ], [ 219, 654, 718 ], [ 241, 676, 740 ], [ 263, 762 ], [ 285, 718, 784 ], [ 307, 740, 806 ], [ 329, 762, 828 ], [ 351, 784, 850 ], [ 373, 806, 872 ], [ 395, 828, 893 ], [ 22, 64, 461, 524 ], [ 44, 86, 481, 501, 546 ], [ 66, 108, 503, 523, 568 ], [ 88, 130, 524, 544, 590 ], [ 110, 152, 546, 566, 611 ], [ 132, 174, 568, 588, 633 ], [ 154, 196, 590, 655 ], [ 176, 218, 611, 631, 677 ], [ 198, 240, 633, 653, 698 ], [ 220, 262, 655, 675, 719 ], [ 242, 284, 677, 697, 741 ], [ 264, 306, 698, 763 ], [ 286, 328, 719, 739, 785 ], [ 308, 350, 741, 761, 807 ], [ 330, 372, 763, 783, 829 ], [ 352, 394, 785, 805, 851 ], [ 374, 415, 807, 827, 873 ], [ 396, 437, 829, 849, 894 ], [ 18, 62, 85, 500, 542 ], [ 40, 84, 107, 522, 564 ], [ 62, 106, 129, 543, 586 ], [ 84, 128, 151, 565, 608 ], [ 106, 150, 173, 587, 629 ], [ 128, 172, 195, 609, 651 ], [ 150, 194, 217, 630, 673 ], [ 172, 216, 239, 652, 695 ], [ 194, 238, 261, 674, 716 ], [ 216, 260, 283, 696, 737 ], [ 238, 282, 305, 717, 759 ], [ 260, 304, 327, 738, 781 ], [ 282, 326, 349, 760, 803 ], [ 304, 348, 371, 782, 825 ], [ 326, 370, 393, 804, 847 ], [ 348, 392, 826, 869 ], [ 370, 414, 436, 848, 891 ], [ 392, 435, 458, 870, 912 ], [ 17, 61, 84, 499, 541 ], [ 39, 83, 106, 521, 563 ], [ 61, 105, 128, 542, 585 ], [ 83, 127, 150, 564, 607 ], [ 105, 149, 172, 586, 628 ], [ 127, 171, 194, 608, 650 ], [ 149, 193, 216, 629, 672 ], [ 171, 215, 238, 651, 694 ], [ 193, 237, 260, 673, 715 ], [ 215, 259, 282, 695, 736 ], [ 237, 281, 304, 716, 758 ], [ 259, 303, 326, 737, 780 ], [ 281, 325, 348, 759, 802 ], [ 303, 347, 370, 781, 824 ], [ 325, 369, 392, 803, 846 ], [ 347, 391, 414, 825, 868 ], [ 369, 413, 435, 847, 890 ], [ 391, 434, 457, 869, 911 ], [ 19, 63, 543 ], [ 41, 85, 565 ], [ 63, 107, 587 ], [ 85, 129, 609 ], [ 107, 151, 630 ], [ 129, 173, 652 ], [ 151, 195, 674 ], [ 173, 217, 696 ], [ 195, 239, 717 ], [ 217, 261, 738 ], [ 239, 283, 760 ], [ 261, 305, 782 ], [ 283, 327, 804 ], [ 305, 349, 826 ], [ 327, 371, 848 ], [ 349, 393, 870 ], [ 371, 892 ], [ 393, 436, 913 ] ] }, "distance": { "d": 31, "X": { "value": 31, "confidence": "upper_bound", "witness": [ 26, 27, 48, 69, 92, 202, 223, 244, 246, 264, 418, 483, 486, 503, 550, 551, 568, 594, 613, 615, 633, 636, 681, 698, 721, 722, 744, 767, 787, 810, 853 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-14", "found_at_samples": 20000000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 991001, 991138, 991275, 991412, 991549 ] } }, "Z": { "value": 31, "confidence": "upper_bound", "witness": [ 14, 18, 24, 27, 31, 44, 51, 54, 57, 76, 84, 104, 107, 477, 486, 489, 493, 495, 501, 505, 509, 511, 514, 516, 518, 520, 533, 536, 538, 541, 561 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-14", "found_at_samples": 1000000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 991001, 991138, 991275, 991412, 991549 ] } } }, "provenance": { "authors": [ "@dorakingx" ], "construction": "Reduction of the board's codes/922-18-31.json ([[922,18,31]]) by 8 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 2: 1, |S| = 4: 1, |S| = 5: 1, |S| = 6: 1, |S| = 7: 1, |S| = 8: 3. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 31, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/922-18-31.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]... (full list implied by the coordinates in this file).", "references": [ "arXiv:2504.08887" ], "date": "2026-10-14", "notes": "Derived from codes/922-18-31.json, not an independent construction; that entry is my own earlier reduction, and this one goes further with a larger move set. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[920,18,31]], [[921,18,31]], [[922,18,31]], [[924,18,31]], [[968,18,31]] on (n, k, d, w), which therefore leave the frontier of every cell they share with it. The measured interaction radius is 6.7082, against 4.24264 for the source: unlike the graft and the cleanup, the merge-graft can widen a check, and it is capped by the locality class rather than by the source's own radius, so the reduced code is less local even though it stays in the same cell. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.", "model": "Claude Opus 5 (Claude Code)", "origin": "submission", "novelty": "unknown" }, "family": "tile", "locality": { "coordinates": [ [ 0.0, 1.0 ], [ 0.0, 2.0 ], [ 0.0, 3.0 ], [ 0.0, 4.0 ], [ 0.0, 5.0 ], [ 0.0, 6.0 ], [ 0.0, 7.0 ], [ 0.0, 8.0 ], [ 0.0, 9.0 ], [ 0.0, 10.0 ], [ 0.0, 11.0 ], [ 0.0, 12.0 ], [ 0.0, 13.0 ], [ 0.0, 14.0 ], [ 0.0, 15.0 ], [ 0.0, 17.0 ], [ 0.0, 18.0 ], [ 0.0, 19.0 ], [ 0.0, 20.0 ], [ 0.0, 21.0 ], [ 1.0, 0.0 ], [ 1.0, 1.0 ], [ 1.0, 2.0 ], [ 1.0, 3.0 ], [ 1.0, 4.0 ], [ 1.0, 5.0 ], [ 1.0, 6.0 ], [ 1.0, 7.0 ], [ 1.0, 8.0 ], [ 1.0, 9.0 ], [ 1.0, 10.0 ], [ 1.0, 11.0 ], [ 1.0, 12.0 ], [ 1.0, 13.0 ], [ 1.0, 14.0 ], [ 1.0, 15.0 ], [ 1.0, 16.0 ], [ 1.0, 17.0 ], [ 1.0, 18.0 ], [ 1.0, 19.0 ], [ 1.0, 20.0 ], [ 1.0, 21.0 ], [ 2.0, 0.0 ], [ 2.0, 1.0 ], [ 2.0, 2.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 5.0 ], [ 2.0, 6.0 ], [ 2.0, 7.0 ], [ 2.0, 8.0 ], [ 2.0, 9.0 ], [ 2.0, 10.0 ], [ 2.0, 11.0 ], [ 2.0, 12.0 ], [ 2.0, 13.0 ], [ 2.0, 14.0 ], [ 2.0, 15.0 ], [ 2.0, 16.0 ], [ 2.0, 17.0 ], [ 2.0, 18.0 ], [ 2.0, 19.0 ], [ 2.0, 20.0 ], [ 2.0, 21.0 ], [ 3.0, 0.0 ], [ 3.0, 1.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 3.0, 9.0 ], [ 3.0, 10.0 ], [ 3.0, 11.0 ], [ 3.0, 12.0 ], [ 3.0, 13.0 ], [ 3.0, 14.0 ], [ 3.0, 15.0 ], [ 3.0, 16.0 ], [ 3.0, 17.0 ], [ 3.0, 18.0 ], [ 3.0, 19.0 ], [ 3.0, 20.0 ], [ 3.0, 21.0 ], [ 4.0, 0.0 ], [ 4.0, 1.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 4.0, 9.0 ], [ 4.0, 10.0 ], [ 4.0, 11.0 ], [ 4.0, 12.0 ], [ 4.0, 13.0 ], [ 4.0, 14.0 ], [ 4.0, 15.0 ], [ 4.0, 16.0 ], [ 4.0, 17.0 ], [ 4.0, 18.0 ], [ 4.0, 19.0 ], [ 4.0, 20.0 ], [ 4.0, 21.0 ], [ 5.0, 0.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 5.0, 9.0 ], [ 5.0, 10.0 ], [ 5.0, 11.0 ], [ 5.0, 12.0 ], [ 5.0, 13.0 ], [ 5.0, 14.0 ], [ 5.0, 15.0 ], [ 5.0, 16.0 ], [ 5.0, 17.0 ], [ 5.0, 18.0 ], [ 5.0, 19.0 ], [ 5.0, 20.0 ], [ 5.0, 21.0 ], [ 6.0, 0.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 6.0, 9.0 ], [ 6.0, 10.0 ], [ 6.0, 11.0 ], [ 6.0, 12.0 ], [ 6.0, 13.0 ], [ 6.0, 14.0 ], [ 6.0, 15.0 ], [ 6.0, 16.0 ], [ 6.0, 17.0 ], [ 6.0, 18.0 ], [ 6.0, 19.0 ], [ 6.0, 20.0 ], [ 6.0, 21.0 ], [ 7.0, 0.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 7.0, 9.0 ], [ 7.0, 10.0 ], [ 7.0, 11.0 ], [ 7.0, 12.0 ], [ 7.0, 13.0 ], [ 7.0, 14.0 ], [ 7.0, 15.0 ], [ 7.0, 16.0 ], [ 7.0, 17.0 ], [ 7.0, 18.0 ], [ 7.0, 19.0 ], [ 7.0, 20.0 ], [ 7.0, 21.0 ], [ 8.0, 0.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 8.0, 9.0 ], [ 8.0, 10.0 ], [ 8.0, 11.0 ], [ 8.0, 12.0 ], [ 8.0, 13.0 ], [ 8.0, 14.0 ], [ 8.0, 15.0 ], [ 8.0, 16.0 ], [ 8.0, 17.0 ], [ 8.0, 18.0 ], [ 8.0, 19.0 ], [ 8.0, 20.0 ], [ 8.0, 21.0 ], [ 9.0, 0.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 9.0, 9.0 ], [ 9.0, 10.0 ], [ 9.0, 11.0 ], [ 9.0, 12.0 ], [ 9.0, 13.0 ], [ 9.0, 14.0 ], [ 9.0, 15.0 ], [ 9.0, 16.0 ], [ 9.0, 17.0 ], [ 9.0, 18.0 ], [ 9.0, 19.0 ], [ 9.0, 20.0 ], [ 9.0, 21.0 ], [ 10.0, 0.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 10.0, 9.0 ], [ 10.0, 10.0 ], [ 10.0, 11.0 ], [ 10.0, 12.0 ], [ 10.0, 13.0 ], [ 10.0, 14.0 ], [ 10.0, 15.0 ], [ 10.0, 16.0 ], [ 10.0, 17.0 ], [ 10.0, 18.0 ], [ 10.0, 19.0 ], [ 10.0, 20.0 ], [ 10.0, 21.0 ], [ 11.0, 0.0 ], [ 11.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 11.0, 10.0 ], [ 11.0, 11.0 ], [ 11.0, 12.0 ], [ 11.0, 13.0 ], [ 11.0, 14.0 ], [ 11.0, 15.0 ], [ 11.0, 16.0 ], [ 11.0, 17.0 ], [ 11.0, 18.0 ], [ 11.0, 19.0 ], [ 11.0, 20.0 ], [ 11.0, 21.0 ], [ 12.0, 0.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 12.0, 9.0 ], [ 12.0, 10.0 ], [ 12.0, 11.0 ], [ 12.0, 12.0 ], [ 12.0, 13.0 ], [ 12.0, 14.0 ], [ 12.0, 15.0 ], [ 12.0, 16.0 ], [ 12.0, 17.0 ], [ 12.0, 18.0 ], [ 12.0, 19.0 ], [ 12.0, 20.0 ], [ 12.0, 21.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 13.0, 10.0 ], [ 13.0, 11.0 ], [ 13.0, 12.0 ], [ 13.0, 13.0 ], [ 13.0, 14.0 ], [ 13.0, 15.0 ], [ 13.0, 16.0 ], [ 13.0, 17.0 ], [ 13.0, 18.0 ], [ 13.0, 19.0 ], [ 13.0, 20.0 ], [ 13.0, 21.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 14.0, 9.0 ], [ 14.0, 10.0 ], [ 14.0, 11.0 ], [ 14.0, 12.0 ], [ 14.0, 13.0 ], [ 14.0, 14.0 ], [ 14.0, 15.0 ], [ 14.0, 16.0 ], [ 14.0, 17.0 ], [ 14.0, 18.0 ], [ 14.0, 19.0 ], [ 14.0, 20.0 ], [ 14.0, 21.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 15.0, 9.0 ], [ 15.0, 10.0 ], [ 15.0, 11.0 ], [ 15.0, 12.0 ], [ 15.0, 13.0 ], [ 15.0, 14.0 ], [ 15.0, 15.0 ], [ 15.0, 16.0 ], [ 15.0, 17.0 ], [ 15.0, 18.0 ], [ 15.0, 19.0 ], [ 15.0, 20.0 ], [ 15.0, 21.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 16.0, 9.0 ], [ 16.0, 10.0 ], [ 16.0, 11.0 ], [ 16.0, 12.0 ], [ 16.0, 13.0 ], [ 16.0, 14.0 ], [ 16.0, 15.0 ], [ 16.0, 16.0 ], [ 16.0, 17.0 ], [ 16.0, 18.0 ], [ 16.0, 19.0 ], [ 16.0, 20.0 ], [ 16.0, 21.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 17.0, 8.0 ], [ 17.0, 9.0 ], [ 17.0, 10.0 ], [ 17.0, 11.0 ], [ 17.0, 12.0 ], [ 17.0, 13.0 ], [ 17.0, 14.0 ], [ 17.0, 15.0 ], [ 17.0, 16.0 ], [ 17.0, 17.0 ], [ 17.0, 18.0 ], [ 17.0, 19.0 ], [ 17.0, 20.0 ], [ 17.0, 21.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 18.0, 9.0 ], [ 18.0, 10.0 ], [ 18.0, 11.0 ], [ 18.0, 12.0 ], [ 18.0, 13.0 ], [ 18.0, 14.0 ], [ 18.0, 15.0 ], [ 18.0, 16.0 ], [ 18.0, 17.0 ], [ 18.0, 18.0 ], [ 18.0, 19.0 ], [ 18.0, 20.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 19.0, 9.0 ], [ 19.0, 10.0 ], [ 19.0, 11.0 ], [ 19.0, 12.0 ], [ 19.0, 13.0 ], [ 19.0, 14.0 ], [ 19.0, 15.0 ], [ 19.0, 16.0 ], [ 19.0, 17.0 ], [ 19.0, 18.0 ], [ 19.0, 19.0 ], [ 19.0, 20.0 ], [ 19.0, 21.0 ], [ 20.0, 0.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 20.0, 9.0 ], [ 20.0, 10.0 ], [ 20.0, 11.0 ], [ 20.0, 12.0 ], [ 20.0, 13.0 ], [ 20.0, 14.0 ], [ 20.0, 15.0 ], [ 20.0, 16.0 ], [ 20.0, 17.0 ], [ 20.0, 18.0 ], [ 20.0, 19.0 ], [ 20.0, 20.0 ], [ 20.0, 21.0 ], [ 0.0, 0.0 ], [ 0.0, 1.0 ], [ 0.0, 2.0 ], [ 0.0, 3.0 ], [ 0.0, 4.0 ], [ 0.0, 5.0 ], [ 0.0, 6.0 ], [ 0.0, 7.0 ], [ 0.0, 8.0 ], [ 0.0, 9.0 ], [ 0.0, 10.0 ], [ 0.0, 11.0 ], [ 0.0, 12.0 ], [ 0.0, 13.0 ], [ 0.0, 14.0 ], [ 0.0, 15.0 ], [ 0.0, 16.0 ], [ 0.0, 17.0 ], [ 0.0, 18.0 ], [ 0.0, 19.0 ], [ 0.0, 20.0 ], [ 0.0, 21.0 ], [ 1.0, 2.0 ], [ 1.0, 3.0 ], [ 1.0, 4.0 ], [ 1.0, 5.0 ], [ 1.0, 6.0 ], [ 1.0, 7.0 ], [ 1.0, 8.0 ], [ 1.0, 9.0 ], [ 1.0, 10.0 ], [ 1.0, 11.0 ], [ 1.0, 12.0 ], [ 1.0, 13.0 ], [ 1.0, 14.0 ], [ 1.0, 15.0 ], [ 1.0, 16.0 ], [ 1.0, 17.0 ], [ 1.0, 18.0 ], [ 1.0, 19.0 ], [ 1.0, 20.0 ], [ 1.0, 21.0 ], [ 2.0, 0.0 ], [ 2.0, 1.0 ], [ 2.0, 2.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 5.0 ], [ 2.0, 6.0 ], [ 2.0, 7.0 ], [ 2.0, 8.0 ], [ 2.0, 9.0 ], [ 2.0, 10.0 ], [ 2.0, 11.0 ], [ 2.0, 12.0 ], [ 2.0, 13.0 ], [ 2.0, 14.0 ], [ 2.0, 15.0 ], [ 2.0, 16.0 ], [ 2.0, 17.0 ], [ 2.0, 18.0 ], [ 2.0, 19.0 ], [ 2.0, 20.0 ], [ 2.0, 21.0 ], [ 3.0, 0.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 3.0, 9.0 ], [ 3.0, 10.0 ], [ 3.0, 11.0 ], [ 3.0, 12.0 ], [ 3.0, 13.0 ], [ 3.0, 14.0 ], [ 3.0, 15.0 ], [ 3.0, 16.0 ], [ 3.0, 17.0 ], [ 3.0, 18.0 ], [ 3.0, 19.0 ], [ 3.0, 20.0 ], [ 3.0, 21.0 ], [ 4.0, 0.0 ], [ 4.0, 1.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 4.0, 9.0 ], [ 4.0, 10.0 ], [ 4.0, 11.0 ], [ 4.0, 12.0 ], [ 4.0, 13.0 ], [ 4.0, 14.0 ], [ 4.0, 15.0 ], [ 4.0, 16.0 ], [ 4.0, 17.0 ], [ 4.0, 18.0 ], [ 4.0, 19.0 ], [ 4.0, 20.0 ], [ 4.0, 21.0 ], [ 5.0, 0.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 5.0, 9.0 ], [ 5.0, 10.0 ], [ 5.0, 11.0 ], [ 5.0, 12.0 ], [ 5.0, 13.0 ], [ 5.0, 14.0 ], [ 5.0, 15.0 ], [ 5.0, 16.0 ], [ 5.0, 17.0 ], [ 5.0, 18.0 ], [ 5.0, 19.0 ], [ 5.0, 20.0 ], [ 5.0, 21.0 ], [ 6.0, 0.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 6.0, 9.0 ], [ 6.0, 10.0 ], [ 6.0, 11.0 ], [ 6.0, 12.0 ], [ 6.0, 13.0 ], [ 6.0, 14.0 ], [ 6.0, 15.0 ], [ 6.0, 16.0 ], [ 6.0, 17.0 ], [ 6.0, 18.0 ], [ 6.0, 19.0 ], [ 6.0, 20.0 ], [ 6.0, 21.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 7.0, 9.0 ], [ 7.0, 10.0 ], [ 7.0, 11.0 ], [ 7.0, 12.0 ], [ 7.0, 13.0 ], [ 7.0, 14.0 ], [ 7.0, 15.0 ], [ 7.0, 16.0 ], [ 7.0, 17.0 ], [ 7.0, 18.0 ], [ 7.0, 19.0 ], [ 7.0, 20.0 ], [ 7.0, 21.0 ], [ 8.0, 0.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 8.0, 9.0 ], [ 8.0, 10.0 ], [ 8.0, 11.0 ], [ 8.0, 12.0 ], [ 8.0, 13.0 ], [ 8.0, 14.0 ], [ 8.0, 15.0 ], [ 8.0, 16.0 ], [ 8.0, 17.0 ], [ 8.0, 18.0 ], [ 8.0, 19.0 ], [ 8.0, 20.0 ], [ 8.0, 21.0 ], [ 9.0, 0.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 9.0, 9.0 ], [ 9.0, 10.0 ], [ 9.0, 11.0 ], [ 9.0, 12.0 ], [ 9.0, 13.0 ], [ 9.0, 14.0 ], [ 9.0, 15.0 ], [ 9.0, 16.0 ], [ 9.0, 17.0 ], [ 9.0, 18.0 ], [ 9.0, 19.0 ], [ 9.0, 20.0 ], [ 9.0, 21.0 ], [ 10.0, 0.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 10.0, 9.0 ], [ 10.0, 10.0 ], [ 10.0, 11.0 ], [ 10.0, 12.0 ], [ 10.0, 13.0 ], [ 10.0, 14.0 ], [ 10.0, 15.0 ], [ 10.0, 16.0 ], [ 10.0, 17.0 ], [ 10.0, 18.0 ], [ 10.0, 19.0 ], [ 10.0, 20.0 ], [ 10.0, 21.0 ], [ 11.0, 0.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 11.0, 10.0 ], [ 11.0, 11.0 ], [ 11.0, 12.0 ], [ 11.0, 13.0 ], [ 11.0, 14.0 ], [ 11.0, 15.0 ], [ 11.0, 16.0 ], [ 11.0, 17.0 ], [ 11.0, 18.0 ], [ 11.0, 19.0 ], [ 11.0, 20.0 ], [ 11.0, 21.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 12.0, 9.0 ], [ 12.0, 10.0 ], [ 12.0, 11.0 ], [ 12.0, 12.0 ], [ 12.0, 13.0 ], [ 12.0, 14.0 ], [ 12.0, 15.0 ], [ 12.0, 16.0 ], [ 12.0, 17.0 ], [ 12.0, 18.0 ], [ 12.0, 19.0 ], [ 12.0, 20.0 ], [ 12.0, 21.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 13.0, 10.0 ], [ 13.0, 11.0 ], [ 13.0, 12.0 ], [ 13.0, 13.0 ], [ 13.0, 14.0 ], [ 13.0, 15.0 ], [ 13.0, 16.0 ], [ 13.0, 17.0 ], [ 13.0, 18.0 ], [ 13.0, 19.0 ], [ 13.0, 20.0 ], [ 13.0, 21.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 14.0, 9.0 ], [ 14.0, 10.0 ], [ 14.0, 11.0 ], [ 14.0, 12.0 ], [ 14.0, 13.0 ], [ 14.0, 14.0 ], [ 14.0, 15.0 ], [ 14.0, 16.0 ], [ 14.0, 17.0 ], [ 14.0, 18.0 ], [ 14.0, 19.0 ], [ 14.0, 20.0 ], [ 14.0, 21.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 15.0, 9.0 ], [ 15.0, 10.0 ], [ 15.0, 11.0 ], [ 15.0, 12.0 ], [ 15.0, 13.0 ], [ 15.0, 14.0 ], [ 15.0, 15.0 ], [ 15.0, 16.0 ], [ 15.0, 17.0 ], [ 15.0, 18.0 ], [ 15.0, 19.0 ], [ 15.0, 20.0 ], [ 15.0, 21.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 16.0, 9.0 ], [ 16.0, 10.0 ], [ 16.0, 11.0 ], [ 16.0, 12.0 ], [ 16.0, 13.0 ], [ 16.0, 14.0 ], [ 16.0, 15.0 ], [ 16.0, 16.0 ], [ 16.0, 17.0 ], [ 16.0, 18.0 ], [ 16.0, 19.0 ], [ 16.0, 20.0 ], [ 16.0, 21.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 17.0, 8.0 ], [ 17.0, 9.0 ], [ 17.0, 10.0 ], [ 17.0, 11.0 ], [ 17.0, 12.0 ], [ 17.0, 13.0 ], [ 17.0, 14.0 ], [ 17.0, 15.0 ], [ 17.0, 16.0 ], [ 17.0, 17.0 ], [ 17.0, 18.0 ], [ 17.0, 19.0 ], [ 17.0, 20.0 ], [ 17.0, 21.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 18.0, 9.0 ], [ 18.0, 10.0 ], [ 18.0, 11.0 ], [ 18.0, 12.0 ], [ 18.0, 13.0 ], [ 18.0, 14.0 ], [ 18.0, 15.0 ], [ 18.0, 16.0 ], [ 18.0, 17.0 ], [ 18.0, 18.0 ], [ 18.0, 19.0 ], [ 18.0, 20.0 ], [ 18.0, 21.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 19.0, 9.0 ], [ 19.0, 10.0 ], [ 19.0, 11.0 ], [ 19.0, 12.0 ], [ 19.0, 13.0 ], [ 19.0, 14.0 ], [ 19.0, 15.0 ], [ 19.0, 16.0 ], [ 19.0, 17.0 ], [ 19.0, 18.0 ], [ 19.0, 19.0 ], [ 19.0, 20.0 ], [ 19.0, 21.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 20.0, 9.0 ], [ 20.0, 10.0 ], [ 20.0, 11.0 ], [ 20.0, 12.0 ], [ 20.0, 13.0 ], [ 20.0, 14.0 ], [ 20.0, 15.0 ], [ 20.0, 16.0 ], [ 20.0, 17.0 ], [ 20.0, 18.0 ], [ 20.0, 19.0 ], [ 20.0, 20.0 ], [ 20.0, 21.0 ] ], "interaction_radius": 6.708203932499369, "layers": 2 } }