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