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