{ "schema_version": "0.2", "name": "[[558,10,d<=32]] weight-6 cyclic GB over Z_279 code", "code_type": "CSS", "n": 558, "k": 10, "checks": { "X": [ [ 0, 77, 177, 279, 296, 359 ], [ 1, 78, 178, 280, 297, 360 ], [ 2, 79, 179, 281, 298, 361 ], [ 3, 80, 180, 282, 299, 362 ], [ 4, 81, 181, 283, 300, 363 ], [ 5, 82, 182, 284, 301, 364 ], [ 6, 83, 183, 285, 302, 365 ], [ 7, 84, 184, 286, 303, 366 ], [ 8, 85, 185, 287, 304, 367 ], [ 9, 86, 186, 288, 305, 368 ], [ 10, 87, 187, 289, 306, 369 ], [ 11, 88, 188, 290, 307, 370 ], [ 12, 89, 189, 291, 308, 371 ], [ 13, 90, 190, 292, 309, 372 ], [ 14, 91, 191, 293, 310, 373 ], [ 15, 92, 192, 294, 311, 374 ], [ 16, 93, 193, 295, 312, 375 ], [ 17, 94, 194, 296, 313, 376 ], [ 18, 95, 195, 297, 314, 377 ], [ 19, 96, 196, 298, 315, 378 ], [ 20, 97, 197, 299, 316, 379 ], [ 21, 98, 198, 300, 317, 380 ], [ 22, 99, 199, 301, 318, 381 ], [ 23, 100, 200, 302, 319, 382 ], [ 24, 101, 201, 303, 320, 383 ], [ 25, 102, 202, 304, 321, 384 ], [ 26, 103, 203, 305, 322, 385 ], [ 27, 104, 204, 306, 323, 386 ], [ 28, 105, 205, 307, 324, 387 ], [ 29, 106, 206, 308, 325, 388 ], [ 30, 107, 207, 309, 326, 389 ], [ 31, 108, 208, 310, 327, 390 ], [ 32, 109, 209, 311, 328, 391 ], [ 33, 110, 210, 312, 329, 392 ], [ 34, 111, 211, 313, 330, 393 ], [ 35, 112, 212, 314, 331, 394 ], [ 36, 113, 213, 315, 332, 395 ], [ 37, 114, 214, 316, 333, 396 ], [ 38, 115, 215, 317, 334, 397 ], [ 39, 116, 216, 318, 335, 398 ], [ 40, 117, 217, 319, 336, 399 ], [ 41, 118, 218, 320, 337, 400 ], [ 42, 119, 219, 321, 338, 401 ], [ 43, 120, 220, 322, 339, 402 ], [ 44, 121, 221, 323, 340, 403 ], [ 45, 122, 222, 324, 341, 404 ], [ 46, 123, 223, 325, 342, 405 ], [ 47, 124, 224, 326, 343, 406 ], [ 48, 125, 225, 327, 344, 407 ], [ 49, 126, 226, 328, 345, 408 ], [ 50, 127, 227, 329, 346, 409 ], [ 51, 128, 228, 330, 347, 410 ], [ 52, 129, 229, 331, 348, 411 ], [ 53, 130, 230, 332, 349, 412 ], [ 54, 131, 231, 333, 350, 413 ], [ 55, 132, 232, 334, 351, 414 ], [ 56, 133, 233, 335, 352, 415 ], [ 57, 134, 234, 336, 353, 416 ], [ 58, 135, 235, 337, 354, 417 ], [ 59, 136, 236, 338, 355, 418 ], [ 60, 137, 237, 339, 356, 419 ], [ 61, 138, 238, 340, 357, 420 ], [ 62, 139, 239, 341, 358, 421 ], [ 63, 140, 240, 342, 359, 422 ], [ 64, 141, 241, 343, 360, 423 ], [ 65, 142, 242, 344, 361, 424 ], [ 66, 143, 243, 345, 362, 425 ], [ 67, 144, 244, 346, 363, 426 ], [ 68, 145, 245, 347, 364, 427 ], [ 69, 146, 246, 348, 365, 428 ], [ 70, 147, 247, 349, 366, 429 ], [ 71, 148, 248, 350, 367, 430 ], [ 72, 149, 249, 351, 368, 431 ], [ 73, 150, 250, 352, 369, 432 ], [ 74, 151, 251, 353, 370, 433 ], [ 75, 152, 252, 354, 371, 434 ], [ 76, 153, 253, 355, 372, 435 ], [ 77, 154, 254, 356, 373, 436 ], [ 78, 155, 255, 357, 374, 437 ], [ 79, 156, 256, 358, 375, 438 ], [ 80, 157, 257, 359, 376, 439 ], [ 81, 158, 258, 360, 377, 440 ], [ 82, 159, 259, 361, 378, 441 ], [ 83, 160, 260, 362, 379, 442 ], [ 84, 161, 261, 363, 380, 443 ], [ 85, 162, 262, 364, 381, 444 ], [ 86, 163, 263, 365, 382, 445 ], [ 87, 164, 264, 366, 383, 446 ], [ 88, 165, 265, 367, 384, 447 ], [ 89, 166, 266, 368, 385, 448 ], [ 90, 167, 267, 369, 386, 449 ], [ 91, 168, 268, 370, 387, 450 ], [ 92, 169, 269, 371, 388, 451 ], [ 93, 170, 270, 372, 389, 452 ], [ 94, 171, 271, 373, 390, 453 ], [ 95, 172, 272, 374, 391, 454 ], [ 96, 173, 273, 375, 392, 455 ], [ 97, 174, 274, 376, 393, 456 ], [ 98, 175, 275, 377, 394, 457 ], [ 99, 176, 276, 378, 395, 458 ], [ 100, 177, 277, 379, 396, 459 ], [ 101, 178, 278, 380, 397, 460 ], [ 0, 102, 179, 381, 398, 461 ], [ 1, 103, 180, 382, 399, 462 ], [ 2, 104, 181, 383, 400, 463 ], [ 3, 105, 182, 384, 401, 464 ], [ 4, 106, 183, 385, 402, 465 ], [ 5, 107, 184, 386, 403, 466 ], [ 6, 108, 185, 387, 404, 467 ], [ 7, 109, 186, 388, 405, 468 ], [ 8, 110, 187, 389, 406, 469 ], [ 9, 111, 188, 390, 407, 470 ], [ 10, 112, 189, 391, 408, 471 ], [ 11, 113, 190, 392, 409, 472 ], [ 12, 114, 191, 393, 410, 473 ], [ 13, 115, 192, 394, 411, 474 ], [ 14, 116, 193, 395, 412, 475 ], [ 15, 117, 194, 396, 413, 476 ], [ 16, 118, 195, 397, 414, 477 ], [ 17, 119, 196, 398, 415, 478 ], [ 18, 120, 197, 399, 416, 479 ], [ 19, 121, 198, 400, 417, 480 ], [ 20, 122, 199, 401, 418, 481 ], [ 21, 123, 200, 402, 419, 482 ], [ 22, 124, 201, 403, 420, 483 ], [ 23, 125, 202, 404, 421, 484 ], [ 24, 126, 203, 405, 422, 485 ], [ 25, 127, 204, 406, 423, 486 ], [ 26, 128, 205, 407, 424, 487 ], [ 27, 129, 206, 408, 425, 488 ], [ 28, 130, 207, 409, 426, 489 ], [ 29, 131, 208, 410, 427, 490 ], [ 30, 132, 209, 411, 428, 491 ], [ 31, 133, 210, 412, 429, 492 ], [ 32, 134, 211, 413, 430, 493 ], [ 33, 135, 212, 414, 431, 494 ], [ 34, 136, 213, 415, 432, 495 ], [ 35, 137, 214, 416, 433, 496 ], [ 36, 138, 215, 417, 434, 497 ], [ 37, 139, 216, 418, 435, 498 ], [ 38, 140, 217, 419, 436, 499 ], [ 39, 141, 218, 420, 437, 500 ], [ 40, 142, 219, 421, 438, 501 ], [ 41, 143, 220, 422, 439, 502 ], [ 42, 144, 221, 423, 440, 503 ], [ 43, 145, 222, 424, 441, 504 ], [ 44, 146, 223, 425, 442, 505 ], [ 45, 147, 224, 426, 443, 506 ], [ 46, 148, 225, 427, 444, 507 ], [ 47, 149, 226, 428, 445, 508 ], [ 48, 150, 227, 429, 446, 509 ], [ 49, 151, 228, 430, 447, 510 ], [ 50, 152, 229, 431, 448, 511 ], [ 51, 153, 230, 432, 449, 512 ], [ 52, 154, 231, 433, 450, 513 ], [ 53, 155, 232, 434, 451, 514 ], [ 54, 156, 233, 435, 452, 515 ], [ 55, 157, 234, 436, 453, 516 ], [ 56, 158, 235, 437, 454, 517 ], [ 57, 159, 236, 438, 455, 518 ], [ 58, 160, 237, 439, 456, 519 ], [ 59, 161, 238, 440, 457, 520 ], [ 60, 162, 239, 441, 458, 521 ], [ 61, 163, 240, 442, 459, 522 ], [ 62, 164, 241, 443, 460, 523 ], [ 63, 165, 242, 444, 461, 524 ], [ 64, 166, 243, 445, 462, 525 ], [ 65, 167, 244, 446, 463, 526 ], [ 66, 168, 245, 447, 464, 527 ], [ 67, 169, 246, 448, 465, 528 ], [ 68, 170, 247, 449, 466, 529 ], [ 69, 171, 248, 450, 467, 530 ], [ 70, 172, 249, 451, 468, 531 ], [ 71, 173, 250, 452, 469, 532 ], [ 72, 174, 251, 453, 470, 533 ], [ 73, 175, 252, 454, 471, 534 ], [ 74, 176, 253, 455, 472, 535 ], [ 75, 177, 254, 456, 473, 536 ], [ 76, 178, 255, 457, 474, 537 ], [ 77, 179, 256, 458, 475, 538 ], [ 78, 180, 257, 459, 476, 539 ], [ 79, 181, 258, 460, 477, 540 ], [ 80, 182, 259, 461, 478, 541 ], [ 81, 183, 260, 462, 479, 542 ], [ 82, 184, 261, 463, 480, 543 ], [ 83, 185, 262, 464, 481, 544 ], [ 84, 186, 263, 465, 482, 545 ], [ 85, 187, 264, 466, 483, 546 ], [ 86, 188, 265, 467, 484, 547 ], [ 87, 189, 266, 468, 485, 548 ], [ 88, 190, 267, 469, 486, 549 ], [ 89, 191, 268, 470, 487, 550 ], [ 90, 192, 269, 471, 488, 551 ], [ 91, 193, 270, 472, 489, 552 ], [ 92, 194, 271, 473, 490, 553 ], [ 93, 195, 272, 474, 491, 554 ], [ 94, 196, 273, 475, 492, 555 ], [ 95, 197, 274, 476, 493, 556 ], [ 96, 198, 275, 477, 494, 557 ], [ 97, 199, 276, 279, 478, 495 ], [ 98, 200, 277, 280, 479, 496 ], [ 99, 201, 278, 281, 480, 497 ], [ 0, 100, 202, 282, 481, 498 ], [ 1, 101, 203, 283, 482, 499 ], [ 2, 102, 204, 284, 483, 500 ], [ 3, 103, 205, 285, 484, 501 ], [ 4, 104, 206, 286, 485, 502 ], [ 5, 105, 207, 287, 486, 503 ], [ 6, 106, 208, 288, 487, 504 ], [ 7, 107, 209, 289, 488, 505 ], [ 8, 108, 210, 290, 489, 506 ], [ 9, 109, 211, 291, 490, 507 ], [ 10, 110, 212, 292, 491, 508 ], [ 11, 111, 213, 293, 492, 509 ], [ 12, 112, 214, 294, 493, 510 ], [ 13, 113, 215, 295, 494, 511 ], [ 14, 114, 216, 296, 495, 512 ], [ 15, 115, 217, 297, 496, 513 ], [ 16, 116, 218, 298, 497, 514 ], [ 17, 117, 219, 299, 498, 515 ], [ 18, 118, 220, 300, 499, 516 ], [ 19, 119, 221, 301, 500, 517 ], [ 20, 120, 222, 302, 501, 518 ], [ 21, 121, 223, 303, 502, 519 ], [ 22, 122, 224, 304, 503, 520 ], [ 23, 123, 225, 305, 504, 521 ], [ 24, 124, 226, 306, 505, 522 ], [ 25, 125, 227, 307, 506, 523 ], [ 26, 126, 228, 308, 507, 524 ], [ 27, 127, 229, 309, 508, 525 ], [ 28, 128, 230, 310, 509, 526 ], [ 29, 129, 231, 311, 510, 527 ], [ 30, 130, 232, 312, 511, 528 ], [ 31, 131, 233, 313, 512, 529 ], [ 32, 132, 234, 314, 513, 530 ], [ 33, 133, 235, 315, 514, 531 ], [ 34, 134, 236, 316, 515, 532 ], [ 35, 135, 237, 317, 516, 533 ], [ 36, 136, 238, 318, 517, 534 ], [ 37, 137, 239, 319, 518, 535 ], [ 38, 138, 240, 320, 519, 536 ], [ 39, 139, 241, 321, 520, 537 ], [ 40, 140, 242, 322, 521, 538 ], [ 41, 141, 243, 323, 522, 539 ], [ 42, 142, 244, 324, 523, 540 ], [ 43, 143, 245, 325, 524, 541 ], [ 44, 144, 246, 326, 525, 542 ], [ 45, 145, 247, 327, 526, 543 ], [ 46, 146, 248, 328, 527, 544 ], [ 47, 147, 249, 329, 528, 545 ], [ 48, 148, 250, 330, 529, 546 ], [ 49, 149, 251, 331, 530, 547 ], [ 50, 150, 252, 332, 531, 548 ], [ 51, 151, 253, 333, 532, 549 ], [ 52, 152, 254, 334, 533, 550 ], [ 53, 153, 255, 335, 534, 551 ], [ 54, 154, 256, 336, 535, 552 ], [ 55, 155, 257, 337, 536, 553 ], [ 56, 156, 258, 338, 537, 554 ], [ 57, 157, 259, 339, 538, 555 ], [ 58, 158, 260, 340, 539, 556 ], [ 59, 159, 261, 341, 540, 557 ], [ 60, 160, 262, 279, 342, 541 ], [ 61, 161, 263, 280, 343, 542 ], [ 62, 162, 264, 281, 344, 543 ], [ 63, 163, 265, 282, 345, 544 ], [ 64, 164, 266, 283, 346, 545 ], [ 65, 165, 267, 284, 347, 546 ], [ 66, 166, 268, 285, 348, 547 ], [ 67, 167, 269, 286, 349, 548 ], [ 68, 168, 270, 287, 350, 549 ], [ 69, 169, 271, 288, 351, 550 ], [ 70, 170, 272, 289, 352, 551 ], [ 71, 171, 273, 290, 353, 552 ], [ 72, 172, 274, 291, 354, 553 ], [ 73, 173, 275, 292, 355, 554 ], [ 74, 174, 276, 293, 356, 555 ], [ 75, 175, 277, 294, 357, 556 ], [ 76, 176, 278, 295, 358, 557 ] ], "Z": [ [ 0, 199, 262, 279, 381, 481 ], [ 1, 200, 263, 280, 382, 482 ], [ 2, 201, 264, 281, 383, 483 ], [ 3, 202, 265, 282, 384, 484 ], [ 4, 203, 266, 283, 385, 485 ], [ 5, 204, 267, 284, 386, 486 ], [ 6, 205, 268, 285, 387, 487 ], [ 7, 206, 269, 286, 388, 488 ], [ 8, 207, 270, 287, 389, 489 ], [ 9, 208, 271, 288, 390, 490 ], [ 10, 209, 272, 289, 391, 491 ], [ 11, 210, 273, 290, 392, 492 ], [ 12, 211, 274, 291, 393, 493 ], [ 13, 212, 275, 292, 394, 494 ], [ 14, 213, 276, 293, 395, 495 ], [ 15, 214, 277, 294, 396, 496 ], [ 16, 215, 278, 295, 397, 497 ], [ 0, 17, 216, 296, 398, 498 ], [ 1, 18, 217, 297, 399, 499 ], [ 2, 19, 218, 298, 400, 500 ], [ 3, 20, 219, 299, 401, 501 ], [ 4, 21, 220, 300, 402, 502 ], [ 5, 22, 221, 301, 403, 503 ], [ 6, 23, 222, 302, 404, 504 ], [ 7, 24, 223, 303, 405, 505 ], [ 8, 25, 224, 304, 406, 506 ], [ 9, 26, 225, 305, 407, 507 ], [ 10, 27, 226, 306, 408, 508 ], [ 11, 28, 227, 307, 409, 509 ], [ 12, 29, 228, 308, 410, 510 ], [ 13, 30, 229, 309, 411, 511 ], [ 14, 31, 230, 310, 412, 512 ], [ 15, 32, 231, 311, 413, 513 ], [ 16, 33, 232, 312, 414, 514 ], [ 17, 34, 233, 313, 415, 515 ], [ 18, 35, 234, 314, 416, 516 ], [ 19, 36, 235, 315, 417, 517 ], [ 20, 37, 236, 316, 418, 518 ], [ 21, 38, 237, 317, 419, 519 ], [ 22, 39, 238, 318, 420, 520 ], [ 23, 40, 239, 319, 421, 521 ], [ 24, 41, 240, 320, 422, 522 ], [ 25, 42, 241, 321, 423, 523 ], [ 26, 43, 242, 322, 424, 524 ], [ 27, 44, 243, 323, 425, 525 ], [ 28, 45, 244, 324, 426, 526 ], [ 29, 46, 245, 325, 427, 527 ], [ 30, 47, 246, 326, 428, 528 ], [ 31, 48, 247, 327, 429, 529 ], [ 32, 49, 248, 328, 430, 530 ], [ 33, 50, 249, 329, 431, 531 ], [ 34, 51, 250, 330, 432, 532 ], [ 35, 52, 251, 331, 433, 533 ], [ 36, 53, 252, 332, 434, 534 ], [ 37, 54, 253, 333, 435, 535 ], [ 38, 55, 254, 334, 436, 536 ], [ 39, 56, 255, 335, 437, 537 ], [ 40, 57, 256, 336, 438, 538 ], [ 41, 58, 257, 337, 439, 539 ], [ 42, 59, 258, 338, 440, 540 ], [ 43, 60, 259, 339, 441, 541 ], [ 44, 61, 260, 340, 442, 542 ], [ 45, 62, 261, 341, 443, 543 ], [ 46, 63, 262, 342, 444, 544 ], [ 47, 64, 263, 343, 445, 545 ], [ 48, 65, 264, 344, 446, 546 ], [ 49, 66, 265, 345, 447, 547 ], [ 50, 67, 266, 346, 448, 548 ], [ 51, 68, 267, 347, 449, 549 ], [ 52, 69, 268, 348, 450, 550 ], [ 53, 70, 269, 349, 451, 551 ], [ 54, 71, 270, 350, 452, 552 ], [ 55, 72, 271, 351, 453, 553 ], [ 56, 73, 272, 352, 454, 554 ], [ 57, 74, 273, 353, 455, 555 ], [ 58, 75, 274, 354, 456, 556 ], [ 59, 76, 275, 355, 457, 557 ], [ 60, 77, 276, 279, 356, 458 ], [ 61, 78, 277, 280, 357, 459 ], [ 62, 79, 278, 281, 358, 460 ], [ 0, 63, 80, 282, 359, 461 ], [ 1, 64, 81, 283, 360, 462 ], [ 2, 65, 82, 284, 361, 463 ], [ 3, 66, 83, 285, 362, 464 ], [ 4, 67, 84, 286, 363, 465 ], [ 5, 68, 85, 287, 364, 466 ], [ 6, 69, 86, 288, 365, 467 ], [ 7, 70, 87, 289, 366, 468 ], [ 8, 71, 88, 290, 367, 469 ], [ 9, 72, 89, 291, 368, 470 ], [ 10, 73, 90, 292, 369, 471 ], [ 11, 74, 91, 293, 370, 472 ], [ 12, 75, 92, 294, 371, 473 ], [ 13, 76, 93, 295, 372, 474 ], [ 14, 77, 94, 296, 373, 475 ], [ 15, 78, 95, 297, 374, 476 ], [ 16, 79, 96, 298, 375, 477 ], [ 17, 80, 97, 299, 376, 478 ], [ 18, 81, 98, 300, 377, 479 ], [ 19, 82, 99, 301, 378, 480 ], [ 20, 83, 100, 302, 379, 481 ], [ 21, 84, 101, 303, 380, 482 ], [ 22, 85, 102, 304, 381, 483 ], [ 23, 86, 103, 305, 382, 484 ], [ 24, 87, 104, 306, 383, 485 ], [ 25, 88, 105, 307, 384, 486 ], [ 26, 89, 106, 308, 385, 487 ], [ 27, 90, 107, 309, 386, 488 ], [ 28, 91, 108, 310, 387, 489 ], [ 29, 92, 109, 311, 388, 490 ], [ 30, 93, 110, 312, 389, 491 ], [ 31, 94, 111, 313, 390, 492 ], [ 32, 95, 112, 314, 391, 493 ], [ 33, 96, 113, 315, 392, 494 ], [ 34, 97, 114, 316, 393, 495 ], [ 35, 98, 115, 317, 394, 496 ], [ 36, 99, 116, 318, 395, 497 ], [ 37, 100, 117, 319, 396, 498 ], [ 38, 101, 118, 320, 397, 499 ], [ 39, 102, 119, 321, 398, 500 ], [ 40, 103, 120, 322, 399, 501 ], [ 41, 104, 121, 323, 400, 502 ], [ 42, 105, 122, 324, 401, 503 ], [ 43, 106, 123, 325, 402, 504 ], [ 44, 107, 124, 326, 403, 505 ], [ 45, 108, 125, 327, 404, 506 ], [ 46, 109, 126, 328, 405, 507 ], [ 47, 110, 127, 329, 406, 508 ], [ 48, 111, 128, 330, 407, 509 ], [ 49, 112, 129, 331, 408, 510 ], [ 50, 113, 130, 332, 409, 511 ], [ 51, 114, 131, 333, 410, 512 ], [ 52, 115, 132, 334, 411, 513 ], [ 53, 116, 133, 335, 412, 514 ], [ 54, 117, 134, 336, 413, 515 ], [ 55, 118, 135, 337, 414, 516 ], [ 56, 119, 136, 338, 415, 517 ], [ 57, 120, 137, 339, 416, 518 ], [ 58, 121, 138, 340, 417, 519 ], [ 59, 122, 139, 341, 418, 520 ], [ 60, 123, 140, 342, 419, 521 ], [ 61, 124, 141, 343, 420, 522 ], [ 62, 125, 142, 344, 421, 523 ], [ 63, 126, 143, 345, 422, 524 ], [ 64, 127, 144, 346, 423, 525 ], [ 65, 128, 145, 347, 424, 526 ], [ 66, 129, 146, 348, 425, 527 ], [ 67, 130, 147, 349, 426, 528 ], [ 68, 131, 148, 350, 427, 529 ], [ 69, 132, 149, 351, 428, 530 ], [ 70, 133, 150, 352, 429, 531 ], [ 71, 134, 151, 353, 430, 532 ], [ 72, 135, 152, 354, 431, 533 ], [ 73, 136, 153, 355, 432, 534 ], [ 74, 137, 154, 356, 433, 535 ], [ 75, 138, 155, 357, 434, 536 ], [ 76, 139, 156, 358, 435, 537 ], [ 77, 140, 157, 359, 436, 538 ], [ 78, 141, 158, 360, 437, 539 ], [ 79, 142, 159, 361, 438, 540 ], [ 80, 143, 160, 362, 439, 541 ], [ 81, 144, 161, 363, 440, 542 ], [ 82, 145, 162, 364, 441, 543 ], [ 83, 146, 163, 365, 442, 544 ], [ 84, 147, 164, 366, 443, 545 ], [ 85, 148, 165, 367, 444, 546 ], [ 86, 149, 166, 368, 445, 547 ], [ 87, 150, 167, 369, 446, 548 ], [ 88, 151, 168, 370, 447, 549 ], [ 89, 152, 169, 371, 448, 550 ], [ 90, 153, 170, 372, 449, 551 ], [ 91, 154, 171, 373, 450, 552 ], [ 92, 155, 172, 374, 451, 553 ], [ 93, 156, 173, 375, 452, 554 ], [ 94, 157, 174, 376, 453, 555 ], [ 95, 158, 175, 377, 454, 556 ], [ 96, 159, 176, 378, 455, 557 ], [ 97, 160, 177, 279, 379, 456 ], [ 98, 161, 178, 280, 380, 457 ], [ 99, 162, 179, 281, 381, 458 ], [ 100, 163, 180, 282, 382, 459 ], [ 101, 164, 181, 283, 383, 460 ], [ 102, 165, 182, 284, 384, 461 ], [ 103, 166, 183, 285, 385, 462 ], [ 104, 167, 184, 286, 386, 463 ], [ 105, 168, 185, 287, 387, 464 ], [ 106, 169, 186, 288, 388, 465 ], [ 107, 170, 187, 289, 389, 466 ], [ 108, 171, 188, 290, 390, 467 ], [ 109, 172, 189, 291, 391, 468 ], [ 110, 173, 190, 292, 392, 469 ], [ 111, 174, 191, 293, 393, 470 ], [ 112, 175, 192, 294, 394, 471 ], [ 113, 176, 193, 295, 395, 472 ], [ 114, 177, 194, 296, 396, 473 ], [ 115, 178, 195, 297, 397, 474 ], [ 116, 179, 196, 298, 398, 475 ], [ 117, 180, 197, 299, 399, 476 ], [ 118, 181, 198, 300, 400, 477 ], [ 119, 182, 199, 301, 401, 478 ], [ 120, 183, 200, 302, 402, 479 ], [ 121, 184, 201, 303, 403, 480 ], [ 122, 185, 202, 304, 404, 481 ], [ 123, 186, 203, 305, 405, 482 ], [ 124, 187, 204, 306, 406, 483 ], [ 125, 188, 205, 307, 407, 484 ], [ 126, 189, 206, 308, 408, 485 ], [ 127, 190, 207, 309, 409, 486 ], [ 128, 191, 208, 310, 410, 487 ], [ 129, 192, 209, 311, 411, 488 ], [ 130, 193, 210, 312, 412, 489 ], [ 131, 194, 211, 313, 413, 490 ], [ 132, 195, 212, 314, 414, 491 ], [ 133, 196, 213, 315, 415, 492 ], [ 134, 197, 214, 316, 416, 493 ], [ 135, 198, 215, 317, 417, 494 ], [ 136, 199, 216, 318, 418, 495 ], [ 137, 200, 217, 319, 419, 496 ], [ 138, 201, 218, 320, 420, 497 ], [ 139, 202, 219, 321, 421, 498 ], [ 140, 203, 220, 322, 422, 499 ], [ 141, 204, 221, 323, 423, 500 ], [ 142, 205, 222, 324, 424, 501 ], [ 143, 206, 223, 325, 425, 502 ], [ 144, 207, 224, 326, 426, 503 ], [ 145, 208, 225, 327, 427, 504 ], [ 146, 209, 226, 328, 428, 505 ], [ 147, 210, 227, 329, 429, 506 ], [ 148, 211, 228, 330, 430, 507 ], [ 149, 212, 229, 331, 431, 508 ], [ 150, 213, 230, 332, 432, 509 ], [ 151, 214, 231, 333, 433, 510 ], [ 152, 215, 232, 334, 434, 511 ], [ 153, 216, 233, 335, 435, 512 ], [ 154, 217, 234, 336, 436, 513 ], [ 155, 218, 235, 337, 437, 514 ], [ 156, 219, 236, 338, 438, 515 ], [ 157, 220, 237, 339, 439, 516 ], [ 158, 221, 238, 340, 440, 517 ], [ 159, 222, 239, 341, 441, 518 ], [ 160, 223, 240, 342, 442, 519 ], [ 161, 224, 241, 343, 443, 520 ], [ 162, 225, 242, 344, 444, 521 ], [ 163, 226, 243, 345, 445, 522 ], [ 164, 227, 244, 346, 446, 523 ], [ 165, 228, 245, 347, 447, 524 ], [ 166, 229, 246, 348, 448, 525 ], [ 167, 230, 247, 349, 449, 526 ], [ 168, 231, 248, 350, 450, 527 ], [ 169, 232, 249, 351, 451, 528 ], [ 170, 233, 250, 352, 452, 529 ], [ 171, 234, 251, 353, 453, 530 ], [ 172, 235, 252, 354, 454, 531 ], [ 173, 236, 253, 355, 455, 532 ], [ 174, 237, 254, 356, 456, 533 ], [ 175, 238, 255, 357, 457, 534 ], [ 176, 239, 256, 358, 458, 535 ], [ 177, 240, 257, 359, 459, 536 ], [ 178, 241, 258, 360, 460, 537 ], [ 179, 242, 259, 361, 461, 538 ], [ 180, 243, 260, 362, 462, 539 ], [ 181, 244, 261, 363, 463, 540 ], [ 182, 245, 262, 364, 464, 541 ], [ 183, 246, 263, 365, 465, 542 ], [ 184, 247, 264, 366, 466, 543 ], [ 185, 248, 265, 367, 467, 544 ], [ 186, 249, 266, 368, 468, 545 ], [ 187, 250, 267, 369, 469, 546 ], [ 188, 251, 268, 370, 470, 547 ], [ 189, 252, 269, 371, 471, 548 ], [ 190, 253, 270, 372, 472, 549 ], [ 191, 254, 271, 373, 473, 550 ], [ 192, 255, 272, 374, 474, 551 ], [ 193, 256, 273, 375, 475, 552 ], [ 194, 257, 274, 376, 476, 553 ], [ 195, 258, 275, 377, 477, 554 ], [ 196, 259, 276, 378, 478, 555 ], [ 197, 260, 277, 379, 479, 556 ], [ 198, 261, 278, 380, 480, 557 ] ] }, "distance": { "d": 32, "X": { "value": 32, "confidence": "upper_bound", "witness": [ 7, 10, 141, 158, 175, 187, 204, 226, 238, 267, 269, 289, 297, 320, 326, 345, 347, 372, 374, 420, 422, 426, 447, 449, 451, 471, 474, 499, 505, 526, 528, 549 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-23", "found_at_samples": 2000000, "seeds": [ 71000059602 ], "tool": "GPU deep kernel (full basis, pair depth 8), screen stage 3", "survived_samples": 60000000 } }, "Z": { "value": 32, "confidence": "upper_bound", "witness": [ 2, 25, 29, 50, 54, 56, 102, 104, 129, 131, 150, 153, 156, 179, 187, 204, 206, 227, 229, 256, 284, 301, 309, 318, 335, 369, 372, 389, 449, 517, 529, 546 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-23", "found_at_samples": 2000000, "seeds": [ 71000059603 ], "tool": "GPU deep kernel (full basis, pair depth 8), screen stage 3", "survived_samples": 60000000 } } }, "family": "generalized-bicycle", "provenance": { "authors": [ "@vprusso" ], "origin": "submission", "novelty": "new_parameters", "construction": "Cyclic (single-circulant-pair) generalized-bicycle code over Z_279 (research/cyclic_gb.py build_cyclic_gb): a(x) = 1 + x^77 + x^177, b(x) = 1 + x^17 + x^80; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] with circ(v)[i, (i + j) mod 279] = v[j]. n = 2m = 558, k = 2 deg gcd(a, b, x^279 - 1) = 10, every check has weight 6. a and b were drawn as weight-3 multiples of a degree-5 divisor g of x^279 - 1 (g as a little-endian bit integer: 41).", "references": [ "arXiv:1904.02703", "arXiv:2203.17216" ], "date": "2026-09-23", "model": "Claude Fable 5.1 (Claude Code)", "notes": "Found by a GPU random-information-set screen (verify/ris_gpu.cu deep kernel: full-basis RREF plus pair sums, pair depth 8) over weight-6 cyclic generalized-bicycle codes with weight-3 polynomials at n <= 700; see the research note for the ladder. Lightest logicals: X 32, Z 32; finalist deep-kernel GPU pass: X 32 at 50,000,000 trials (seed 777); Z 32 at 50,000,000 trials (seed 778); board fast pass 32 at 8,000,000 trials. Every operator re-verified with verify/gf2.py. Distance is a witness-backed upper bound. Novelty: new_parameters by a nauty canonical-form check of the typed Tanner graph against the board and the 2BGA, GB, BB, QECDB, and codetables data (a submitter claim). Generator spec: {\"family\": \"cyclic-gb\", \"m\": 279, \"g_int\": 41, \"deg_g\": 5, \"a\": [0, 77, 177], \"b\": [0, 17, 80]}" } }