{ "schema_version": "0.3", "name": "[[768,192,13]] pair-partition code over F_4[C_48] with a full regular canonical frame", "code_type": "CSS", "n": 768, "k": 192, "checks": { "X": [ [ 37, 99, 207, 310, 402, 612, 714, 762 ], [ 38, 100, 208, 311, 403, 613, 715, 763 ], [ 39, 101, 209, 312, 404, 614, 716, 764 ], [ 40, 102, 210, 313, 405, 615, 717, 765 ], [ 41, 103, 211, 314, 406, 616, 718, 766 ], [ 42, 104, 212, 315, 407, 617, 719, 767 ], [ 43, 105, 213, 316, 408, 618, 672, 720 ], [ 44, 106, 214, 317, 409, 619, 673, 721 ], [ 45, 107, 215, 318, 410, 620, 674, 722 ], [ 46, 108, 216, 319, 411, 621, 675, 723 ], [ 47, 109, 217, 320, 412, 622, 676, 724 ], [ 0, 110, 218, 321, 413, 623, 677, 725 ], [ 1, 111, 219, 322, 414, 576, 678, 726 ], [ 2, 112, 220, 323, 415, 577, 679, 727 ], [ 3, 113, 221, 324, 416, 578, 680, 728 ], [ 4, 114, 222, 325, 417, 579, 681, 729 ], [ 5, 115, 223, 326, 418, 580, 682, 730 ], [ 6, 116, 224, 327, 419, 581, 683, 731 ], [ 7, 117, 225, 328, 420, 582, 684, 732 ], [ 8, 118, 226, 329, 421, 583, 685, 733 ], [ 9, 119, 227, 330, 422, 584, 686, 734 ], [ 10, 120, 228, 331, 423, 585, 687, 735 ], [ 11, 121, 229, 332, 424, 586, 688, 736 ], [ 12, 122, 230, 333, 425, 587, 689, 737 ], [ 13, 123, 231, 334, 426, 588, 690, 738 ], [ 14, 124, 232, 335, 427, 589, 691, 739 ], [ 15, 125, 233, 288, 428, 590, 692, 740 ], [ 16, 126, 234, 289, 429, 591, 693, 741 ], [ 17, 127, 235, 290, 430, 592, 694, 742 ], [ 18, 128, 236, 291, 431, 593, 695, 743 ], [ 19, 129, 237, 292, 384, 594, 696, 744 ], [ 20, 130, 238, 293, 385, 595, 697, 745 ], [ 21, 131, 239, 294, 386, 596, 698, 746 ], [ 22, 132, 192, 295, 387, 597, 699, 747 ], [ 23, 133, 193, 296, 388, 598, 700, 748 ], [ 24, 134, 194, 297, 389, 599, 701, 749 ], [ 25, 135, 195, 298, 390, 600, 702, 750 ], [ 26, 136, 196, 299, 391, 601, 703, 751 ], [ 27, 137, 197, 300, 392, 602, 704, 752 ], [ 28, 138, 198, 301, 393, 603, 705, 753 ], [ 29, 139, 199, 302, 394, 604, 706, 754 ], [ 30, 140, 200, 303, 395, 605, 707, 755 ], [ 31, 141, 201, 304, 396, 606, 708, 756 ], [ 32, 142, 202, 305, 397, 607, 709, 757 ], [ 33, 143, 203, 306, 398, 608, 710, 758 ], [ 34, 96, 204, 307, 399, 609, 711, 759 ], [ 35, 97, 205, 308, 400, 610, 712, 760 ], [ 36, 98, 206, 309, 401, 611, 713, 761 ], [ 85, 147, 255, 358, 450, 660, 714 ], [ 86, 148, 256, 359, 451, 661, 715 ], [ 87, 149, 257, 360, 452, 662, 716 ], [ 88, 150, 258, 361, 453, 663, 717 ], [ 89, 151, 259, 362, 454, 664, 718 ], [ 90, 152, 260, 363, 455, 665, 719 ], [ 91, 153, 261, 364, 456, 666, 672 ], [ 92, 154, 262, 365, 457, 667, 673 ], [ 93, 155, 263, 366, 458, 668, 674 ], [ 94, 156, 264, 367, 459, 669, 675 ], [ 95, 157, 265, 368, 460, 670, 676 ], [ 48, 158, 266, 369, 461, 671, 677 ], [ 49, 159, 267, 370, 462, 624, 678 ], [ 50, 160, 268, 371, 463, 625, 679 ], [ 51, 161, 269, 372, 464, 626, 680 ], [ 52, 162, 270, 373, 465, 627, 681 ], [ 53, 163, 271, 374, 466, 628, 682 ], [ 54, 164, 272, 375, 467, 629, 683 ], [ 55, 165, 273, 376, 468, 630, 684 ], [ 56, 166, 274, 377, 469, 631, 685 ], [ 57, 167, 275, 378, 470, 632, 686 ], [ 58, 168, 276, 379, 471, 633, 687 ], [ 59, 169, 277, 380, 472, 634, 688 ], [ 60, 170, 278, 381, 473, 635, 689 ], [ 61, 171, 279, 382, 474, 636, 690 ], [ 62, 172, 280, 383, 475, 637, 691 ], [ 63, 173, 281, 336, 476, 638, 692 ], [ 64, 174, 282, 337, 477, 639, 693 ], [ 65, 175, 283, 338, 478, 640, 694 ], [ 66, 176, 284, 339, 479, 641, 695 ], [ 67, 177, 285, 340, 432, 642, 696 ], [ 68, 178, 286, 341, 433, 643, 697 ], [ 69, 179, 287, 342, 434, 644, 698 ], [ 70, 180, 240, 343, 435, 645, 699 ], [ 71, 181, 241, 344, 436, 646, 700 ], [ 72, 182, 242, 345, 437, 647, 701 ], [ 73, 183, 243, 346, 438, 648, 702 ], [ 74, 184, 244, 347, 439, 649, 703 ], [ 75, 185, 245, 348, 440, 650, 704 ], [ 76, 186, 246, 349, 441, 651, 705 ], [ 77, 187, 247, 350, 442, 652, 706 ], [ 78, 188, 248, 351, 443, 653, 707 ], [ 79, 189, 249, 352, 444, 654, 708 ], [ 80, 190, 250, 353, 445, 655, 709 ], [ 81, 191, 251, 354, 446, 656, 710 ], [ 82, 144, 252, 355, 447, 657, 711 ], [ 83, 145, 253, 356, 448, 658, 712 ], [ 84, 146, 254, 357, 449, 659, 713 ], [ 99, 263, 305, 353, 420, 499, 583, 675 ], [ 100, 264, 306, 354, 421, 500, 584, 676 ], [ 101, 265, 307, 355, 422, 501, 585, 677 ], [ 102, 266, 308, 356, 423, 502, 586, 678 ], [ 103, 267, 309, 357, 424, 503, 587, 679 ], [ 104, 268, 310, 358, 425, 504, 588, 680 ], [ 105, 269, 311, 359, 426, 505, 589, 681 ], [ 106, 270, 312, 360, 427, 506, 590, 682 ], [ 107, 271, 313, 361, 428, 507, 591, 683 ], [ 108, 272, 314, 362, 429, 508, 592, 684 ], [ 109, 273, 315, 363, 430, 509, 593, 685 ], [ 110, 274, 316, 364, 431, 510, 594, 686 ], [ 111, 275, 317, 365, 384, 511, 595, 687 ], [ 112, 276, 318, 366, 385, 512, 596, 688 ], [ 113, 277, 319, 367, 386, 513, 597, 689 ], [ 114, 278, 320, 368, 387, 514, 598, 690 ], [ 115, 279, 321, 369, 388, 515, 599, 691 ], [ 116, 280, 322, 370, 389, 516, 600, 692 ], [ 117, 281, 323, 371, 390, 517, 601, 693 ], [ 118, 282, 324, 372, 391, 518, 602, 694 ], [ 119, 283, 325, 373, 392, 519, 603, 695 ], [ 120, 284, 326, 374, 393, 520, 604, 696 ], [ 121, 285, 327, 375, 394, 521, 605, 697 ], [ 122, 286, 328, 376, 395, 522, 606, 698 ], [ 123, 287, 329, 377, 396, 523, 607, 699 ], [ 124, 240, 330, 378, 397, 524, 608, 700 ], [ 125, 241, 331, 379, 398, 525, 609, 701 ], [ 126, 242, 332, 380, 399, 526, 610, 702 ], [ 127, 243, 333, 381, 400, 527, 611, 703 ], [ 128, 244, 334, 382, 401, 480, 612, 704 ], [ 129, 245, 335, 383, 402, 481, 613, 705 ], [ 130, 246, 288, 336, 403, 482, 614, 706 ], [ 131, 247, 289, 337, 404, 483, 615, 707 ], [ 132, 248, 290, 338, 405, 484, 616, 708 ], [ 133, 249, 291, 339, 406, 485, 617, 709 ], [ 134, 250, 292, 340, 407, 486, 618, 710 ], [ 135, 251, 293, 341, 408, 487, 619, 711 ], [ 136, 252, 294, 342, 409, 488, 620, 712 ], [ 137, 253, 295, 343, 410, 489, 621, 713 ], [ 138, 254, 296, 344, 411, 490, 622, 714 ], [ 139, 255, 297, 345, 412, 491, 623, 715 ], [ 140, 256, 298, 346, 413, 492, 576, 716 ], [ 141, 257, 299, 347, 414, 493, 577, 717 ], [ 142, 258, 300, 348, 415, 494, 578, 718 ], [ 143, 259, 301, 349, 416, 495, 579, 719 ], [ 96, 260, 302, 350, 417, 496, 580, 672 ], [ 97, 261, 303, 351, 418, 497, 581, 673 ], [ 98, 262, 304, 352, 419, 498, 582, 674 ], [ 147, 215, 263, 305, 468, 547, 631, 723 ], [ 148, 216, 264, 306, 469, 548, 632, 724 ], [ 149, 217, 265, 307, 470, 549, 633, 725 ], [ 150, 218, 266, 308, 471, 550, 634, 726 ], [ 151, 219, 267, 309, 472, 551, 635, 727 ], [ 152, 220, 268, 310, 473, 552, 636, 728 ], [ 153, 221, 269, 311, 474, 553, 637, 729 ], [ 154, 222, 270, 312, 475, 554, 638, 730 ], [ 155, 223, 271, 313, 476, 555, 639, 731 ], [ 156, 224, 272, 314, 477, 556, 640, 732 ], [ 157, 225, 273, 315, 478, 557, 641, 733 ], [ 158, 226, 274, 316, 479, 558, 642, 734 ], [ 159, 227, 275, 317, 432, 559, 643, 735 ], [ 160, 228, 276, 318, 433, 560, 644, 736 ], [ 161, 229, 277, 319, 434, 561, 645, 737 ], [ 162, 230, 278, 320, 435, 562, 646, 738 ], [ 163, 231, 279, 321, 436, 563, 647, 739 ], [ 164, 232, 280, 322, 437, 564, 648, 740 ], [ 165, 233, 281, 323, 438, 565, 649, 741 ], [ 166, 234, 282, 324, 439, 566, 650, 742 ], [ 167, 235, 283, 325, 440, 567, 651, 743 ], [ 168, 236, 284, 326, 441, 568, 652, 744 ], [ 169, 237, 285, 327, 442, 569, 653, 745 ], [ 170, 238, 286, 328, 443, 570, 654, 746 ], [ 171, 239, 287, 329, 444, 571, 655, 747 ], [ 172, 192, 240, 330, 445, 572, 656, 748 ], [ 173, 193, 241, 331, 446, 573, 657, 749 ], [ 174, 194, 242, 332, 447, 574, 658, 750 ], [ 175, 195, 243, 333, 448, 575, 659, 751 ], [ 176, 196, 244, 334, 449, 528, 660, 752 ], [ 177, 197, 245, 335, 450, 529, 661, 753 ], [ 178, 198, 246, 288, 451, 530, 662, 754 ], [ 179, 199, 247, 289, 452, 531, 663, 755 ], [ 180, 200, 248, 290, 453, 532, 664, 756 ], [ 181, 201, 249, 291, 454, 533, 665, 757 ], [ 182, 202, 250, 292, 455, 534, 666, 758 ], [ 183, 203, 251, 293, 456, 535, 667, 759 ], [ 184, 204, 252, 294, 457, 536, 668, 760 ], [ 185, 205, 253, 295, 458, 537, 669, 761 ], [ 186, 206, 254, 296, 459, 538, 670, 762 ], [ 187, 207, 255, 297, 460, 539, 671, 763 ], [ 188, 208, 256, 298, 461, 540, 624, 764 ], [ 189, 209, 257, 299, 462, 541, 625, 765 ], [ 190, 210, 258, 300, 463, 542, 626, 766 ], [ 191, 211, 259, 301, 464, 543, 627, 767 ], [ 144, 212, 260, 302, 465, 544, 628, 720 ], [ 145, 213, 261, 303, 466, 545, 629, 721 ], [ 146, 214, 262, 304, 467, 546, 630, 722 ], [ 6, 54, 180, 318, 428, 510, 608, 697 ], [ 7, 55, 181, 319, 429, 511, 609, 698 ], [ 8, 56, 182, 320, 430, 512, 610, 699 ], [ 9, 57, 183, 321, 431, 513, 611, 700 ], [ 10, 58, 184, 322, 384, 514, 612, 701 ], [ 11, 59, 185, 323, 385, 515, 613, 702 ], [ 12, 60, 186, 324, 386, 516, 614, 703 ], [ 13, 61, 187, 325, 387, 517, 615, 704 ], [ 14, 62, 188, 326, 388, 518, 616, 705 ], [ 15, 63, 189, 327, 389, 519, 617, 706 ], [ 16, 64, 190, 328, 390, 520, 618, 707 ], [ 17, 65, 191, 329, 391, 521, 619, 708 ], [ 18, 66, 144, 330, 392, 522, 620, 709 ], [ 19, 67, 145, 331, 393, 523, 621, 710 ], [ 20, 68, 146, 332, 394, 524, 622, 711 ], [ 21, 69, 147, 333, 395, 525, 623, 712 ], [ 22, 70, 148, 334, 396, 526, 576, 713 ], [ 23, 71, 149, 335, 397, 527, 577, 714 ], [ 24, 72, 150, 288, 398, 480, 578, 715 ], [ 25, 73, 151, 289, 399, 481, 579, 716 ], [ 26, 74, 152, 290, 400, 482, 580, 717 ], [ 27, 75, 153, 291, 401, 483, 581, 718 ], [ 28, 76, 154, 292, 402, 484, 582, 719 ], [ 29, 77, 155, 293, 403, 485, 583, 672 ], [ 30, 78, 156, 294, 404, 486, 584, 673 ], [ 31, 79, 157, 295, 405, 487, 585, 674 ], [ 32, 80, 158, 296, 406, 488, 586, 675 ], [ 33, 81, 159, 297, 407, 489, 587, 676 ], [ 34, 82, 160, 298, 408, 490, 588, 677 ], [ 35, 83, 161, 299, 409, 491, 589, 678 ], [ 36, 84, 162, 300, 410, 492, 590, 679 ], [ 37, 85, 163, 301, 411, 493, 591, 680 ], [ 38, 86, 164, 302, 412, 494, 592, 681 ], [ 39, 87, 165, 303, 413, 495, 593, 682 ], [ 40, 88, 166, 304, 414, 496, 594, 683 ], [ 41, 89, 167, 305, 415, 497, 595, 684 ], [ 42, 90, 168, 306, 416, 498, 596, 685 ], [ 43, 91, 169, 307, 417, 499, 597, 686 ], [ 44, 92, 170, 308, 418, 500, 598, 687 ], [ 45, 93, 171, 309, 419, 501, 599, 688 ], [ 46, 94, 172, 310, 420, 502, 600, 689 ], [ 47, 95, 173, 311, 421, 503, 601, 690 ], [ 0, 48, 174, 312, 422, 504, 602, 691 ], [ 1, 49, 175, 313, 423, 505, 603, 692 ], [ 2, 50, 176, 314, 424, 506, 604, 693 ], [ 3, 51, 177, 315, 425, 507, 605, 694 ], [ 4, 52, 178, 316, 426, 508, 606, 695 ], [ 5, 53, 179, 317, 427, 509, 607, 696 ], [ 6, 132, 180, 366, 476, 558, 656, 745 ], [ 7, 133, 181, 367, 477, 559, 657, 746 ], [ 8, 134, 182, 368, 478, 560, 658, 747 ], [ 9, 135, 183, 369, 479, 561, 659, 748 ], [ 10, 136, 184, 370, 432, 562, 660, 749 ], [ 11, 137, 185, 371, 433, 563, 661, 750 ], [ 12, 138, 186, 372, 434, 564, 662, 751 ], [ 13, 139, 187, 373, 435, 565, 663, 752 ], [ 14, 140, 188, 374, 436, 566, 664, 753 ], [ 15, 141, 189, 375, 437, 567, 665, 754 ], [ 16, 142, 190, 376, 438, 568, 666, 755 ], [ 17, 143, 191, 377, 439, 569, 667, 756 ], [ 18, 96, 144, 378, 440, 570, 668, 757 ], [ 19, 97, 145, 379, 441, 571, 669, 758 ], [ 20, 98, 146, 380, 442, 572, 670, 759 ], [ 21, 99, 147, 381, 443, 573, 671, 760 ], [ 22, 100, 148, 382, 444, 574, 624, 761 ], [ 23, 101, 149, 383, 445, 575, 625, 762 ], [ 24, 102, 150, 336, 446, 528, 626, 763 ], [ 25, 103, 151, 337, 447, 529, 627, 764 ], [ 26, 104, 152, 338, 448, 530, 628, 765 ], [ 27, 105, 153, 339, 449, 531, 629, 766 ], [ 28, 106, 154, 340, 450, 532, 630, 767 ], [ 29, 107, 155, 341, 451, 533, 631, 720 ], [ 30, 108, 156, 342, 452, 534, 632, 721 ], [ 31, 109, 157, 343, 453, 535, 633, 722 ], [ 32, 110, 158, 344, 454, 536, 634, 723 ], [ 33, 111, 159, 345, 455, 537, 635, 724 ], [ 34, 112, 160, 346, 456, 538, 636, 725 ], [ 35, 113, 161, 347, 457, 539, 637, 726 ], [ 36, 114, 162, 348, 458, 540, 638, 727 ], [ 37, 115, 163, 349, 459, 541, 639, 728 ], [ 38, 116, 164, 350, 460, 542, 640, 729 ], [ 39, 117, 165, 351, 461, 543, 641, 730 ], [ 40, 118, 166, 352, 462, 544, 642, 731 ], [ 41, 119, 167, 353, 463, 545, 643, 732 ], [ 42, 120, 168, 354, 464, 546, 644, 733 ], [ 43, 121, 169, 355, 465, 547, 645, 734 ], [ 44, 122, 170, 356, 466, 548, 646, 735 ], [ 45, 123, 171, 357, 467, 549, 647, 736 ], [ 46, 124, 172, 358, 468, 550, 648, 737 ], [ 47, 125, 173, 359, 469, 551, 649, 738 ], [ 0, 126, 174, 360, 470, 552, 650, 739 ], [ 1, 127, 175, 361, 471, 553, 651, 740 ], [ 2, 128, 176, 362, 472, 554, 652, 741 ], [ 3, 129, 177, 363, 473, 555, 653, 742 ], [ 4, 130, 178, 364, 474, 556, 654, 743 ], [ 5, 131, 179, 365, 475, 557, 655, 744 ] ], "Z": [ [ 30, 204, 294, 342, 395, 525, 609, 698 ], [ 31, 205, 295, 343, 396, 526, 610, 699 ], [ 32, 206, 296, 344, 397, 527, 611, 700 ], [ 33, 207, 297, 345, 398, 480, 612, 701 ], [ 34, 208, 298, 346, 399, 481, 613, 702 ], [ 35, 209, 299, 347, 400, 482, 614, 703 ], [ 36, 210, 300, 348, 401, 483, 615, 704 ], [ 37, 211, 301, 349, 402, 484, 616, 705 ], [ 38, 212, 302, 350, 403, 485, 617, 706 ], [ 39, 213, 303, 351, 404, 486, 618, 707 ], [ 40, 214, 304, 352, 405, 487, 619, 708 ], [ 41, 215, 305, 353, 406, 488, 620, 709 ], [ 42, 216, 306, 354, 407, 489, 621, 710 ], [ 43, 217, 307, 355, 408, 490, 622, 711 ], [ 44, 218, 308, 356, 409, 491, 623, 712 ], [ 45, 219, 309, 357, 410, 492, 576, 713 ], [ 46, 220, 310, 358, 411, 493, 577, 714 ], [ 47, 221, 311, 359, 412, 494, 578, 715 ], [ 0, 222, 312, 360, 413, 495, 579, 716 ], [ 1, 223, 313, 361, 414, 496, 580, 717 ], [ 2, 224, 314, 362, 415, 497, 581, 718 ], [ 3, 225, 315, 363, 416, 498, 582, 719 ], [ 4, 226, 316, 364, 417, 499, 583, 672 ], [ 5, 227, 317, 365, 418, 500, 584, 673 ], [ 6, 228, 318, 366, 419, 501, 585, 674 ], [ 7, 229, 319, 367, 420, 502, 586, 675 ], [ 8, 230, 320, 368, 421, 503, 587, 676 ], [ 9, 231, 321, 369, 422, 504, 588, 677 ], [ 10, 232, 322, 370, 423, 505, 589, 678 ], [ 11, 233, 323, 371, 424, 506, 590, 679 ], [ 12, 234, 324, 372, 425, 507, 591, 680 ], [ 13, 235, 325, 373, 426, 508, 592, 681 ], [ 14, 236, 326, 374, 427, 509, 593, 682 ], [ 15, 237, 327, 375, 428, 510, 594, 683 ], [ 16, 238, 328, 376, 429, 511, 595, 684 ], [ 17, 239, 329, 377, 430, 512, 596, 685 ], [ 18, 192, 330, 378, 431, 513, 597, 686 ], [ 19, 193, 331, 379, 384, 514, 598, 687 ], [ 20, 194, 332, 380, 385, 515, 599, 688 ], [ 21, 195, 333, 381, 386, 516, 600, 689 ], [ 22, 196, 334, 382, 387, 517, 601, 690 ], [ 23, 197, 335, 383, 388, 518, 602, 691 ], [ 24, 198, 288, 336, 389, 519, 603, 692 ], [ 25, 199, 289, 337, 390, 520, 604, 693 ], [ 26, 200, 290, 338, 391, 521, 605, 694 ], [ 27, 201, 291, 339, 392, 522, 606, 695 ], [ 28, 202, 292, 340, 393, 523, 607, 696 ], [ 29, 203, 293, 341, 394, 524, 608, 697 ], [ 78, 252, 294, 443, 573, 657, 746 ], [ 79, 253, 295, 444, 574, 658, 747 ], [ 80, 254, 296, 445, 575, 659, 748 ], [ 81, 255, 297, 446, 528, 660, 749 ], [ 82, 256, 298, 447, 529, 661, 750 ], [ 83, 257, 299, 448, 530, 662, 751 ], [ 84, 258, 300, 449, 531, 663, 752 ], [ 85, 259, 301, 450, 532, 664, 753 ], [ 86, 260, 302, 451, 533, 665, 754 ], [ 87, 261, 303, 452, 534, 666, 755 ], [ 88, 262, 304, 453, 535, 667, 756 ], [ 89, 263, 305, 454, 536, 668, 757 ], [ 90, 264, 306, 455, 537, 669, 758 ], [ 91, 265, 307, 456, 538, 670, 759 ], [ 92, 266, 308, 457, 539, 671, 760 ], [ 93, 267, 309, 458, 540, 624, 761 ], [ 94, 268, 310, 459, 541, 625, 762 ], [ 95, 269, 311, 460, 542, 626, 763 ], [ 48, 270, 312, 461, 543, 627, 764 ], [ 49, 271, 313, 462, 544, 628, 765 ], [ 50, 272, 314, 463, 545, 629, 766 ], [ 51, 273, 315, 464, 546, 630, 767 ], [ 52, 274, 316, 465, 547, 631, 720 ], [ 53, 275, 317, 466, 548, 632, 721 ], [ 54, 276, 318, 467, 549, 633, 722 ], [ 55, 277, 319, 468, 550, 634, 723 ], [ 56, 278, 320, 469, 551, 635, 724 ], [ 57, 279, 321, 470, 552, 636, 725 ], [ 58, 280, 322, 471, 553, 637, 726 ], [ 59, 281, 323, 472, 554, 638, 727 ], [ 60, 282, 324, 473, 555, 639, 728 ], [ 61, 283, 325, 474, 556, 640, 729 ], [ 62, 284, 326, 475, 557, 641, 730 ], [ 63, 285, 327, 476, 558, 642, 731 ], [ 64, 286, 328, 477, 559, 643, 732 ], [ 65, 287, 329, 478, 560, 644, 733 ], [ 66, 240, 330, 479, 561, 645, 734 ], [ 67, 241, 331, 432, 562, 646, 735 ], [ 68, 242, 332, 433, 563, 647, 736 ], [ 69, 243, 333, 434, 564, 648, 737 ], [ 70, 244, 334, 435, 565, 649, 738 ], [ 71, 245, 335, 436, 566, 650, 739 ], [ 72, 246, 288, 437, 567, 651, 740 ], [ 73, 247, 289, 438, 568, 652, 741 ], [ 74, 248, 290, 439, 569, 653, 742 ], [ 75, 249, 291, 440, 570, 654, 743 ], [ 76, 250, 292, 441, 571, 655, 744 ], [ 77, 251, 293, 442, 572, 656, 745 ], [ 12, 125, 233, 333, 525, 649, 703, 751 ], [ 13, 126, 234, 334, 526, 650, 704, 752 ], [ 14, 127, 235, 335, 527, 651, 705, 753 ], [ 15, 128, 236, 288, 480, 652, 706, 754 ], [ 16, 129, 237, 289, 481, 653, 707, 755 ], [ 17, 130, 238, 290, 482, 654, 708, 756 ], [ 18, 131, 239, 291, 483, 655, 709, 757 ], [ 19, 132, 192, 292, 484, 656, 710, 758 ], [ 20, 133, 193, 293, 485, 657, 711, 759 ], [ 21, 134, 194, 294, 486, 658, 712, 760 ], [ 22, 135, 195, 295, 487, 659, 713, 761 ], [ 23, 136, 196, 296, 488, 660, 714, 762 ], [ 24, 137, 197, 297, 489, 661, 715, 763 ], [ 25, 138, 198, 298, 490, 662, 716, 764 ], [ 26, 139, 199, 299, 491, 663, 717, 765 ], [ 27, 140, 200, 300, 492, 664, 718, 766 ], [ 28, 141, 201, 301, 493, 665, 719, 767 ], [ 29, 142, 202, 302, 494, 666, 672, 720 ], [ 30, 143, 203, 303, 495, 667, 673, 721 ], [ 31, 96, 204, 304, 496, 668, 674, 722 ], [ 32, 97, 205, 305, 497, 669, 675, 723 ], [ 33, 98, 206, 306, 498, 670, 676, 724 ], [ 34, 99, 207, 307, 499, 671, 677, 725 ], [ 35, 100, 208, 308, 500, 624, 678, 726 ], [ 36, 101, 209, 309, 501, 625, 679, 727 ], [ 37, 102, 210, 310, 502, 626, 680, 728 ], [ 38, 103, 211, 311, 503, 627, 681, 729 ], [ 39, 104, 212, 312, 504, 628, 682, 730 ], [ 40, 105, 213, 313, 505, 629, 683, 731 ], [ 41, 106, 214, 314, 506, 630, 684, 732 ], [ 42, 107, 215, 315, 507, 631, 685, 733 ], [ 43, 108, 216, 316, 508, 632, 686, 734 ], [ 44, 109, 217, 317, 509, 633, 687, 735 ], [ 45, 110, 218, 318, 510, 634, 688, 736 ], [ 46, 111, 219, 319, 511, 635, 689, 737 ], [ 47, 112, 220, 320, 512, 636, 690, 738 ], [ 0, 113, 221, 321, 513, 637, 691, 739 ], [ 1, 114, 222, 322, 514, 638, 692, 740 ], [ 2, 115, 223, 323, 515, 639, 693, 741 ], [ 3, 116, 224, 324, 516, 640, 694, 742 ], [ 4, 117, 225, 325, 517, 641, 695, 743 ], [ 5, 118, 226, 326, 518, 642, 696, 744 ], [ 6, 119, 227, 327, 519, 643, 697, 745 ], [ 7, 120, 228, 328, 520, 644, 698, 746 ], [ 8, 121, 229, 329, 521, 645, 699, 747 ], [ 9, 122, 230, 330, 522, 646, 700, 748 ], [ 10, 123, 231, 331, 523, 647, 701, 749 ], [ 11, 124, 232, 332, 524, 648, 702, 750 ], [ 60, 173, 281, 381, 573, 601, 649, 703 ], [ 61, 174, 282, 382, 574, 602, 650, 704 ], [ 62, 175, 283, 383, 575, 603, 651, 705 ], [ 63, 176, 284, 336, 528, 604, 652, 706 ], [ 64, 177, 285, 337, 529, 605, 653, 707 ], [ 65, 178, 286, 338, 530, 606, 654, 708 ], [ 66, 179, 287, 339, 531, 607, 655, 709 ], [ 67, 180, 240, 340, 532, 608, 656, 710 ], [ 68, 181, 241, 341, 533, 609, 657, 711 ], [ 69, 182, 242, 342, 534, 610, 658, 712 ], [ 70, 183, 243, 343, 535, 611, 659, 713 ], [ 71, 184, 244, 344, 536, 612, 660, 714 ], [ 72, 185, 245, 345, 537, 613, 661, 715 ], [ 73, 186, 246, 346, 538, 614, 662, 716 ], [ 74, 187, 247, 347, 539, 615, 663, 717 ], [ 75, 188, 248, 348, 540, 616, 664, 718 ], [ 76, 189, 249, 349, 541, 617, 665, 719 ], [ 77, 190, 250, 350, 542, 618, 666, 672 ], [ 78, 191, 251, 351, 543, 619, 667, 673 ], [ 79, 144, 252, 352, 544, 620, 668, 674 ], [ 80, 145, 253, 353, 545, 621, 669, 675 ], [ 81, 146, 254, 354, 546, 622, 670, 676 ], [ 82, 147, 255, 355, 547, 623, 671, 677 ], [ 83, 148, 256, 356, 548, 576, 624, 678 ], [ 84, 149, 257, 357, 549, 577, 625, 679 ], [ 85, 150, 258, 358, 550, 578, 626, 680 ], [ 86, 151, 259, 359, 551, 579, 627, 681 ], [ 87, 152, 260, 360, 552, 580, 628, 682 ], [ 88, 153, 261, 361, 553, 581, 629, 683 ], [ 89, 154, 262, 362, 554, 582, 630, 684 ], [ 90, 155, 263, 363, 555, 583, 631, 685 ], [ 91, 156, 264, 364, 556, 584, 632, 686 ], [ 92, 157, 265, 365, 557, 585, 633, 687 ], [ 93, 158, 266, 366, 558, 586, 634, 688 ], [ 94, 159, 267, 367, 559, 587, 635, 689 ], [ 95, 160, 268, 368, 560, 588, 636, 690 ], [ 48, 161, 269, 369, 561, 589, 637, 691 ], [ 49, 162, 270, 370, 562, 590, 638, 692 ], [ 50, 163, 271, 371, 563, 591, 639, 693 ], [ 51, 164, 272, 372, 564, 592, 640, 694 ], [ 52, 165, 273, 373, 565, 593, 641, 695 ], [ 53, 166, 274, 374, 566, 594, 642, 696 ], [ 54, 167, 275, 375, 567, 595, 643, 697 ], [ 55, 168, 276, 376, 568, 596, 644, 698 ], [ 56, 169, 277, 377, 569, 597, 645, 699 ], [ 57, 170, 278, 378, 570, 598, 646, 700 ], [ 58, 171, 279, 379, 571, 599, 647, 701 ], [ 59, 172, 280, 380, 572, 600, 648, 702 ], [ 4, 114, 208, 311, 426, 474, 540, 690 ], [ 5, 115, 209, 312, 427, 475, 541, 691 ], [ 6, 116, 210, 313, 428, 476, 542, 692 ], [ 7, 117, 211, 314, 429, 477, 543, 693 ], [ 8, 118, 212, 315, 430, 478, 544, 694 ], [ 9, 119, 213, 316, 431, 479, 545, 695 ], [ 10, 120, 214, 317, 384, 432, 546, 696 ], [ 11, 121, 215, 318, 385, 433, 547, 697 ], [ 12, 122, 216, 319, 386, 434, 548, 698 ], [ 13, 123, 217, 320, 387, 435, 549, 699 ], [ 14, 124, 218, 321, 388, 436, 550, 700 ], [ 15, 125, 219, 322, 389, 437, 551, 701 ], [ 16, 126, 220, 323, 390, 438, 552, 702 ], [ 17, 127, 221, 324, 391, 439, 553, 703 ], [ 18, 128, 222, 325, 392, 440, 554, 704 ], [ 19, 129, 223, 326, 393, 441, 555, 705 ], [ 20, 130, 224, 327, 394, 442, 556, 706 ], [ 21, 131, 225, 328, 395, 443, 557, 707 ], [ 22, 132, 226, 329, 396, 444, 558, 708 ], [ 23, 133, 227, 330, 397, 445, 559, 709 ], [ 24, 134, 228, 331, 398, 446, 560, 710 ], [ 25, 135, 229, 332, 399, 447, 561, 711 ], [ 26, 136, 230, 333, 400, 448, 562, 712 ], [ 27, 137, 231, 334, 401, 449, 563, 713 ], [ 28, 138, 232, 335, 402, 450, 564, 714 ], [ 29, 139, 233, 288, 403, 451, 565, 715 ], [ 30, 140, 234, 289, 404, 452, 566, 716 ], [ 31, 141, 235, 290, 405, 453, 567, 717 ], [ 32, 142, 236, 291, 406, 454, 568, 718 ], [ 33, 143, 237, 292, 407, 455, 569, 719 ], [ 34, 96, 238, 293, 408, 456, 570, 672 ], [ 35, 97, 239, 294, 409, 457, 571, 673 ], [ 36, 98, 192, 295, 410, 458, 572, 674 ], [ 37, 99, 193, 296, 411, 459, 573, 675 ], [ 38, 100, 194, 297, 412, 460, 574, 676 ], [ 39, 101, 195, 298, 413, 461, 575, 677 ], [ 40, 102, 196, 299, 414, 462, 528, 678 ], [ 41, 103, 197, 300, 415, 463, 529, 679 ], [ 42, 104, 198, 301, 416, 464, 530, 680 ], [ 43, 105, 199, 302, 417, 465, 531, 681 ], [ 44, 106, 200, 303, 418, 466, 532, 682 ], [ 45, 107, 201, 304, 419, 467, 533, 683 ], [ 46, 108, 202, 305, 420, 468, 534, 684 ], [ 47, 109, 203, 306, 421, 469, 535, 685 ], [ 0, 110, 204, 307, 422, 470, 536, 686 ], [ 1, 111, 205, 308, 423, 471, 537, 687 ], [ 2, 112, 206, 309, 424, 472, 538, 688 ], [ 3, 113, 207, 310, 425, 473, 539, 689 ], [ 52, 162, 256, 359, 426, 492, 540, 738 ], [ 53, 163, 257, 360, 427, 493, 541, 739 ], [ 54, 164, 258, 361, 428, 494, 542, 740 ], [ 55, 165, 259, 362, 429, 495, 543, 741 ], [ 56, 166, 260, 363, 430, 496, 544, 742 ], [ 57, 167, 261, 364, 431, 497, 545, 743 ], [ 58, 168, 262, 365, 384, 498, 546, 744 ], [ 59, 169, 263, 366, 385, 499, 547, 745 ], [ 60, 170, 264, 367, 386, 500, 548, 746 ], [ 61, 171, 265, 368, 387, 501, 549, 747 ], [ 62, 172, 266, 369, 388, 502, 550, 748 ], [ 63, 173, 267, 370, 389, 503, 551, 749 ], [ 64, 174, 268, 371, 390, 504, 552, 750 ], [ 65, 175, 269, 372, 391, 505, 553, 751 ], [ 66, 176, 270, 373, 392, 506, 554, 752 ], [ 67, 177, 271, 374, 393, 507, 555, 753 ], [ 68, 178, 272, 375, 394, 508, 556, 754 ], [ 69, 179, 273, 376, 395, 509, 557, 755 ], [ 70, 180, 274, 377, 396, 510, 558, 756 ], [ 71, 181, 275, 378, 397, 511, 559, 757 ], [ 72, 182, 276, 379, 398, 512, 560, 758 ], [ 73, 183, 277, 380, 399, 513, 561, 759 ], [ 74, 184, 278, 381, 400, 514, 562, 760 ], [ 75, 185, 279, 382, 401, 515, 563, 761 ], [ 76, 186, 280, 383, 402, 516, 564, 762 ], [ 77, 187, 281, 336, 403, 517, 565, 763 ], [ 78, 188, 282, 337, 404, 518, 566, 764 ], [ 79, 189, 283, 338, 405, 519, 567, 765 ], [ 80, 190, 284, 339, 406, 520, 568, 766 ], [ 81, 191, 285, 340, 407, 521, 569, 767 ], [ 82, 144, 286, 341, 408, 522, 570, 720 ], [ 83, 145, 287, 342, 409, 523, 571, 721 ], [ 84, 146, 240, 343, 410, 524, 572, 722 ], [ 85, 147, 241, 344, 411, 525, 573, 723 ], [ 86, 148, 242, 345, 412, 526, 574, 724 ], [ 87, 149, 243, 346, 413, 527, 575, 725 ], [ 88, 150, 244, 347, 414, 480, 528, 726 ], [ 89, 151, 245, 348, 415, 481, 529, 727 ], [ 90, 152, 246, 349, 416, 482, 530, 728 ], [ 91, 153, 247, 350, 417, 483, 531, 729 ], [ 92, 154, 248, 351, 418, 484, 532, 730 ], [ 93, 155, 249, 352, 419, 485, 533, 731 ], [ 94, 156, 250, 353, 420, 486, 534, 732 ], [ 95, 157, 251, 354, 421, 487, 535, 733 ], [ 48, 158, 252, 355, 422, 488, 536, 734 ], [ 49, 159, 253, 356, 423, 489, 537, 735 ], [ 50, 160, 254, 357, 424, 490, 538, 736 ], [ 51, 161, 255, 358, 425, 491, 539, 737 ] ] }, "distance": { "d": 13, "X": { "value": 13, "confidence": "upper_bound", "witness": [ 110, 126, 242, 279, 323, 424, 470, 472, 515, 526, 599, 610, 736 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 2000, "survived_samples": 2000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 11 ] } }, "Z": { "value": 13, "confidence": "upper_bound", "witness": [ 34, 56, 82, 112, 220, 274, 307, 355, 470, 512, 552, 686, 734 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 2000, "survived_samples": 2000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 12 ] } } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Pair-partition (PP) code over F_4[C_48] from arXiv:2610.06820 Sec. V and companion catalogue entry pp-f4-768-192-13-w8: a reversing r-by-2M PP array over F_4[C_P] with P = 48, check basis raw, correction pivots on disjoint sectors with shared free coordinates, exponent rows and F_4 coefficients as tabulated. Binary checks reconstructed with github.com/yeon-lee/public-regular-logical-frames src/rlf.py reconstruct(). n = 768, k = 192, check weight 8 on both CSS sides.", "references": [ "arXiv:2610.06820v1" ], "date": "2026-10-12", "notes": "Reproduction of a code tabulated as new in arXiv:2610.06820 Table 1, whose distances are stated to be exact: the paper reports exhaustive full-code searches excluding every logical operator lighter than a known witness. No board entry shares (n, k) = (768, 192), so this is a new parameter point rather than a distinct code at held parameters, and the gate found no WL signature collision. Distance here is a witness-backed upper bound from randomized search, not a reproduction of the paper's exhaustive certification.", "model": "Space Bunny Alpha 1.0", "origin": "submission", "search_budget": { "ris_trials_per_side": 1000000 } }, "family": "pair-partition-cpm" }