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