{ "schema_version": "0.2", "name": "[[922,18,31]] reduction of [[924,18,31]]", "code_type": "CSS", "n": 922, "k": 18, "checks": { "X": [ [ 0, 3, 46, 66, 464, 486, 505, 530 ], [ 1, 4, 47, 67, 465, 487, 506, 531 ], [ 2, 5, 48, 68, 466, 488, 507, 532 ], [ 3, 6, 49, 69, 467, 489, 508, 533 ], [ 4, 7, 50, 70, 468, 490, 509, 534 ], [ 5, 8, 51, 71, 469, 491, 510, 535 ], [ 6, 9, 52, 72, 470, 492, 511, 536 ], [ 7, 10, 53, 73, 471, 493, 512, 537 ], [ 8, 11, 54, 74, 472, 494, 513, 538 ], [ 9, 12, 55, 75, 473, 495, 514, 539 ], [ 10, 13, 56, 76, 474, 496, 515, 540 ], [ 11, 14, 57, 77, 475, 497, 516, 541 ], [ 12, 15, 58, 78, 476, 498, 517, 542 ], [ 13, 16, 59, 79, 477, 499, 518, 543 ], [ 14, 17, 60, 80, 478, 500, 519, 544 ], [ 15, 18, 61, 81, 479, 501, 520, 545 ], [ 16, 19, 62, 82, 480, 502, 521, 546 ], [ 17, 20, 63, 83, 481, 503, 522, 547 ], [ 18, 21, 64, 84, 482, 504, 523, 548 ], [ 22, 25, 68, 88, 485, 508, 527, 552 ], [ 23, 26, 69, 89, 486, 509, 528, 553 ], [ 24, 27, 70, 90, 487, 510, 529, 554 ], [ 25, 28, 71, 91, 488, 511, 530, 555 ], [ 26, 29, 72, 92, 489, 512, 531, 556 ], [ 27, 30, 73, 93, 490, 513, 532, 557 ], [ 28, 31, 74, 94, 491, 514, 533, 558 ], [ 29, 32, 75, 95, 492, 515, 534, 559 ], [ 30, 33, 76, 96, 493, 516, 535, 560 ], [ 31, 34, 77, 97, 494, 517, 536, 561 ], [ 32, 35, 78, 98, 495, 518, 537, 562 ], [ 33, 36, 79, 99, 496, 519, 538, 563 ], [ 34, 37, 80, 100, 497, 520, 539, 564 ], [ 35, 38, 81, 101, 498, 521, 540, 565 ], [ 36, 39, 82, 102, 499, 522, 541, 566 ], [ 37, 40, 83, 103, 500, 523, 542, 567 ], [ 38, 41, 84, 104, 501, 524, 543, 568 ], [ 39, 42, 85, 105, 502, 525, 544, 569 ], [ 40, 43, 86, 106, 503, 526, 545, 570 ], [ 44, 47, 90, 110, 507, 530, 549, 574 ], [ 45, 48, 91, 111, 508, 531, 550, 575 ], [ 46, 49, 92, 112, 509, 532, 551, 576 ], [ 47, 50, 93, 113, 510, 533, 552, 577 ], [ 48, 51, 94, 114, 511, 534, 553, 578 ], [ 49, 52, 95, 115, 512, 535, 554, 579 ], [ 50, 53, 96, 116, 513, 536, 555, 580 ], [ 51, 54, 97, 117, 514, 537, 556, 581 ], [ 52, 55, 98, 118, 515, 538, 557, 582 ], [ 53, 56, 99, 119, 516, 539, 558, 583 ], [ 54, 57, 100, 120, 517, 540, 559, 584 ], [ 55, 58, 101, 121, 518, 541, 560, 585 ], [ 56, 59, 102, 122, 519, 542, 561, 586 ], [ 57, 60, 103, 123, 520, 543, 562, 587 ], [ 58, 61, 104, 124, 521, 544, 563, 588 ], [ 59, 62, 105, 125, 522, 545, 564, 589 ], [ 60, 63, 106, 126, 523, 546, 565, 590 ], [ 61, 64, 107, 127, 524, 547, 566, 591 ], [ 62, 65, 108, 128, 525, 548, 567, 592 ], [ 66, 69, 112, 132, 529, 552, 571, 596 ], [ 67, 70, 113, 133, 530, 553, 572, 597 ], [ 68, 71, 114, 134, 531, 554, 573, 598 ], [ 69, 72, 115, 135, 532, 555, 574, 599 ], [ 70, 73, 116, 136, 533, 556, 575, 600 ], [ 71, 74, 117, 137, 534, 557, 576, 601 ], [ 72, 75, 118, 138, 535, 558, 577, 602 ], [ 73, 76, 119, 139, 536, 559, 578, 603 ], [ 74, 77, 120, 140, 537, 560, 579, 604 ], [ 75, 78, 121, 141, 538, 561, 580, 605 ], [ 76, 79, 122, 142, 539, 562, 581, 606 ], [ 77, 80, 123, 143, 540, 563, 582, 607 ], [ 78, 81, 124, 144, 541, 564, 583, 608 ], [ 79, 82, 125, 145, 542, 565, 584, 609 ], [ 80, 83, 126, 146, 543, 566, 585, 610 ], [ 81, 84, 127, 147, 544, 567, 586, 611 ], [ 82, 85, 128, 148, 545, 568, 587, 612 ], [ 83, 86, 129, 149, 546, 569, 588, 613 ], [ 84, 87, 130, 150, 547, 570, 589, 614 ], [ 88, 91, 134, 154, 551, 574, 593, 618 ], [ 89, 92, 135, 155, 552, 575, 594, 619 ], [ 90, 93, 136, 156, 553, 576, 595, 620 ], [ 91, 94, 137, 157, 554, 577, 596, 621 ], [ 92, 95, 138, 158, 555, 578, 597, 622 ], [ 93, 96, 139, 159, 556, 579, 598, 623 ], [ 94, 97, 140, 160, 557, 580, 599, 624 ], [ 95, 98, 141, 161, 558, 581, 600, 625 ], [ 96, 99, 142, 162, 559, 582, 601, 626 ], [ 97, 100, 143, 163, 560, 583, 602, 627 ], [ 98, 101, 144, 164, 561, 584, 603, 628 ], [ 99, 102, 145, 165, 562, 585, 604, 629 ], [ 100, 103, 146, 166, 563, 586, 605, 630 ], [ 101, 104, 147, 167, 564, 587, 606, 631 ], [ 102, 105, 148, 168, 565, 588, 607, 632 ], [ 103, 106, 149, 169, 566, 589, 608, 633 ], [ 104, 107, 150, 170, 567, 590, 609, 634 ], [ 105, 108, 151, 171, 568, 591, 610, 635 ], [ 106, 109, 152, 172, 569, 592, 611, 636 ], [ 110, 113, 156, 176, 573, 596, 615, 640 ], [ 111, 114, 157, 177, 574, 597, 616, 641 ], [ 112, 115, 158, 178, 575, 598, 617, 642 ], [ 113, 116, 159, 179, 576, 599, 618, 643 ], [ 114, 117, 160, 180, 577, 600, 619, 644 ], [ 115, 118, 161, 181, 578, 601, 620, 645 ], [ 116, 119, 162, 182, 579, 602, 621, 646 ], [ 117, 120, 163, 183, 580, 603, 622, 647 ], [ 118, 121, 164, 184, 581, 604, 623, 648 ], [ 119, 122, 165, 185, 582, 605, 624, 649 ], [ 120, 123, 166, 186, 583, 606, 625, 650 ], [ 121, 124, 167, 187, 584, 607, 626, 651 ], [ 122, 125, 168, 188, 585, 608, 627, 652 ], [ 123, 126, 169, 189, 586, 609, 628, 653 ], [ 124, 127, 170, 190, 587, 610, 629, 654 ], [ 125, 128, 171, 191, 588, 611, 630, 655 ], [ 126, 129, 172, 192, 589, 612, 631, 656 ], [ 127, 130, 173, 193, 590, 613, 632, 657 ], [ 128, 131, 174, 194, 591, 614, 633, 658 ], [ 132, 135, 178, 198, 595, 618, 637, 662 ], [ 133, 136, 179, 199, 596, 619, 638, 663 ], [ 134, 137, 180, 200, 597, 620, 639, 664 ], [ 135, 138, 181, 201, 598, 621, 640, 665 ], [ 136, 139, 182, 202, 599, 622, 641, 666 ], [ 137, 140, 183, 203, 600, 623, 642, 667 ], [ 138, 141, 184, 204, 601, 624, 643, 668 ], [ 139, 142, 185, 205, 602, 625, 644, 669 ], [ 140, 143, 186, 206, 603, 626, 645, 670 ], [ 141, 144, 187, 207, 604, 627, 646, 671 ], [ 142, 145, 188, 208, 605, 628, 647, 672 ], [ 143, 146, 189, 209, 606, 629, 648, 673 ], [ 144, 147, 190, 210, 607, 630, 649, 674 ], [ 145, 148, 191, 211, 608, 631, 650, 675 ], [ 146, 149, 192, 212, 609, 632, 651, 676 ], [ 147, 150, 193, 213, 610, 633, 652, 677 ], [ 148, 151, 194, 214, 611, 634, 653, 678 ], [ 149, 152, 195, 215, 612, 635, 654, 679 ], [ 150, 153, 196, 216, 613, 636, 655, 680 ], [ 154, 157, 200, 220, 617, 640, 659, 684 ], [ 155, 158, 201, 221, 618, 641, 660, 685 ], [ 156, 159, 202, 222, 619, 642, 661, 686 ], [ 157, 160, 203, 223, 620, 643, 662, 687 ], [ 158, 161, 204, 224, 621, 644, 663, 688 ], [ 159, 162, 205, 225, 622, 645, 664, 689 ], [ 160, 163, 206, 226, 623, 646, 665, 690 ], [ 161, 164, 207, 227, 624, 647, 666, 691 ], [ 162, 165, 208, 228, 625, 648, 667, 692 ], [ 163, 166, 209, 229, 626, 649, 668, 693 ], [ 164, 167, 210, 230, 627, 650, 669, 694 ], [ 165, 168, 211, 231, 628, 651, 670, 695 ], [ 166, 169, 212, 232, 629, 652, 671, 696 ], [ 167, 170, 213, 233, 630, 653, 672, 697 ], [ 168, 171, 214, 234, 631, 654, 673, 698 ], [ 169, 172, 215, 235, 632, 655, 674, 699 ], [ 170, 173, 216, 236, 633, 656, 675, 700 ], [ 171, 174, 217, 237, 634, 657, 676, 701 ], [ 172, 175, 218, 238, 635, 658, 677, 702 ], [ 176, 179, 222, 242, 639, 662, 681, 706 ], [ 177, 180, 223, 243, 640, 663, 682, 707 ], [ 178, 181, 224, 244, 641, 664, 683, 708 ], [ 179, 182, 225, 245, 642, 665, 684, 709 ], [ 180, 183, 226, 246, 643, 666, 685, 710 ], [ 181, 184, 227, 247, 644, 667, 686, 711 ], [ 182, 185, 228, 248, 645, 668, 687, 712 ], [ 183, 186, 229, 249, 646, 669, 688, 713 ], [ 184, 187, 230, 250, 647, 670, 689, 714 ], [ 185, 188, 231, 251, 648, 671, 690, 715 ], [ 186, 189, 232, 252, 649, 672, 691, 716 ], [ 187, 190, 233, 253, 650, 673, 692, 717 ], [ 188, 191, 234, 254, 651, 674, 693, 718 ], [ 189, 192, 235, 255, 652, 675, 694, 719 ], [ 190, 193, 236, 256, 653, 676, 695, 720 ], [ 191, 194, 237, 257, 654, 677, 696, 721 ], [ 192, 195, 238, 258, 655, 678, 697, 722 ], [ 193, 196, 239, 259, 656, 679, 698, 723 ], [ 194, 197, 240, 260, 657, 680, 699, 724 ], [ 198, 201, 244, 264, 661, 684, 703, 727 ], [ 199, 202, 245, 265, 662, 685, 704, 728 ], [ 200, 203, 246, 266, 663, 686, 705, 729 ], [ 201, 204, 247, 267, 664, 687, 706, 730 ], [ 202, 205, 248, 268, 665, 688, 707, 731 ], [ 203, 206, 249, 269, 666, 689, 708, 732 ], [ 204, 207, 250, 270, 667, 690, 709, 733 ], [ 205, 208, 251, 271, 668, 691, 710, 734 ], [ 206, 209, 252, 272, 669, 692, 711, 735 ], [ 207, 210, 253, 273, 670, 693, 712, 736 ], [ 208, 211, 254, 274, 671, 694, 713, 737 ], [ 209, 212, 255, 275, 672, 695, 714, 738 ], [ 210, 213, 256, 276, 673, 696, 715, 739 ], [ 211, 214, 257, 277, 674, 697, 716, 740 ], [ 212, 215, 258, 278, 675, 698, 717, 741 ], [ 213, 216, 259, 279, 676, 699, 718, 742 ], [ 214, 217, 260, 280, 677, 700, 719, 743 ], [ 215, 218, 261, 281, 678, 701, 720, 744 ], [ 216, 219, 262, 282, 679, 702, 721, 745 ], [ 221, 224, 267, 287, 684, 707, 725, 750 ], [ 222, 225, 268, 288, 685, 708, 726, 751 ], [ 223, 226, 269, 289, 686, 709, 727, 752 ], [ 224, 227, 270, 290, 687, 710, 728, 753 ], [ 225, 228, 271, 291, 688, 711, 729, 754 ], [ 226, 229, 272, 292, 689, 712, 730, 755 ], [ 227, 230, 273, 293, 690, 713, 731, 756 ], [ 228, 231, 274, 294, 691, 714, 732, 757 ], [ 229, 232, 275, 295, 692, 715, 733, 758 ], [ 230, 233, 276, 296, 693, 716, 734, 759 ], [ 231, 234, 277, 297, 694, 717, 735, 760 ], [ 232, 235, 278, 298, 695, 718, 736, 761 ], [ 233, 236, 279, 299, 696, 719, 737, 762 ], [ 234, 237, 280, 300, 697, 720, 738, 763 ], [ 235, 238, 281, 301, 698, 721, 739, 764 ], [ 236, 239, 282, 302, 699, 722, 740, 765 ], [ 237, 240, 283, 303, 700, 723, 741, 766 ], [ 238, 241, 284, 304, 701, 724, 742, 767 ], [ 242, 245, 288, 308, 705, 727, 746, 771 ], [ 243, 246, 289, 309, 706, 728, 747, 772 ], [ 244, 247, 290, 310, 707, 729, 748, 773 ], [ 245, 248, 291, 311, 708, 730, 749, 774 ], [ 246, 249, 292, 312, 709, 731, 750, 775 ], [ 247, 250, 293, 313, 710, 732, 751, 776 ], [ 248, 251, 294, 314, 711, 733, 752, 777 ], [ 249, 252, 295, 315, 712, 734, 753, 778 ], [ 250, 253, 296, 316, 713, 735, 754, 779 ], [ 251, 254, 297, 317, 714, 736, 755, 780 ], [ 252, 255, 298, 318, 715, 737, 756, 781 ], [ 253, 256, 299, 319, 716, 738, 757, 782 ], [ 254, 257, 300, 320, 717, 739, 758, 783 ], [ 255, 258, 301, 321, 718, 740, 759, 784 ], [ 256, 259, 302, 322, 719, 741, 760, 785 ], [ 257, 260, 303, 323, 720, 742, 761, 786 ], [ 258, 261, 304, 324, 721, 743, 762, 787 ], [ 259, 262, 305, 325, 722, 744, 763, 788 ], [ 260, 263, 306, 326, 723, 745, 764, 789 ], [ 264, 267, 310, 330, 726, 749, 768, 793 ], [ 265, 268, 311, 331, 727, 750, 769, 794 ], [ 266, 269, 312, 332, 728, 751, 770, 795 ], [ 267, 270, 313, 333, 729, 752, 771, 796 ], [ 268, 271, 314, 334, 730, 753, 772, 797 ], [ 269, 272, 315, 335, 731, 754, 773, 798 ], [ 270, 273, 316, 336, 732, 755, 774, 799 ], [ 271, 274, 317, 337, 733, 756, 775, 800 ], [ 272, 275, 318, 338, 734, 757, 776, 801 ], [ 273, 276, 319, 339, 735, 758, 777, 802 ], [ 274, 277, 320, 340, 736, 759, 778, 803 ], [ 275, 278, 321, 341, 737, 760, 779, 804 ], [ 276, 279, 322, 342, 738, 761, 780, 805 ], [ 277, 280, 323, 343, 739, 762, 781, 806 ], [ 278, 281, 324, 344, 740, 763, 782, 807 ], [ 279, 282, 325, 345, 741, 764, 783, 808 ], [ 280, 283, 326, 346, 742, 765, 784, 809 ], [ 281, 284, 327, 347, 743, 766, 785, 810 ], [ 282, 285, 328, 348, 744, 767, 786, 811 ], [ 286, 289, 332, 352, 748, 771, 790, 815 ], [ 287, 290, 333, 353, 749, 772, 791, 816 ], [ 288, 291, 334, 354, 750, 773, 792, 817 ], [ 289, 292, 335, 355, 751, 774, 793, 818 ], [ 290, 293, 336, 356, 752, 775, 794, 819 ], [ 291, 294, 337, 357, 753, 776, 795, 820 ], [ 292, 295, 338, 358, 754, 777, 796, 821 ], [ 293, 296, 339, 359, 755, 778, 797, 822 ], [ 294, 297, 340, 360, 756, 779, 798, 823 ], [ 295, 298, 341, 361, 757, 780, 799, 824 ], [ 296, 299, 342, 362, 758, 781, 800, 825 ], [ 297, 300, 343, 363, 759, 782, 801, 826 ], [ 298, 301, 344, 364, 760, 783, 802, 827 ], [ 299, 302, 345, 365, 761, 784, 803, 828 ], [ 300, 303, 346, 366, 762, 785, 804, 829 ], [ 301, 304, 347, 367, 763, 786, 805, 830 ], [ 302, 305, 348, 368, 764, 787, 806, 831 ], [ 303, 306, 349, 369, 765, 788, 807, 832 ], [ 304, 307, 350, 370, 766, 789, 808, 833 ], [ 308, 311, 354, 374, 770, 793, 812, 837 ], [ 309, 312, 355, 375, 771, 794, 813, 838 ], [ 310, 313, 356, 376, 772, 795, 814, 839 ], [ 311, 314, 357, 377, 773, 796, 815, 840 ], [ 312, 315, 358, 378, 774, 797, 816, 841 ], [ 313, 316, 359, 379, 775, 798, 817, 842 ], [ 314, 317, 360, 380, 776, 799, 818, 843 ], [ 315, 318, 361, 381, 777, 800, 819, 844 ], [ 316, 319, 362, 382, 778, 801, 820, 845 ], [ 317, 320, 363, 383, 779, 802, 821, 846 ], [ 318, 321, 364, 384, 780, 803, 822, 847 ], [ 319, 322, 365, 385, 781, 804, 823, 848 ], [ 320, 323, 366, 386, 782, 805, 824, 849 ], [ 321, 324, 367, 387, 783, 806, 825, 850 ], [ 322, 325, 368, 388, 784, 807, 826, 851 ], [ 323, 326, 369, 389, 785, 808, 827, 852 ], [ 324, 327, 370, 390, 786, 809, 828, 853 ], [ 325, 328, 371, 391, 787, 810, 829, 854 ], [ 326, 329, 372, 392, 788, 811, 830, 855 ], [ 330, 333, 376, 396, 792, 815, 834, 859 ], [ 331, 334, 377, 397, 793, 816, 835, 860 ], [ 332, 335, 378, 398, 794, 817, 836, 861 ], [ 333, 336, 379, 399, 795, 818, 837, 862 ], [ 334, 337, 380, 400, 796, 819, 838, 863 ], [ 335, 338, 381, 401, 797, 820, 839, 864 ], [ 336, 339, 382, 402, 798, 821, 840, 865 ], [ 337, 340, 383, 403, 799, 822, 841, 866 ], [ 338, 341, 384, 404, 800, 823, 842, 867 ], [ 339, 342, 385, 405, 801, 824, 843, 868 ], [ 340, 343, 386, 406, 802, 825, 844, 869 ], [ 341, 344, 387, 407, 803, 826, 845, 870 ], [ 342, 345, 388, 408, 804, 827, 846, 871 ], [ 343, 346, 389, 409, 805, 828, 847, 872 ], [ 344, 347, 390, 410, 806, 829, 848, 873 ], [ 345, 348, 391, 411, 807, 830, 849, 874 ], [ 346, 349, 392, 412, 808, 831, 850, 875 ], [ 347, 350, 393, 413, 809, 832, 851, 876 ], [ 348, 351, 394, 414, 810, 833, 852, 877 ], [ 352, 355, 398, 418, 814, 837, 856, 881 ], [ 353, 356, 399, 419, 815, 838, 857, 882 ], [ 354, 357, 400, 420, 816, 839, 858, 883 ], [ 355, 358, 401, 421, 817, 840, 859, 884 ], [ 356, 359, 402, 422, 818, 841, 860, 885 ], [ 357, 360, 403, 423, 819, 842, 861, 886 ], [ 358, 361, 404, 424, 820, 843, 862, 887 ], [ 359, 362, 405, 425, 821, 844, 863, 888 ], [ 360, 363, 406, 426, 822, 845, 864, 889 ], [ 361, 364, 407, 427, 823, 846, 865, 890 ], [ 362, 365, 408, 428, 824, 847, 866, 891 ], [ 363, 366, 409, 429, 825, 848, 867, 892 ], [ 364, 367, 410, 430, 826, 849, 868, 893 ], [ 365, 368, 411, 431, 827, 850, 869, 894 ], [ 366, 369, 412, 432, 828, 851, 870, 895 ], [ 367, 370, 413, 433, 829, 852, 871, 896 ], [ 368, 371, 414, 434, 830, 853, 872, 897 ], [ 369, 372, 415, 435, 831, 854, 873, 898 ], [ 370, 373, 416, 436, 832, 855, 874, 899 ], [ 374, 377, 420, 440, 836, 859, 878, 903 ], [ 375, 378, 421, 441, 837, 860, 879, 904 ], [ 376, 379, 422, 442, 838, 861, 880, 905 ], [ 377, 380, 423, 443, 839, 862, 881, 906 ], [ 378, 381, 424, 444, 840, 863, 882, 907 ], [ 379, 382, 425, 445, 841, 864, 883, 908 ], [ 380, 383, 426, 446, 842, 865, 884, 909 ], [ 381, 384, 427, 447, 843, 866, 885, 910 ], [ 382, 385, 428, 448, 844, 867, 886, 911 ], [ 383, 386, 429, 449, 845, 868, 887, 912 ], [ 384, 387, 430, 450, 846, 869, 888, 913 ], [ 385, 388, 431, 451, 847, 870, 889, 914 ], [ 386, 389, 432, 452, 848, 871, 890, 915 ], [ 387, 390, 433, 453, 849, 872, 891, 916 ], [ 388, 391, 434, 454, 850, 873, 892, 917 ], [ 389, 392, 435, 455, 851, 874, 893, 918 ], [ 390, 393, 436, 456, 852, 875, 894, 919 ], [ 391, 394, 437, 457, 853, 876, 895, 920 ], [ 392, 395, 438, 458, 854, 877, 896, 921 ], [ 0, 465 ], [ 1, 466 ], [ 2, 467 ], [ 3, 468 ], [ 4, 469 ], [ 5, 470 ], [ 6, 471 ], [ 7, 472 ], [ 8, 473 ], [ 9, 474 ], [ 10, 475 ], [ 11, 476 ], [ 12, 477 ], [ 13, 478 ], [ 14, 479 ], [ 15, 480 ], [ 16, 481 ], [ 17, 482 ], [ 18, 483 ], [ 2, 22, 462, 486 ], [ 3, 23, 463, 487 ], [ 4, 24, 464, 488 ], [ 6, 26, 466, 490 ], [ 7, 27, 467, 491 ], [ 8, 28, 468, 492 ], [ 9, 29, 469, 493 ], [ 10, 30, 470, 494 ], [ 11, 31, 471, 495 ], [ 12, 32, 472, 496 ], [ 13, 33, 473, 497 ], [ 14, 34, 474, 498 ], [ 15, 35, 475, 499 ], [ 16, 36, 476, 500 ], [ 17, 37, 477, 501 ], [ 18, 38, 478, 502 ], [ 19, 39, 479, 503 ], [ 20, 40, 480, 504 ], [ 3, 46, 66, 464, 465, 486, 505, 530 ], [ 4, 47, 67, 465, 466, 487, 506, 531 ], [ 5, 48, 68, 466, 467, 488, 507, 532 ], [ 6, 49, 69, 467, 468, 489, 508, 533 ], [ 7, 50, 70, 468, 469, 490, 509, 534 ], [ 8, 51, 71, 469, 470, 491, 510, 535 ], [ 9, 52, 72, 470, 471, 492, 511, 536 ], [ 10, 53, 73, 471, 472, 493, 512, 537 ], [ 11, 54, 74, 472, 473, 494, 513, 538 ], [ 12, 55, 75, 473, 474, 495, 514, 539 ], [ 13, 56, 76, 474, 475, 496, 515, 540 ], [ 14, 57, 77, 475, 476, 497, 516, 541 ], [ 15, 58, 78, 476, 477, 498, 517, 542 ], [ 16, 59, 79, 477, 478, 499, 518, 543 ], [ 17, 60, 80, 478, 479, 500, 519, 544 ], [ 18, 61, 81, 479, 480, 501, 520, 545 ], [ 19, 62, 82, 480, 481, 502, 521, 546 ], [ 20, 63, 83, 481, 482, 503, 522, 547 ], [ 21, 64, 84, 482, 483, 504, 523, 548 ], [ 24, 44, 465, 484, 508 ], [ 5, 25, 465, 489 ], [ 26, 46, 467, 485, 510 ], [ 27, 47, 468, 486, 511 ], [ 28, 48, 469, 487, 512 ], [ 29, 49, 470, 488, 513 ], [ 30, 50, 471, 489, 514 ], [ 31, 51, 472, 490, 515 ], [ 32, 52, 473, 491, 516 ], [ 33, 53, 474, 492, 517 ], [ 34, 54, 475, 493, 518 ], [ 35, 55, 476, 494, 519 ], [ 36, 56, 477, 495, 520 ], [ 37, 57, 478, 496, 521 ], [ 38, 58, 479, 497, 522 ], [ 39, 59, 480, 498, 523 ], [ 40, 60, 481, 499, 524 ], [ 41, 61, 482, 500, 525 ], [ 42, 62, 483, 501, 526 ], [ 396, 399, 442, 858, 881, 900 ], [ 397, 400, 443, 859, 882, 901 ], [ 398, 401, 444, 860, 883, 902 ], [ 399, 402, 445, 861, 884, 903 ], [ 400, 403, 446, 862, 885, 904 ], [ 401, 404, 447, 863, 886, 905 ], [ 402, 405, 448, 864, 887, 906 ], [ 403, 406, 449, 865, 888, 907 ], [ 404, 407, 450, 866, 889, 908 ], [ 405, 408, 451, 867, 890, 909 ], [ 406, 409, 452, 868, 891, 910 ], [ 407, 410, 453, 869, 892, 911 ], [ 408, 411, 454, 870, 893, 912 ], [ 409, 412, 455, 871, 894, 913 ], [ 410, 413, 456, 872, 895, 914 ], [ 411, 414, 457, 873, 896, 915 ], [ 412, 415, 458, 874, 897, 916 ], [ 413, 416, 459, 875, 898, 917 ], [ 414, 417, 460, 876, 899, 918 ], [ 418, 421, 880, 903 ], [ 419, 422, 881, 904 ], [ 420, 423, 882, 905 ], [ 421, 424, 883, 906 ], [ 422, 425, 884, 907 ], [ 423, 426, 885, 908 ], [ 424, 427, 886, 909 ], [ 425, 428, 887, 910 ], [ 426, 429, 888, 911 ], [ 427, 430, 889, 912 ], [ 428, 431, 890, 913 ], [ 429, 432, 891, 914 ], [ 430, 433, 892, 915 ], [ 431, 434, 893, 916 ], [ 432, 435, 894, 917 ], [ 433, 436, 895, 918 ], [ 434, 437, 896, 919 ], [ 435, 438, 897, 920 ], [ 436, 439, 898, 921 ], [ 440, 443, 902 ], [ 441, 444, 903 ], [ 442, 445, 904 ], [ 443, 446, 905 ], [ 444, 447, 906 ], [ 445, 448, 907 ], [ 446, 449, 908 ], [ 447, 450, 909 ], [ 448, 451, 910 ], [ 449, 452, 911 ], [ 450, 453, 912 ], [ 451, 454, 913 ], [ 452, 455, 914 ], [ 453, 456, 915 ], [ 454, 457, 916 ], [ 455, 458, 917 ], [ 456, 459, 918 ], [ 457, 460, 919 ], [ 458, 461, 920 ] ], "Z": [ [ 0, 25, 44, 67, 465, 527, 530 ], [ 1, 26, 45, 68, 466, 485, 528, 531 ], [ 2, 27, 46, 69, 467, 486, 529, 532 ], [ 3, 28, 47, 70, 468, 487, 530, 533 ], [ 4, 29, 48, 71, 469, 488, 531, 534 ], [ 5, 30, 49, 72, 470, 489, 532, 535 ], [ 6, 31, 50, 73, 471, 490, 533, 536 ], [ 7, 32, 51, 74, 472, 491, 534, 537 ], [ 8, 33, 52, 75, 473, 492, 535, 538 ], [ 9, 34, 53, 76, 474, 493, 536, 539 ], [ 10, 35, 54, 77, 475, 494, 537, 540 ], [ 11, 36, 55, 78, 476, 495, 538, 541 ], [ 12, 37, 56, 79, 477, 496, 539, 542 ], [ 13, 38, 57, 80, 478, 497, 540, 543 ], [ 14, 39, 58, 81, 479, 498, 541, 544 ], [ 15, 40, 59, 82, 480, 499, 542, 545 ], [ 16, 41, 60, 83, 481, 500, 543, 546 ], [ 17, 42, 61, 84, 482, 501, 544, 547 ], [ 18, 43, 62, 85, 483, 502, 545, 548 ], [ 22, 47, 66, 89, 486, 506, 549, 552 ], [ 23, 48, 67, 90, 487, 507, 550, 553 ], [ 24, 49, 68, 91, 488, 508, 551, 554 ], [ 25, 50, 69, 92, 489, 509, 552, 555 ], [ 26, 51, 70, 93, 490, 510, 553, 556 ], [ 27, 52, 71, 94, 491, 511, 554, 557 ], [ 28, 53, 72, 95, 492, 512, 555, 558 ], [ 29, 54, 73, 96, 493, 513, 556, 559 ], [ 30, 55, 74, 97, 494, 514, 557, 560 ], [ 31, 56, 75, 98, 495, 515, 558, 561 ], [ 32, 57, 76, 99, 496, 516, 559, 562 ], [ 33, 58, 77, 100, 497, 517, 560, 563 ], [ 34, 59, 78, 101, 498, 518, 561, 564 ], [ 35, 60, 79, 102, 499, 519, 562, 565 ], [ 36, 61, 80, 103, 500, 520, 563, 566 ], [ 37, 62, 81, 104, 501, 521, 564, 567 ], [ 38, 63, 82, 105, 502, 522, 565, 568 ], [ 39, 64, 83, 106, 503, 523, 566, 569 ], [ 40, 65, 84, 107, 504, 524, 567, 570 ], [ 44, 69, 88, 111, 508, 528, 571, 574 ], [ 45, 70, 89, 112, 509, 529, 572, 575 ], [ 46, 71, 90, 113, 510, 530, 573, 576 ], [ 47, 72, 91, 114, 511, 531, 574, 577 ], [ 48, 73, 92, 115, 512, 532, 575, 578 ], [ 49, 74, 93, 116, 513, 533, 576, 579 ], [ 50, 75, 94, 117, 514, 534, 577, 580 ], [ 51, 76, 95, 118, 515, 535, 578, 581 ], [ 52, 77, 96, 119, 516, 536, 579, 582 ], [ 53, 78, 97, 120, 517, 537, 580, 583 ], [ 54, 79, 98, 121, 518, 538, 581, 584 ], [ 55, 80, 99, 122, 519, 539, 582, 585 ], [ 56, 81, 100, 123, 520, 540, 583, 586 ], [ 57, 82, 101, 124, 521, 541, 584, 587 ], [ 58, 83, 102, 125, 522, 542, 585, 588 ], [ 59, 84, 103, 126, 523, 543, 586, 589 ], [ 60, 85, 104, 127, 524, 544, 587, 590 ], [ 61, 86, 105, 128, 525, 545, 588, 591 ], [ 62, 87, 106, 129, 526, 546, 589, 592 ], [ 66, 91, 110, 133, 530, 550, 593, 596 ], [ 67, 92, 111, 134, 531, 551, 594, 597 ], [ 68, 93, 112, 135, 532, 552, 595, 598 ], [ 69, 94, 113, 136, 533, 553, 596, 599 ], [ 70, 95, 114, 137, 534, 554, 597, 600 ], [ 71, 96, 115, 138, 535, 555, 598, 601 ], [ 72, 97, 116, 139, 536, 556, 599, 602 ], [ 73, 98, 117, 140, 537, 557, 600, 603 ], [ 74, 99, 118, 141, 538, 558, 601, 604 ], [ 75, 100, 119, 142, 539, 559, 602, 605 ], [ 76, 101, 120, 143, 540, 560, 603, 606 ], [ 77, 102, 121, 144, 541, 561, 604, 607 ], [ 78, 103, 122, 145, 542, 562, 605, 608 ], [ 79, 104, 123, 146, 543, 563, 606, 609 ], [ 80, 105, 124, 147, 544, 564, 607, 610 ], [ 81, 106, 125, 148, 545, 565, 608, 611 ], [ 82, 107, 126, 149, 546, 566, 609, 612 ], [ 83, 108, 127, 150, 547, 567, 610, 613 ], [ 84, 109, 128, 151, 548, 568, 611, 614 ], [ 88, 113, 132, 155, 552, 572, 615, 618 ], [ 89, 114, 133, 156, 553, 573, 616, 619 ], [ 90, 115, 134, 157, 554, 574, 617, 620 ], [ 91, 116, 135, 158, 555, 575, 618, 621 ], [ 92, 117, 136, 159, 556, 576, 619, 622 ], [ 93, 118, 137, 160, 557, 577, 620, 623 ], [ 94, 119, 138, 161, 558, 578, 621, 624 ], [ 95, 120, 139, 162, 559, 579, 622, 625 ], [ 96, 121, 140, 163, 560, 580, 623, 626 ], [ 97, 122, 141, 164, 561, 581, 624, 627 ], [ 98, 123, 142, 165, 562, 582, 625, 628 ], [ 99, 124, 143, 166, 563, 583, 626, 629 ], [ 100, 125, 144, 167, 564, 584, 627, 630 ], [ 101, 126, 145, 168, 565, 585, 628, 631 ], [ 102, 127, 146, 169, 566, 586, 629, 632 ], [ 103, 128, 147, 170, 567, 587, 630, 633 ], [ 104, 129, 148, 171, 568, 588, 631, 634 ], [ 105, 130, 149, 172, 569, 589, 632, 635 ], [ 106, 131, 150, 173, 570, 590, 633, 636 ], [ 110, 135, 154, 177, 574, 594, 637, 640 ], [ 111, 136, 155, 178, 575, 595, 638, 641 ], [ 112, 137, 156, 179, 576, 596, 639, 642 ], [ 113, 138, 157, 180, 577, 597, 640, 643 ], [ 114, 139, 158, 181, 578, 598, 641, 644 ], [ 115, 140, 159, 182, 579, 599, 642, 645 ], [ 116, 141, 160, 183, 580, 600, 643, 646 ], [ 117, 142, 161, 184, 581, 601, 644, 647 ], [ 118, 143, 162, 185, 582, 602, 645, 648 ], [ 119, 144, 163, 186, 583, 603, 646, 649 ], [ 120, 145, 164, 187, 584, 604, 647, 650 ], [ 121, 146, 165, 188, 585, 605, 648, 651 ], [ 122, 147, 166, 189, 586, 606, 649, 652 ], [ 123, 148, 167, 190, 587, 607, 650, 653 ], [ 124, 149, 168, 191, 588, 608, 651, 654 ], [ 125, 150, 169, 192, 589, 609, 652, 655 ], [ 126, 151, 170, 193, 590, 610, 653, 656 ], [ 127, 152, 171, 194, 591, 611, 654, 657 ], [ 128, 153, 172, 195, 592, 612, 655, 658 ], [ 132, 157, 176, 199, 596, 616, 659, 662 ], [ 133, 158, 177, 200, 597, 617, 660, 663 ], [ 134, 159, 178, 201, 598, 618, 661, 664 ], [ 135, 160, 179, 202, 599, 619, 662, 665 ], [ 136, 161, 180, 203, 600, 620, 663, 666 ], [ 137, 162, 181, 204, 601, 621, 664, 667 ], [ 138, 163, 182, 205, 602, 622, 665, 668 ], [ 139, 164, 183, 206, 603, 623, 666, 669 ], [ 140, 165, 184, 207, 604, 624, 667, 670 ], [ 141, 166, 185, 208, 605, 625, 668, 671 ], [ 142, 167, 186, 209, 606, 626, 669, 672 ], [ 143, 168, 187, 210, 607, 627, 670, 673 ], [ 144, 169, 188, 211, 608, 628, 671, 674 ], [ 145, 170, 189, 212, 609, 629, 672, 675 ], [ 146, 171, 190, 213, 610, 630, 673, 676 ], [ 147, 172, 191, 214, 611, 631, 674, 677 ], [ 148, 173, 192, 215, 612, 632, 675, 678 ], [ 149, 174, 193, 216, 613, 633, 676, 679 ], [ 150, 175, 194, 217, 614, 634, 677, 680 ], [ 154, 179, 198, 221, 618, 638, 681, 684 ], [ 155, 180, 199, 222, 619, 639, 682, 685 ], [ 156, 181, 200, 223, 620, 640, 683, 686 ], [ 157, 182, 201, 224, 621, 641, 684, 687 ], [ 158, 183, 202, 225, 622, 642, 685, 688 ], [ 159, 184, 203, 226, 623, 643, 686, 689 ], [ 160, 185, 204, 227, 624, 644, 687, 690 ], [ 161, 186, 205, 228, 625, 645, 688, 691 ], [ 162, 187, 206, 229, 626, 646, 689, 692 ], [ 163, 188, 207, 230, 627, 647, 690, 693 ], [ 164, 189, 208, 231, 628, 648, 691, 694 ], [ 165, 190, 209, 232, 629, 649, 692, 695 ], [ 166, 191, 210, 233, 630, 650, 693, 696 ], [ 167, 192, 211, 234, 631, 651, 694, 697 ], [ 168, 193, 212, 235, 632, 652, 695, 698 ], [ 169, 194, 213, 236, 633, 653, 696, 699 ], [ 170, 195, 214, 237, 634, 654, 697, 700 ], [ 171, 196, 215, 238, 635, 655, 698, 701 ], [ 172, 197, 216, 239, 636, 656, 699, 702 ], [ 176, 201, 220, 243, 640, 660, 703, 706 ], [ 177, 202, 221, 244, 641, 661, 704, 707 ], [ 178, 203, 222, 245, 642, 662, 705, 708 ], [ 179, 204, 223, 246, 643, 663, 706, 709 ], [ 180, 205, 224, 247, 644, 664, 707, 710 ], [ 181, 206, 225, 248, 645, 665, 708, 711 ], [ 182, 207, 226, 249, 646, 666, 709, 712 ], [ 183, 208, 227, 250, 647, 667, 710, 713 ], [ 184, 209, 228, 251, 648, 668, 711, 714 ], [ 185, 210, 229, 252, 649, 669, 712, 715 ], [ 186, 211, 230, 253, 650, 670, 713, 716 ], [ 187, 212, 231, 254, 651, 671, 714, 717 ], [ 188, 213, 232, 255, 652, 672, 715, 718 ], [ 189, 214, 233, 256, 653, 673, 716, 719 ], [ 190, 215, 234, 257, 654, 674, 717, 720 ], [ 191, 216, 235, 258, 655, 675, 718, 721 ], [ 192, 217, 236, 259, 656, 676, 719, 722 ], [ 193, 218, 237, 260, 657, 677, 720, 723 ], [ 194, 219, 238, 261, 658, 678, 721, 724 ], [ 198, 223, 242, 265, 662, 682, 727 ], [ 199, 224, 243, 266, 663, 683, 725, 728 ], [ 200, 225, 244, 267, 664, 684, 726, 729 ], [ 201, 226, 245, 268, 665, 685, 727, 730 ], [ 202, 227, 246, 269, 666, 686, 728, 731 ], [ 203, 228, 247, 270, 667, 687, 729, 732 ], [ 204, 229, 248, 271, 668, 688, 730, 733 ], [ 205, 230, 249, 272, 669, 689, 731, 734 ], [ 206, 231, 250, 273, 670, 690, 732, 735 ], [ 207, 232, 251, 274, 671, 691, 733, 736 ], [ 208, 233, 252, 275, 672, 692, 734, 737 ], [ 209, 234, 253, 276, 673, 693, 735, 738 ], [ 210, 235, 254, 277, 674, 694, 736, 739 ], [ 211, 236, 255, 278, 675, 695, 737, 740 ], [ 212, 237, 256, 279, 676, 696, 738, 741 ], [ 213, 238, 257, 280, 677, 697, 739, 742 ], [ 214, 239, 258, 281, 678, 698, 740, 743 ], [ 215, 240, 259, 282, 679, 699, 741, 744 ], [ 216, 241, 260, 283, 680, 700, 742, 745 ], [ 220, 245, 264, 287, 684, 704, 746, 749 ], [ 221, 246, 265, 288, 685, 705, 747, 750 ], [ 222, 247, 266, 289, 686, 706, 748, 751 ], [ 223, 248, 267, 290, 687, 707, 749, 752 ], [ 224, 249, 268, 291, 688, 708, 750, 753 ], [ 225, 250, 269, 292, 689, 709, 751, 754 ], [ 226, 251, 270, 293, 690, 710, 752, 755 ], [ 227, 252, 271, 294, 691, 711, 753, 756 ], [ 228, 253, 272, 295, 692, 712, 754, 757 ], [ 229, 254, 273, 296, 693, 713, 755, 758 ], [ 230, 255, 274, 297, 694, 714, 756, 759 ], [ 231, 256, 275, 298, 695, 715, 757, 760 ], [ 232, 257, 276, 299, 696, 716, 758, 761 ], [ 233, 258, 277, 300, 697, 717, 759, 762 ], [ 234, 259, 278, 301, 698, 718, 760, 763 ], [ 235, 260, 279, 302, 699, 719, 761, 764 ], [ 236, 261, 280, 303, 700, 720, 762, 765 ], [ 237, 262, 281, 304, 701, 721, 763, 766 ], [ 238, 263, 282, 305, 702, 722, 764, 767 ], [ 242, 267, 286, 309, 706, 725, 768, 771 ], [ 243, 268, 287, 310, 707, 726, 769, 772 ], [ 244, 269, 288, 311, 708, 727, 770, 773 ], [ 245, 270, 289, 312, 709, 728, 771, 774 ], [ 246, 271, 290, 313, 710, 729, 772, 775 ], [ 247, 272, 291, 314, 711, 730, 773, 776 ], [ 248, 273, 292, 315, 712, 731, 774, 777 ], [ 249, 274, 293, 316, 713, 732, 775, 778 ], [ 250, 275, 294, 317, 714, 733, 776, 779 ], [ 251, 276, 295, 318, 715, 734, 777, 780 ], [ 252, 277, 296, 319, 716, 735, 778, 781 ], [ 253, 278, 297, 320, 717, 736, 779, 782 ], [ 254, 279, 298, 321, 718, 737, 780, 783 ], [ 255, 280, 299, 322, 719, 738, 781, 784 ], [ 256, 281, 300, 323, 720, 739, 782, 785 ], [ 257, 282, 301, 324, 721, 740, 783, 786 ], [ 258, 283, 302, 325, 722, 741, 784, 787 ], [ 259, 284, 303, 326, 723, 742, 785, 788 ], [ 260, 285, 304, 327, 724, 743, 786, 789 ], [ 264, 289, 308, 331, 727, 747, 790, 793 ], [ 265, 290, 309, 332, 728, 748, 791, 794 ], [ 266, 291, 310, 333, 729, 749, 792, 795 ], [ 267, 292, 311, 334, 730, 750, 793, 796 ], [ 268, 293, 312, 335, 731, 751, 794, 797 ], [ 269, 294, 313, 336, 732, 752, 795, 798 ], [ 270, 295, 314, 337, 733, 753, 796, 799 ], [ 271, 296, 315, 338, 734, 754, 797, 800 ], [ 272, 297, 316, 339, 735, 755, 798, 801 ], [ 273, 298, 317, 340, 736, 756, 799, 802 ], [ 274, 299, 318, 341, 737, 757, 800, 803 ], [ 275, 300, 319, 342, 738, 758, 801, 804 ], [ 276, 301, 320, 343, 739, 759, 802, 805 ], [ 277, 302, 321, 344, 740, 760, 803, 806 ], [ 278, 303, 322, 345, 741, 761, 804, 807 ], [ 279, 304, 323, 346, 742, 762, 805, 808 ], [ 280, 305, 324, 347, 743, 763, 806, 809 ], [ 281, 306, 325, 348, 744, 764, 807, 810 ], [ 282, 307, 326, 349, 745, 765, 808, 811 ], [ 286, 311, 330, 353, 749, 769, 812, 815 ], [ 287, 312, 331, 354, 750, 770, 813, 816 ], [ 288, 313, 332, 355, 751, 771, 814, 817 ], [ 289, 314, 333, 356, 752, 772, 815, 818 ], [ 290, 315, 334, 357, 753, 773, 816, 819 ], [ 291, 316, 335, 358, 754, 774, 817, 820 ], [ 292, 317, 336, 359, 755, 775, 818, 821 ], [ 293, 318, 337, 360, 756, 776, 819, 822 ], [ 294, 319, 338, 361, 757, 777, 820, 823 ], [ 295, 320, 339, 362, 758, 778, 821, 824 ], [ 296, 321, 340, 363, 759, 779, 822, 825 ], [ 297, 322, 341, 364, 760, 780, 823, 826 ], [ 298, 323, 342, 365, 761, 781, 824, 827 ], [ 299, 324, 343, 366, 762, 782, 825, 828 ], [ 300, 325, 344, 367, 763, 783, 826, 829 ], [ 301, 326, 345, 368, 764, 784, 827, 830 ], [ 302, 327, 346, 369, 765, 785, 828, 831 ], [ 303, 328, 347, 370, 766, 786, 829, 832 ], [ 304, 329, 348, 371, 767, 787, 830, 833 ], [ 308, 333, 352, 375, 771, 791, 834, 837 ], [ 309, 334, 353, 376, 772, 792, 835, 838 ], [ 310, 335, 354, 377, 773, 793, 836, 839 ], [ 311, 336, 355, 378, 774, 794, 837, 840 ], [ 312, 337, 356, 379, 775, 795, 838, 841 ], [ 313, 338, 357, 380, 776, 796, 839, 842 ], [ 314, 339, 358, 381, 777, 797, 840, 843 ], [ 315, 340, 359, 382, 778, 798, 841, 844 ], [ 316, 341, 360, 383, 779, 799, 842, 845 ], [ 317, 342, 361, 384, 780, 800, 843, 846 ], [ 318, 343, 362, 385, 781, 801, 844, 847 ], [ 319, 344, 363, 386, 782, 802, 845, 848 ], [ 320, 345, 364, 387, 783, 803, 846, 849 ], [ 321, 346, 365, 388, 784, 804, 847, 850 ], [ 322, 347, 366, 389, 785, 805, 848, 851 ], [ 323, 348, 367, 390, 786, 806, 849, 852 ], [ 324, 349, 368, 391, 787, 807, 850, 853 ], [ 325, 350, 369, 392, 788, 808, 851, 854 ], [ 326, 351, 370, 393, 789, 809, 852, 855 ], [ 330, 355, 374, 397, 793, 813, 856, 859 ], [ 331, 356, 375, 398, 794, 814, 857, 860 ], [ 332, 357, 376, 399, 795, 815, 858, 861 ], [ 333, 358, 377, 400, 796, 816, 859, 862 ], [ 334, 359, 378, 401, 797, 817, 860, 863 ], [ 335, 360, 379, 402, 798, 818, 861, 864 ], [ 336, 361, 380, 403, 799, 819, 862, 865 ], [ 337, 362, 381, 404, 800, 820, 863, 866 ], [ 338, 363, 382, 405, 801, 821, 864, 867 ], [ 339, 364, 383, 406, 802, 822, 865, 868 ], [ 340, 365, 384, 407, 803, 823, 866, 869 ], [ 341, 366, 385, 408, 804, 824, 867, 870 ], [ 342, 367, 386, 409, 805, 825, 868, 871 ], [ 343, 368, 387, 410, 806, 826, 869, 872 ], [ 344, 369, 388, 411, 807, 827, 870, 873 ], [ 345, 370, 389, 412, 808, 828, 871, 874 ], [ 346, 371, 390, 413, 809, 829, 872, 875 ], [ 347, 372, 391, 414, 810, 830, 873, 876 ], [ 348, 373, 392, 415, 811, 831, 874, 877 ], [ 352, 377, 396, 419, 815, 835, 878, 881 ], [ 353, 378, 397, 420, 816, 836, 879, 882 ], [ 354, 379, 398, 421, 817, 837, 880, 883 ], [ 355, 380, 399, 422, 818, 838, 881, 884 ], [ 356, 381, 400, 423, 819, 839, 882, 885 ], [ 357, 382, 401, 424, 820, 840, 883, 886 ], [ 358, 383, 402, 425, 821, 841, 884, 887 ], [ 359, 384, 403, 426, 822, 842, 885, 888 ], [ 360, 385, 404, 427, 823, 843, 886, 889 ], [ 361, 386, 405, 428, 824, 844, 887, 890 ], [ 362, 387, 406, 429, 825, 845, 888, 891 ], [ 363, 388, 407, 430, 826, 846, 889, 892 ], [ 364, 389, 408, 431, 827, 847, 890, 893 ], [ 365, 390, 409, 432, 828, 848, 891, 894 ], [ 366, 391, 410, 433, 829, 849, 892, 895 ], [ 367, 392, 411, 434, 830, 850, 893, 896 ], [ 368, 393, 412, 435, 831, 851, 894, 897 ], [ 369, 394, 413, 436, 832, 852, 895, 898 ], [ 370, 395, 414, 437, 833, 853, 896, 899 ], [ 374, 399, 418, 441, 837, 857, 900, 903 ], [ 375, 400, 419, 442, 838, 858, 901, 904 ], [ 376, 401, 420, 443, 839, 859, 902, 905 ], [ 377, 402, 421, 444, 840, 860, 903, 906 ], [ 378, 403, 422, 445, 841, 861, 904, 907 ], [ 379, 404, 423, 446, 842, 862, 905, 908 ], [ 380, 405, 424, 447, 843, 863, 906, 909 ], [ 381, 406, 425, 448, 844, 864, 907, 910 ], [ 382, 407, 426, 449, 845, 865, 908, 911 ], [ 383, 408, 427, 450, 846, 866, 909, 912 ], [ 384, 409, 428, 451, 847, 867, 910, 913 ], [ 385, 410, 429, 452, 848, 868, 911, 914 ], [ 386, 411, 430, 453, 849, 869, 912, 915 ], [ 387, 412, 431, 454, 850, 870, 913, 916 ], [ 388, 413, 432, 455, 851, 871, 914, 917 ], [ 389, 414, 433, 456, 852, 872, 915, 918 ], [ 390, 415, 434, 457, 853, 873, 916, 919 ], [ 391, 416, 435, 458, 854, 874, 917, 920 ], [ 392, 417, 436, 459, 855, 875, 918, 921 ], [ 22, 462, 527 ], [ 44, 484, 549 ], [ 66, 505, 571 ], [ 88, 527, 593 ], [ 110, 549, 615 ], [ 132, 571, 637 ], [ 154, 593, 659 ], [ 176, 615, 681 ], [ 198, 637, 703 ], [ 220, 659 ], [ 242, 681, 746 ], [ 264, 703, 768 ], [ 286, 790 ], [ 308, 746, 812 ], [ 330, 768, 834 ], [ 352, 790, 856 ], [ 374, 812, 878 ], [ 396, 834, 900 ], [ 23, 463, 528 ], [ 45, 550 ], [ 67, 506, 572 ], [ 89, 528, 594 ], [ 111, 550, 616 ], [ 133, 572, 638 ], [ 155, 594, 660 ], [ 177, 616, 682 ], [ 199, 638, 704 ], [ 221, 660, 725 ], [ 243, 682, 747 ], [ 265, 704, 769 ], [ 287, 725, 791 ], [ 309, 747, 813 ], [ 331, 769, 835 ], [ 353, 791, 857 ], [ 375, 813, 879 ], [ 397, 835, 901 ], [ 24, 66, 464, 484, 529 ], [ 46, 88, 485, 505, 551 ], [ 68, 110, 507, 527, 573 ], [ 90, 132, 529, 549, 595 ], [ 112, 154, 551, 571, 617 ], [ 134, 176, 573, 593, 639 ], [ 156, 198, 595, 615, 661 ], [ 178, 220, 617, 637, 683 ], [ 200, 242, 639, 659, 705 ], [ 222, 264, 661, 681, 726 ], [ 244, 286, 683, 703, 748 ], [ 266, 308, 705, 770 ], [ 288, 330, 726, 746, 792 ], [ 310, 352, 748, 768, 814 ], [ 332, 374, 770, 790, 836 ], [ 354, 396, 792, 812, 858 ], [ 376, 418, 814, 834, 880 ], [ 398, 440, 836, 856, 902 ], [ 20, 64, 87, 504, 547 ], [ 42, 86, 109, 526, 569 ], [ 64, 108, 131, 548, 591 ], [ 86, 130, 153, 570, 613 ], [ 108, 152, 175, 592, 635 ], [ 130, 174, 197, 614, 657 ], [ 152, 196, 219, 636, 679 ], [ 174, 218, 241, 658, 701 ], [ 196, 240, 263, 680, 723 ], [ 218, 262, 285, 702, 744 ], [ 240, 284, 307, 724, 766 ], [ 262, 306, 329, 745, 788 ], [ 284, 328, 351, 767, 810 ], [ 306, 350, 373, 789, 832 ], [ 328, 372, 395, 811, 854 ], [ 350, 394, 417, 833, 876 ], [ 372, 416, 439, 855, 898 ], [ 394, 438, 461, 877, 920 ], [ 19, 63, 86, 503, 546 ], [ 41, 85, 108, 525, 568 ], [ 63, 107, 130, 547, 590 ], [ 85, 129, 152, 569, 612 ], [ 107, 151, 174, 591, 634 ], [ 129, 173, 196, 613, 656 ], [ 151, 195, 218, 635, 678 ], [ 173, 217, 240, 657, 700 ], [ 195, 239, 262, 679, 722 ], [ 217, 261, 284, 701, 743 ], [ 239, 283, 306, 723, 765 ], [ 261, 305, 328, 744, 787 ], [ 283, 327, 350, 766, 809 ], [ 305, 349, 372, 788, 831 ], [ 327, 371, 394, 810, 853 ], [ 349, 393, 416, 832, 875 ], [ 371, 415, 438, 854, 897 ], [ 393, 437, 460, 876, 919 ], [ 21, 65, 548 ], [ 43, 87, 570 ], [ 65, 109, 592 ], [ 87, 131, 614 ], [ 109, 153, 636 ], [ 131, 175, 658 ], [ 153, 197, 680 ], [ 175, 219, 702 ], [ 197, 241, 724 ], [ 219, 263, 745 ], [ 241, 285, 767 ], [ 263, 307, 789 ], [ 285, 329, 811 ], [ 307, 351, 833 ], [ 329, 373, 855 ], [ 351, 395, 877 ], [ 373, 417, 899 ], [ 395, 439, 921 ] ] }, "distance": { "d": 31, "X": { "value": 31, "confidence": "upper_bound", "witness": [ 30, 42, 341, 364, 383, 408, 425, 427, 448, 450, 470, 481, 482, 497, 526, 543, 560, 589, 606, 626, 629, 632, 652, 675, 692, 718, 737, 757, 760, 803, 823 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-09-17", "found_at_samples": 20000000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 777001, 777138, 777275, 777412, 777549 ] } }, "Z": { "value": 31, "confidence": "upper_bound", "witness": [ 109, 172, 192, 212, 218, 232, 235, 252, 258, 264, 275, 281, 287, 312, 315, 318, 321, 324, 327, 330, 332, 353, 661, 686, 711, 729, 750, 752, 773, 794, 815 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-25", "found_at_samples": 300000000, "survived_samples": 300000000, "tool": "verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified)", "seeds": [ 4102 ] } } }, "provenance": { "authors": [ "@dorakingx" ], "construction": "Reduction of the board's codes/924-18-31.json ([[924,18,31]]) by 2 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| = 7: 1, |S| = 8: 1. 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/924-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 [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]... (full list implied by the coordinates in this file).", "references": [ "arXiv:2504.08887" ], "date": "2026-09-17", "notes": "Derived from codes/924-18-31.json, not an independent construction; the source's authors are @e-eight and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[924,18,31]] on (n, k, d, w), which therefore leaves the frontier of every cell the two share. The measured interaction radius is unchanged at 4.24264, so the reduced code is no less local than the source. 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, 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, 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 ], [ 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, 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, 0.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, 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, 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 ] ], "interaction_radius": 4.242640687119285, "layers": 2 } }