{ "schema_version": "0.1", "name": "[[800,326,6]] nonabelian 1x3 binomial lifted product, check weight 8", "code_type": "CSS", "n": 800, "k": 326, "checks": { "X": [ [ 0, 5, 240, 246, 480, 508, 720, 725 ], [ 1, 7, 241, 248, 481, 505, 721, 726 ], [ 2, 9, 242, 245, 482, 507, 722, 727 ], [ 3, 6, 243, 247, 483, 509, 723, 728 ], [ 4, 8, 244, 249, 484, 506, 724, 729 ], [ 5, 10, 245, 251, 485, 513, 725, 730 ], [ 6, 12, 246, 253, 486, 510, 726, 731 ], [ 7, 14, 247, 250, 487, 512, 727, 732 ], [ 8, 11, 248, 252, 488, 514, 728, 733 ], [ 9, 13, 249, 254, 489, 511, 729, 734 ], [ 10, 15, 250, 256, 490, 518, 730, 735 ], [ 11, 17, 251, 258, 491, 515, 731, 736 ], [ 12, 19, 252, 255, 492, 517, 732, 737 ], [ 13, 16, 253, 257, 493, 519, 733, 738 ], [ 14, 18, 254, 259, 494, 516, 734, 739 ], [ 15, 20, 255, 261, 495, 523, 735, 740 ], [ 16, 22, 256, 263, 496, 520, 736, 741 ], [ 17, 24, 257, 260, 497, 522, 737, 742 ], [ 18, 21, 258, 262, 498, 524, 738, 743 ], [ 19, 23, 259, 264, 499, 521, 739, 744 ], [ 20, 25, 260, 266, 500, 528, 740, 745 ], [ 21, 27, 261, 268, 501, 525, 741, 746 ], [ 22, 29, 262, 265, 502, 527, 742, 747 ], [ 23, 26, 263, 267, 503, 529, 743, 748 ], [ 24, 28, 264, 269, 504, 526, 744, 749 ], [ 25, 30, 265, 271, 505, 533, 745, 750 ], [ 26, 32, 266, 273, 506, 530, 746, 751 ], [ 27, 34, 267, 270, 507, 532, 747, 752 ], [ 28, 31, 268, 272, 508, 534, 748, 753 ], [ 29, 33, 269, 274, 509, 531, 749, 754 ], [ 30, 35, 270, 276, 510, 538, 750, 755 ], [ 31, 37, 271, 278, 511, 535, 751, 756 ], [ 32, 39, 272, 275, 512, 537, 752, 757 ], [ 33, 36, 273, 277, 513, 539, 753, 758 ], [ 34, 38, 274, 279, 514, 536, 754, 759 ], [ 35, 40, 275, 281, 515, 543, 755, 760 ], [ 36, 42, 276, 283, 516, 540, 756, 761 ], [ 37, 44, 277, 280, 517, 542, 757, 762 ], [ 38, 41, 278, 282, 518, 544, 758, 763 ], [ 39, 43, 279, 284, 519, 541, 759, 764 ], [ 40, 45, 280, 286, 520, 548, 760, 765 ], [ 41, 47, 281, 288, 521, 545, 761, 766 ], [ 42, 49, 282, 285, 522, 547, 762, 767 ], [ 43, 46, 283, 287, 523, 549, 763, 768 ], [ 44, 48, 284, 289, 524, 546, 764, 769 ], [ 45, 50, 285, 291, 525, 553, 765, 770 ], [ 46, 52, 286, 293, 526, 550, 766, 771 ], [ 47, 54, 287, 290, 527, 552, 767, 772 ], [ 48, 51, 288, 292, 528, 554, 768, 773 ], [ 49, 53, 289, 294, 529, 551, 769, 774 ], [ 50, 55, 290, 296, 530, 558, 770, 775 ], [ 51, 57, 291, 298, 531, 555, 771, 776 ], [ 52, 59, 292, 295, 532, 557, 772, 777 ], [ 53, 56, 293, 297, 533, 559, 773, 778 ], [ 54, 58, 294, 299, 534, 556, 774, 779 ], [ 55, 60, 295, 301, 483, 535, 775, 780 ], [ 56, 62, 296, 303, 480, 536, 776, 781 ], [ 57, 64, 297, 300, 482, 537, 777, 782 ], [ 58, 61, 298, 302, 484, 538, 778, 783 ], [ 59, 63, 299, 304, 481, 539, 779, 784 ], [ 60, 65, 300, 306, 488, 540, 780, 785 ], [ 61, 67, 301, 308, 485, 541, 781, 786 ], [ 62, 69, 302, 305, 487, 542, 782, 787 ], [ 63, 66, 303, 307, 489, 543, 783, 788 ], [ 64, 68, 304, 309, 486, 544, 784, 789 ], [ 65, 70, 305, 311, 493, 545, 785, 790 ], [ 66, 72, 306, 313, 490, 546, 786, 791 ], [ 67, 74, 307, 310, 492, 547, 787, 792 ], [ 68, 71, 308, 312, 494, 548, 788, 793 ], [ 69, 73, 309, 314, 491, 549, 789, 794 ], [ 70, 75, 310, 316, 498, 550, 790, 795 ], [ 71, 77, 311, 318, 495, 551, 791, 796 ], [ 72, 79, 312, 315, 497, 552, 792, 797 ], [ 73, 76, 313, 317, 499, 553, 793, 798 ], [ 74, 78, 314, 319, 496, 554, 794, 799 ], [ 0, 75, 241, 315, 503, 555, 720, 795 ], [ 2, 76, 243, 316, 500, 556, 721, 796 ], [ 4, 77, 240, 317, 502, 557, 722, 797 ], [ 1, 78, 242, 318, 504, 558, 723, 798 ], [ 80, 85, 320, 326, 560, 588, 720, 736 ], [ 81, 87, 321, 328, 561, 585, 721, 737 ], [ 82, 89, 322, 325, 562, 587, 722, 738 ], [ 83, 86, 323, 327, 563, 589, 723, 739 ], [ 84, 88, 324, 329, 564, 586, 724, 735 ], [ 85, 90, 325, 331, 565, 593, 725, 742 ], [ 86, 92, 326, 333, 566, 590, 726, 743 ], [ 87, 94, 327, 330, 567, 592, 727, 744 ], [ 88, 91, 328, 332, 568, 594, 728, 740 ], [ 89, 93, 329, 334, 569, 591, 729, 741 ], [ 90, 95, 330, 336, 570, 598, 730, 749 ], [ 91, 97, 331, 338, 571, 595, 731, 745 ], [ 92, 99, 332, 335, 572, 597, 732, 746 ], [ 93, 96, 333, 337, 573, 599, 733, 747 ], [ 94, 98, 334, 339, 574, 596, 734, 748 ], [ 95, 100, 335, 341, 575, 603, 735, 753 ], [ 96, 102, 336, 343, 576, 600, 736, 754 ], [ 97, 104, 337, 340, 577, 602, 737, 750 ], [ 98, 101, 338, 342, 578, 604, 738, 751 ], [ 99, 103, 339, 344, 579, 601, 739, 752 ], [ 100, 105, 340, 346, 580, 608, 740, 756 ], [ 101, 107, 341, 348, 581, 605, 741, 757 ], [ 102, 109, 342, 345, 582, 607, 742, 758 ], [ 103, 106, 343, 347, 583, 609, 743, 759 ], [ 104, 108, 344, 349, 584, 606, 744, 755 ], [ 105, 110, 345, 351, 585, 613, 745, 762 ], [ 106, 112, 346, 353, 586, 610, 746, 763 ], [ 107, 114, 347, 350, 587, 612, 747, 764 ], [ 108, 111, 348, 352, 588, 614, 748, 760 ], [ 109, 113, 349, 354, 589, 611, 749, 761 ], [ 110, 115, 350, 356, 590, 618, 750, 769 ], [ 111, 117, 351, 358, 591, 615, 751, 765 ], [ 112, 119, 352, 355, 592, 617, 752, 766 ], [ 113, 116, 353, 357, 593, 619, 753, 767 ], [ 114, 118, 354, 359, 594, 616, 754, 768 ], [ 115, 120, 355, 361, 595, 623, 755, 773 ], [ 116, 122, 356, 363, 596, 620, 756, 774 ], [ 117, 124, 357, 360, 597, 622, 757, 770 ], [ 118, 121, 358, 362, 598, 624, 758, 771 ], [ 119, 123, 359, 364, 599, 621, 759, 772 ], [ 120, 125, 360, 366, 600, 628, 760, 776 ], [ 121, 127, 361, 368, 601, 625, 761, 777 ], [ 122, 129, 362, 365, 602, 627, 762, 778 ], [ 123, 126, 363, 367, 603, 629, 763, 779 ], [ 124, 128, 364, 369, 604, 626, 764, 775 ], [ 125, 130, 365, 371, 605, 633, 765, 782 ], [ 126, 132, 366, 373, 606, 630, 766, 783 ], [ 127, 134, 367, 370, 607, 632, 767, 784 ], [ 128, 131, 368, 372, 608, 634, 768, 780 ], [ 129, 133, 369, 374, 609, 631, 769, 781 ], [ 130, 135, 370, 376, 610, 638, 770, 789 ], [ 131, 137, 371, 378, 611, 635, 771, 785 ], [ 132, 139, 372, 375, 612, 637, 772, 786 ], [ 133, 136, 373, 377, 613, 639, 773, 787 ], [ 134, 138, 374, 379, 614, 636, 774, 788 ], [ 135, 140, 375, 381, 563, 615, 775, 793 ], [ 136, 142, 376, 383, 560, 616, 776, 794 ], [ 137, 144, 377, 380, 562, 617, 777, 790 ], [ 138, 141, 378, 382, 564, 618, 778, 791 ], [ 139, 143, 379, 384, 561, 619, 779, 792 ], [ 140, 145, 380, 386, 568, 620, 780, 796 ], [ 141, 147, 381, 388, 565, 621, 781, 797 ], [ 142, 149, 382, 385, 567, 622, 782, 798 ], [ 143, 146, 383, 387, 569, 623, 783, 799 ], [ 144, 148, 384, 389, 566, 624, 784, 795 ], [ 145, 150, 385, 391, 573, 625, 722, 785 ], [ 146, 152, 386, 393, 570, 626, 723, 786 ], [ 147, 154, 387, 390, 572, 627, 724, 787 ], [ 148, 151, 388, 392, 574, 628, 720, 788 ], [ 149, 153, 389, 394, 571, 629, 721, 789 ], [ 150, 155, 390, 396, 578, 630, 729, 790 ], [ 151, 157, 391, 398, 575, 631, 725, 791 ], [ 152, 159, 392, 395, 577, 632, 726, 792 ], [ 153, 156, 393, 397, 579, 633, 727, 793 ], [ 154, 158, 394, 399, 576, 634, 728, 794 ], [ 80, 155, 321, 395, 583, 635, 733, 795 ], [ 82, 156, 323, 396, 580, 636, 734, 796 ], [ 84, 157, 320, 397, 582, 637, 730, 797 ], [ 81, 158, 322, 398, 584, 638, 731, 798 ], [ 160, 165, 400, 406, 640, 668, 720, 739 ], [ 161, 167, 401, 408, 641, 665, 721, 735 ], [ 162, 169, 402, 405, 642, 667, 722, 736 ], [ 163, 166, 403, 407, 643, 669, 723, 737 ], [ 164, 168, 404, 409, 644, 666, 724, 738 ], [ 165, 170, 405, 411, 645, 673, 725, 743 ], [ 166, 172, 406, 413, 646, 670, 726, 744 ], [ 167, 174, 407, 410, 647, 672, 727, 740 ], [ 168, 171, 408, 412, 648, 674, 728, 741 ], [ 169, 173, 409, 414, 649, 671, 729, 742 ], [ 170, 175, 410, 416, 650, 678, 730, 746 ], [ 171, 177, 411, 418, 651, 675, 731, 747 ], [ 172, 179, 412, 415, 652, 677, 732, 748 ], [ 173, 176, 413, 417, 653, 679, 733, 749 ], [ 174, 178, 414, 419, 654, 676, 734, 745 ], [ 175, 180, 415, 421, 655, 683, 735, 752 ], [ 176, 182, 416, 423, 656, 680, 736, 753 ], [ 177, 184, 417, 420, 657, 682, 737, 754 ], [ 178, 181, 418, 422, 658, 684, 738, 750 ], [ 179, 183, 419, 424, 659, 681, 739, 751 ], [ 180, 185, 420, 426, 660, 688, 740, 759 ], [ 181, 187, 421, 428, 661, 685, 741, 755 ], [ 182, 189, 422, 425, 662, 687, 742, 756 ], [ 183, 186, 423, 427, 663, 689, 743, 757 ], [ 184, 188, 424, 429, 664, 686, 744, 758 ], [ 185, 190, 425, 431, 665, 693, 745, 763 ], [ 186, 192, 426, 433, 666, 690, 746, 764 ], [ 187, 194, 427, 430, 667, 692, 747, 760 ], [ 188, 191, 428, 432, 668, 694, 748, 761 ], [ 189, 193, 429, 434, 669, 691, 749, 762 ], [ 190, 195, 430, 436, 670, 698, 750, 766 ], [ 191, 197, 431, 438, 671, 695, 751, 767 ], [ 192, 199, 432, 435, 672, 697, 752, 768 ], [ 193, 196, 433, 437, 673, 699, 753, 769 ], [ 194, 198, 434, 439, 674, 696, 754, 765 ], [ 195, 200, 435, 441, 675, 703, 755, 772 ], [ 196, 202, 436, 443, 676, 700, 756, 773 ], [ 197, 204, 437, 440, 677, 702, 757, 774 ], [ 198, 201, 438, 442, 678, 704, 758, 770 ], [ 199, 203, 439, 444, 679, 701, 759, 771 ], [ 200, 205, 440, 446, 680, 708, 760, 779 ], [ 201, 207, 441, 448, 681, 705, 761, 775 ], [ 202, 209, 442, 445, 682, 707, 762, 776 ], [ 203, 206, 443, 447, 683, 709, 763, 777 ], [ 204, 208, 444, 449, 684, 706, 764, 778 ], [ 205, 210, 445, 451, 685, 713, 765, 783 ], [ 206, 212, 446, 453, 686, 710, 766, 784 ], [ 207, 214, 447, 450, 687, 712, 767, 780 ], [ 208, 211, 448, 452, 688, 714, 768, 781 ], [ 209, 213, 449, 454, 689, 711, 769, 782 ], [ 210, 215, 450, 456, 690, 718, 770, 786 ], [ 211, 217, 451, 458, 691, 715, 771, 787 ], [ 212, 219, 452, 455, 692, 717, 772, 788 ], [ 213, 216, 453, 457, 693, 719, 773, 789 ], [ 214, 218, 454, 459, 694, 716, 774, 785 ], [ 215, 220, 455, 461, 643, 695, 775, 792 ], [ 216, 222, 456, 463, 640, 696, 776, 793 ], [ 217, 224, 457, 460, 642, 697, 777, 794 ], [ 218, 221, 458, 462, 644, 698, 778, 790 ], [ 219, 223, 459, 464, 641, 699, 779, 791 ], [ 220, 225, 460, 466, 648, 700, 780, 799 ], [ 221, 227, 461, 468, 645, 701, 781, 795 ], [ 222, 229, 462, 465, 647, 702, 782, 796 ], [ 223, 226, 463, 467, 649, 703, 783, 797 ], [ 224, 228, 464, 469, 646, 704, 784, 798 ], [ 225, 230, 465, 471, 653, 705, 723, 785 ], [ 226, 232, 466, 473, 650, 706, 724, 786 ], [ 227, 234, 467, 470, 652, 707, 720, 787 ], [ 228, 231, 468, 472, 654, 708, 721, 788 ], [ 229, 233, 469, 474, 651, 709, 722, 789 ], [ 230, 235, 470, 476, 658, 710, 726, 790 ], [ 231, 237, 471, 478, 655, 711, 727, 791 ], [ 232, 239, 472, 475, 657, 712, 728, 792 ], [ 233, 236, 473, 477, 659, 713, 729, 793 ], [ 234, 238, 474, 479, 656, 714, 725, 794 ], [ 160, 235, 401, 475, 663, 715, 732, 795 ], [ 162, 236, 403, 476, 660, 716, 733, 796 ], [ 164, 237, 400, 477, 662, 717, 734, 797 ], [ 161, 238, 402, 478, 664, 718, 730, 798 ] ], "Z": [ [ 0, 75, 80, 148, 160, 227, 720, 795 ], [ 1, 76, 81, 149, 161, 228, 721, 798 ], [ 2, 77, 82, 145, 162, 229, 722, 796 ], [ 3, 78, 83, 146, 163, 225, 723, 799 ], [ 4, 79, 84, 147, 164, 226, 724, 797 ], [ 0, 5, 85, 151, 165, 234, 720, 725 ], [ 1, 6, 86, 152, 166, 230, 723, 726 ], [ 2, 7, 87, 153, 167, 231, 721, 727 ], [ 3, 8, 88, 154, 168, 232, 724, 728 ], [ 4, 9, 89, 150, 169, 233, 722, 729 ], [ 5, 10, 90, 157, 170, 238, 725, 730 ], [ 6, 11, 91, 158, 171, 239, 728, 731 ], [ 7, 12, 92, 159, 172, 235, 726, 732 ], [ 8, 13, 93, 155, 173, 236, 729, 733 ], [ 9, 14, 94, 156, 174, 237, 727, 734 ], [ 10, 15, 84, 95, 161, 175, 730, 735 ], [ 11, 16, 80, 96, 162, 176, 733, 736 ], [ 12, 17, 81, 97, 163, 177, 731, 737 ], [ 13, 18, 82, 98, 164, 178, 734, 738 ], [ 14, 19, 83, 99, 160, 179, 732, 739 ], [ 15, 20, 88, 100, 167, 180, 735, 740 ], [ 16, 21, 89, 101, 168, 181, 738, 741 ], [ 17, 22, 85, 102, 169, 182, 736, 742 ], [ 18, 23, 86, 103, 165, 183, 739, 743 ], [ 19, 24, 87, 104, 166, 184, 737, 744 ], [ 20, 25, 91, 105, 174, 185, 740, 745 ], [ 21, 26, 92, 106, 170, 186, 743, 746 ], [ 22, 27, 93, 107, 171, 187, 741, 747 ], [ 23, 28, 94, 108, 172, 188, 744, 748 ], [ 24, 29, 90, 109, 173, 189, 742, 749 ], [ 25, 30, 97, 110, 178, 190, 745, 750 ], [ 26, 31, 98, 111, 179, 191, 748, 751 ], [ 27, 32, 99, 112, 175, 192, 746, 752 ], [ 28, 33, 95, 113, 176, 193, 749, 753 ], [ 29, 34, 96, 114, 177, 194, 747, 754 ], [ 30, 35, 104, 115, 181, 195, 750, 755 ], [ 31, 36, 100, 116, 182, 196, 753, 756 ], [ 32, 37, 101, 117, 183, 197, 751, 757 ], [ 33, 38, 102, 118, 184, 198, 754, 758 ], [ 34, 39, 103, 119, 180, 199, 752, 759 ], [ 35, 40, 108, 120, 187, 200, 755, 760 ], [ 36, 41, 109, 121, 188, 201, 758, 761 ], [ 37, 42, 105, 122, 189, 202, 756, 762 ], [ 38, 43, 106, 123, 185, 203, 759, 763 ], [ 39, 44, 107, 124, 186, 204, 757, 764 ], [ 40, 45, 111, 125, 194, 205, 760, 765 ], [ 41, 46, 112, 126, 190, 206, 763, 766 ], [ 42, 47, 113, 127, 191, 207, 761, 767 ], [ 43, 48, 114, 128, 192, 208, 764, 768 ], [ 44, 49, 110, 129, 193, 209, 762, 769 ], [ 45, 50, 117, 130, 198, 210, 765, 770 ], [ 46, 51, 118, 131, 199, 211, 768, 771 ], [ 47, 52, 119, 132, 195, 212, 766, 772 ], [ 48, 53, 115, 133, 196, 213, 769, 773 ], [ 49, 54, 116, 134, 197, 214, 767, 774 ], [ 50, 55, 124, 135, 201, 215, 770, 775 ], [ 51, 56, 120, 136, 202, 216, 773, 776 ], [ 52, 57, 121, 137, 203, 217, 771, 777 ], [ 53, 58, 122, 138, 204, 218, 774, 778 ], [ 54, 59, 123, 139, 200, 219, 772, 779 ], [ 55, 60, 128, 140, 207, 220, 775, 780 ], [ 56, 61, 129, 141, 208, 221, 778, 781 ], [ 57, 62, 125, 142, 209, 222, 776, 782 ], [ 58, 63, 126, 143, 205, 223, 779, 783 ], [ 59, 64, 127, 144, 206, 224, 777, 784 ], [ 60, 65, 131, 145, 214, 225, 780, 785 ], [ 61, 66, 132, 146, 210, 226, 783, 786 ], [ 62, 67, 133, 147, 211, 227, 781, 787 ], [ 63, 68, 134, 148, 212, 228, 784, 788 ], [ 64, 69, 130, 149, 213, 229, 782, 789 ], [ 65, 70, 137, 150, 218, 230, 785, 790 ], [ 66, 71, 138, 151, 219, 231, 788, 791 ], [ 67, 72, 139, 152, 215, 232, 786, 792 ], [ 68, 73, 135, 153, 216, 233, 789, 793 ], [ 69, 74, 136, 154, 217, 234, 787, 794 ], [ 70, 75, 144, 155, 221, 235, 790, 795 ], [ 71, 76, 140, 156, 222, 236, 793, 796 ], [ 72, 77, 141, 157, 223, 237, 791, 797 ], [ 73, 78, 142, 158, 224, 238, 794, 798 ], [ 240, 315, 320, 388, 400, 467, 720, 797 ], [ 241, 316, 321, 389, 401, 468, 721, 795 ], [ 242, 317, 322, 385, 402, 469, 722, 798 ], [ 243, 318, 323, 386, 403, 465, 723, 796 ], [ 244, 319, 324, 387, 404, 466, 724, 799 ], [ 240, 245, 325, 391, 405, 474, 722, 725 ], [ 241, 246, 326, 392, 406, 470, 720, 726 ], [ 242, 247, 327, 393, 407, 471, 723, 727 ], [ 243, 248, 328, 394, 408, 472, 721, 728 ], [ 244, 249, 329, 390, 409, 473, 724, 729 ], [ 245, 250, 330, 397, 410, 478, 727, 730 ], [ 246, 251, 331, 398, 411, 479, 725, 731 ], [ 247, 252, 332, 399, 412, 475, 728, 732 ], [ 248, 253, 333, 395, 413, 476, 726, 733 ], [ 249, 254, 334, 396, 414, 477, 729, 734 ], [ 250, 255, 324, 335, 401, 415, 732, 735 ], [ 251, 256, 320, 336, 402, 416, 730, 736 ], [ 252, 257, 321, 337, 403, 417, 733, 737 ], [ 253, 258, 322, 338, 404, 418, 731, 738 ], [ 254, 259, 323, 339, 400, 419, 734, 739 ], [ 255, 260, 328, 340, 407, 420, 737, 740 ], [ 256, 261, 329, 341, 408, 421, 735, 741 ], [ 257, 262, 325, 342, 409, 422, 738, 742 ], [ 258, 263, 326, 343, 405, 423, 736, 743 ], [ 259, 264, 327, 344, 406, 424, 739, 744 ], [ 260, 265, 331, 345, 414, 425, 742, 745 ], [ 261, 266, 332, 346, 410, 426, 740, 746 ], [ 262, 267, 333, 347, 411, 427, 743, 747 ], [ 263, 268, 334, 348, 412, 428, 741, 748 ], [ 264, 269, 330, 349, 413, 429, 744, 749 ], [ 265, 270, 337, 350, 418, 430, 747, 750 ], [ 266, 271, 338, 351, 419, 431, 745, 751 ], [ 267, 272, 339, 352, 415, 432, 748, 752 ], [ 268, 273, 335, 353, 416, 433, 746, 753 ], [ 269, 274, 336, 354, 417, 434, 749, 754 ], [ 270, 275, 344, 355, 421, 435, 752, 755 ], [ 271, 276, 340, 356, 422, 436, 750, 756 ], [ 272, 277, 341, 357, 423, 437, 753, 757 ], [ 273, 278, 342, 358, 424, 438, 751, 758 ], [ 274, 279, 343, 359, 420, 439, 754, 759 ], [ 275, 280, 348, 360, 427, 440, 757, 760 ], [ 276, 281, 349, 361, 428, 441, 755, 761 ], [ 277, 282, 345, 362, 429, 442, 758, 762 ], [ 278, 283, 346, 363, 425, 443, 756, 763 ], [ 279, 284, 347, 364, 426, 444, 759, 764 ], [ 280, 285, 351, 365, 434, 445, 762, 765 ], [ 281, 286, 352, 366, 430, 446, 760, 766 ], [ 282, 287, 353, 367, 431, 447, 763, 767 ], [ 283, 288, 354, 368, 432, 448, 761, 768 ], [ 284, 289, 350, 369, 433, 449, 764, 769 ], [ 285, 290, 357, 370, 438, 450, 767, 770 ], [ 286, 291, 358, 371, 439, 451, 765, 771 ], [ 287, 292, 359, 372, 435, 452, 768, 772 ], [ 288, 293, 355, 373, 436, 453, 766, 773 ], [ 289, 294, 356, 374, 437, 454, 769, 774 ], [ 290, 295, 364, 375, 441, 455, 772, 775 ], [ 291, 296, 360, 376, 442, 456, 770, 776 ], [ 292, 297, 361, 377, 443, 457, 773, 777 ], [ 293, 298, 362, 378, 444, 458, 771, 778 ], [ 294, 299, 363, 379, 440, 459, 774, 779 ], [ 295, 300, 368, 380, 447, 460, 777, 780 ], [ 296, 301, 369, 381, 448, 461, 775, 781 ], [ 297, 302, 365, 382, 449, 462, 778, 782 ], [ 298, 303, 366, 383, 445, 463, 776, 783 ], [ 299, 304, 367, 384, 446, 464, 779, 784 ], [ 300, 305, 371, 385, 454, 465, 782, 785 ], [ 301, 306, 372, 386, 450, 466, 780, 786 ], [ 302, 307, 373, 387, 451, 467, 783, 787 ], [ 303, 308, 374, 388, 452, 468, 781, 788 ], [ 304, 309, 370, 389, 453, 469, 784, 789 ], [ 305, 310, 377, 390, 458, 470, 787, 790 ], [ 306, 311, 378, 391, 459, 471, 785, 791 ], [ 307, 312, 379, 392, 455, 472, 788, 792 ], [ 308, 313, 375, 393, 456, 473, 786, 793 ], [ 309, 314, 376, 394, 457, 474, 789, 794 ], [ 310, 315, 384, 395, 461, 475, 792, 795 ], [ 311, 316, 380, 396, 462, 476, 790, 796 ], [ 312, 317, 381, 397, 463, 477, 793, 797 ], [ 313, 318, 382, 398, 464, 478, 791, 798 ], [ 480, 555, 560, 628, 640, 707, 720, 776 ], [ 481, 556, 561, 629, 641, 708, 721, 779 ], [ 482, 557, 562, 625, 642, 709, 722, 777 ], [ 483, 558, 563, 626, 643, 705, 723, 775 ], [ 484, 559, 564, 627, 644, 706, 724, 778 ], [ 480, 485, 565, 631, 645, 714, 725, 781 ], [ 481, 486, 566, 632, 646, 710, 726, 784 ], [ 482, 487, 567, 633, 647, 711, 727, 782 ], [ 483, 488, 568, 634, 648, 712, 728, 780 ], [ 484, 489, 569, 630, 649, 713, 729, 783 ], [ 485, 490, 570, 637, 650, 718, 730, 786 ], [ 486, 491, 571, 638, 651, 719, 731, 789 ], [ 487, 492, 572, 639, 652, 715, 732, 787 ], [ 488, 493, 573, 635, 653, 716, 733, 785 ], [ 489, 494, 574, 636, 654, 717, 734, 788 ], [ 490, 495, 564, 575, 641, 655, 735, 791 ], [ 491, 496, 560, 576, 642, 656, 736, 794 ], [ 492, 497, 561, 577, 643, 657, 737, 792 ], [ 493, 498, 562, 578, 644, 658, 738, 790 ], [ 494, 499, 563, 579, 640, 659, 739, 793 ], [ 495, 500, 568, 580, 647, 660, 740, 796 ], [ 496, 501, 569, 581, 648, 661, 741, 799 ], [ 497, 502, 565, 582, 649, 662, 742, 797 ], [ 498, 503, 566, 583, 645, 663, 743, 795 ], [ 499, 504, 567, 584, 646, 664, 744, 798 ], [ 500, 505, 571, 585, 654, 665, 721, 745 ], [ 501, 506, 572, 586, 650, 666, 724, 746 ], [ 502, 507, 573, 587, 651, 667, 722, 747 ], [ 503, 508, 574, 588, 652, 668, 720, 748 ], [ 504, 509, 570, 589, 653, 669, 723, 749 ], [ 505, 510, 577, 590, 658, 670, 726, 750 ], [ 506, 511, 578, 591, 659, 671, 729, 751 ], [ 507, 512, 579, 592, 655, 672, 727, 752 ], [ 508, 513, 575, 593, 656, 673, 725, 753 ], [ 509, 514, 576, 594, 657, 674, 728, 754 ], [ 510, 515, 584, 595, 661, 675, 731, 755 ], [ 511, 516, 580, 596, 662, 676, 734, 756 ], [ 512, 517, 581, 597, 663, 677, 732, 757 ], [ 513, 518, 582, 598, 664, 678, 730, 758 ], [ 514, 519, 583, 599, 660, 679, 733, 759 ], [ 515, 520, 588, 600, 667, 680, 736, 760 ], [ 516, 521, 589, 601, 668, 681, 739, 761 ], [ 517, 522, 585, 602, 669, 682, 737, 762 ], [ 518, 523, 586, 603, 665, 683, 735, 763 ], [ 519, 524, 587, 604, 666, 684, 738, 764 ], [ 520, 525, 591, 605, 674, 685, 741, 765 ], [ 521, 526, 592, 606, 670, 686, 744, 766 ], [ 522, 527, 593, 607, 671, 687, 742, 767 ], [ 523, 528, 594, 608, 672, 688, 740, 768 ], [ 524, 529, 590, 609, 673, 689, 743, 769 ], [ 525, 530, 597, 610, 678, 690, 746, 770 ], [ 526, 531, 598, 611, 679, 691, 749, 771 ], [ 527, 532, 599, 612, 675, 692, 747, 772 ], [ 528, 533, 595, 613, 676, 693, 745, 773 ], [ 529, 534, 596, 614, 677, 694, 748, 774 ], [ 530, 535, 604, 615, 681, 695, 751, 775 ], [ 531, 536, 600, 616, 682, 696, 754, 776 ], [ 532, 537, 601, 617, 683, 697, 752, 777 ], [ 533, 538, 602, 618, 684, 698, 750, 778 ], [ 534, 539, 603, 619, 680, 699, 753, 779 ], [ 535, 540, 608, 620, 687, 700, 756, 780 ], [ 536, 541, 609, 621, 688, 701, 759, 781 ], [ 537, 542, 605, 622, 689, 702, 757, 782 ], [ 538, 543, 606, 623, 685, 703, 755, 783 ], [ 539, 544, 607, 624, 686, 704, 758, 784 ], [ 540, 545, 611, 625, 694, 705, 761, 785 ], [ 541, 546, 612, 626, 690, 706, 764, 786 ], [ 542, 547, 613, 627, 691, 707, 762, 787 ], [ 543, 548, 614, 628, 692, 708, 760, 788 ], [ 544, 549, 610, 629, 693, 709, 763, 789 ], [ 545, 550, 617, 630, 698, 710, 766, 790 ], [ 546, 551, 618, 631, 699, 711, 769, 791 ], [ 547, 552, 619, 632, 695, 712, 767, 792 ], [ 548, 553, 615, 633, 696, 713, 765, 793 ], [ 549, 554, 616, 634, 697, 714, 768, 794 ], [ 550, 555, 624, 635, 701, 715, 771, 795 ], [ 551, 556, 620, 636, 702, 716, 774, 796 ], [ 552, 557, 621, 637, 703, 717, 772, 797 ], [ 553, 558, 622, 638, 704, 718, 770, 798 ] ] }, "distance": { "d": 6, "X": { "value": 6, "confidence": "upper_bound", "witness": [ 0, 5, 75, 90, 155, 173 ] }, "Z": { "value": 6, "confidence": "upper_bound", "witness": [ 0, 5, 7, 10, 241, 250 ] } }, "provenance": { "authors": [ "@hirobumii" ], "construction": "G=C5 semidirect C16, normal form a^i b^j, with b a b^-1=a^2. Index i+5*j. Multiplication (i,j)(k,l)=(i+2^j*k mod5,j+l mod16). L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. A=[I+L5,I+L6,I+L28]; B=[I+R5,I+R16,I+R19], addition mod2. There are nine VV(k,j) blocks indexed 3*k+j for k,j in 0..2, followed by one CC block, all of size80. X(j) has A(k) on VV(k,j) and B(j) on CC. Z(k) has B(j)^T on VV(k,j) and A(k)^T on CC. Keep first independent original rows, giving 237 checks per sector.", "references": [ "https://arxiv.org/abs/2111.03654", "https://arxiv.org/abs/2607.28795" ], "date": "2026-10-17", "notes": "Displayed presentation: maximum check weight 8, maximum qubit degree 12, 474 checks and total incidence 3792.", "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)" }, "family": "lifted-product" }