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