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