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