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