{ "schema_version": "0.1", "name": "[[960,198,8]] nonabelian2x4 monomial lifted product, checkweight6", "code_type": "CSS", "n": 960, "k": 198, "checks": { "X": [ [ 0, 192, 384, 576, 768, 816 ], [ 1, 193, 385, 577, 769, 817 ], [ 2, 194, 386, 578, 770, 818 ], [ 3, 195, 387, 579, 771, 819 ], [ 4, 196, 388, 580, 772, 820 ], [ 5, 197, 389, 581, 773, 821 ], [ 6, 198, 390, 582, 774, 822 ], [ 7, 199, 391, 583, 775, 823 ], [ 8, 200, 392, 584, 776, 824 ], [ 9, 201, 393, 585, 777, 825 ], [ 10, 202, 394, 586, 778, 826 ], [ 11, 203, 395, 587, 779, 827 ], [ 12, 204, 396, 588, 780, 828 ], [ 13, 205, 397, 589, 781, 829 ], [ 14, 206, 398, 590, 782, 830 ], [ 15, 207, 399, 591, 783, 831 ], [ 16, 208, 400, 592, 784, 832 ], [ 17, 209, 401, 593, 785, 833 ], [ 18, 210, 402, 594, 786, 834 ], [ 19, 211, 403, 595, 787, 835 ], [ 20, 212, 404, 596, 788, 836 ], [ 21, 213, 405, 597, 789, 837 ], [ 22, 214, 406, 598, 790, 838 ], [ 23, 215, 407, 599, 791, 839 ], [ 24, 216, 408, 600, 792, 840 ], [ 25, 217, 409, 601, 793, 841 ], [ 26, 218, 410, 602, 794, 842 ], [ 27, 219, 411, 603, 795, 843 ], [ 28, 220, 412, 604, 796, 844 ], [ 29, 221, 413, 605, 797, 845 ], [ 30, 222, 414, 606, 798, 846 ], [ 31, 223, 415, 607, 799, 847 ], [ 32, 224, 416, 608, 800, 848 ], [ 33, 225, 417, 609, 801, 849 ], [ 34, 226, 418, 610, 802, 850 ], [ 35, 227, 419, 611, 803, 851 ], [ 36, 228, 420, 612, 804, 852 ], [ 37, 229, 421, 613, 805, 853 ], [ 38, 230, 422, 614, 806, 854 ], [ 39, 231, 423, 615, 807, 855 ], [ 40, 232, 424, 616, 808, 856 ], [ 41, 233, 425, 617, 809, 857 ], [ 42, 234, 426, 618, 810, 858 ], [ 43, 235, 427, 619, 811, 859 ], [ 44, 236, 428, 620, 812, 860 ], [ 45, 237, 429, 621, 813, 861 ], [ 46, 238, 430, 622, 814, 862 ], [ 47, 239, 431, 623, 815, 863 ], [ 48, 240, 432, 624, 768, 817 ], [ 49, 241, 433, 625, 769, 831 ], [ 50, 242, 434, 626, 770, 833 ], [ 51, 243, 435, 627, 771, 832 ], [ 52, 244, 436, 628, 772, 816 ], [ 53, 245, 437, 629, 773, 824 ], [ 54, 246, 438, 630, 774, 823 ], [ 55, 247, 439, 631, 775, 818 ], [ 56, 248, 440, 632, 776, 819 ], [ 57, 249, 441, 633, 777, 836 ], [ 58, 250, 442, 634, 778, 835 ], [ 59, 251, 443, 635, 779, 834 ], [ 60, 252, 444, 636, 780, 827 ], [ 61, 253, 445, 637, 781, 825 ], [ 62, 254, 446, 638, 782, 826 ], [ 63, 255, 447, 639, 783, 820 ], [ 64, 256, 448, 640, 784, 821 ], [ 65, 257, 449, 641, 785, 822 ], [ 66, 258, 450, 642, 786, 838 ], [ 67, 259, 451, 643, 787, 839 ], [ 68, 260, 452, 644, 788, 837 ], [ 69, 261, 453, 645, 789, 829 ], [ 70, 262, 454, 646, 790, 828 ], [ 71, 263, 455, 647, 791, 830 ], [ 72, 264, 456, 648, 792, 841 ], [ 73, 265, 457, 649, 793, 855 ], [ 74, 266, 458, 650, 794, 857 ], [ 75, 267, 459, 651, 795, 856 ], [ 76, 268, 460, 652, 796, 840 ], [ 77, 269, 461, 653, 797, 848 ], [ 78, 270, 462, 654, 798, 847 ], [ 79, 271, 463, 655, 799, 842 ], [ 80, 272, 464, 656, 800, 843 ], [ 81, 273, 465, 657, 801, 860 ], [ 82, 274, 466, 658, 802, 859 ], [ 83, 275, 467, 659, 803, 858 ], [ 84, 276, 468, 660, 804, 851 ], [ 85, 277, 469, 661, 805, 849 ], [ 86, 278, 470, 662, 806, 850 ], [ 87, 279, 471, 663, 807, 844 ], [ 88, 280, 472, 664, 808, 845 ], [ 89, 281, 473, 665, 809, 846 ], [ 90, 282, 474, 666, 810, 862 ], [ 91, 283, 475, 667, 811, 863 ], [ 92, 284, 476, 668, 812, 861 ], [ 93, 285, 477, 669, 813, 853 ], [ 94, 286, 478, 670, 814, 852 ], [ 95, 287, 479, 671, 815, 854 ], [ 96, 288, 480, 672, 768, 821 ], [ 97, 289, 481, 673, 769, 825 ], [ 98, 290, 482, 674, 770, 826 ], [ 99, 291, 483, 675, 771, 827 ], [ 100, 292, 484, 676, 772, 837 ], [ 101, 293, 485, 677, 773, 838 ], [ 102, 294, 486, 678, 774, 839 ], [ 103, 295, 487, 679, 775, 820 ], [ 104, 296, 488, 680, 776, 822 ], [ 105, 297, 489, 681, 777, 823 ], [ 106, 298, 490, 682, 778, 824 ], [ 107, 299, 491, 683, 779, 816 ], [ 108, 300, 492, 684, 780, 835 ], [ 109, 301, 493, 685, 781, 834 ], [ 110, 302, 494, 686, 782, 836 ], [ 111, 303, 495, 687, 783, 819 ], [ 112, 304, 496, 688, 784, 818 ], [ 113, 305, 497, 689, 785, 817 ], [ 114, 306, 498, 690, 786, 830 ], [ 115, 307, 499, 691, 787, 829 ], [ 116, 308, 500, 692, 788, 828 ], [ 117, 309, 501, 693, 789, 833 ], [ 118, 310, 502, 694, 790, 831 ], [ 119, 311, 503, 695, 791, 832 ], [ 120, 312, 504, 696, 792, 845 ], [ 121, 313, 505, 697, 793, 849 ], [ 122, 314, 506, 698, 794, 850 ], [ 123, 315, 507, 699, 795, 851 ], [ 124, 316, 508, 700, 796, 861 ], [ 125, 317, 509, 701, 797, 862 ], [ 126, 318, 510, 702, 798, 863 ], [ 127, 319, 511, 703, 799, 844 ], [ 128, 320, 512, 704, 800, 846 ], [ 129, 321, 513, 705, 801, 847 ], [ 130, 322, 514, 706, 802, 848 ], [ 131, 323, 515, 707, 803, 840 ], [ 132, 324, 516, 708, 804, 859 ], [ 133, 325, 517, 709, 805, 858 ], [ 134, 326, 518, 710, 806, 860 ], [ 135, 327, 519, 711, 807, 843 ], [ 136, 328, 520, 712, 808, 842 ], [ 137, 329, 521, 713, 809, 841 ], [ 138, 330, 522, 714, 810, 854 ], [ 139, 331, 523, 715, 811, 853 ], [ 140, 332, 524, 716, 812, 852 ], [ 141, 333, 525, 717, 813, 857 ], [ 142, 334, 526, 718, 814, 855 ], [ 143, 335, 527, 719, 815, 856 ], [ 144, 336, 528, 720, 768, 849 ], [ 145, 337, 529, 721, 769, 843 ], [ 146, 338, 530, 722, 770, 841 ], [ 147, 339, 531, 723, 771, 842 ], [ 148, 340, 532, 724, 772, 845 ], [ 149, 341, 533, 725, 773, 846 ], [ 150, 342, 534, 726, 774, 844 ], [ 151, 343, 535, 727, 775, 850 ], [ 152, 344, 536, 728, 776, 851 ], [ 153, 345, 537, 729, 777, 852 ], [ 154, 346, 538, 730, 778, 853 ], [ 155, 347, 539, 731, 779, 854 ], [ 156, 348, 540, 732, 780, 840 ], [ 157, 349, 541, 733, 781, 847 ], [ 158, 350, 542, 734, 782, 848 ], [ 159, 351, 543, 735, 783, 861 ], [ 160, 352, 544, 736, 784, 862 ], [ 161, 353, 545, 737, 785, 863 ], [ 162, 354, 546, 738, 786, 855 ], [ 163, 355, 547, 739, 787, 856 ], [ 164, 356, 548, 740, 788, 857 ], [ 165, 357, 549, 741, 789, 858 ], [ 166, 358, 550, 742, 790, 859 ], [ 167, 359, 551, 743, 791, 860 ], [ 168, 360, 552, 744, 792, 825 ], [ 169, 361, 553, 745, 793, 819 ], [ 170, 362, 554, 746, 794, 817 ], [ 171, 363, 555, 747, 795, 818 ], [ 172, 364, 556, 748, 796, 821 ], [ 173, 365, 557, 749, 797, 822 ], [ 174, 366, 558, 750, 798, 820 ], [ 175, 367, 559, 751, 799, 826 ], [ 176, 368, 560, 752, 800, 827 ], [ 177, 369, 561, 753, 801, 828 ], [ 178, 370, 562, 754, 802, 829 ], [ 179, 371, 563, 755, 803, 830 ], [ 180, 372, 564, 756, 804, 816 ], [ 181, 373, 565, 757, 805, 823 ], [ 182, 374, 566, 758, 806, 824 ], [ 183, 375, 567, 759, 807, 837 ], [ 184, 376, 568, 760, 808, 838 ], [ 185, 377, 569, 761, 809, 839 ], [ 186, 378, 570, 762, 810, 831 ], [ 187, 379, 571, 763, 811, 832 ], [ 188, 380, 572, 764, 812, 833 ], [ 189, 381, 573, 765, 813, 834 ], [ 190, 382, 574, 766, 814, 835 ], [ 191, 383, 575, 767, 815, 836 ], [ 0, 193, 389, 608, 864, 912 ], [ 1, 207, 392, 603, 865, 913 ], [ 2, 210, 398, 601, 866, 914 ], [ 3, 213, 395, 602, 867, 915 ], [ 4, 192, 400, 605, 868, 916 ], [ 5, 201, 406, 606, 869, 917 ], [ 6, 204, 403, 604, 870, 918 ], [ 7, 203, 407, 600, 871, 919 ], [ 8, 212, 396, 607, 872, 920 ], [ 9, 195, 390, 611, 873, 921 ], [ 10, 206, 404, 609, 874, 922 ], [ 11, 209, 384, 610, 875, 923 ], [ 12, 194, 388, 614, 876, 924 ], [ 13, 200, 401, 612, 877, 925 ], [ 14, 215, 393, 613, 878, 926 ], [ 15, 196, 387, 616, 879, 927 ], [ 16, 205, 402, 617, 880, 928 ], [ 17, 214, 394, 615, 881, 929 ], [ 18, 198, 385, 619, 882, 930 ], [ 19, 202, 405, 620, 883, 931 ], [ 20, 208, 391, 618, 884, 932 ], [ 21, 197, 386, 622, 885, 933 ], [ 22, 199, 399, 623, 886, 934 ], [ 23, 211, 397, 621, 887, 935 ], [ 24, 217, 413, 584, 888, 936 ], [ 25, 231, 416, 579, 889, 937 ], [ 26, 234, 422, 577, 890, 938 ], [ 27, 237, 419, 578, 891, 939 ], [ 28, 216, 424, 581, 892, 940 ], [ 29, 225, 430, 582, 893, 941 ], [ 30, 228, 427, 580, 894, 942 ], [ 31, 227, 431, 576, 895, 943 ], [ 32, 236, 420, 583, 896, 944 ], [ 33, 219, 414, 587, 897, 945 ], [ 34, 230, 428, 585, 898, 946 ], [ 35, 233, 408, 586, 899, 947 ], [ 36, 218, 412, 590, 900, 948 ], [ 37, 224, 425, 588, 901, 949 ], [ 38, 239, 417, 589, 902, 950 ], [ 39, 220, 411, 592, 903, 951 ], [ 40, 229, 426, 593, 904, 952 ], [ 41, 238, 418, 591, 905, 953 ], [ 42, 222, 409, 595, 906, 954 ], [ 43, 226, 429, 596, 907, 955 ], [ 44, 232, 415, 594, 908, 956 ], [ 45, 221, 410, 598, 909, 957 ], [ 46, 223, 423, 599, 910, 958 ], [ 47, 235, 421, 597, 911, 959 ], [ 48, 241, 437, 656, 864, 913 ], [ 49, 255, 440, 651, 865, 927 ], [ 50, 258, 446, 649, 866, 929 ], [ 51, 261, 443, 650, 867, 928 ], [ 52, 240, 448, 653, 868, 912 ], [ 53, 249, 454, 654, 869, 920 ], [ 54, 252, 451, 652, 870, 919 ], [ 55, 251, 455, 648, 871, 914 ], [ 56, 260, 444, 655, 872, 915 ], [ 57, 243, 438, 659, 873, 932 ], [ 58, 254, 452, 657, 874, 931 ], [ 59, 257, 432, 658, 875, 930 ], [ 60, 242, 436, 662, 876, 923 ], [ 61, 248, 449, 660, 877, 921 ], [ 62, 263, 441, 661, 878, 922 ], [ 63, 244, 435, 664, 879, 916 ], [ 64, 253, 450, 665, 880, 917 ], [ 65, 262, 442, 663, 881, 918 ], [ 66, 246, 433, 667, 882, 934 ], [ 67, 250, 453, 668, 883, 935 ], [ 68, 256, 439, 666, 884, 933 ], [ 69, 245, 434, 670, 885, 925 ], [ 70, 247, 447, 671, 886, 924 ], [ 71, 259, 445, 669, 887, 926 ], [ 72, 265, 461, 632, 888, 937 ], [ 73, 279, 464, 627, 889, 951 ], [ 74, 282, 470, 625, 890, 953 ], [ 75, 285, 467, 626, 891, 952 ], [ 76, 264, 472, 629, 892, 936 ], [ 77, 273, 478, 630, 893, 944 ], [ 78, 276, 475, 628, 894, 943 ], [ 79, 275, 479, 624, 895, 938 ], [ 80, 284, 468, 631, 896, 939 ], [ 81, 267, 462, 635, 897, 956 ], [ 82, 278, 476, 633, 898, 955 ], [ 83, 281, 456, 634, 899, 954 ], [ 84, 266, 460, 638, 900, 947 ], [ 85, 272, 473, 636, 901, 945 ], [ 86, 287, 465, 637, 902, 946 ], [ 87, 268, 459, 640, 903, 940 ], [ 88, 277, 474, 641, 904, 941 ], [ 89, 286, 466, 639, 905, 942 ], [ 90, 270, 457, 643, 906, 958 ], [ 91, 274, 477, 644, 907, 959 ], [ 92, 280, 463, 642, 908, 957 ], [ 93, 269, 458, 646, 909, 949 ], [ 94, 271, 471, 647, 910, 948 ], [ 96, 289, 485, 704, 864, 917 ], [ 97, 303, 488, 699, 865, 921 ], [ 98, 306, 494, 697, 866, 922 ], [ 99, 309, 491, 698, 867, 923 ], [ 100, 288, 496, 701, 868, 933 ], [ 101, 297, 502, 702, 869, 934 ], [ 102, 300, 499, 700, 870, 935 ], [ 103, 299, 503, 696, 871, 916 ], [ 104, 308, 492, 703, 872, 918 ], [ 105, 291, 486, 707, 873, 919 ], [ 106, 302, 500, 705, 874, 920 ], [ 107, 305, 480, 706, 875, 912 ], [ 108, 290, 484, 710, 876, 931 ], [ 109, 296, 497, 708, 877, 930 ], [ 110, 311, 489, 709, 878, 932 ], [ 111, 292, 483, 712, 879, 915 ], [ 112, 301, 498, 713, 880, 914 ], [ 113, 310, 490, 711, 881, 913 ], [ 114, 294, 481, 715, 882, 926 ], [ 115, 298, 501, 716, 883, 925 ], [ 116, 304, 487, 714, 884, 924 ], [ 117, 293, 482, 718, 885, 929 ], [ 118, 295, 495, 719, 886, 927 ], [ 119, 307, 493, 717, 887, 928 ], [ 120, 313, 509, 680, 888, 941 ], [ 121, 327, 512, 675, 889, 945 ], [ 122, 330, 518, 673, 890, 946 ], [ 123, 333, 515, 674, 891, 947 ], [ 124, 312, 520, 677, 892, 957 ], [ 125, 321, 526, 678, 893, 958 ], [ 126, 324, 523, 676, 894, 959 ], [ 127, 323, 527, 672, 895, 940 ], [ 128, 332, 516, 679, 896, 942 ], [ 129, 315, 510, 683, 897, 943 ], [ 130, 326, 524, 681, 898, 944 ], [ 131, 329, 504, 682, 899, 936 ], [ 132, 314, 508, 686, 900, 955 ], [ 133, 320, 521, 684, 901, 954 ], [ 134, 335, 513, 685, 902, 956 ], [ 135, 316, 507, 688, 903, 939 ], [ 136, 325, 522, 689, 904, 938 ], [ 137, 334, 514, 687, 905, 937 ], [ 138, 318, 505, 691, 906, 950 ], [ 139, 322, 525, 692, 907, 949 ], [ 140, 328, 511, 690, 908, 948 ], [ 141, 317, 506, 694, 909, 953 ], [ 142, 319, 519, 695, 910, 951 ], [ 144, 337, 533, 752, 864, 945 ], [ 145, 351, 536, 747, 865, 939 ], [ 146, 354, 542, 745, 866, 937 ], [ 147, 357, 539, 746, 867, 938 ], [ 148, 336, 544, 749, 868, 941 ], [ 149, 345, 550, 750, 869, 942 ], [ 150, 348, 547, 748, 870, 940 ], [ 151, 347, 551, 744, 871, 946 ], [ 152, 356, 540, 751, 872, 947 ], [ 153, 339, 534, 755, 873, 948 ], [ 154, 350, 548, 753, 874, 949 ], [ 155, 353, 528, 754, 875, 950 ], [ 156, 338, 532, 758, 876, 936 ], [ 157, 344, 545, 756, 877, 943 ], [ 158, 359, 537, 757, 878, 944 ], [ 159, 340, 531, 760, 879, 957 ], [ 160, 349, 546, 761, 880, 958 ], [ 161, 358, 538, 759, 881, 959 ], [ 162, 342, 529, 763, 882, 951 ], [ 163, 346, 549, 764, 883, 952 ], [ 164, 352, 535, 762, 884, 953 ], [ 165, 341, 530, 766, 885, 954 ], [ 166, 343, 543, 767, 886, 955 ], [ 167, 355, 541, 765, 887, 956 ], [ 168, 361, 557, 728, 888, 921 ], [ 169, 375, 560, 723, 889, 915 ], [ 170, 378, 566, 721, 890, 913 ], [ 171, 381, 563, 722, 891, 914 ], [ 172, 360, 568, 725, 892, 917 ], [ 173, 369, 574, 726, 893, 918 ], [ 174, 372, 571, 724, 894, 916 ], [ 175, 371, 575, 720, 895, 922 ], [ 176, 380, 564, 727, 896, 923 ], [ 177, 363, 558, 731, 897, 924 ], [ 178, 374, 572, 729, 898, 925 ], [ 179, 377, 552, 730, 899, 926 ], [ 180, 362, 556, 734, 900, 912 ], [ 181, 368, 569, 732, 901, 919 ], [ 182, 383, 561, 733, 902, 920 ], [ 183, 364, 555, 736, 903, 933 ], [ 184, 373, 570, 737, 904, 934 ], [ 185, 382, 562, 735, 905, 935 ], [ 186, 366, 553, 739, 906, 927 ], [ 187, 370, 573, 740, 907, 928 ], [ 188, 376, 559, 738, 908, 929 ], [ 189, 365, 554, 742, 909, 930 ], [ 190, 367, 567, 743, 910, 931 ] ], "Z": [ [ 0, 48, 96, 144, 768, 864 ], [ 1, 49, 97, 145, 769, 865 ], [ 2, 50, 98, 146, 770, 866 ], [ 3, 51, 99, 147, 771, 867 ], [ 4, 52, 100, 148, 772, 868 ], [ 5, 53, 101, 149, 773, 869 ], [ 6, 54, 102, 150, 774, 870 ], [ 7, 55, 103, 151, 775, 871 ], [ 8, 56, 104, 152, 776, 872 ], [ 9, 57, 105, 153, 777, 873 ], [ 10, 58, 106, 154, 778, 874 ], [ 11, 59, 107, 155, 779, 875 ], [ 12, 60, 108, 156, 780, 876 ], [ 13, 61, 109, 157, 781, 877 ], [ 14, 62, 110, 158, 782, 878 ], [ 15, 63, 111, 159, 783, 879 ], [ 16, 64, 112, 160, 784, 880 ], [ 17, 65, 113, 161, 785, 881 ], [ 18, 66, 114, 162, 786, 882 ], [ 19, 67, 115, 163, 787, 883 ], [ 20, 68, 116, 164, 788, 884 ], [ 21, 69, 117, 165, 789, 885 ], [ 22, 70, 118, 166, 790, 886 ], [ 23, 71, 119, 167, 791, 887 ], [ 24, 72, 120, 168, 792, 888 ], [ 25, 73, 121, 169, 793, 889 ], [ 26, 74, 122, 170, 794, 890 ], [ 27, 75, 123, 171, 795, 891 ], [ 28, 76, 124, 172, 796, 892 ], [ 29, 77, 125, 173, 797, 893 ], [ 30, 78, 126, 174, 798, 894 ], [ 31, 79, 127, 175, 799, 895 ], [ 32, 80, 128, 176, 800, 896 ], [ 33, 81, 129, 177, 801, 897 ], [ 34, 82, 130, 178, 802, 898 ], [ 35, 83, 131, 179, 803, 899 ], [ 36, 84, 132, 180, 804, 900 ], [ 37, 85, 133, 181, 805, 901 ], [ 38, 86, 134, 182, 806, 902 ], [ 39, 87, 135, 183, 807, 903 ], [ 40, 88, 136, 184, 808, 904 ], [ 41, 89, 137, 185, 809, 905 ], [ 42, 90, 138, 186, 810, 906 ], [ 43, 91, 139, 187, 811, 907 ], [ 44, 92, 140, 188, 812, 908 ], [ 45, 93, 141, 189, 813, 909 ], [ 46, 94, 142, 190, 814, 910 ], [ 47, 95, 143, 191, 815, 911 ], [ 0, 52, 107, 180, 816, 912 ], [ 1, 48, 113, 170, 817, 913 ], [ 2, 55, 112, 171, 818, 914 ], [ 3, 56, 111, 169, 819, 915 ], [ 4, 63, 103, 174, 820, 916 ], [ 5, 64, 96, 172, 821, 917 ], [ 6, 65, 104, 173, 822, 918 ], [ 7, 54, 105, 181, 823, 919 ], [ 8, 53, 106, 182, 824, 920 ], [ 9, 61, 97, 168, 825, 921 ], [ 10, 62, 98, 175, 826, 922 ], [ 11, 60, 99, 176, 827, 923 ], [ 12, 70, 116, 177, 828, 924 ], [ 13, 69, 115, 178, 829, 925 ], [ 14, 71, 114, 179, 830, 926 ], [ 15, 49, 118, 186, 831, 927 ], [ 16, 51, 119, 187, 832, 928 ], [ 17, 50, 117, 188, 833, 929 ], [ 18, 59, 109, 189, 834, 930 ], [ 19, 58, 108, 190, 835, 931 ], [ 20, 57, 110, 191, 836, 932 ], [ 21, 68, 100, 183, 837, 933 ], [ 22, 66, 101, 184, 838, 934 ], [ 23, 67, 102, 185, 839, 935 ], [ 24, 76, 131, 156, 840, 936 ], [ 25, 72, 137, 146, 841, 937 ], [ 26, 79, 136, 147, 842, 938 ], [ 27, 80, 135, 145, 843, 939 ], [ 28, 87, 127, 150, 844, 940 ], [ 29, 88, 120, 148, 845, 941 ], [ 30, 89, 128, 149, 846, 942 ], [ 31, 78, 129, 157, 847, 943 ], [ 32, 77, 130, 158, 848, 944 ], [ 33, 85, 121, 144, 849, 945 ], [ 34, 86, 122, 151, 850, 946 ], [ 35, 84, 123, 152, 851, 947 ], [ 36, 94, 140, 153, 852, 948 ], [ 37, 93, 139, 154, 853, 949 ], [ 38, 95, 138, 155, 854, 950 ], [ 39, 73, 142, 162, 855, 951 ], [ 40, 75, 143, 163, 856, 952 ], [ 41, 74, 141, 164, 857, 953 ], [ 42, 83, 133, 165, 858, 954 ], [ 43, 82, 132, 166, 859, 955 ], [ 44, 81, 134, 167, 860, 956 ], [ 45, 92, 124, 159, 861, 957 ], [ 46, 90, 125, 160, 862, 958 ], [ 47, 91, 126, 161, 863, 959 ], [ 192, 240, 288, 336, 768, 868 ], [ 193, 241, 289, 337, 769, 864 ], [ 194, 242, 290, 338, 770, 876 ], [ 195, 243, 291, 339, 771, 873 ], [ 196, 244, 292, 340, 772, 879 ], [ 197, 245, 293, 341, 773, 885 ], [ 198, 246, 294, 342, 774, 882 ], [ 199, 247, 295, 343, 775, 886 ], [ 200, 248, 296, 344, 776, 877 ], [ 201, 249, 297, 345, 777, 869 ], [ 202, 250, 298, 346, 778, 883 ], [ 203, 251, 299, 347, 779, 871 ], [ 204, 252, 300, 348, 780, 870 ], [ 205, 253, 301, 349, 781, 880 ], [ 206, 254, 302, 350, 782, 874 ], [ 207, 255, 303, 351, 783, 865 ], [ 208, 256, 304, 352, 784, 884 ], [ 209, 257, 305, 353, 785, 875 ], [ 210, 258, 306, 354, 786, 866 ], [ 211, 259, 307, 355, 787, 887 ], [ 212, 260, 308, 356, 788, 872 ], [ 213, 261, 309, 357, 789, 867 ], [ 214, 262, 310, 358, 790, 881 ], [ 215, 263, 311, 359, 791, 878 ], [ 216, 264, 312, 360, 792, 892 ], [ 217, 265, 313, 361, 793, 888 ], [ 218, 266, 314, 362, 794, 900 ], [ 219, 267, 315, 363, 795, 897 ], [ 220, 268, 316, 364, 796, 903 ], [ 221, 269, 317, 365, 797, 909 ], [ 222, 270, 318, 366, 798, 906 ], [ 223, 271, 319, 367, 799, 910 ], [ 224, 272, 320, 368, 800, 901 ], [ 225, 273, 321, 369, 801, 893 ], [ 226, 274, 322, 370, 802, 907 ], [ 227, 275, 323, 371, 803, 895 ], [ 228, 276, 324, 372, 804, 894 ], [ 229, 277, 325, 373, 805, 904 ], [ 230, 278, 326, 374, 806, 898 ], [ 231, 279, 327, 375, 807, 889 ], [ 232, 280, 328, 376, 808, 908 ], [ 233, 281, 329, 377, 809, 899 ], [ 234, 282, 330, 378, 810, 890 ], [ 235, 283, 331, 379, 811, 911 ], [ 236, 284, 332, 380, 812, 896 ], [ 237, 285, 333, 381, 813, 891 ], [ 238, 286, 334, 382, 814, 905 ], [ 239, 287, 335, 383, 815, 902 ], [ 192, 244, 299, 372, 816, 916 ], [ 193, 240, 305, 362, 817, 912 ], [ 194, 247, 304, 363, 818, 924 ], [ 195, 248, 303, 361, 819, 921 ], [ 196, 255, 295, 366, 820, 927 ], [ 197, 256, 288, 364, 821, 933 ], [ 198, 257, 296, 365, 822, 930 ], [ 199, 246, 297, 373, 823, 934 ], [ 200, 245, 298, 374, 824, 925 ], [ 201, 253, 289, 360, 825, 917 ], [ 202, 254, 290, 367, 826, 931 ], [ 203, 252, 291, 368, 827, 919 ], [ 204, 262, 308, 369, 828, 918 ], [ 205, 261, 307, 370, 829, 928 ], [ 206, 263, 306, 371, 830, 922 ], [ 207, 241, 310, 378, 831, 913 ], [ 208, 243, 311, 379, 832, 932 ], [ 209, 242, 309, 380, 833, 923 ], [ 210, 251, 301, 381, 834, 914 ], [ 211, 250, 300, 382, 835, 935 ], [ 212, 249, 302, 383, 836, 920 ], [ 213, 260, 292, 375, 837, 915 ], [ 214, 258, 293, 376, 838, 929 ], [ 215, 259, 294, 377, 839, 926 ], [ 216, 268, 323, 348, 840, 940 ], [ 217, 264, 329, 338, 841, 936 ], [ 218, 271, 328, 339, 842, 948 ], [ 219, 272, 327, 337, 843, 945 ], [ 220, 279, 319, 342, 844, 951 ], [ 221, 280, 312, 340, 845, 957 ], [ 222, 281, 320, 341, 846, 954 ], [ 223, 270, 321, 349, 847, 958 ], [ 224, 269, 322, 350, 848, 949 ], [ 225, 277, 313, 336, 849, 941 ], [ 226, 278, 314, 343, 850, 955 ], [ 227, 276, 315, 344, 851, 943 ], [ 228, 286, 332, 345, 852, 942 ], [ 229, 285, 331, 346, 853, 952 ], [ 230, 287, 330, 347, 854, 946 ], [ 231, 265, 334, 354, 855, 937 ], [ 232, 267, 335, 355, 856, 956 ], [ 233, 266, 333, 356, 857, 947 ], [ 234, 275, 325, 357, 858, 938 ], [ 235, 274, 324, 358, 859, 959 ], [ 236, 273, 326, 359, 860, 944 ], [ 237, 284, 316, 351, 861, 939 ], [ 238, 282, 317, 352, 862, 953 ], [ 384, 432, 480, 528, 768, 875 ], [ 385, 433, 481, 529, 769, 882 ], [ 386, 434, 482, 530, 770, 885 ], [ 387, 435, 483, 531, 771, 879 ], [ 388, 436, 484, 532, 772, 876 ], [ 389, 437, 485, 533, 773, 864 ], [ 390, 438, 486, 534, 774, 873 ], [ 391, 439, 487, 535, 775, 884 ], [ 392, 440, 488, 536, 776, 865 ], [ 393, 441, 489, 537, 777, 878 ], [ 394, 442, 490, 538, 778, 881 ], [ 395, 443, 491, 539, 779, 867 ], [ 396, 444, 492, 540, 780, 872 ], [ 397, 445, 493, 541, 781, 887 ], [ 398, 446, 494, 542, 782, 866 ], [ 399, 447, 495, 543, 783, 886 ], [ 400, 448, 496, 544, 784, 868 ], [ 401, 449, 497, 545, 785, 877 ], [ 402, 450, 498, 546, 786, 880 ], [ 403, 451, 499, 547, 787, 870 ], [ 404, 452, 500, 548, 788, 874 ], [ 405, 453, 501, 549, 789, 883 ], [ 406, 454, 502, 550, 790, 869 ], [ 407, 455, 503, 551, 791, 871 ], [ 408, 456, 504, 552, 792, 899 ], [ 409, 457, 505, 553, 793, 906 ], [ 410, 458, 506, 554, 794, 909 ], [ 411, 459, 507, 555, 795, 903 ], [ 412, 460, 508, 556, 796, 900 ], [ 413, 461, 509, 557, 797, 888 ], [ 414, 462, 510, 558, 798, 897 ], [ 415, 463, 511, 559, 799, 908 ], [ 416, 464, 512, 560, 800, 889 ], [ 417, 465, 513, 561, 801, 902 ], [ 418, 466, 514, 562, 802, 905 ], [ 419, 467, 515, 563, 803, 891 ], [ 420, 468, 516, 564, 804, 896 ], [ 421, 469, 517, 565, 805, 911 ], [ 422, 470, 518, 566, 806, 890 ], [ 423, 471, 519, 567, 807, 910 ], [ 424, 472, 520, 568, 808, 892 ], [ 425, 473, 521, 569, 809, 901 ], [ 426, 474, 522, 570, 810, 904 ], [ 427, 475, 523, 571, 811, 894 ], [ 428, 476, 524, 572, 812, 898 ], [ 429, 477, 525, 573, 813, 907 ], [ 430, 478, 526, 574, 814, 893 ], [ 431, 479, 527, 575, 815, 895 ], [ 384, 436, 491, 564, 816, 923 ], [ 385, 432, 497, 554, 817, 930 ], [ 386, 439, 496, 555, 818, 933 ], [ 387, 440, 495, 553, 819, 927 ], [ 388, 447, 487, 558, 820, 924 ], [ 389, 448, 480, 556, 821, 912 ], [ 390, 449, 488, 557, 822, 921 ], [ 391, 438, 489, 565, 823, 932 ], [ 392, 437, 490, 566, 824, 913 ], [ 393, 445, 481, 552, 825, 926 ], [ 394, 446, 482, 559, 826, 929 ], [ 395, 444, 483, 560, 827, 915 ], [ 396, 454, 500, 561, 828, 920 ], [ 397, 453, 499, 562, 829, 935 ], [ 398, 455, 498, 563, 830, 914 ], [ 399, 433, 502, 570, 831, 934 ], [ 400, 435, 503, 571, 832, 916 ], [ 401, 434, 501, 572, 833, 925 ], [ 402, 443, 493, 573, 834, 928 ], [ 403, 442, 492, 574, 835, 918 ], [ 404, 441, 494, 575, 836, 922 ], [ 405, 452, 484, 567, 837, 931 ], [ 406, 450, 485, 568, 838, 917 ], [ 407, 451, 486, 569, 839, 919 ], [ 408, 460, 515, 540, 840, 947 ], [ 409, 456, 521, 530, 841, 954 ], [ 410, 463, 520, 531, 842, 957 ], [ 411, 464, 519, 529, 843, 951 ], [ 412, 471, 511, 534, 844, 948 ], [ 413, 472, 504, 532, 845, 936 ], [ 414, 473, 512, 533, 846, 945 ], [ 415, 462, 513, 541, 847, 956 ], [ 416, 461, 514, 542, 848, 937 ], [ 417, 469, 505, 528, 849, 950 ], [ 418, 470, 506, 535, 850, 953 ], [ 419, 468, 507, 536, 851, 939 ], [ 420, 478, 524, 537, 852, 944 ], [ 421, 477, 523, 538, 853, 959 ], [ 422, 479, 522, 539, 854, 938 ], [ 423, 457, 526, 546, 855, 958 ], [ 424, 459, 527, 547, 856, 940 ], [ 425, 458, 525, 548, 857, 949 ], [ 426, 467, 517, 549, 858, 952 ], [ 427, 466, 516, 550, 859, 942 ], [ 428, 465, 518, 551, 860, 946 ], [ 429, 476, 508, 543, 861, 955 ], [ 430, 474, 509, 544, 862, 941 ], [ 576, 624, 672, 720, 768, 895 ], [ 577, 625, 673, 721, 769, 890 ], [ 578, 626, 674, 722, 770, 891 ], [ 579, 627, 675, 723, 771, 889 ], [ 580, 628, 676, 724, 772, 894 ], [ 581, 629, 677, 725, 773, 892 ], [ 582, 630, 678, 726, 774, 893 ], [ 583, 631, 679, 727, 775, 896 ], [ 584, 632, 680, 728, 776, 888 ], [ 585, 633, 681, 729, 777, 898 ], [ 586, 634, 682, 730, 778, 899 ], [ 587, 635, 683, 731, 779, 897 ], [ 588, 636, 684, 732, 780, 901 ], [ 589, 637, 685, 733, 781, 902 ], [ 590, 638, 686, 734, 782, 900 ], [ 591, 639, 687, 735, 783, 905 ], [ 592, 640, 688, 736, 784, 903 ], [ 593, 641, 689, 737, 785, 904 ], [ 594, 642, 690, 738, 786, 908 ], [ 595, 643, 691, 739, 787, 906 ], [ 596, 644, 692, 740, 788, 907 ], [ 597, 645, 693, 741, 789, 911 ], [ 598, 646, 694, 742, 790, 909 ], [ 599, 647, 695, 743, 791, 910 ], [ 600, 648, 696, 744, 792, 871 ], [ 601, 649, 697, 745, 793, 866 ], [ 602, 650, 698, 746, 794, 867 ], [ 603, 651, 699, 747, 795, 865 ], [ 604, 652, 700, 748, 796, 870 ], [ 605, 653, 701, 749, 797, 868 ], [ 606, 654, 702, 750, 798, 869 ], [ 607, 655, 703, 751, 799, 872 ], [ 608, 656, 704, 752, 800, 864 ], [ 609, 657, 705, 753, 801, 874 ], [ 610, 658, 706, 754, 802, 875 ], [ 611, 659, 707, 755, 803, 873 ], [ 612, 660, 708, 756, 804, 877 ], [ 613, 661, 709, 757, 805, 878 ], [ 614, 662, 710, 758, 806, 876 ], [ 615, 663, 711, 759, 807, 881 ], [ 616, 664, 712, 760, 808, 879 ], [ 617, 665, 713, 761, 809, 880 ], [ 618, 666, 714, 762, 810, 884 ], [ 619, 667, 715, 763, 811, 882 ], [ 620, 668, 716, 764, 812, 883 ], [ 621, 669, 717, 765, 813, 887 ], [ 622, 670, 718, 766, 814, 885 ], [ 623, 671, 719, 767, 815, 886 ], [ 576, 628, 683, 756, 816, 943 ], [ 577, 624, 689, 746, 817, 938 ], [ 578, 631, 688, 747, 818, 939 ], [ 579, 632, 687, 745, 819, 937 ], [ 580, 639, 679, 750, 820, 942 ], [ 581, 640, 672, 748, 821, 940 ], [ 582, 641, 680, 749, 822, 941 ], [ 583, 630, 681, 757, 823, 944 ], [ 584, 629, 682, 758, 824, 936 ], [ 585, 637, 673, 744, 825, 946 ], [ 586, 638, 674, 751, 826, 947 ], [ 587, 636, 675, 752, 827, 945 ], [ 588, 646, 692, 753, 828, 949 ], [ 589, 645, 691, 754, 829, 950 ], [ 590, 647, 690, 755, 830, 948 ], [ 591, 625, 694, 762, 831, 953 ], [ 592, 627, 695, 763, 832, 951 ], [ 593, 626, 693, 764, 833, 952 ], [ 594, 635, 685, 765, 834, 956 ], [ 595, 634, 684, 766, 835, 954 ], [ 596, 633, 686, 767, 836, 955 ], [ 597, 644, 676, 759, 837, 959 ], [ 598, 642, 677, 760, 838, 957 ], [ 599, 643, 678, 761, 839, 958 ], [ 600, 652, 707, 732, 840, 919 ], [ 601, 648, 713, 722, 841, 914 ], [ 602, 655, 712, 723, 842, 915 ], [ 603, 656, 711, 721, 843, 913 ], [ 604, 663, 703, 726, 844, 918 ], [ 605, 664, 696, 724, 845, 916 ], [ 606, 665, 704, 725, 846, 917 ], [ 607, 654, 705, 733, 847, 920 ], [ 608, 653, 706, 734, 848, 912 ], [ 609, 661, 697, 720, 849, 922 ], [ 610, 662, 698, 727, 850, 923 ], [ 611, 660, 699, 728, 851, 921 ], [ 612, 670, 716, 729, 852, 925 ], [ 613, 669, 715, 730, 853, 926 ], [ 614, 671, 714, 731, 854, 924 ], [ 615, 649, 718, 738, 855, 929 ], [ 616, 651, 719, 739, 856, 927 ], [ 617, 650, 717, 740, 857, 928 ], [ 618, 659, 709, 741, 858, 932 ], [ 619, 658, 708, 742, 859, 930 ], [ 620, 657, 710, 743, 860, 931 ], [ 621, 668, 700, 735, 861, 935 ], [ 622, 666, 701, 736, 862, 933 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 0, 1, 4, 15, 48, 49, 52, 63 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 0, 1, 4, 15, 192, 193, 196, 207 ] } }, "provenance": { "authors": [ "@hirobumii" ], "construction": "G=SL(2,3) x C2. Enumerate determinant-one2x2 matrices overF3 lexicographically with identity moved first; group index is matrix_index+24*central_bit. Use ordinary matrix multiplication modulo3 and addition modulo2. L_g[t,u]=1 iff u=g*t, R_h[t,u]=1 iff u=t*h. A=[[I,I,I,I],[I,L_1,L_5,L_32]], B=[[I,I,I,I],[I,R_1,R_5,R_33]]. VV(k,j),k,j0..3,index4k+j precedes CC(i,l),i,l0..1,index16+2i+l; all blocks size48. X(i,j) has A(i,k) onVV(k,j) and B(l,j) onCC(i,l). Z(k,l) has B(l,j)^T onVV(k,j) and A(i,k)^T onCC(i,l). Keep first independent original rows.", "references": [ "https://arxiv.org/abs/2111.03654", "https://arxiv.org/abs/2607.28795", "https://arxiv.org/abs/2607.27644" ], "date": "2026-10-17", "notes": "Displayed presentation: maximum check weight 6, maximum qubit degree 8, 762 checks and total incidence 4572.", "model": "GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration)" }, "family": "lifted-product" }