{ "schema_version": "0.1", "name": "[[696,236,3]] periodic bivariate-bicycle on Z_6 x Z_58", "code_type": "CSS", "n": 696, "k": 236, "checks": { "X": [ [ 0, 83, 199, 232, 348, 418, 534, 580 ], [ 1, 84, 200, 233, 349, 419, 535, 581 ], [ 2, 85, 201, 234, 350, 420, 536, 582 ], [ 3, 86, 202, 235, 351, 421, 537, 583 ], [ 4, 87, 203, 236, 352, 422, 538, 584 ], [ 5, 88, 204, 237, 353, 423, 539, 585 ], [ 6, 89, 205, 238, 354, 424, 540, 586 ], [ 7, 90, 206, 239, 355, 425, 541, 587 ], [ 8, 91, 207, 240, 356, 426, 542, 588 ], [ 9, 92, 208, 241, 357, 427, 543, 589 ], [ 10, 93, 209, 242, 358, 428, 544, 590 ], [ 11, 94, 210, 243, 359, 429, 545, 591 ], [ 12, 95, 211, 244, 360, 430, 546, 592 ], [ 13, 96, 212, 245, 361, 431, 547, 593 ], [ 14, 97, 213, 246, 362, 432, 548, 594 ], [ 15, 98, 214, 247, 363, 433, 549, 595 ], [ 16, 99, 215, 248, 364, 434, 550, 596 ], [ 17, 100, 216, 249, 365, 435, 551, 597 ], [ 18, 101, 217, 250, 366, 436, 552, 598 ], [ 19, 102, 218, 251, 367, 437, 553, 599 ], [ 20, 103, 219, 252, 368, 438, 554, 600 ], [ 21, 104, 220, 253, 369, 439, 555, 601 ], [ 22, 105, 221, 254, 370, 440, 556, 602 ], [ 23, 106, 222, 255, 371, 441, 557, 603 ], [ 24, 107, 223, 256, 372, 442, 558, 604 ], [ 25, 108, 224, 257, 373, 443, 559, 605 ], [ 26, 109, 225, 258, 374, 444, 560, 606 ], [ 27, 110, 226, 259, 375, 445, 561, 607 ], [ 28, 111, 227, 260, 376, 446, 562, 608 ], [ 29, 112, 228, 261, 377, 447, 563, 609 ], [ 30, 113, 229, 262, 378, 448, 564, 610 ], [ 31, 114, 230, 263, 379, 449, 565, 611 ], [ 32, 115, 231, 264, 380, 450, 566, 612 ], [ 33, 58, 174, 265, 381, 451, 567, 613 ], [ 34, 59, 175, 266, 382, 452, 568, 614 ], [ 35, 60, 176, 267, 383, 453, 569, 615 ], [ 36, 61, 177, 268, 384, 454, 570, 616 ], [ 37, 62, 178, 269, 385, 455, 571, 617 ], [ 38, 63, 179, 270, 386, 456, 572, 618 ], [ 39, 64, 180, 271, 387, 457, 573, 619 ], [ 40, 65, 181, 272, 388, 458, 574, 620 ], [ 41, 66, 182, 273, 389, 459, 575, 621 ], [ 42, 67, 183, 274, 390, 460, 576, 622 ], [ 43, 68, 184, 275, 391, 461, 577, 623 ], [ 44, 69, 185, 276, 392, 462, 578, 624 ], [ 45, 70, 186, 277, 393, 463, 579, 625 ], [ 46, 71, 187, 278, 394, 406, 522, 626 ], [ 47, 72, 188, 279, 395, 407, 523, 627 ], [ 48, 73, 189, 280, 396, 408, 524, 628 ], [ 49, 74, 190, 281, 397, 409, 525, 629 ], [ 50, 75, 191, 282, 398, 410, 526, 630 ], [ 51, 76, 192, 283, 399, 411, 527, 631 ], [ 52, 77, 193, 284, 400, 412, 528, 632 ], [ 53, 78, 194, 285, 401, 413, 529, 633 ], [ 54, 79, 195, 286, 402, 414, 530, 634 ], [ 55, 80, 196, 287, 403, 415, 531, 635 ], [ 56, 81, 197, 288, 404, 416, 532, 636 ], [ 57, 82, 198, 289, 405, 417, 533, 637 ], [ 58, 141, 257, 290, 406, 476, 592, 638 ], [ 59, 142, 258, 291, 407, 477, 593, 639 ], [ 60, 143, 259, 292, 408, 478, 594, 640 ], [ 61, 144, 260, 293, 409, 479, 595, 641 ], [ 62, 145, 261, 294, 410, 480, 596, 642 ], [ 63, 146, 262, 295, 411, 481, 597, 643 ], [ 64, 147, 263, 296, 412, 482, 598, 644 ], [ 65, 148, 264, 297, 413, 483, 599, 645 ], [ 66, 149, 265, 298, 414, 484, 600, 646 ], [ 67, 150, 266, 299, 415, 485, 601, 647 ], [ 68, 151, 267, 300, 416, 486, 602, 648 ], [ 69, 152, 268, 301, 417, 487, 603, 649 ], [ 70, 153, 269, 302, 418, 488, 604, 650 ], [ 71, 154, 270, 303, 419, 489, 605, 651 ], [ 72, 155, 271, 304, 420, 490, 606, 652 ], [ 73, 156, 272, 305, 421, 491, 607, 653 ], [ 74, 157, 273, 306, 422, 492, 608, 654 ], [ 75, 158, 274, 307, 423, 493, 609, 655 ], [ 76, 159, 275, 308, 424, 494, 610, 656 ], [ 77, 160, 276, 309, 425, 495, 611, 657 ], [ 78, 161, 277, 310, 426, 496, 612, 658 ], [ 79, 162, 278, 311, 427, 497, 613, 659 ], [ 80, 163, 279, 312, 428, 498, 614, 660 ], [ 81, 164, 280, 313, 429, 499, 615, 661 ], [ 82, 165, 281, 314, 430, 500, 616, 662 ], [ 83, 166, 282, 315, 431, 501, 617, 663 ], [ 84, 167, 283, 316, 432, 502, 618, 664 ], [ 85, 168, 284, 317, 433, 503, 619, 665 ], [ 86, 169, 285, 318, 434, 504, 620, 666 ], [ 87, 170, 286, 319, 435, 505, 621, 667 ], [ 88, 171, 287, 320, 436, 506, 622, 668 ], [ 89, 172, 288, 321, 437, 507, 623, 669 ], [ 90, 173, 289, 322, 438, 508, 624, 670 ], [ 91, 116, 232, 323, 439, 509, 625, 671 ], [ 92, 117, 233, 324, 440, 510, 626, 672 ], [ 93, 118, 234, 325, 441, 511, 627, 673 ], [ 94, 119, 235, 326, 442, 512, 628, 674 ], [ 95, 120, 236, 327, 443, 513, 629, 675 ], [ 96, 121, 237, 328, 444, 514, 630, 676 ], [ 97, 122, 238, 329, 445, 515, 631, 677 ], [ 98, 123, 239, 330, 446, 516, 632, 678 ], [ 99, 124, 240, 331, 447, 517, 633, 679 ], [ 100, 125, 241, 332, 448, 518, 634, 680 ], [ 101, 126, 242, 333, 449, 519, 635, 681 ], [ 102, 127, 243, 334, 450, 520, 636, 682 ], [ 103, 128, 244, 335, 451, 521, 637, 683 ], [ 104, 129, 245, 336, 452, 464, 580, 684 ], [ 105, 130, 246, 337, 453, 465, 581, 685 ], [ 106, 131, 247, 338, 454, 466, 582, 686 ], [ 107, 132, 248, 339, 455, 467, 583, 687 ], [ 108, 133, 249, 340, 456, 468, 584, 688 ], [ 109, 134, 250, 341, 457, 469, 585, 689 ], [ 110, 135, 251, 342, 458, 470, 586, 690 ], [ 111, 136, 252, 343, 459, 471, 587, 691 ], [ 112, 137, 253, 344, 460, 472, 588, 692 ], [ 113, 138, 254, 345, 461, 473, 589, 693 ], [ 114, 139, 255, 346, 462, 474, 590, 694 ], [ 115, 140, 256, 347, 463, 475, 591, 695 ], [ 0, 116, 199, 315, 348, 464, 534, 650 ], [ 1, 117, 200, 316, 349, 465, 535, 651 ], [ 2, 118, 201, 317, 350, 466, 536, 652 ], [ 3, 119, 202, 318, 351, 467, 537, 653 ], [ 4, 120, 203, 319, 352, 468, 538, 654 ], [ 5, 121, 204, 320, 353, 469, 539, 655 ], [ 6, 122, 205, 321, 354, 470, 540, 656 ], [ 7, 123, 206, 322, 355, 471, 541, 657 ], [ 8, 124, 207, 323, 356, 472, 542, 658 ], [ 9, 125, 208, 324, 357, 473, 543, 659 ], [ 10, 126, 209, 325, 358, 474, 544, 660 ], [ 11, 127, 210, 326, 359, 475, 545, 661 ], [ 12, 128, 211, 327, 360, 476, 546, 662 ], [ 13, 129, 212, 328, 361, 477, 547, 663 ], [ 14, 130, 213, 329, 362, 478, 548, 664 ], [ 15, 131, 214, 330, 363, 479, 549, 665 ], [ 16, 132, 215, 331, 364, 480, 550, 666 ], [ 17, 133, 216, 332, 365, 481, 551, 667 ], [ 18, 134, 217, 333, 366, 482, 552, 668 ], [ 19, 135, 218, 334, 367, 483, 553, 669 ], [ 20, 136, 219, 335, 368, 484, 554, 670 ], [ 21, 137, 220, 336, 369, 485, 555, 671 ], [ 22, 138, 221, 337, 370, 486, 556, 672 ], [ 23, 139, 222, 338, 371, 487, 557, 673 ], [ 24, 140, 223, 339, 372, 488, 558, 674 ], [ 25, 141, 224, 340, 373, 489, 559, 675 ], [ 26, 142, 225, 341, 374, 490, 560, 676 ], [ 27, 143, 226, 342, 375, 491, 561, 677 ], [ 28, 144, 227, 343, 376, 492, 562, 678 ], [ 29, 145, 228, 344, 377, 493, 563, 679 ], [ 30, 146, 229, 345, 378, 494, 564, 680 ], [ 31, 147, 230, 346, 379, 495, 565, 681 ], [ 32, 148, 231, 347, 380, 496, 566, 682 ], [ 33, 149, 174, 290, 381, 497, 567, 683 ], [ 34, 150, 175, 291, 382, 498, 568, 684 ], [ 35, 151, 176, 292, 383, 499, 569, 685 ], [ 36, 152, 177, 293, 384, 500, 570, 686 ], [ 37, 153, 178, 294, 385, 501, 571, 687 ], [ 38, 154, 179, 295, 386, 502, 572, 688 ], [ 39, 155, 180, 296, 387, 503, 573, 689 ], [ 40, 156, 181, 297, 388, 504, 574, 690 ], [ 41, 157, 182, 298, 389, 505, 575, 691 ], [ 42, 158, 183, 299, 390, 506, 576, 692 ], [ 43, 159, 184, 300, 391, 507, 577, 693 ], [ 44, 160, 185, 301, 392, 508, 578, 694 ], [ 45, 161, 186, 302, 393, 509, 579, 695 ], [ 46, 162, 187, 303, 394, 510, 522, 638 ], [ 47, 163, 188, 304, 395, 511, 523, 639 ], [ 48, 164, 189, 305, 396, 512, 524, 640 ], [ 49, 165, 190, 306, 397, 513, 525, 641 ], [ 50, 166, 191, 307, 398, 514, 526, 642 ], [ 51, 167, 192, 308, 399, 515, 527, 643 ], [ 52, 168, 193, 309, 400, 516, 528, 644 ], [ 53, 169, 194, 310, 401, 517, 529, 645 ], [ 54, 170, 195, 311, 402, 518, 530, 646 ], [ 55, 171, 196, 312, 403, 519, 531, 647 ], [ 56, 172, 197, 313, 404, 520, 532, 648 ], [ 57, 173, 198, 314, 405, 521, 533, 649 ], [ 25, 58, 174, 257, 360, 406, 522, 592 ], [ 26, 59, 175, 258, 361, 407, 523, 593 ], [ 27, 60, 176, 259, 362, 408, 524, 594 ], [ 28, 61, 177, 260, 363, 409, 525, 595 ], [ 29, 62, 178, 261, 364, 410, 526, 596 ], [ 30, 63, 179, 262, 365, 411, 527, 597 ], [ 31, 64, 180, 263, 366, 412, 528, 598 ], [ 32, 65, 181, 264, 367, 413, 529, 599 ], [ 33, 66, 182, 265, 368, 414, 530, 600 ], [ 34, 67, 183, 266, 369, 415, 531, 601 ], [ 35, 68, 184, 267, 370, 416, 532, 602 ], [ 36, 69, 185, 268, 371, 417, 533, 603 ], [ 37, 70, 186, 269, 372, 418, 534, 604 ], [ 38, 71, 187, 270, 373, 419, 535, 605 ], [ 39, 72, 188, 271, 374, 420, 536, 606 ], [ 40, 73, 189, 272, 375, 421, 537, 607 ], [ 41, 74, 190, 273, 376, 422, 538, 608 ], [ 42, 75, 191, 274, 377, 423, 539, 609 ], [ 43, 76, 192, 275, 378, 424, 540, 610 ], [ 44, 77, 193, 276, 379, 425, 541, 611 ], [ 45, 78, 194, 277, 380, 426, 542, 612 ], [ 46, 79, 195, 278, 381, 427, 543, 613 ], [ 47, 80, 196, 279, 382, 428, 544, 614 ], [ 48, 81, 197, 280, 383, 429, 545, 615 ], [ 49, 82, 198, 281, 384, 430, 546, 616 ], [ 50, 83, 199, 282, 385, 431, 547, 617 ], [ 51, 84, 200, 283, 386, 432, 548, 618 ], [ 52, 85, 201, 284, 387, 433, 549, 619 ], [ 53, 86, 202, 285, 388, 434, 550, 620 ], [ 54, 87, 203, 286, 389, 435, 551, 621 ], [ 55, 88, 204, 287, 390, 436, 552, 622 ], [ 56, 89, 205, 288, 391, 437, 553, 623 ], [ 57, 90, 206, 289, 392, 438, 554, 624 ], [ 0, 91, 207, 232, 393, 439, 555, 625 ], [ 1, 92, 208, 233, 394, 440, 556, 626 ], [ 2, 93, 209, 234, 395, 441, 557, 627 ], [ 3, 94, 210, 235, 396, 442, 558, 628 ], [ 4, 95, 211, 236, 397, 443, 559, 629 ], [ 5, 96, 212, 237, 398, 444, 560, 630 ], [ 6, 97, 213, 238, 399, 445, 561, 631 ], [ 7, 98, 214, 239, 400, 446, 562, 632 ], [ 8, 99, 215, 240, 401, 447, 563, 633 ], [ 9, 100, 216, 241, 402, 448, 564, 634 ], [ 10, 101, 217, 242, 403, 449, 565, 635 ], [ 11, 102, 218, 243, 404, 450, 566, 636 ], [ 12, 103, 219, 244, 405, 451, 567, 637 ], [ 13, 104, 220, 245, 348, 452, 568, 580 ], [ 14, 105, 221, 246, 349, 453, 569, 581 ], [ 15, 106, 222, 247, 350, 454, 570, 582 ], [ 16, 107, 223, 248, 351, 455, 571, 583 ], [ 17, 108, 224, 249, 352, 456, 572, 584 ], [ 18, 109, 225, 250, 353, 457, 573, 585 ], [ 19, 110, 226, 251, 354, 458, 574, 586 ], [ 20, 111, 227, 252, 355, 459, 575, 587 ], [ 21, 112, 228, 253, 356, 460, 576, 588 ], [ 22, 113, 229, 254, 357, 461, 577, 589 ], [ 23, 114, 230, 255, 358, 462, 578, 590 ], [ 24, 115, 231, 256, 359, 463, 579, 591 ], [ 83, 116, 232, 315, 418, 464, 580, 650 ], [ 84, 117, 233, 316, 419, 465, 581, 651 ], [ 85, 118, 234, 317, 420, 466, 582, 652 ], [ 86, 119, 235, 318, 421, 467, 583, 653 ], [ 87, 120, 236, 319, 422, 468, 584, 654 ], [ 88, 121, 237, 320, 423, 469, 585, 655 ], [ 89, 122, 238, 321, 424, 470, 586, 656 ], [ 90, 123, 239, 322, 425, 471, 587, 657 ], [ 91, 124, 240, 323, 426, 472, 588, 658 ], [ 92, 125, 241, 324, 427, 473, 589, 659 ], [ 93, 126, 242, 325, 428, 474, 590, 660 ], [ 94, 127, 243, 326, 429, 475, 591, 661 ], [ 95, 128, 244, 327, 430, 476, 592, 662 ], [ 96, 129, 245, 328, 431, 477, 593, 663 ], [ 97, 130, 246, 329, 432, 478, 594, 664 ], [ 98, 131, 247, 330, 433, 479, 595, 665 ], [ 99, 132, 248, 331, 434, 480, 596, 666 ], [ 100, 133, 249, 332, 435, 481, 597, 667 ], [ 101, 134, 250, 333, 436, 482, 598, 668 ], [ 102, 135, 251, 334, 437, 483, 599, 669 ], [ 103, 136, 252, 335, 438, 484, 600, 670 ], [ 104, 137, 253, 336, 439, 485, 601, 671 ], [ 105, 138, 254, 337, 440, 486, 602, 672 ], [ 106, 139, 255, 338, 441, 487, 603, 673 ], [ 107, 140, 256, 339, 442, 488, 604, 674 ], [ 108, 141, 257, 340, 443, 489, 605, 675 ], [ 109, 142, 258, 341, 444, 490, 606, 676 ], [ 110, 143, 259, 342, 445, 491, 607, 677 ], [ 111, 144, 260, 343, 446, 492, 608, 678 ], [ 112, 145, 261, 344, 447, 493, 609, 679 ], [ 113, 146, 262, 345, 448, 494, 610, 680 ], [ 114, 147, 263, 346, 449, 495, 611, 681 ], [ 115, 148, 264, 347, 450, 496, 612, 682 ], [ 58, 149, 265, 290, 451, 497, 613, 683 ], [ 59, 150, 266, 291, 452, 498, 614, 684 ], [ 60, 151, 267, 292, 453, 499, 615, 685 ], [ 61, 152, 268, 293, 454, 500, 616, 686 ], [ 62, 153, 269, 294, 455, 501, 617, 687 ], [ 63, 154, 270, 295, 456, 502, 618, 688 ], [ 64, 155, 271, 296, 457, 503, 619, 689 ], [ 65, 156, 272, 297, 458, 504, 620, 690 ], [ 66, 157, 273, 298, 459, 505, 621, 691 ], [ 67, 158, 274, 299, 460, 506, 622, 692 ], [ 68, 159, 275, 300, 461, 507, 623, 693 ], [ 69, 160, 276, 301, 462, 508, 624, 694 ], [ 70, 161, 277, 302, 463, 509, 625, 695 ], [ 71, 162, 278, 303, 406, 510, 626, 638 ], [ 72, 163, 279, 304, 407, 511, 627, 639 ], [ 73, 164, 280, 305, 408, 512, 628, 640 ], [ 74, 165, 281, 306, 409, 513, 629, 641 ], [ 75, 166, 282, 307, 410, 514, 630, 642 ], [ 76, 167, 283, 308, 411, 515, 631, 643 ], [ 77, 168, 284, 309, 412, 516, 632, 644 ], [ 78, 169, 285, 310, 413, 517, 633, 645 ], [ 79, 170, 286, 311, 414, 518, 634, 646 ], [ 80, 171, 287, 312, 415, 519, 635, 647 ], [ 81, 172, 288, 313, 416, 520, 636, 648 ], [ 82, 173, 289, 314, 417, 521, 637, 649 ], [ 25, 141, 174, 290, 360, 476, 522, 638 ], [ 26, 142, 175, 291, 361, 477, 523, 639 ], [ 27, 143, 176, 292, 362, 478, 524, 640 ], [ 28, 144, 177, 293, 363, 479, 525, 641 ], [ 29, 145, 178, 294, 364, 480, 526, 642 ], [ 30, 146, 179, 295, 365, 481, 527, 643 ], [ 31, 147, 180, 296, 366, 482, 528, 644 ], [ 32, 148, 181, 297, 367, 483, 529, 645 ], [ 33, 149, 182, 298, 368, 484, 530, 646 ], [ 34, 150, 183, 299, 369, 485, 531, 647 ], [ 35, 151, 184, 300, 370, 486, 532, 648 ], [ 36, 152, 185, 301, 371, 487, 533, 649 ], [ 37, 153, 186, 302, 372, 488, 534, 650 ], [ 38, 154, 187, 303, 373, 489, 535, 651 ], [ 39, 155, 188, 304, 374, 490, 536, 652 ], [ 40, 156, 189, 305, 375, 491, 537, 653 ], [ 41, 157, 190, 306, 376, 492, 538, 654 ], [ 42, 158, 191, 307, 377, 493, 539, 655 ], [ 43, 159, 192, 308, 378, 494, 540, 656 ], [ 44, 160, 193, 309, 379, 495, 541, 657 ], [ 45, 161, 194, 310, 380, 496, 542, 658 ], [ 46, 162, 195, 311, 381, 497, 543, 659 ], [ 47, 163, 196, 312, 382, 498, 544, 660 ], [ 48, 164, 197, 313, 383, 499, 545, 661 ], [ 49, 165, 198, 314, 384, 500, 546, 662 ], [ 50, 166, 199, 315, 385, 501, 547, 663 ], [ 51, 167, 200, 316, 386, 502, 548, 664 ], [ 52, 168, 201, 317, 387, 503, 549, 665 ], [ 53, 169, 202, 318, 388, 504, 550, 666 ], [ 54, 170, 203, 319, 389, 505, 551, 667 ], [ 55, 171, 204, 320, 390, 506, 552, 668 ], [ 56, 172, 205, 321, 391, 507, 553, 669 ], [ 57, 173, 206, 322, 392, 508, 554, 670 ], [ 0, 116, 207, 323, 393, 509, 555, 671 ], [ 1, 117, 208, 324, 394, 510, 556, 672 ], [ 2, 118, 209, 325, 395, 511, 557, 673 ], [ 3, 119, 210, 326, 396, 512, 558, 674 ], [ 4, 120, 211, 327, 397, 513, 559, 675 ], [ 5, 121, 212, 328, 398, 514, 560, 676 ], [ 6, 122, 213, 329, 399, 515, 561, 677 ], [ 7, 123, 214, 330, 400, 516, 562, 678 ], [ 8, 124, 215, 331, 401, 517, 563, 679 ], [ 9, 125, 216, 332, 402, 518, 564, 680 ], [ 10, 126, 217, 333, 403, 519, 565, 681 ], [ 11, 127, 218, 334, 404, 520, 566, 682 ], [ 12, 128, 219, 335, 405, 521, 567, 683 ], [ 13, 129, 220, 336, 348, 464, 568, 684 ], [ 14, 130, 221, 337, 349, 465, 569, 685 ], [ 15, 131, 222, 338, 350, 466, 570, 686 ], [ 16, 132, 223, 339, 351, 467, 571, 687 ], [ 17, 133, 224, 340, 352, 468, 572, 688 ], [ 18, 134, 225, 341, 353, 469, 573, 689 ], [ 19, 135, 226, 342, 354, 470, 574, 690 ], [ 20, 136, 227, 343, 355, 471, 575, 691 ], [ 21, 137, 228, 344, 356, 472, 576, 692 ], [ 22, 138, 229, 345, 357, 473, 577, 693 ], [ 23, 139, 230, 346, 358, 474, 578, 694 ], [ 24, 140, 231, 347, 359, 475, 579, 695 ] ], "Z": [ [ 0, 116, 220, 336, 348, 464, 555, 671 ], [ 1, 117, 221, 337, 349, 465, 556, 672 ], [ 2, 118, 222, 338, 350, 466, 557, 673 ], [ 3, 119, 223, 339, 351, 467, 558, 674 ], [ 4, 120, 224, 340, 352, 468, 559, 675 ], [ 5, 121, 225, 341, 353, 469, 560, 676 ], [ 6, 122, 226, 342, 354, 470, 561, 677 ], [ 7, 123, 227, 343, 355, 471, 562, 678 ], [ 8, 124, 228, 344, 356, 472, 563, 679 ], [ 9, 125, 229, 345, 357, 473, 564, 680 ], [ 10, 126, 230, 346, 358, 474, 565, 681 ], [ 11, 127, 231, 347, 359, 475, 566, 682 ], [ 12, 128, 174, 290, 360, 476, 567, 683 ], [ 13, 129, 175, 291, 361, 477, 568, 684 ], [ 14, 130, 176, 292, 362, 478, 569, 685 ], [ 15, 131, 177, 293, 363, 479, 570, 686 ], [ 16, 132, 178, 294, 364, 480, 571, 687 ], [ 17, 133, 179, 295, 365, 481, 572, 688 ], [ 18, 134, 180, 296, 366, 482, 573, 689 ], [ 19, 135, 181, 297, 367, 483, 574, 690 ], [ 20, 136, 182, 298, 368, 484, 575, 691 ], [ 21, 137, 183, 299, 369, 485, 576, 692 ], [ 22, 138, 184, 300, 370, 486, 577, 693 ], [ 23, 139, 185, 301, 371, 487, 578, 694 ], [ 24, 140, 186, 302, 372, 488, 579, 695 ], [ 25, 141, 187, 303, 373, 489, 522, 638 ], [ 26, 142, 188, 304, 374, 490, 523, 639 ], [ 27, 143, 189, 305, 375, 491, 524, 640 ], [ 28, 144, 190, 306, 376, 492, 525, 641 ], [ 29, 145, 191, 307, 377, 493, 526, 642 ], [ 30, 146, 192, 308, 378, 494, 527, 643 ], [ 31, 147, 193, 309, 379, 495, 528, 644 ], [ 32, 148, 194, 310, 380, 496, 529, 645 ], [ 33, 149, 195, 311, 381, 497, 530, 646 ], [ 34, 150, 196, 312, 382, 498, 531, 647 ], [ 35, 151, 197, 313, 383, 499, 532, 648 ], [ 36, 152, 198, 314, 384, 500, 533, 649 ], [ 37, 153, 199, 315, 385, 501, 534, 650 ], [ 38, 154, 200, 316, 386, 502, 535, 651 ], [ 39, 155, 201, 317, 387, 503, 536, 652 ], [ 40, 156, 202, 318, 388, 504, 537, 653 ], [ 41, 157, 203, 319, 389, 505, 538, 654 ], [ 42, 158, 204, 320, 390, 506, 539, 655 ], [ 43, 159, 205, 321, 391, 507, 540, 656 ], [ 44, 160, 206, 322, 392, 508, 541, 657 ], [ 45, 161, 207, 323, 393, 509, 542, 658 ], [ 46, 162, 208, 324, 394, 510, 543, 659 ], [ 47, 163, 209, 325, 395, 511, 544, 660 ], [ 48, 164, 210, 326, 396, 512, 545, 661 ], [ 49, 165, 211, 327, 397, 513, 546, 662 ], [ 50, 166, 212, 328, 398, 514, 547, 663 ], [ 51, 167, 213, 329, 399, 515, 548, 664 ], [ 52, 168, 214, 330, 400, 516, 549, 665 ], [ 53, 169, 215, 331, 401, 517, 550, 666 ], [ 54, 170, 216, 332, 402, 518, 551, 667 ], [ 55, 171, 217, 333, 403, 519, 552, 668 ], [ 56, 172, 218, 334, 404, 520, 553, 669 ], [ 57, 173, 219, 335, 405, 521, 554, 670 ], [ 46, 58, 174, 278, 381, 406, 522, 613 ], [ 47, 59, 175, 279, 382, 407, 523, 614 ], [ 48, 60, 176, 280, 383, 408, 524, 615 ], [ 49, 61, 177, 281, 384, 409, 525, 616 ], [ 50, 62, 178, 282, 385, 410, 526, 617 ], [ 51, 63, 179, 283, 386, 411, 527, 618 ], [ 52, 64, 180, 284, 387, 412, 528, 619 ], [ 53, 65, 181, 285, 388, 413, 529, 620 ], [ 54, 66, 182, 286, 389, 414, 530, 621 ], [ 55, 67, 183, 287, 390, 415, 531, 622 ], [ 56, 68, 184, 288, 391, 416, 532, 623 ], [ 57, 69, 185, 289, 392, 417, 533, 624 ], [ 0, 70, 186, 232, 393, 418, 534, 625 ], [ 1, 71, 187, 233, 394, 419, 535, 626 ], [ 2, 72, 188, 234, 395, 420, 536, 627 ], [ 3, 73, 189, 235, 396, 421, 537, 628 ], [ 4, 74, 190, 236, 397, 422, 538, 629 ], [ 5, 75, 191, 237, 398, 423, 539, 630 ], [ 6, 76, 192, 238, 399, 424, 540, 631 ], [ 7, 77, 193, 239, 400, 425, 541, 632 ], [ 8, 78, 194, 240, 401, 426, 542, 633 ], [ 9, 79, 195, 241, 402, 427, 543, 634 ], [ 10, 80, 196, 242, 403, 428, 544, 635 ], [ 11, 81, 197, 243, 404, 429, 545, 636 ], [ 12, 82, 198, 244, 405, 430, 546, 637 ], [ 13, 83, 199, 245, 348, 431, 547, 580 ], [ 14, 84, 200, 246, 349, 432, 548, 581 ], [ 15, 85, 201, 247, 350, 433, 549, 582 ], [ 16, 86, 202, 248, 351, 434, 550, 583 ], [ 17, 87, 203, 249, 352, 435, 551, 584 ], [ 18, 88, 204, 250, 353, 436, 552, 585 ], [ 19, 89, 205, 251, 354, 437, 553, 586 ], [ 20, 90, 206, 252, 355, 438, 554, 587 ], [ 21, 91, 207, 253, 356, 439, 555, 588 ], [ 22, 92, 208, 254, 357, 440, 556, 589 ], [ 23, 93, 209, 255, 358, 441, 557, 590 ], [ 24, 94, 210, 256, 359, 442, 558, 591 ], [ 25, 95, 211, 257, 360, 443, 559, 592 ], [ 26, 96, 212, 258, 361, 444, 560, 593 ], [ 27, 97, 213, 259, 362, 445, 561, 594 ], [ 28, 98, 214, 260, 363, 446, 562, 595 ], [ 29, 99, 215, 261, 364, 447, 563, 596 ], [ 30, 100, 216, 262, 365, 448, 564, 597 ], [ 31, 101, 217, 263, 366, 449, 565, 598 ], [ 32, 102, 218, 264, 367, 450, 566, 599 ], [ 33, 103, 219, 265, 368, 451, 567, 600 ], [ 34, 104, 220, 266, 369, 452, 568, 601 ], [ 35, 105, 221, 267, 370, 453, 569, 602 ], [ 36, 106, 222, 268, 371, 454, 570, 603 ], [ 37, 107, 223, 269, 372, 455, 571, 604 ], [ 38, 108, 224, 270, 373, 456, 572, 605 ], [ 39, 109, 225, 271, 374, 457, 573, 606 ], [ 40, 110, 226, 272, 375, 458, 574, 607 ], [ 41, 111, 227, 273, 376, 459, 575, 608 ], [ 42, 112, 228, 274, 377, 460, 576, 609 ], [ 43, 113, 229, 275, 378, 461, 577, 610 ], [ 44, 114, 230, 276, 379, 462, 578, 611 ], [ 45, 115, 231, 277, 380, 463, 579, 612 ], [ 104, 116, 232, 336, 439, 464, 580, 671 ], [ 105, 117, 233, 337, 440, 465, 581, 672 ], [ 106, 118, 234, 338, 441, 466, 582, 673 ], [ 107, 119, 235, 339, 442, 467, 583, 674 ], [ 108, 120, 236, 340, 443, 468, 584, 675 ], [ 109, 121, 237, 341, 444, 469, 585, 676 ], [ 110, 122, 238, 342, 445, 470, 586, 677 ], [ 111, 123, 239, 343, 446, 471, 587, 678 ], [ 112, 124, 240, 344, 447, 472, 588, 679 ], [ 113, 125, 241, 345, 448, 473, 589, 680 ], [ 114, 126, 242, 346, 449, 474, 590, 681 ], [ 115, 127, 243, 347, 450, 475, 591, 682 ], [ 58, 128, 244, 290, 451, 476, 592, 683 ], [ 59, 129, 245, 291, 452, 477, 593, 684 ], [ 60, 130, 246, 292, 453, 478, 594, 685 ], [ 61, 131, 247, 293, 454, 479, 595, 686 ], [ 62, 132, 248, 294, 455, 480, 596, 687 ], [ 63, 133, 249, 295, 456, 481, 597, 688 ], [ 64, 134, 250, 296, 457, 482, 598, 689 ], [ 65, 135, 251, 297, 458, 483, 599, 690 ], [ 66, 136, 252, 298, 459, 484, 600, 691 ], [ 67, 137, 253, 299, 460, 485, 601, 692 ], [ 68, 138, 254, 300, 461, 486, 602, 693 ], [ 69, 139, 255, 301, 462, 487, 603, 694 ], [ 70, 140, 256, 302, 463, 488, 604, 695 ], [ 71, 141, 257, 303, 406, 489, 605, 638 ], [ 72, 142, 258, 304, 407, 490, 606, 639 ], [ 73, 143, 259, 305, 408, 491, 607, 640 ], [ 74, 144, 260, 306, 409, 492, 608, 641 ], [ 75, 145, 261, 307, 410, 493, 609, 642 ], [ 76, 146, 262, 308, 411, 494, 610, 643 ], [ 77, 147, 263, 309, 412, 495, 611, 644 ], [ 78, 148, 264, 310, 413, 496, 612, 645 ], [ 79, 149, 265, 311, 414, 497, 613, 646 ], [ 80, 150, 266, 312, 415, 498, 614, 647 ], [ 81, 151, 267, 313, 416, 499, 615, 648 ], [ 82, 152, 268, 314, 417, 500, 616, 649 ], [ 83, 153, 269, 315, 418, 501, 617, 650 ], [ 84, 154, 270, 316, 419, 502, 618, 651 ], [ 85, 155, 271, 317, 420, 503, 619, 652 ], [ 86, 156, 272, 318, 421, 504, 620, 653 ], [ 87, 157, 273, 319, 422, 505, 621, 654 ], [ 88, 158, 274, 320, 423, 506, 622, 655 ], [ 89, 159, 275, 321, 424, 507, 623, 656 ], [ 90, 160, 276, 322, 425, 508, 624, 657 ], [ 91, 161, 277, 323, 426, 509, 625, 658 ], [ 92, 162, 278, 324, 427, 510, 626, 659 ], [ 93, 163, 279, 325, 428, 511, 627, 660 ], [ 94, 164, 280, 326, 429, 512, 628, 661 ], [ 95, 165, 281, 327, 430, 513, 629, 662 ], [ 96, 166, 282, 328, 431, 514, 630, 663 ], [ 97, 167, 283, 329, 432, 515, 631, 664 ], [ 98, 168, 284, 330, 433, 516, 632, 665 ], [ 99, 169, 285, 331, 434, 517, 633, 666 ], [ 100, 170, 286, 332, 435, 518, 634, 667 ], [ 101, 171, 287, 333, 436, 519, 635, 668 ], [ 102, 172, 288, 334, 437, 520, 636, 669 ], [ 103, 173, 289, 335, 438, 521, 637, 670 ], [ 46, 162, 174, 290, 381, 497, 522, 638 ], [ 47, 163, 175, 291, 382, 498, 523, 639 ], [ 48, 164, 176, 292, 383, 499, 524, 640 ], [ 49, 165, 177, 293, 384, 500, 525, 641 ], [ 50, 166, 178, 294, 385, 501, 526, 642 ], [ 51, 167, 179, 295, 386, 502, 527, 643 ], [ 52, 168, 180, 296, 387, 503, 528, 644 ], [ 53, 169, 181, 297, 388, 504, 529, 645 ], [ 54, 170, 182, 298, 389, 505, 530, 646 ], [ 55, 171, 183, 299, 390, 506, 531, 647 ], [ 56, 172, 184, 300, 391, 507, 532, 648 ], [ 57, 173, 185, 301, 392, 508, 533, 649 ], [ 0, 116, 186, 302, 393, 509, 534, 650 ], [ 1, 117, 187, 303, 394, 510, 535, 651 ], [ 2, 118, 188, 304, 395, 511, 536, 652 ], [ 3, 119, 189, 305, 396, 512, 537, 653 ], [ 4, 120, 190, 306, 397, 513, 538, 654 ], [ 5, 121, 191, 307, 398, 514, 539, 655 ], [ 6, 122, 192, 308, 399, 515, 540, 656 ], [ 7, 123, 193, 309, 400, 516, 541, 657 ], [ 8, 124, 194, 310, 401, 517, 542, 658 ], [ 9, 125, 195, 311, 402, 518, 543, 659 ], [ 10, 126, 196, 312, 403, 519, 544, 660 ], [ 11, 127, 197, 313, 404, 520, 545, 661 ], [ 12, 128, 198, 314, 405, 521, 546, 662 ], [ 13, 129, 199, 315, 348, 464, 547, 663 ], [ 14, 130, 200, 316, 349, 465, 548, 664 ], [ 15, 131, 201, 317, 350, 466, 549, 665 ], [ 16, 132, 202, 318, 351, 467, 550, 666 ], [ 17, 133, 203, 319, 352, 468, 551, 667 ], [ 18, 134, 204, 320, 353, 469, 552, 668 ], [ 19, 135, 205, 321, 354, 470, 553, 669 ], [ 20, 136, 206, 322, 355, 471, 554, 670 ], [ 21, 137, 207, 323, 356, 472, 555, 671 ], [ 22, 138, 208, 324, 357, 473, 556, 672 ], [ 23, 139, 209, 325, 358, 474, 557, 673 ], [ 24, 140, 210, 326, 359, 475, 558, 674 ], [ 25, 141, 211, 327, 360, 476, 559, 675 ], [ 26, 142, 212, 328, 361, 477, 560, 676 ], [ 27, 143, 213, 329, 362, 478, 561, 677 ], [ 28, 144, 214, 330, 363, 479, 562, 678 ], [ 29, 145, 215, 331, 364, 480, 563, 679 ], [ 30, 146, 216, 332, 365, 481, 564, 680 ], [ 31, 147, 217, 333, 366, 482, 565, 681 ], [ 32, 148, 218, 334, 367, 483, 566, 682 ], [ 33, 149, 219, 335, 368, 484, 567, 683 ], [ 34, 150, 220, 336, 369, 485, 568, 684 ], [ 35, 151, 221, 337, 370, 486, 569, 685 ], [ 36, 152, 222, 338, 371, 487, 570, 686 ], [ 37, 153, 223, 339, 372, 488, 571, 687 ], [ 38, 154, 224, 340, 373, 489, 572, 688 ], [ 39, 155, 225, 341, 374, 490, 573, 689 ], [ 40, 156, 226, 342, 375, 491, 574, 690 ], [ 41, 157, 227, 343, 376, 492, 575, 691 ], [ 42, 158, 228, 344, 377, 493, 576, 692 ], [ 43, 159, 229, 345, 378, 494, 577, 693 ], [ 44, 160, 230, 346, 379, 495, 578, 694 ], [ 45, 161, 231, 347, 380, 496, 579, 695 ], [ 0, 104, 220, 232, 348, 439, 555, 580 ], [ 1, 105, 221, 233, 349, 440, 556, 581 ], [ 2, 106, 222, 234, 350, 441, 557, 582 ], [ 3, 107, 223, 235, 351, 442, 558, 583 ], [ 4, 108, 224, 236, 352, 443, 559, 584 ], [ 5, 109, 225, 237, 353, 444, 560, 585 ], [ 6, 110, 226, 238, 354, 445, 561, 586 ], [ 7, 111, 227, 239, 355, 446, 562, 587 ], [ 8, 112, 228, 240, 356, 447, 563, 588 ], [ 9, 113, 229, 241, 357, 448, 564, 589 ], [ 10, 114, 230, 242, 358, 449, 565, 590 ], [ 11, 115, 231, 243, 359, 450, 566, 591 ], [ 12, 58, 174, 244, 360, 451, 567, 592 ], [ 13, 59, 175, 245, 361, 452, 568, 593 ], [ 14, 60, 176, 246, 362, 453, 569, 594 ], [ 15, 61, 177, 247, 363, 454, 570, 595 ], [ 16, 62, 178, 248, 364, 455, 571, 596 ], [ 17, 63, 179, 249, 365, 456, 572, 597 ], [ 18, 64, 180, 250, 366, 457, 573, 598 ], [ 19, 65, 181, 251, 367, 458, 574, 599 ], [ 20, 66, 182, 252, 368, 459, 575, 600 ], [ 21, 67, 183, 253, 369, 460, 576, 601 ], [ 22, 68, 184, 254, 370, 461, 577, 602 ], [ 23, 69, 185, 255, 371, 462, 578, 603 ], [ 24, 70, 186, 256, 372, 463, 579, 604 ], [ 25, 71, 187, 257, 373, 406, 522, 605 ], [ 26, 72, 188, 258, 374, 407, 523, 606 ], [ 27, 73, 189, 259, 375, 408, 524, 607 ], [ 28, 74, 190, 260, 376, 409, 525, 608 ], [ 29, 75, 191, 261, 377, 410, 526, 609 ], [ 30, 76, 192, 262, 378, 411, 527, 610 ], [ 31, 77, 193, 263, 379, 412, 528, 611 ], [ 32, 78, 194, 264, 380, 413, 529, 612 ], [ 33, 79, 195, 265, 381, 414, 530, 613 ], [ 34, 80, 196, 266, 382, 415, 531, 614 ], [ 35, 81, 197, 267, 383, 416, 532, 615 ], [ 36, 82, 198, 268, 384, 417, 533, 616 ], [ 37, 83, 199, 269, 385, 418, 534, 617 ], [ 38, 84, 200, 270, 386, 419, 535, 618 ], [ 39, 85, 201, 271, 387, 420, 536, 619 ], [ 40, 86, 202, 272, 388, 421, 537, 620 ], [ 41, 87, 203, 273, 389, 422, 538, 621 ], [ 42, 88, 204, 274, 390, 423, 539, 622 ], [ 43, 89, 205, 275, 391, 424, 540, 623 ], [ 44, 90, 206, 276, 392, 425, 541, 624 ], [ 45, 91, 207, 277, 393, 426, 542, 625 ], [ 46, 92, 208, 278, 394, 427, 543, 626 ], [ 47, 93, 209, 279, 395, 428, 544, 627 ], [ 48, 94, 210, 280, 396, 429, 545, 628 ], [ 49, 95, 211, 281, 397, 430, 546, 629 ], [ 50, 96, 212, 282, 398, 431, 547, 630 ], [ 51, 97, 213, 283, 399, 432, 548, 631 ], [ 52, 98, 214, 284, 400, 433, 549, 632 ], [ 53, 99, 215, 285, 401, 434, 550, 633 ], [ 54, 100, 216, 286, 402, 435, 551, 634 ], [ 55, 101, 217, 287, 403, 436, 552, 635 ], [ 56, 102, 218, 288, 404, 437, 553, 636 ], [ 57, 103, 219, 289, 405, 438, 554, 637 ], [ 58, 162, 278, 290, 406, 497, 613, 638 ], [ 59, 163, 279, 291, 407, 498, 614, 639 ], [ 60, 164, 280, 292, 408, 499, 615, 640 ], [ 61, 165, 281, 293, 409, 500, 616, 641 ], [ 62, 166, 282, 294, 410, 501, 617, 642 ], [ 63, 167, 283, 295, 411, 502, 618, 643 ], [ 64, 168, 284, 296, 412, 503, 619, 644 ], [ 65, 169, 285, 297, 413, 504, 620, 645 ], [ 66, 170, 286, 298, 414, 505, 621, 646 ], [ 67, 171, 287, 299, 415, 506, 622, 647 ], [ 68, 172, 288, 300, 416, 507, 623, 648 ], [ 69, 173, 289, 301, 417, 508, 624, 649 ], [ 70, 116, 232, 302, 418, 509, 625, 650 ], [ 71, 117, 233, 303, 419, 510, 626, 651 ], [ 72, 118, 234, 304, 420, 511, 627, 652 ], [ 73, 119, 235, 305, 421, 512, 628, 653 ], [ 74, 120, 236, 306, 422, 513, 629, 654 ], [ 75, 121, 237, 307, 423, 514, 630, 655 ], [ 76, 122, 238, 308, 424, 515, 631, 656 ], [ 77, 123, 239, 309, 425, 516, 632, 657 ], [ 78, 124, 240, 310, 426, 517, 633, 658 ], [ 79, 125, 241, 311, 427, 518, 634, 659 ], [ 80, 126, 242, 312, 428, 519, 635, 660 ], [ 81, 127, 243, 313, 429, 520, 636, 661 ], [ 82, 128, 244, 314, 430, 521, 637, 662 ], [ 83, 129, 245, 315, 431, 464, 580, 663 ], [ 84, 130, 246, 316, 432, 465, 581, 664 ], [ 85, 131, 247, 317, 433, 466, 582, 665 ], [ 86, 132, 248, 318, 434, 467, 583, 666 ], [ 87, 133, 249, 319, 435, 468, 584, 667 ], [ 88, 134, 250, 320, 436, 469, 585, 668 ], [ 89, 135, 251, 321, 437, 470, 586, 669 ], [ 90, 136, 252, 322, 438, 471, 587, 670 ], [ 91, 137, 253, 323, 439, 472, 588, 671 ], [ 92, 138, 254, 324, 440, 473, 589, 672 ], [ 93, 139, 255, 325, 441, 474, 590, 673 ], [ 94, 140, 256, 326, 442, 475, 591, 674 ], [ 95, 141, 257, 327, 443, 476, 592, 675 ], [ 96, 142, 258, 328, 444, 477, 593, 676 ], [ 97, 143, 259, 329, 445, 478, 594, 677 ], [ 98, 144, 260, 330, 446, 479, 595, 678 ], [ 99, 145, 261, 331, 447, 480, 596, 679 ], [ 100, 146, 262, 332, 448, 481, 597, 680 ], [ 101, 147, 263, 333, 449, 482, 598, 681 ], [ 102, 148, 264, 334, 450, 483, 599, 682 ], [ 103, 149, 265, 335, 451, 484, 600, 683 ], [ 104, 150, 266, 336, 452, 485, 601, 684 ], [ 105, 151, 267, 337, 453, 486, 602, 685 ], [ 106, 152, 268, 338, 454, 487, 603, 686 ], [ 107, 153, 269, 339, 455, 488, 604, 687 ], [ 108, 154, 270, 340, 456, 489, 605, 688 ], [ 109, 155, 271, 341, 457, 490, 606, 689 ], [ 110, 156, 272, 342, 458, 491, 607, 690 ], [ 111, 157, 273, 343, 459, 492, 608, 691 ], [ 112, 158, 274, 344, 460, 493, 609, 692 ], [ 113, 159, 275, 345, 461, 494, 610, 693 ], [ 114, 160, 276, 346, 462, 495, 611, 694 ], [ 115, 161, 277, 347, 463, 496, 612, 695 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "exact", "witness": [ 409, 525, 641 ] }, "Z": { "value": 3, "confidence": "exact", "witness": [ 407, 523, 639 ] } }, "family": "bivariate-bicycle", "provenance": { "authors": [ "@cbjuan" ], "construction": "Periodic bivariate-bicycle code on the group algebra Z_6 x Z_58 (n = 2*l*m = 696). Convention: x = S_6 tensor I_58, y = I_6 tensor S_58 (cyclic shifts), qubit index = i*m + j; A = 1 + x^1y^25 + x^3y^25 + x^4y^0, B = 1 + x^1y^12 + x^3y^12 + x^4y^0; H_X = [A|B], H_Z = [B^T|A^T]. Found by an automated evolutionary/mutation search over (l, m, A, B) exponent sets targeting the unrestricted x weight-6 (or weight-8) board cells, screened by a randomized lightest-logical surrogate and promoted through increasing trial budgets.", "origin": "submission", "date": "2026-09-16", "notes": "Internal autoresearch candidate id 40000 (canonical key c4193bf60d8755ba0669aff3), search lane 'factor-order-continuation', proposal kernel 'explicit-transfer'. Initial NumPy lightest-logical surrogate: trials=8000, seed=1347971176. Confirmed with an accelerated bit-packed random-information-set search at rung '1m' (1000000 trials, seed=1347971193, pair_depth=16), tightest witness on side X at weight 3. Distance also taken through an internal exact-certification pipeline (MILP, one solve per logical-basis row per side, the same method as this repository's own verify/certify.py). Result: side_status X=exact, Z=exact (solver wall time 82565.7s, CPU time 81915.1s, summed over all per-row MILP solves on both sides). Per CONTRIBUTING.md's confidence-tier policy, this 'exact' claim is self-declared and will display as an upper bound on the board until a maintainer independently re-runs verify/certify.py and confirms it." } }