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