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