{ "schema_version": "0.3", "name": "[[872,222,20]] pair-partition CPM", "code_type": "CSS", "n": 872, "k": 222, "checks": { "X": [ [ 96, 136, 284, 384, 472, 644, 714, 775 ], [ 97, 137, 285, 385, 473, 645, 715, 776 ], [ 98, 138, 286, 386, 474, 646, 716, 777 ], [ 99, 139, 287, 387, 475, 647, 717, 778 ], [ 100, 140, 288, 388, 476, 648, 718, 779 ], [ 101, 141, 289, 389, 477, 649, 719, 780 ], [ 102, 142, 290, 390, 478, 650, 720, 781 ], [ 103, 143, 291, 391, 479, 651, 721, 782 ], [ 104, 144, 292, 392, 480, 652, 722, 783 ], [ 105, 145, 293, 393, 481, 653, 723, 784 ], [ 106, 146, 294, 394, 482, 545, 724, 785 ], [ 107, 147, 295, 395, 483, 546, 725, 786 ], [ 108, 148, 296, 396, 484, 547, 726, 787 ], [ 0, 149, 297, 397, 485, 548, 727, 788 ], [ 1, 150, 298, 398, 486, 549, 728, 789 ], [ 2, 151, 299, 399, 487, 550, 729, 790 ], [ 3, 152, 300, 400, 488, 551, 730, 791 ], [ 4, 153, 301, 401, 489, 552, 731, 792 ], [ 5, 154, 302, 402, 490, 553, 732, 793 ], [ 6, 155, 303, 403, 491, 554, 733, 794 ], [ 7, 156, 304, 404, 492, 555, 734, 795 ], [ 8, 157, 305, 405, 493, 556, 735, 796 ], [ 9, 158, 306, 406, 494, 557, 736, 797 ], [ 10, 159, 307, 407, 495, 558, 737, 798 ], [ 11, 160, 308, 408, 496, 559, 738, 799 ], [ 12, 161, 309, 409, 497, 560, 739, 800 ], [ 13, 162, 310, 410, 498, 561, 740, 801 ], [ 14, 163, 311, 411, 499, 562, 741, 802 ], [ 15, 164, 312, 412, 500, 563, 742, 803 ], [ 16, 165, 313, 413, 501, 564, 743, 804 ], [ 17, 166, 314, 414, 502, 565, 744, 805 ], [ 18, 167, 315, 415, 503, 566, 745, 806 ], [ 19, 168, 316, 416, 504, 567, 746, 807 ], [ 20, 169, 317, 417, 505, 568, 747, 808 ], [ 21, 170, 318, 418, 506, 569, 748, 809 ], [ 22, 171, 319, 419, 507, 570, 749, 810 ], [ 23, 172, 320, 420, 508, 571, 750, 811 ], [ 24, 173, 321, 421, 509, 572, 751, 812 ], [ 25, 174, 322, 422, 510, 573, 752, 813 ], [ 26, 175, 323, 423, 511, 574, 753, 814 ], [ 27, 176, 324, 424, 512, 575, 754, 815 ], [ 28, 177, 325, 425, 513, 576, 755, 816 ], [ 29, 178, 326, 426, 514, 577, 756, 817 ], [ 30, 179, 218, 427, 515, 578, 757, 818 ], [ 31, 180, 219, 428, 516, 579, 758, 819 ], [ 32, 181, 220, 429, 517, 580, 759, 820 ], [ 33, 182, 221, 430, 518, 581, 760, 821 ], [ 34, 183, 222, 431, 519, 582, 761, 822 ], [ 35, 184, 223, 432, 520, 583, 762, 823 ], [ 36, 185, 224, 433, 521, 584, 654, 824 ], [ 37, 186, 225, 434, 522, 585, 655, 825 ], [ 38, 187, 226, 435, 523, 586, 656, 826 ], [ 39, 188, 227, 327, 524, 587, 657, 827 ], [ 40, 189, 228, 328, 525, 588, 658, 828 ], [ 41, 190, 229, 329, 526, 589, 659, 829 ], [ 42, 191, 230, 330, 527, 590, 660, 830 ], [ 43, 192, 231, 331, 528, 591, 661, 831 ], [ 44, 193, 232, 332, 529, 592, 662, 832 ], [ 45, 194, 233, 333, 530, 593, 663, 833 ], [ 46, 195, 234, 334, 531, 594, 664, 834 ], [ 47, 196, 235, 335, 532, 595, 665, 835 ], [ 48, 197, 236, 336, 533, 596, 666, 836 ], [ 49, 198, 237, 337, 534, 597, 667, 837 ], [ 50, 199, 238, 338, 535, 598, 668, 838 ], [ 51, 200, 239, 339, 536, 599, 669, 839 ], [ 52, 201, 240, 340, 537, 600, 670, 840 ], [ 53, 202, 241, 341, 538, 601, 671, 841 ], [ 54, 203, 242, 342, 539, 602, 672, 842 ], [ 55, 204, 243, 343, 540, 603, 673, 843 ], [ 56, 205, 244, 344, 541, 604, 674, 844 ], [ 57, 206, 245, 345, 542, 605, 675, 845 ], [ 58, 207, 246, 346, 543, 606, 676, 846 ], [ 59, 208, 247, 347, 544, 607, 677, 847 ], [ 60, 209, 248, 348, 436, 608, 678, 848 ], [ 61, 210, 249, 349, 437, 609, 679, 849 ], [ 62, 211, 250, 350, 438, 610, 680, 850 ], [ 63, 212, 251, 351, 439, 611, 681, 851 ], [ 64, 213, 252, 352, 440, 612, 682, 852 ], [ 65, 214, 253, 353, 441, 613, 683, 853 ], [ 66, 215, 254, 354, 442, 614, 684, 854 ], [ 67, 216, 255, 355, 443, 615, 685, 855 ], [ 68, 217, 256, 356, 444, 616, 686, 856 ], [ 69, 109, 257, 357, 445, 617, 687, 857 ], [ 70, 110, 258, 358, 446, 618, 688, 858 ], [ 71, 111, 259, 359, 447, 619, 689, 859 ], [ 72, 112, 260, 360, 448, 620, 690, 860 ], [ 73, 113, 261, 361, 449, 621, 691, 861 ], [ 74, 114, 262, 362, 450, 622, 692, 862 ], [ 75, 115, 263, 363, 451, 623, 693, 863 ], [ 76, 116, 264, 364, 452, 624, 694, 864 ], [ 77, 117, 265, 365, 453, 625, 695, 865 ], [ 78, 118, 266, 366, 454, 626, 696, 866 ], [ 79, 119, 267, 367, 455, 627, 697, 867 ], [ 80, 120, 268, 368, 456, 628, 698, 868 ], [ 81, 121, 269, 369, 457, 629, 699, 869 ], [ 82, 122, 270, 370, 458, 630, 700, 870 ], [ 83, 123, 271, 371, 459, 631, 701, 871 ], [ 84, 124, 272, 372, 460, 632, 702, 763 ], [ 85, 125, 273, 373, 461, 633, 703, 764 ], [ 86, 126, 274, 374, 462, 634, 704, 765 ], [ 87, 127, 275, 375, 463, 635, 705, 766 ], [ 88, 128, 276, 376, 464, 636, 706, 767 ], [ 89, 129, 277, 377, 465, 637, 707, 768 ], [ 90, 130, 278, 378, 466, 638, 708, 769 ], [ 91, 131, 279, 379, 467, 639, 709, 770 ], [ 92, 132, 280, 380, 468, 640, 710, 771 ], [ 93, 133, 281, 381, 469, 641, 711, 772 ], [ 94, 134, 282, 382, 470, 642, 712, 773 ], [ 95, 135, 283, 383, 471, 643, 713, 774 ], [ 61, 192, 322, 405, 515, 583, 721, 804 ], [ 62, 193, 323, 406, 516, 584, 722, 805 ], [ 63, 194, 324, 407, 517, 585, 723, 806 ], [ 64, 195, 325, 408, 518, 586, 724, 807 ], [ 65, 196, 326, 409, 519, 587, 725, 808 ], [ 66, 197, 218, 410, 520, 588, 726, 809 ], [ 67, 198, 219, 411, 521, 589, 727, 810 ], [ 68, 199, 220, 412, 522, 590, 728, 811 ], [ 69, 200, 221, 413, 523, 591, 729, 812 ], [ 70, 201, 222, 414, 524, 592, 730, 813 ], [ 71, 202, 223, 415, 525, 593, 731, 814 ], [ 72, 203, 224, 416, 526, 594, 732, 815 ], [ 73, 204, 225, 417, 527, 595, 733, 816 ], [ 74, 205, 226, 418, 528, 596, 734, 817 ], [ 75, 206, 227, 419, 529, 597, 735, 818 ], [ 76, 207, 228, 420, 530, 598, 736, 819 ], [ 77, 208, 229, 421, 531, 599, 737, 820 ], [ 78, 209, 230, 422, 532, 600, 738, 821 ], [ 79, 210, 231, 423, 533, 601, 739, 822 ], [ 80, 211, 232, 424, 534, 602, 740, 823 ], [ 81, 212, 233, 425, 535, 603, 741, 824 ], [ 82, 213, 234, 426, 536, 604, 742, 825 ], [ 83, 214, 235, 427, 537, 605, 743, 826 ], [ 84, 215, 236, 428, 538, 606, 744, 827 ], [ 85, 216, 237, 429, 539, 607, 745, 828 ], [ 86, 217, 238, 430, 540, 608, 746, 829 ], [ 87, 109, 239, 431, 541, 609, 747, 830 ], [ 88, 110, 240, 432, 542, 610, 748, 831 ], [ 89, 111, 241, 433, 543, 611, 749, 832 ], [ 90, 112, 242, 434, 544, 612, 750, 833 ], [ 91, 113, 243, 435, 436, 613, 751, 834 ], [ 92, 114, 244, 327, 437, 614, 752, 835 ], [ 93, 115, 245, 328, 438, 615, 753, 836 ], [ 94, 116, 246, 329, 439, 616, 754, 837 ], [ 95, 117, 247, 330, 440, 617, 755, 838 ], [ 96, 118, 248, 331, 441, 618, 756, 839 ], [ 97, 119, 249, 332, 442, 619, 757, 840 ], [ 98, 120, 250, 333, 443, 620, 758, 841 ], [ 99, 121, 251, 334, 444, 621, 759, 842 ], [ 100, 122, 252, 335, 445, 622, 760, 843 ], [ 101, 123, 253, 336, 446, 623, 761, 844 ], [ 102, 124, 254, 337, 447, 624, 762, 845 ], [ 103, 125, 255, 338, 448, 625, 654, 846 ], [ 104, 126, 256, 339, 449, 626, 655, 847 ], [ 105, 127, 257, 340, 450, 627, 656, 848 ], [ 106, 128, 258, 341, 451, 628, 657, 849 ], [ 107, 129, 259, 342, 452, 629, 658, 850 ], [ 108, 130, 260, 343, 453, 630, 659, 851 ], [ 0, 131, 261, 344, 454, 631, 660, 852 ], [ 1, 132, 262, 345, 455, 632, 661, 853 ], [ 2, 133, 263, 346, 456, 633, 662, 854 ], [ 3, 134, 264, 347, 457, 634, 663, 855 ], [ 4, 135, 265, 348, 458, 635, 664, 856 ], [ 5, 136, 266, 349, 459, 636, 665, 857 ], [ 6, 137, 267, 350, 460, 637, 666, 858 ], [ 7, 138, 268, 351, 461, 638, 667, 859 ], [ 8, 139, 269, 352, 462, 639, 668, 860 ], [ 9, 140, 270, 353, 463, 640, 669, 861 ], [ 10, 141, 271, 354, 464, 641, 670, 862 ], [ 11, 142, 272, 355, 465, 642, 671, 863 ], [ 12, 143, 273, 356, 466, 643, 672, 864 ], [ 13, 144, 274, 357, 467, 644, 673, 865 ], [ 14, 145, 275, 358, 468, 645, 674, 866 ], [ 15, 146, 276, 359, 469, 646, 675, 867 ], [ 16, 147, 277, 360, 470, 647, 676, 868 ], [ 17, 148, 278, 361, 471, 648, 677, 869 ], [ 18, 149, 279, 362, 472, 649, 678, 870 ], [ 19, 150, 280, 363, 473, 650, 679, 871 ], [ 20, 151, 281, 364, 474, 651, 680, 763 ], [ 21, 152, 282, 365, 475, 652, 681, 764 ], [ 22, 153, 283, 366, 476, 653, 682, 765 ], [ 23, 154, 284, 367, 477, 545, 683, 766 ], [ 24, 155, 285, 368, 478, 546, 684, 767 ], [ 25, 156, 286, 369, 479, 547, 685, 768 ], [ 26, 157, 287, 370, 480, 548, 686, 769 ], [ 27, 158, 288, 371, 481, 549, 687, 770 ], [ 28, 159, 289, 372, 482, 550, 688, 771 ], [ 29, 160, 290, 373, 483, 551, 689, 772 ], [ 30, 161, 291, 374, 484, 552, 690, 773 ], [ 31, 162, 292, 375, 485, 553, 691, 774 ], [ 32, 163, 293, 376, 486, 554, 692, 775 ], [ 33, 164, 294, 377, 487, 555, 693, 776 ], [ 34, 165, 295, 378, 488, 556, 694, 777 ], [ 35, 166, 296, 379, 489, 557, 695, 778 ], [ 36, 167, 297, 380, 490, 558, 696, 779 ], [ 37, 168, 298, 381, 491, 559, 697, 780 ], [ 38, 169, 299, 382, 492, 560, 698, 781 ], [ 39, 170, 300, 383, 493, 561, 699, 782 ], [ 40, 171, 301, 384, 494, 562, 700, 783 ], [ 41, 172, 302, 385, 495, 563, 701, 784 ], [ 42, 173, 303, 386, 496, 564, 702, 785 ], [ 43, 174, 304, 387, 497, 565, 703, 786 ], [ 44, 175, 305, 388, 498, 566, 704, 787 ], [ 45, 176, 306, 389, 499, 567, 705, 788 ], [ 46, 177, 307, 390, 500, 568, 706, 789 ], [ 47, 178, 308, 391, 501, 569, 707, 790 ], [ 48, 179, 309, 392, 502, 570, 708, 791 ], [ 49, 180, 310, 393, 503, 571, 709, 792 ], [ 50, 181, 311, 394, 504, 572, 710, 793 ], [ 51, 182, 312, 395, 505, 573, 711, 794 ], [ 52, 183, 313, 396, 506, 574, 712, 795 ], [ 53, 184, 314, 397, 507, 575, 713, 796 ], [ 54, 185, 315, 398, 508, 576, 714, 797 ], [ 55, 186, 316, 399, 509, 577, 715, 798 ], [ 56, 187, 317, 400, 510, 578, 716, 799 ], [ 57, 188, 318, 401, 511, 579, 717, 800 ], [ 58, 189, 319, 402, 512, 580, 718, 801 ], [ 59, 190, 320, 403, 513, 581, 719, 802 ], [ 60, 191, 321, 404, 514, 582, 720, 803 ], [ 84, 123, 318, 430, 452, 545, 740, 798 ], [ 85, 124, 319, 431, 453, 546, 741, 799 ], [ 86, 125, 320, 432, 454, 547, 742, 800 ], [ 87, 126, 321, 433, 455, 548, 743, 801 ], [ 88, 127, 322, 434, 456, 549, 744, 802 ], [ 89, 128, 323, 435, 457, 550, 745, 803 ], [ 90, 129, 324, 327, 458, 551, 746, 804 ], [ 91, 130, 325, 328, 459, 552, 747, 805 ], [ 92, 131, 326, 329, 460, 553, 748, 806 ], [ 93, 132, 218, 330, 461, 554, 749, 807 ], [ 94, 133, 219, 331, 462, 555, 750, 808 ], [ 95, 134, 220, 332, 463, 556, 751, 809 ], [ 96, 135, 221, 333, 464, 557, 752, 810 ], [ 97, 136, 222, 334, 465, 558, 753, 811 ], [ 98, 137, 223, 335, 466, 559, 754, 812 ], [ 99, 138, 224, 336, 467, 560, 755, 813 ], [ 100, 139, 225, 337, 468, 561, 756, 814 ], [ 101, 140, 226, 338, 469, 562, 757, 815 ], [ 102, 141, 227, 339, 470, 563, 758, 816 ], [ 103, 142, 228, 340, 471, 564, 759, 817 ], [ 104, 143, 229, 341, 472, 565, 760, 818 ], [ 105, 144, 230, 342, 473, 566, 761, 819 ], [ 106, 145, 231, 343, 474, 567, 762, 820 ], [ 107, 146, 232, 344, 475, 568, 654, 821 ], [ 108, 147, 233, 345, 476, 569, 655, 822 ], [ 0, 148, 234, 346, 477, 570, 656, 823 ], [ 1, 149, 235, 347, 478, 571, 657, 824 ], [ 2, 150, 236, 348, 479, 572, 658, 825 ], [ 3, 151, 237, 349, 480, 573, 659, 826 ], [ 4, 152, 238, 350, 481, 574, 660, 827 ], [ 5, 153, 239, 351, 482, 575, 661, 828 ], [ 6, 154, 240, 352, 483, 576, 662, 829 ], [ 7, 155, 241, 353, 484, 577, 663, 830 ], [ 8, 156, 242, 354, 485, 578, 664, 831 ], [ 9, 157, 243, 355, 486, 579, 665, 832 ], [ 10, 158, 244, 356, 487, 580, 666, 833 ], [ 11, 159, 245, 357, 488, 581, 667, 834 ], [ 12, 160, 246, 358, 489, 582, 668, 835 ], [ 13, 161, 247, 359, 490, 583, 669, 836 ], [ 14, 162, 248, 360, 491, 584, 670, 837 ], [ 15, 163, 249, 361, 492, 585, 671, 838 ], [ 16, 164, 250, 362, 493, 586, 672, 839 ], [ 17, 165, 251, 363, 494, 587, 673, 840 ], [ 18, 166, 252, 364, 495, 588, 674, 841 ], [ 19, 167, 253, 365, 496, 589, 675, 842 ], [ 20, 168, 254, 366, 497, 590, 676, 843 ], [ 21, 169, 255, 367, 498, 591, 677, 844 ], [ 22, 170, 256, 368, 499, 592, 678, 845 ], [ 23, 171, 257, 369, 500, 593, 679, 846 ], [ 24, 172, 258, 370, 501, 594, 680, 847 ], [ 25, 173, 259, 371, 502, 595, 681, 848 ], [ 26, 174, 260, 372, 503, 596, 682, 849 ], [ 27, 175, 261, 373, 504, 597, 683, 850 ], [ 28, 176, 262, 374, 505, 598, 684, 851 ], [ 29, 177, 263, 375, 506, 599, 685, 852 ], [ 30, 178, 264, 376, 507, 600, 686, 853 ], [ 31, 179, 265, 377, 508, 601, 687, 854 ], [ 32, 180, 266, 378, 509, 602, 688, 855 ], [ 33, 181, 267, 379, 510, 603, 689, 856 ], [ 34, 182, 268, 380, 511, 604, 690, 857 ], [ 35, 183, 269, 381, 512, 605, 691, 858 ], [ 36, 184, 270, 382, 513, 606, 692, 859 ], [ 37, 185, 271, 383, 514, 607, 693, 860 ], [ 38, 186, 272, 384, 515, 608, 694, 861 ], [ 39, 187, 273, 385, 516, 609, 695, 862 ], [ 40, 188, 274, 386, 517, 610, 696, 863 ], [ 41, 189, 275, 387, 518, 611, 697, 864 ], [ 42, 190, 276, 388, 519, 612, 698, 865 ], [ 43, 191, 277, 389, 520, 613, 699, 866 ], [ 44, 192, 278, 390, 521, 614, 700, 867 ], [ 45, 193, 279, 391, 522, 615, 701, 868 ], [ 46, 194, 280, 392, 523, 616, 702, 869 ], [ 47, 195, 281, 393, 524, 617, 703, 870 ], [ 48, 196, 282, 394, 525, 618, 704, 871 ], [ 49, 197, 283, 395, 526, 619, 705, 763 ], [ 50, 198, 284, 396, 527, 620, 706, 764 ], [ 51, 199, 285, 397, 528, 621, 707, 765 ], [ 52, 200, 286, 398, 529, 622, 708, 766 ], [ 53, 201, 287, 399, 530, 623, 709, 767 ], [ 54, 202, 288, 400, 531, 624, 710, 768 ], [ 55, 203, 289, 401, 532, 625, 711, 769 ], [ 56, 204, 290, 402, 533, 626, 712, 770 ], [ 57, 205, 291, 403, 534, 627, 713, 771 ], [ 58, 206, 292, 404, 535, 628, 714, 772 ], [ 59, 207, 293, 405, 536, 629, 715, 773 ], [ 60, 208, 294, 406, 537, 630, 716, 774 ], [ 61, 209, 295, 407, 538, 631, 717, 775 ], [ 62, 210, 296, 408, 539, 632, 718, 776 ], [ 63, 211, 297, 409, 540, 633, 719, 777 ], [ 64, 212, 298, 410, 541, 634, 720, 778 ], [ 65, 213, 299, 411, 542, 635, 721, 779 ], [ 66, 214, 300, 412, 543, 636, 722, 780 ], [ 67, 215, 301, 413, 544, 637, 723, 781 ], [ 68, 216, 302, 414, 436, 638, 724, 782 ], [ 69, 217, 303, 415, 437, 639, 725, 783 ], [ 70, 109, 304, 416, 438, 640, 726, 784 ], [ 71, 110, 305, 417, 439, 641, 727, 785 ], [ 72, 111, 306, 418, 440, 642, 728, 786 ], [ 73, 112, 307, 419, 441, 643, 729, 787 ], [ 74, 113, 308, 420, 442, 644, 730, 788 ], [ 75, 114, 309, 421, 443, 645, 731, 789 ], [ 76, 115, 310, 422, 444, 646, 732, 790 ], [ 77, 116, 311, 423, 445, 647, 733, 791 ], [ 78, 117, 312, 424, 446, 648, 734, 792 ], [ 79, 118, 313, 425, 447, 649, 735, 793 ], [ 80, 119, 314, 426, 448, 650, 736, 794 ], [ 81, 120, 315, 427, 449, 651, 737, 795 ], [ 82, 121, 316, 428, 450, 652, 738, 796 ], [ 83, 122, 317, 429, 451, 653, 739, 797 ] ], "Z": [ [ 3, 216, 237, 378, 488, 638, 667, 855 ], [ 4, 217, 238, 379, 489, 639, 668, 856 ], [ 5, 109, 239, 380, 490, 640, 669, 857 ], [ 6, 110, 240, 381, 491, 641, 670, 858 ], [ 7, 111, 241, 382, 492, 642, 671, 859 ], [ 8, 112, 242, 383, 493, 643, 672, 860 ], [ 9, 113, 243, 384, 494, 644, 673, 861 ], [ 10, 114, 244, 385, 495, 645, 674, 862 ], [ 11, 115, 245, 386, 496, 646, 675, 863 ], [ 12, 116, 246, 387, 497, 647, 676, 864 ], [ 13, 117, 247, 388, 498, 648, 677, 865 ], [ 14, 118, 248, 389, 499, 649, 678, 866 ], [ 15, 119, 249, 390, 500, 650, 679, 867 ], [ 16, 120, 250, 391, 501, 651, 680, 868 ], [ 17, 121, 251, 392, 502, 652, 681, 869 ], [ 18, 122, 252, 393, 503, 653, 682, 870 ], [ 19, 123, 253, 394, 504, 545, 683, 871 ], [ 20, 124, 254, 395, 505, 546, 684, 763 ], [ 21, 125, 255, 396, 506, 547, 685, 764 ], [ 22, 126, 256, 397, 507, 548, 686, 765 ], [ 23, 127, 257, 398, 508, 549, 687, 766 ], [ 24, 128, 258, 399, 509, 550, 688, 767 ], [ 25, 129, 259, 400, 510, 551, 689, 768 ], [ 26, 130, 260, 401, 511, 552, 690, 769 ], [ 27, 131, 261, 402, 512, 553, 691, 770 ], [ 28, 132, 262, 403, 513, 554, 692, 771 ], [ 29, 133, 263, 404, 514, 555, 693, 772 ], [ 30, 134, 264, 405, 515, 556, 694, 773 ], [ 31, 135, 265, 406, 516, 557, 695, 774 ], [ 32, 136, 266, 407, 517, 558, 696, 775 ], [ 33, 137, 267, 408, 518, 559, 697, 776 ], [ 34, 138, 268, 409, 519, 560, 698, 777 ], [ 35, 139, 269, 410, 520, 561, 699, 778 ], [ 36, 140, 270, 411, 521, 562, 700, 779 ], [ 37, 141, 271, 412, 522, 563, 701, 780 ], [ 38, 142, 272, 413, 523, 564, 702, 781 ], [ 39, 143, 273, 414, 524, 565, 703, 782 ], [ 40, 144, 274, 415, 525, 566, 704, 783 ], [ 41, 145, 275, 416, 526, 567, 705, 784 ], [ 42, 146, 276, 417, 527, 568, 706, 785 ], [ 43, 147, 277, 418, 528, 569, 707, 786 ], [ 44, 148, 278, 419, 529, 570, 708, 787 ], [ 45, 149, 279, 420, 530, 571, 709, 788 ], [ 46, 150, 280, 421, 531, 572, 710, 789 ], [ 47, 151, 281, 422, 532, 573, 711, 790 ], [ 48, 152, 282, 423, 533, 574, 712, 791 ], [ 49, 153, 283, 424, 534, 575, 713, 792 ], [ 50, 154, 284, 425, 535, 576, 714, 793 ], [ 51, 155, 285, 426, 536, 577, 715, 794 ], [ 52, 156, 286, 427, 537, 578, 716, 795 ], [ 53, 157, 287, 428, 538, 579, 717, 796 ], [ 54, 158, 288, 429, 539, 580, 718, 797 ], [ 55, 159, 289, 430, 540, 581, 719, 798 ], [ 56, 160, 290, 431, 541, 582, 720, 799 ], [ 57, 161, 291, 432, 542, 583, 721, 800 ], [ 58, 162, 292, 433, 543, 584, 722, 801 ], [ 59, 163, 293, 434, 544, 585, 723, 802 ], [ 60, 164, 294, 435, 436, 586, 724, 803 ], [ 61, 165, 295, 327, 437, 587, 725, 804 ], [ 62, 166, 296, 328, 438, 588, 726, 805 ], [ 63, 167, 297, 329, 439, 589, 727, 806 ], [ 64, 168, 298, 330, 440, 590, 728, 807 ], [ 65, 169, 299, 331, 441, 591, 729, 808 ], [ 66, 170, 300, 332, 442, 592, 730, 809 ], [ 67, 171, 301, 333, 443, 593, 731, 810 ], [ 68, 172, 302, 334, 444, 594, 732, 811 ], [ 69, 173, 303, 335, 445, 595, 733, 812 ], [ 70, 174, 304, 336, 446, 596, 734, 813 ], [ 71, 175, 305, 337, 447, 597, 735, 814 ], [ 72, 176, 306, 338, 448, 598, 736, 815 ], [ 73, 177, 307, 339, 449, 599, 737, 816 ], [ 74, 178, 308, 340, 450, 600, 738, 817 ], [ 75, 179, 309, 341, 451, 601, 739, 818 ], [ 76, 180, 310, 342, 452, 602, 740, 819 ], [ 77, 181, 311, 343, 453, 603, 741, 820 ], [ 78, 182, 312, 344, 454, 604, 742, 821 ], [ 79, 183, 313, 345, 455, 605, 743, 822 ], [ 80, 184, 314, 346, 456, 606, 744, 823 ], [ 81, 185, 315, 347, 457, 607, 745, 824 ], [ 82, 186, 316, 348, 458, 608, 746, 825 ], [ 83, 187, 317, 349, 459, 609, 747, 826 ], [ 84, 188, 318, 350, 460, 610, 748, 827 ], [ 85, 189, 319, 351, 461, 611, 749, 828 ], [ 86, 190, 320, 352, 462, 612, 750, 829 ], [ 87, 191, 321, 353, 463, 613, 751, 830 ], [ 88, 192, 322, 354, 464, 614, 752, 831 ], [ 89, 193, 323, 355, 465, 615, 753, 832 ], [ 90, 194, 324, 356, 466, 616, 754, 833 ], [ 91, 195, 325, 357, 467, 617, 755, 834 ], [ 92, 196, 326, 358, 468, 618, 756, 835 ], [ 93, 197, 218, 359, 469, 619, 757, 836 ], [ 94, 198, 219, 360, 470, 620, 758, 837 ], [ 95, 199, 220, 361, 471, 621, 759, 838 ], [ 96, 200, 221, 362, 472, 622, 760, 839 ], [ 97, 201, 222, 363, 473, 623, 761, 840 ], [ 98, 202, 223, 364, 474, 624, 762, 841 ], [ 99, 203, 224, 365, 475, 625, 654, 842 ], [ 100, 204, 225, 366, 476, 626, 655, 843 ], [ 101, 205, 226, 367, 477, 627, 656, 844 ], [ 102, 206, 227, 368, 478, 628, 657, 845 ], [ 103, 207, 228, 369, 479, 629, 658, 846 ], [ 104, 208, 229, 370, 480, 630, 659, 847 ], [ 105, 209, 230, 371, 481, 631, 660, 848 ], [ 106, 210, 231, 372, 482, 632, 661, 849 ], [ 107, 211, 232, 373, 483, 633, 662, 850 ], [ 108, 212, 233, 374, 484, 634, 663, 851 ], [ 0, 213, 234, 375, 485, 635, 664, 852 ], [ 1, 214, 235, 376, 486, 636, 665, 853 ], [ 2, 215, 236, 377, 487, 637, 666, 854 ], [ 8, 110, 305, 331, 462, 618, 704, 831 ], [ 9, 111, 306, 332, 463, 619, 705, 832 ], [ 10, 112, 307, 333, 464, 620, 706, 833 ], [ 11, 113, 308, 334, 465, 621, 707, 834 ], [ 12, 114, 309, 335, 466, 622, 708, 835 ], [ 13, 115, 310, 336, 467, 623, 709, 836 ], [ 14, 116, 311, 337, 468, 624, 710, 837 ], [ 15, 117, 312, 338, 469, 625, 711, 838 ], [ 16, 118, 313, 339, 470, 626, 712, 839 ], [ 17, 119, 314, 340, 471, 627, 713, 840 ], [ 18, 120, 315, 341, 472, 628, 714, 841 ], [ 19, 121, 316, 342, 473, 629, 715, 842 ], [ 20, 122, 317, 343, 474, 630, 716, 843 ], [ 21, 123, 318, 344, 475, 631, 717, 844 ], [ 22, 124, 319, 345, 476, 632, 718, 845 ], [ 23, 125, 320, 346, 477, 633, 719, 846 ], [ 24, 126, 321, 347, 478, 634, 720, 847 ], [ 25, 127, 322, 348, 479, 635, 721, 848 ], [ 26, 128, 323, 349, 480, 636, 722, 849 ], [ 27, 129, 324, 350, 481, 637, 723, 850 ], [ 28, 130, 325, 351, 482, 638, 724, 851 ], [ 29, 131, 326, 352, 483, 639, 725, 852 ], [ 30, 132, 218, 353, 484, 640, 726, 853 ], [ 31, 133, 219, 354, 485, 641, 727, 854 ], [ 32, 134, 220, 355, 486, 642, 728, 855 ], [ 33, 135, 221, 356, 487, 643, 729, 856 ], [ 34, 136, 222, 357, 488, 644, 730, 857 ], [ 35, 137, 223, 358, 489, 645, 731, 858 ], [ 36, 138, 224, 359, 490, 646, 732, 859 ], [ 37, 139, 225, 360, 491, 647, 733, 860 ], [ 38, 140, 226, 361, 492, 648, 734, 861 ], [ 39, 141, 227, 362, 493, 649, 735, 862 ], [ 40, 142, 228, 363, 494, 650, 736, 863 ], [ 41, 143, 229, 364, 495, 651, 737, 864 ], [ 42, 144, 230, 365, 496, 652, 738, 865 ], [ 43, 145, 231, 366, 497, 653, 739, 866 ], [ 44, 146, 232, 367, 498, 545, 740, 867 ], [ 45, 147, 233, 368, 499, 546, 741, 868 ], [ 46, 148, 234, 369, 500, 547, 742, 869 ], [ 47, 149, 235, 370, 501, 548, 743, 870 ], [ 48, 150, 236, 371, 502, 549, 744, 871 ], [ 49, 151, 237, 372, 503, 550, 745, 763 ], [ 50, 152, 238, 373, 504, 551, 746, 764 ], [ 51, 153, 239, 374, 505, 552, 747, 765 ], [ 52, 154, 240, 375, 506, 553, 748, 766 ], [ 53, 155, 241, 376, 507, 554, 749, 767 ], [ 54, 156, 242, 377, 508, 555, 750, 768 ], [ 55, 157, 243, 378, 509, 556, 751, 769 ], [ 56, 158, 244, 379, 510, 557, 752, 770 ], [ 57, 159, 245, 380, 511, 558, 753, 771 ], [ 58, 160, 246, 381, 512, 559, 754, 772 ], [ 59, 161, 247, 382, 513, 560, 755, 773 ], [ 60, 162, 248, 383, 514, 561, 756, 774 ], [ 61, 163, 249, 384, 515, 562, 757, 775 ], [ 62, 164, 250, 385, 516, 563, 758, 776 ], [ 63, 165, 251, 386, 517, 564, 759, 777 ], [ 64, 166, 252, 387, 518, 565, 760, 778 ], [ 65, 167, 253, 388, 519, 566, 761, 779 ], [ 66, 168, 254, 389, 520, 567, 762, 780 ], [ 67, 169, 255, 390, 521, 568, 654, 781 ], [ 68, 170, 256, 391, 522, 569, 655, 782 ], [ 69, 171, 257, 392, 523, 570, 656, 783 ], [ 70, 172, 258, 393, 524, 571, 657, 784 ], [ 71, 173, 259, 394, 525, 572, 658, 785 ], [ 72, 174, 260, 395, 526, 573, 659, 786 ], [ 73, 175, 261, 396, 527, 574, 660, 787 ], [ 74, 176, 262, 397, 528, 575, 661, 788 ], [ 75, 177, 263, 398, 529, 576, 662, 789 ], [ 76, 178, 264, 399, 530, 577, 663, 790 ], [ 77, 179, 265, 400, 531, 578, 664, 791 ], [ 78, 180, 266, 401, 532, 579, 665, 792 ], [ 79, 181, 267, 402, 533, 580, 666, 793 ], [ 80, 182, 268, 403, 534, 581, 667, 794 ], [ 81, 183, 269, 404, 535, 582, 668, 795 ], [ 82, 184, 270, 405, 536, 583, 669, 796 ], [ 83, 185, 271, 406, 537, 584, 670, 797 ], [ 84, 186, 272, 407, 538, 585, 671, 798 ], [ 85, 187, 273, 408, 539, 586, 672, 799 ], [ 86, 188, 274, 409, 540, 587, 673, 800 ], [ 87, 189, 275, 410, 541, 588, 674, 801 ], [ 88, 190, 276, 411, 542, 589, 675, 802 ], [ 89, 191, 277, 412, 543, 590, 676, 803 ], [ 90, 192, 278, 413, 544, 591, 677, 804 ], [ 91, 193, 279, 414, 436, 592, 678, 805 ], [ 92, 194, 280, 415, 437, 593, 679, 806 ], [ 93, 195, 281, 416, 438, 594, 680, 807 ], [ 94, 196, 282, 417, 439, 595, 681, 808 ], [ 95, 197, 283, 418, 440, 596, 682, 809 ], [ 96, 198, 284, 419, 441, 597, 683, 810 ], [ 97, 199, 285, 420, 442, 598, 684, 811 ], [ 98, 200, 286, 421, 443, 599, 685, 812 ], [ 99, 201, 287, 422, 444, 600, 686, 813 ], [ 100, 202, 288, 423, 445, 601, 687, 814 ], [ 101, 203, 289, 424, 446, 602, 688, 815 ], [ 102, 204, 290, 425, 447, 603, 689, 816 ], [ 103, 205, 291, 426, 448, 604, 690, 817 ], [ 104, 206, 292, 427, 449, 605, 691, 818 ], [ 105, 207, 293, 428, 450, 606, 692, 819 ], [ 106, 208, 294, 429, 451, 607, 693, 820 ], [ 107, 209, 295, 430, 452, 608, 694, 821 ], [ 108, 210, 296, 431, 453, 609, 695, 822 ], [ 0, 211, 297, 432, 454, 610, 696, 823 ], [ 1, 212, 298, 433, 455, 611, 697, 824 ], [ 2, 213, 299, 434, 456, 612, 698, 825 ], [ 3, 214, 300, 435, 457, 613, 699, 826 ], [ 4, 215, 301, 327, 458, 614, 700, 827 ], [ 5, 216, 302, 328, 459, 615, 701, 828 ], [ 6, 217, 303, 329, 460, 616, 702, 829 ], [ 7, 109, 304, 330, 461, 617, 703, 830 ], [ 8, 121, 269, 397, 485, 621, 691, 796 ], [ 9, 122, 270, 398, 486, 622, 692, 797 ], [ 10, 123, 271, 399, 487, 623, 693, 798 ], [ 11, 124, 272, 400, 488, 624, 694, 799 ], [ 12, 125, 273, 401, 489, 625, 695, 800 ], [ 13, 126, 274, 402, 490, 626, 696, 801 ], [ 14, 127, 275, 403, 491, 627, 697, 802 ], [ 15, 128, 276, 404, 492, 628, 698, 803 ], [ 16, 129, 277, 405, 493, 629, 699, 804 ], [ 17, 130, 278, 406, 494, 630, 700, 805 ], [ 18, 131, 279, 407, 495, 631, 701, 806 ], [ 19, 132, 280, 408, 496, 632, 702, 807 ], [ 20, 133, 281, 409, 497, 633, 703, 808 ], [ 21, 134, 282, 410, 498, 634, 704, 809 ], [ 22, 135, 283, 411, 499, 635, 705, 810 ], [ 23, 136, 284, 412, 500, 636, 706, 811 ], [ 24, 137, 285, 413, 501, 637, 707, 812 ], [ 25, 138, 286, 414, 502, 638, 708, 813 ], [ 26, 139, 287, 415, 503, 639, 709, 814 ], [ 27, 140, 288, 416, 504, 640, 710, 815 ], [ 28, 141, 289, 417, 505, 641, 711, 816 ], [ 29, 142, 290, 418, 506, 642, 712, 817 ], [ 30, 143, 291, 419, 507, 643, 713, 818 ], [ 31, 144, 292, 420, 508, 644, 714, 819 ], [ 32, 145, 293, 421, 509, 645, 715, 820 ], [ 33, 146, 294, 422, 510, 646, 716, 821 ], [ 34, 147, 295, 423, 511, 647, 717, 822 ], [ 35, 148, 296, 424, 512, 648, 718, 823 ], [ 36, 149, 297, 425, 513, 649, 719, 824 ], [ 37, 150, 298, 426, 514, 650, 720, 825 ], [ 38, 151, 299, 427, 515, 651, 721, 826 ], [ 39, 152, 300, 428, 516, 652, 722, 827 ], [ 40, 153, 301, 429, 517, 653, 723, 828 ], [ 41, 154, 302, 430, 518, 545, 724, 829 ], [ 42, 155, 303, 431, 519, 546, 725, 830 ], [ 43, 156, 304, 432, 520, 547, 726, 831 ], [ 44, 157, 305, 433, 521, 548, 727, 832 ], [ 45, 158, 306, 434, 522, 549, 728, 833 ], [ 46, 159, 307, 435, 523, 550, 729, 834 ], [ 47, 160, 308, 327, 524, 551, 730, 835 ], [ 48, 161, 309, 328, 525, 552, 731, 836 ], [ 49, 162, 310, 329, 526, 553, 732, 837 ], [ 50, 163, 311, 330, 527, 554, 733, 838 ], [ 51, 164, 312, 331, 528, 555, 734, 839 ], [ 52, 165, 313, 332, 529, 556, 735, 840 ], [ 53, 166, 314, 333, 530, 557, 736, 841 ], [ 54, 167, 315, 334, 531, 558, 737, 842 ], [ 55, 168, 316, 335, 532, 559, 738, 843 ], [ 56, 169, 317, 336, 533, 560, 739, 844 ], [ 57, 170, 318, 337, 534, 561, 740, 845 ], [ 58, 171, 319, 338, 535, 562, 741, 846 ], [ 59, 172, 320, 339, 536, 563, 742, 847 ], [ 60, 173, 321, 340, 537, 564, 743, 848 ], [ 61, 174, 322, 341, 538, 565, 744, 849 ], [ 62, 175, 323, 342, 539, 566, 745, 850 ], [ 63, 176, 324, 343, 540, 567, 746, 851 ], [ 64, 177, 325, 344, 541, 568, 747, 852 ], [ 65, 178, 326, 345, 542, 569, 748, 853 ], [ 66, 179, 218, 346, 543, 570, 749, 854 ], [ 67, 180, 219, 347, 544, 571, 750, 855 ], [ 68, 181, 220, 348, 436, 572, 751, 856 ], [ 69, 182, 221, 349, 437, 573, 752, 857 ], [ 70, 183, 222, 350, 438, 574, 753, 858 ], [ 71, 184, 223, 351, 439, 575, 754, 859 ], [ 72, 185, 224, 352, 440, 576, 755, 860 ], [ 73, 186, 225, 353, 441, 577, 756, 861 ], [ 74, 187, 226, 354, 442, 578, 757, 862 ], [ 75, 188, 227, 355, 443, 579, 758, 863 ], [ 76, 189, 228, 356, 444, 580, 759, 864 ], [ 77, 190, 229, 357, 445, 581, 760, 865 ], [ 78, 191, 230, 358, 446, 582, 761, 866 ], [ 79, 192, 231, 359, 447, 583, 762, 867 ], [ 80, 193, 232, 360, 448, 584, 654, 868 ], [ 81, 194, 233, 361, 449, 585, 655, 869 ], [ 82, 195, 234, 362, 450, 586, 656, 870 ], [ 83, 196, 235, 363, 451, 587, 657, 871 ], [ 84, 197, 236, 364, 452, 588, 658, 763 ], [ 85, 198, 237, 365, 453, 589, 659, 764 ], [ 86, 199, 238, 366, 454, 590, 660, 765 ], [ 87, 200, 239, 367, 455, 591, 661, 766 ], [ 88, 201, 240, 368, 456, 592, 662, 767 ], [ 89, 202, 241, 369, 457, 593, 663, 768 ], [ 90, 203, 242, 370, 458, 594, 664, 769 ], [ 91, 204, 243, 371, 459, 595, 665, 770 ], [ 92, 205, 244, 372, 460, 596, 666, 771 ], [ 93, 206, 245, 373, 461, 597, 667, 772 ], [ 94, 207, 246, 374, 462, 598, 668, 773 ], [ 95, 208, 247, 375, 463, 599, 669, 774 ], [ 96, 209, 248, 376, 464, 600, 670, 775 ], [ 97, 210, 249, 377, 465, 601, 671, 776 ], [ 98, 211, 250, 378, 466, 602, 672, 777 ], [ 99, 212, 251, 379, 467, 603, 673, 778 ], [ 100, 213, 252, 380, 468, 604, 674, 779 ], [ 101, 214, 253, 381, 469, 605, 675, 780 ], [ 102, 215, 254, 382, 470, 606, 676, 781 ], [ 103, 216, 255, 383, 471, 607, 677, 782 ], [ 104, 217, 256, 384, 472, 608, 678, 783 ], [ 105, 109, 257, 385, 473, 609, 679, 784 ], [ 106, 110, 258, 386, 474, 610, 680, 785 ], [ 107, 111, 259, 387, 475, 611, 681, 786 ], [ 108, 112, 260, 388, 476, 612, 682, 787 ], [ 0, 113, 261, 389, 477, 613, 683, 788 ], [ 1, 114, 262, 390, 478, 614, 684, 789 ], [ 2, 115, 263, 391, 479, 615, 685, 790 ], [ 3, 116, 264, 392, 480, 616, 686, 791 ], [ 4, 117, 265, 393, 481, 617, 687, 792 ], [ 5, 118, 266, 394, 482, 618, 688, 793 ], [ 6, 119, 267, 395, 483, 619, 689, 794 ], [ 7, 120, 268, 396, 484, 620, 690, 795 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 68, 119, 216, 220, 268, 355, 378, 386, 391, 426, 471, 594, 615, 650, 680, 690, 769, 777, 794, 863 ], "witness_provenance": { "found_by": [ "@nihoniumqc" ], "date": "2026-10-21", "tool": "research/kit/surrogate.distance_rand_witness (fast)", "seeds": [ 2026102101 ], "found_at_samples": 1000000, "survived_samples": 1000000 } }, "Z": { "value": 62, "confidence": "upper_bound", "witness": [ 24, 48, 49, 65, 82, 120, 129, 153, 164, 166, 167, 172, 180, 196, 197, 198, 213, 214, 217, 235, 239, 250, 252, 256, 259, 265, 266, 339, 366, 368, 377, 379, 396, 415, 421, 428, 431, 438, 458, 483, 502, 519, 546, 558, 563, 571, 574, 587, 589, 636, 673, 689, 709, 726, 731, 737, 753, 767, 827, 829, 843, 865 ], "witness_provenance": { "found_by": [ "@nihoniumqc" ], "date": "2026-10-21", "found_at_samples": 4, "survived_samples": 4, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 2026111222 ] } } }, "provenance": { "authors": [ "@nihoniumqc" ], "construction": "Pair-partition CPM (J,L)=(3,8), lift P=109. EX=[[13,82,43,52,73,10,49,97],[48,26,5,31,30,71,42,68],[25,95,9,6,93,0,23,74]]; EZ=[[106,2,90,58,57,16,96,17],[101,108,22,105,83,36,59,41],[101,97,58,39,60,33,72,76]]. H[i*P+r,j*P+(r-E[i,j])%P]=1. Cube matching constraints as in the accompanying note; seeded null-space mutation minimizes short-cycle exponent forms.", "references": [ "arXiv:2607.14091", "arXiv:2609.30069" ], "date": "2026-10-21", "notes": "Possible equivalence to codes/872-222-18.json remains unresolved. A coarse WL signature collision is not a proof of equivalence. The matched 100,000-trial comparison returned candidate 20 and peer 18. Exact distance and literature novelty are unproven; novelty is unknown. Original exponent search: GPT-6 (Codex); publication preparation: GPT-6.1. Fresh structural verification gives different fingerprints but Tanner girth 8/8 and row-space intersection dimension 1 for both presentations; these shared invariants do not resolve equivalence.", "origin": "submission", "novelty": "unknown", "model": "GPT-6", "search_budget": { "candidates_screened": 8, "notes": "Eight historical pilot candidates; the note distinguishes recovered historical runs from fresh publication validation. CPU only.", "ris_trials_per_side": 1000000 } }, "family": "pair-partition-cpm" }