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