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