{ "schema_version": "0.3", "name": "[[600,24,26]] weight-6 two-block group algebra code over D5 x C30", "code_type": "CSS", "n": 600, "k": 24, "checks": { "X": [ [ 0, 62, 231, 300, 386, 543 ], [ 1, 63, 232, 301, 327, 364 ], [ 2, 64, 233, 302, 388, 545 ], [ 3, 65, 234, 303, 329, 366 ], [ 4, 66, 235, 304, 380, 547 ], [ 5, 67, 236, 305, 321, 368 ], [ 6, 68, 237, 306, 382, 549 ], [ 7, 69, 238, 307, 323, 360 ], [ 8, 60, 239, 308, 384, 541 ], [ 9, 61, 230, 309, 325, 362 ], [ 10, 72, 121, 310, 396, 553 ], [ 11, 73, 122, 311, 337, 374 ], [ 12, 74, 123, 312, 398, 555 ], [ 13, 75, 124, 313, 339, 376 ], [ 14, 76, 125, 314, 390, 557 ], [ 15, 77, 126, 315, 331, 378 ], [ 16, 78, 127, 316, 392, 559 ], [ 17, 79, 128, 317, 333, 370 ], [ 18, 70, 129, 318, 394, 551 ], [ 19, 71, 120, 319, 335, 372 ], [ 11, 20, 82, 320, 406, 563 ], [ 12, 21, 83, 321, 347, 384 ], [ 13, 22, 84, 322, 408, 565 ], [ 14, 23, 85, 323, 349, 386 ], [ 15, 24, 86, 324, 400, 567 ], [ 16, 25, 87, 325, 341, 388 ], [ 17, 26, 88, 326, 402, 569 ], [ 18, 27, 89, 327, 343, 380 ], [ 19, 28, 80, 328, 404, 561 ], [ 10, 29, 81, 329, 345, 382 ], [ 30, 92, 201, 330, 416, 573 ], [ 31, 93, 202, 331, 357, 394 ], [ 32, 94, 203, 332, 418, 575 ], [ 33, 95, 204, 333, 359, 396 ], [ 34, 96, 205, 334, 410, 577 ], [ 35, 97, 206, 335, 351, 398 ], [ 36, 98, 207, 336, 412, 579 ], [ 37, 99, 208, 337, 353, 390 ], [ 38, 90, 209, 338, 414, 571 ], [ 39, 91, 200, 339, 355, 392 ], [ 40, 91, 102, 340, 426, 583 ], [ 41, 92, 103, 341, 367, 404 ], [ 42, 93, 104, 342, 428, 585 ], [ 43, 94, 105, 343, 369, 406 ], [ 44, 95, 106, 344, 420, 587 ], [ 45, 96, 107, 345, 361, 408 ], [ 46, 97, 108, 346, 422, 589 ], [ 47, 98, 109, 347, 363, 400 ], [ 48, 99, 100, 348, 424, 581 ], [ 49, 90, 101, 349, 365, 402 ], [ 50, 112, 281, 350, 436, 593 ], [ 51, 113, 282, 351, 377, 414 ], [ 52, 114, 283, 352, 438, 595 ], [ 53, 115, 284, 353, 379, 416 ], [ 54, 116, 285, 354, 430, 597 ], [ 55, 117, 286, 355, 371, 418 ], [ 56, 118, 287, 356, 432, 599 ], [ 57, 119, 288, 357, 373, 410 ], [ 58, 110, 289, 358, 434, 591 ], [ 59, 111, 280, 359, 375, 412 ], [ 60, 122, 171, 303, 360, 446 ], [ 61, 123, 172, 361, 387, 424 ], [ 62, 124, 173, 305, 362, 448 ], [ 63, 125, 174, 363, 389, 426 ], [ 64, 126, 175, 307, 364, 440 ], [ 65, 127, 176, 365, 381, 428 ], [ 66, 128, 177, 309, 366, 442 ], [ 67, 129, 178, 367, 383, 420 ], [ 68, 120, 179, 301, 368, 444 ], [ 69, 121, 170, 369, 385, 422 ], [ 61, 70, 132, 313, 370, 456 ], [ 62, 71, 133, 371, 397, 434 ], [ 63, 72, 134, 315, 372, 458 ], [ 64, 73, 135, 373, 399, 436 ], [ 65, 74, 136, 317, 374, 450 ], [ 66, 75, 137, 375, 391, 438 ], [ 67, 76, 138, 319, 376, 452 ], [ 68, 77, 139, 377, 393, 430 ], [ 69, 78, 130, 311, 378, 454 ], [ 60, 79, 131, 379, 395, 432 ], [ 80, 142, 251, 323, 380, 466 ], [ 81, 143, 252, 381, 407, 444 ], [ 82, 144, 253, 325, 382, 468 ], [ 83, 145, 254, 383, 409, 446 ], [ 84, 146, 255, 327, 384, 460 ], [ 85, 147, 256, 385, 401, 448 ], [ 86, 148, 257, 329, 386, 462 ], [ 87, 149, 258, 387, 403, 440 ], [ 88, 140, 259, 321, 388, 464 ], [ 89, 141, 250, 389, 405, 442 ], [ 90, 141, 152, 333, 390, 476 ], [ 91, 142, 153, 391, 417, 454 ], [ 92, 143, 154, 335, 392, 478 ], [ 93, 144, 155, 393, 419, 456 ], [ 94, 145, 156, 337, 394, 470 ], [ 95, 146, 157, 395, 411, 458 ], [ 96, 147, 158, 339, 396, 472 ], [ 97, 148, 159, 397, 413, 450 ], [ 98, 149, 150, 331, 398, 474 ], [ 99, 140, 151, 399, 415, 452 ], [ 31, 100, 162, 343, 400, 486 ], [ 32, 101, 163, 401, 427, 464 ], [ 33, 102, 164, 345, 402, 488 ], [ 34, 103, 165, 403, 429, 466 ], [ 35, 104, 166, 347, 404, 480 ], [ 36, 105, 167, 405, 421, 468 ], [ 37, 106, 168, 349, 406, 482 ], [ 38, 107, 169, 407, 423, 460 ], [ 39, 108, 160, 341, 408, 484 ], [ 30, 109, 161, 409, 425, 462 ], [ 110, 172, 221, 353, 410, 496 ], [ 111, 173, 222, 411, 437, 474 ], [ 112, 174, 223, 355, 412, 498 ], [ 113, 175, 224, 413, 439, 476 ], [ 114, 176, 225, 357, 414, 490 ], [ 115, 177, 226, 415, 431, 478 ], [ 116, 178, 227, 359, 416, 492 ], [ 117, 179, 228, 417, 433, 470 ], [ 118, 170, 229, 351, 418, 494 ], [ 119, 171, 220, 419, 435, 472 ], [ 111, 120, 182, 363, 420, 506 ], [ 112, 121, 183, 421, 447, 484 ], [ 113, 122, 184, 365, 422, 508 ], [ 114, 123, 185, 423, 449, 486 ], [ 115, 124, 186, 367, 424, 500 ], [ 116, 125, 187, 425, 441, 488 ], [ 117, 126, 188, 369, 426, 502 ], [ 118, 127, 189, 427, 443, 480 ], [ 119, 128, 180, 361, 428, 504 ], [ 110, 129, 181, 429, 445, 482 ], [ 1, 130, 192, 373, 430, 516 ], [ 2, 131, 193, 431, 457, 494 ], [ 3, 132, 194, 375, 432, 518 ], [ 4, 133, 195, 433, 459, 496 ], [ 5, 134, 196, 377, 434, 510 ], [ 6, 135, 197, 435, 451, 498 ], [ 7, 136, 198, 379, 436, 512 ], [ 8, 137, 199, 437, 453, 490 ], [ 9, 138, 190, 371, 438, 514 ], [ 0, 139, 191, 439, 455, 492 ], [ 140, 191, 202, 383, 440, 526 ], [ 141, 192, 203, 441, 467, 504 ], [ 142, 193, 204, 385, 442, 528 ], [ 143, 194, 205, 443, 469, 506 ], [ 144, 195, 206, 387, 444, 520 ], [ 145, 196, 207, 445, 461, 508 ], [ 146, 197, 208, 389, 446, 522 ], [ 147, 198, 209, 447, 463, 500 ], [ 148, 199, 200, 381, 448, 524 ], [ 149, 190, 201, 449, 465, 502 ], [ 81, 150, 212, 393, 450, 536 ], [ 82, 151, 213, 451, 477, 514 ], [ 83, 152, 214, 395, 452, 538 ], [ 84, 153, 215, 453, 479, 516 ], [ 85, 154, 216, 397, 454, 530 ], [ 86, 155, 217, 455, 471, 518 ], [ 87, 156, 218, 399, 456, 532 ], [ 88, 157, 219, 457, 473, 510 ], [ 89, 158, 210, 391, 458, 534 ], [ 80, 159, 211, 459, 475, 512 ], [ 160, 222, 271, 403, 460, 546 ], [ 161, 223, 272, 461, 487, 524 ], [ 162, 224, 273, 405, 462, 548 ], [ 163, 225, 274, 463, 489, 526 ], [ 164, 226, 275, 407, 464, 540 ], [ 165, 227, 276, 465, 481, 528 ], [ 166, 228, 277, 409, 466, 542 ], [ 167, 229, 278, 467, 483, 520 ], [ 168, 220, 279, 401, 468, 544 ], [ 169, 221, 270, 469, 485, 522 ], [ 161, 170, 232, 413, 470, 556 ], [ 162, 171, 233, 471, 497, 534 ], [ 163, 172, 234, 415, 472, 558 ], [ 164, 173, 235, 473, 499, 536 ], [ 165, 174, 236, 417, 474, 550 ], [ 166, 175, 237, 475, 491, 538 ], [ 167, 176, 238, 419, 476, 552 ], [ 168, 177, 239, 477, 493, 530 ], [ 169, 178, 230, 411, 478, 554 ], [ 160, 179, 231, 479, 495, 532 ], [ 51, 180, 242, 423, 480, 566 ], [ 52, 181, 243, 481, 507, 544 ], [ 53, 182, 244, 425, 482, 568 ], [ 54, 183, 245, 483, 509, 546 ], [ 55, 184, 246, 427, 484, 560 ], [ 56, 185, 247, 485, 501, 548 ], [ 57, 186, 248, 429, 486, 562 ], [ 58, 187, 249, 487, 503, 540 ], [ 59, 188, 240, 421, 488, 564 ], [ 50, 189, 241, 489, 505, 542 ], [ 190, 241, 252, 433, 490, 576 ], [ 191, 242, 253, 491, 517, 554 ], [ 192, 243, 254, 435, 492, 578 ], [ 193, 244, 255, 493, 519, 556 ], [ 194, 245, 256, 437, 494, 570 ], [ 195, 246, 257, 495, 511, 558 ], [ 196, 247, 258, 439, 496, 572 ], [ 197, 248, 259, 497, 513, 550 ], [ 198, 249, 250, 431, 498, 574 ], [ 199, 240, 251, 499, 515, 552 ], [ 131, 200, 262, 443, 500, 586 ], [ 132, 201, 263, 501, 527, 564 ], [ 133, 202, 264, 445, 502, 588 ], [ 134, 203, 265, 503, 529, 566 ], [ 135, 204, 266, 447, 504, 580 ], [ 136, 205, 267, 505, 521, 568 ], [ 137, 206, 268, 449, 506, 582 ], [ 138, 207, 269, 507, 523, 560 ], [ 139, 208, 260, 441, 508, 584 ], [ 130, 209, 261, 509, 525, 562 ], [ 21, 210, 272, 453, 510, 596 ], [ 22, 211, 273, 511, 537, 574 ], [ 23, 212, 274, 455, 512, 598 ], [ 24, 213, 275, 513, 539, 576 ], [ 25, 214, 276, 457, 514, 590 ], [ 26, 215, 277, 515, 531, 578 ], [ 27, 216, 278, 459, 516, 592 ], [ 28, 217, 279, 517, 533, 570 ], [ 29, 218, 270, 451, 518, 594 ], [ 20, 219, 271, 519, 535, 572 ], [ 211, 220, 282, 306, 463, 520 ], [ 212, 221, 283, 521, 547, 584 ], [ 213, 222, 284, 308, 465, 522 ], [ 214, 223, 285, 523, 549, 586 ], [ 215, 224, 286, 300, 467, 524 ], [ 216, 225, 287, 525, 541, 588 ], [ 217, 226, 288, 302, 469, 526 ], [ 218, 227, 289, 527, 543, 580 ], [ 219, 228, 280, 304, 461, 528 ], [ 210, 229, 281, 529, 545, 582 ], [ 101, 230, 292, 316, 473, 530 ], [ 102, 231, 293, 531, 557, 594 ], [ 103, 232, 294, 318, 475, 532 ], [ 104, 233, 295, 533, 559, 596 ], [ 105, 234, 296, 310, 477, 534 ], [ 106, 235, 297, 535, 551, 598 ], [ 107, 236, 298, 312, 479, 536 ], [ 108, 237, 299, 537, 553, 590 ], [ 109, 238, 290, 314, 471, 538 ], [ 100, 239, 291, 539, 555, 592 ], [ 2, 240, 291, 326, 483, 540 ], [ 3, 241, 292, 304, 541, 567 ], [ 4, 242, 293, 328, 485, 542 ], [ 5, 243, 294, 306, 543, 569 ], [ 6, 244, 295, 320, 487, 544 ], [ 7, 245, 296, 308, 545, 561 ], [ 8, 246, 297, 322, 489, 546 ], [ 9, 247, 298, 300, 547, 563 ], [ 0, 248, 299, 324, 481, 548 ], [ 1, 249, 290, 302, 549, 565 ], [ 12, 181, 250, 336, 493, 550 ], [ 13, 182, 251, 314, 551, 577 ], [ 14, 183, 252, 338, 495, 552 ], [ 15, 184, 253, 316, 553, 579 ], [ 16, 185, 254, 330, 497, 554 ], [ 17, 186, 255, 318, 555, 571 ], [ 18, 187, 256, 332, 499, 556 ], [ 19, 188, 257, 310, 557, 573 ], [ 10, 189, 258, 334, 491, 558 ], [ 11, 180, 259, 312, 559, 575 ], [ 22, 71, 260, 346, 503, 560 ], [ 23, 72, 261, 324, 561, 587 ], [ 24, 73, 262, 348, 505, 562 ], [ 25, 74, 263, 326, 563, 589 ], [ 26, 75, 264, 340, 507, 564 ], [ 27, 76, 265, 328, 565, 581 ], [ 28, 77, 266, 342, 509, 566 ], [ 29, 78, 267, 320, 567, 583 ], [ 20, 79, 268, 344, 501, 568 ], [ 21, 70, 269, 322, 569, 585 ], [ 32, 261, 270, 356, 513, 570 ], [ 33, 262, 271, 334, 571, 597 ], [ 34, 263, 272, 358, 515, 572 ], [ 35, 264, 273, 336, 573, 599 ], [ 36, 265, 274, 350, 517, 574 ], [ 37, 266, 275, 338, 575, 591 ], [ 38, 267, 276, 352, 519, 576 ], [ 39, 268, 277, 330, 577, 593 ], [ 30, 269, 278, 354, 511, 578 ], [ 31, 260, 279, 332, 579, 595 ], [ 42, 151, 280, 366, 523, 580 ], [ 43, 152, 281, 307, 344, 581 ], [ 44, 153, 282, 368, 525, 582 ], [ 45, 154, 283, 309, 346, 583 ], [ 46, 155, 284, 360, 527, 584 ], [ 47, 156, 285, 301, 348, 585 ], [ 48, 157, 286, 362, 529, 586 ], [ 49, 158, 287, 303, 340, 587 ], [ 40, 159, 288, 364, 521, 588 ], [ 41, 150, 289, 305, 342, 589 ], [ 41, 52, 290, 376, 533, 590 ], [ 42, 53, 291, 317, 354, 591 ], [ 43, 54, 292, 378, 535, 592 ], [ 44, 55, 293, 319, 356, 593 ], [ 45, 56, 294, 370, 537, 594 ], [ 46, 57, 295, 311, 358, 595 ], [ 47, 58, 296, 372, 539, 596 ], [ 48, 59, 297, 313, 350, 597 ], [ 49, 50, 298, 374, 531, 598 ], [ 40, 51, 299, 315, 352, 599 ] ], "Z": [ [ 0, 224, 247, 300, 439, 548 ], [ 1, 68, 285, 301, 430, 549 ], [ 2, 226, 249, 302, 431, 540 ], [ 3, 60, 287, 303, 432, 541 ], [ 4, 228, 241, 304, 433, 542 ], [ 5, 62, 289, 305, 434, 543 ], [ 6, 220, 243, 306, 435, 544 ], [ 7, 64, 281, 307, 436, 545 ], [ 8, 222, 245, 308, 437, 546 ], [ 9, 66, 283, 309, 438, 547 ], [ 10, 234, 257, 310, 329, 558 ], [ 11, 78, 295, 311, 320, 559 ], [ 12, 236, 259, 312, 321, 550 ], [ 13, 70, 297, 313, 322, 551 ], [ 14, 238, 251, 314, 323, 552 ], [ 15, 72, 299, 315, 324, 553 ], [ 16, 230, 253, 316, 325, 554 ], [ 17, 74, 291, 317, 326, 555 ], [ 18, 232, 255, 318, 327, 556 ], [ 19, 76, 293, 319, 328, 557 ], [ 20, 244, 267, 320, 519, 568 ], [ 5, 21, 88, 321, 510, 569 ], [ 22, 246, 269, 322, 511, 560 ], [ 7, 23, 80, 323, 512, 561 ], [ 24, 248, 261, 324, 513, 562 ], [ 9, 25, 82, 325, 514, 563 ], [ 26, 240, 263, 326, 515, 564 ], [ 1, 27, 84, 327, 516, 565 ], [ 28, 242, 265, 328, 517, 566 ], [ 3, 29, 86, 329, 518, 567 ], [ 30, 254, 277, 330, 409, 578 ], [ 15, 31, 98, 331, 400, 579 ], [ 32, 256, 279, 332, 401, 570 ], [ 17, 33, 90, 333, 402, 571 ], [ 34, 258, 271, 334, 403, 572 ], [ 19, 35, 92, 335, 404, 573 ], [ 36, 250, 273, 336, 405, 574 ], [ 11, 37, 94, 337, 406, 575 ], [ 38, 252, 275, 338, 407, 576 ], [ 13, 39, 96, 339, 408, 577 ], [ 40, 264, 287, 340, 588, 599 ], [ 25, 41, 108, 341, 589, 590 ], [ 42, 266, 289, 342, 580, 591 ], [ 27, 43, 100, 343, 581, 592 ], [ 44, 268, 281, 344, 582, 593 ], [ 29, 45, 102, 345, 583, 594 ], [ 46, 260, 283, 346, 584, 595 ], [ 21, 47, 104, 347, 585, 596 ], [ 48, 262, 285, 348, 586, 597 ], [ 23, 49, 106, 349, 587, 598 ], [ 50, 274, 297, 350, 489, 598 ], [ 35, 51, 118, 351, 480, 599 ], [ 52, 276, 299, 352, 481, 590 ], [ 37, 53, 110, 353, 482, 591 ], [ 54, 278, 291, 354, 483, 592 ], [ 39, 55, 112, 355, 484, 593 ], [ 56, 270, 293, 356, 485, 594 ], [ 31, 57, 114, 357, 486, 595 ], [ 58, 272, 295, 358, 487, 596 ], [ 33, 59, 116, 359, 488, 597 ], [ 7, 60, 284, 308, 360, 379 ], [ 45, 61, 128, 309, 361, 370 ], [ 9, 62, 286, 300, 362, 371 ], [ 47, 63, 120, 301, 363, 372 ], [ 1, 64, 288, 302, 364, 373 ], [ 49, 65, 122, 303, 365, 374 ], [ 3, 66, 280, 304, 366, 375 ], [ 41, 67, 124, 305, 367, 376 ], [ 5, 68, 282, 306, 368, 377 ], [ 43, 69, 126, 307, 369, 378 ], [ 17, 70, 294, 318, 370, 569 ], [ 55, 71, 138, 319, 371, 560 ], [ 19, 72, 296, 310, 372, 561 ], [ 57, 73, 130, 311, 373, 562 ], [ 11, 74, 298, 312, 374, 563 ], [ 59, 75, 132, 313, 375, 564 ], [ 13, 76, 290, 314, 376, 565 ], [ 51, 77, 134, 315, 377, 566 ], [ 15, 78, 292, 316, 378, 567 ], [ 53, 79, 136, 317, 379, 568 ], [ 4, 27, 80, 328, 380, 459 ], [ 65, 81, 148, 329, 381, 450 ], [ 6, 29, 82, 320, 382, 451 ], [ 67, 83, 140, 321, 383, 452 ], [ 8, 21, 84, 322, 384, 453 ], [ 69, 85, 142, 323, 385, 454 ], [ 0, 23, 86, 324, 386, 455 ], [ 61, 87, 144, 325, 387, 456 ], [ 2, 25, 88, 326, 388, 457 ], [ 63, 89, 146, 327, 389, 458 ], [ 14, 37, 90, 338, 349, 390 ], [ 75, 91, 158, 339, 340, 391 ], [ 16, 39, 92, 330, 341, 392 ], [ 77, 93, 150, 331, 342, 393 ], [ 18, 31, 94, 332, 343, 394 ], [ 79, 95, 152, 333, 344, 395 ], [ 10, 33, 96, 334, 345, 396 ], [ 71, 97, 154, 335, 346, 397 ], [ 12, 35, 98, 336, 347, 398 ], [ 73, 99, 156, 337, 348, 399 ], [ 24, 47, 100, 348, 400, 539 ], [ 85, 101, 168, 349, 401, 530 ], [ 26, 49, 102, 340, 402, 531 ], [ 87, 103, 160, 341, 403, 532 ], [ 28, 41, 104, 342, 404, 533 ], [ 89, 105, 162, 343, 405, 534 ], [ 20, 43, 106, 344, 406, 535 ], [ 81, 107, 164, 345, 407, 536 ], [ 22, 45, 108, 346, 408, 537 ], [ 83, 109, 166, 347, 409, 538 ], [ 34, 57, 110, 358, 410, 429 ], [ 95, 111, 178, 359, 411, 420 ], [ 36, 59, 112, 350, 412, 421 ], [ 97, 113, 170, 351, 413, 422 ], [ 38, 51, 114, 352, 414, 423 ], [ 99, 115, 172, 353, 415, 424 ], [ 30, 53, 116, 354, 416, 425 ], [ 91, 117, 174, 355, 417, 426 ], [ 32, 55, 118, 356, 418, 427 ], [ 93, 119, 176, 357, 419, 428 ], [ 44, 67, 120, 319, 368, 420 ], [ 105, 121, 188, 310, 369, 421 ], [ 46, 69, 122, 311, 360, 422 ], [ 107, 123, 180, 312, 361, 423 ], [ 48, 61, 124, 313, 362, 424 ], [ 109, 125, 182, 314, 363, 425 ], [ 40, 63, 126, 315, 364, 426 ], [ 101, 127, 184, 316, 365, 427 ], [ 42, 65, 128, 317, 366, 428 ], [ 103, 129, 186, 318, 367, 429 ], [ 54, 77, 130, 378, 430, 509 ], [ 115, 131, 198, 379, 431, 500 ], [ 56, 79, 132, 370, 432, 501 ], [ 117, 133, 190, 371, 433, 502 ], [ 58, 71, 134, 372, 434, 503 ], [ 119, 135, 192, 373, 435, 504 ], [ 50, 73, 136, 374, 436, 505 ], [ 111, 137, 194, 375, 437, 506 ], [ 52, 75, 138, 376, 438, 507 ], [ 113, 139, 196, 377, 439, 508 ], [ 64, 87, 140, 388, 399, 440 ], [ 125, 141, 208, 389, 390, 441 ], [ 66, 89, 142, 380, 391, 442 ], [ 127, 143, 200, 381, 392, 443 ], [ 68, 81, 144, 382, 393, 444 ], [ 129, 145, 202, 383, 394, 445 ], [ 60, 83, 146, 384, 395, 446 ], [ 121, 147, 204, 385, 396, 447 ], [ 62, 85, 148, 386, 397, 448 ], [ 123, 149, 206, 387, 398, 449 ], [ 74, 97, 150, 398, 450, 589 ], [ 135, 151, 218, 399, 451, 580 ], [ 76, 99, 152, 390, 452, 581 ], [ 137, 153, 210, 391, 453, 582 ], [ 78, 91, 154, 392, 454, 583 ], [ 139, 155, 212, 393, 455, 584 ], [ 70, 93, 156, 394, 456, 585 ], [ 131, 157, 214, 395, 457, 586 ], [ 72, 95, 158, 396, 458, 587 ], [ 133, 159, 216, 397, 459, 588 ], [ 84, 107, 160, 408, 460, 479 ], [ 145, 161, 228, 409, 461, 470 ], [ 86, 109, 162, 400, 462, 471 ], [ 147, 163, 220, 401, 463, 472 ], [ 88, 101, 164, 402, 464, 473 ], [ 149, 165, 222, 403, 465, 474 ], [ 80, 103, 166, 404, 466, 475 ], [ 141, 167, 224, 405, 467, 476 ], [ 82, 105, 168, 406, 468, 477 ], [ 143, 169, 226, 407, 469, 478 ], [ 94, 117, 170, 369, 418, 470 ], [ 155, 171, 238, 360, 419, 471 ], [ 96, 119, 172, 361, 410, 472 ], [ 157, 173, 230, 362, 411, 473 ], [ 98, 111, 174, 363, 412, 474 ], [ 159, 175, 232, 364, 413, 475 ], [ 90, 113, 176, 365, 414, 476 ], [ 151, 177, 234, 366, 415, 477 ], [ 92, 115, 178, 367, 416, 478 ], [ 153, 179, 236, 368, 417, 479 ], [ 104, 127, 180, 428, 480, 559 ], [ 165, 181, 248, 429, 481, 550 ], [ 106, 129, 182, 420, 482, 551 ], [ 167, 183, 240, 421, 483, 552 ], [ 108, 121, 184, 422, 484, 553 ], [ 169, 185, 242, 423, 485, 554 ], [ 100, 123, 186, 424, 486, 555 ], [ 161, 187, 244, 425, 487, 556 ], [ 102, 125, 188, 426, 488, 557 ], [ 163, 189, 246, 427, 489, 558 ], [ 114, 137, 190, 438, 449, 490 ], [ 175, 191, 258, 439, 440, 491 ], [ 116, 139, 192, 430, 441, 492 ], [ 177, 193, 250, 431, 442, 493 ], [ 118, 131, 194, 432, 443, 494 ], [ 179, 195, 252, 433, 444, 495 ], [ 110, 133, 196, 434, 445, 496 ], [ 171, 197, 254, 435, 446, 497 ], [ 112, 135, 198, 436, 447, 498 ], [ 173, 199, 256, 437, 448, 499 ], [ 124, 147, 200, 339, 448, 500 ], [ 185, 201, 268, 330, 449, 501 ], [ 126, 149, 202, 331, 440, 502 ], [ 187, 203, 260, 332, 441, 503 ], [ 128, 141, 204, 333, 442, 504 ], [ 189, 205, 262, 334, 443, 505 ], [ 120, 143, 206, 335, 444, 506 ], [ 181, 207, 264, 336, 445, 507 ], [ 122, 145, 208, 337, 446, 508 ], [ 183, 209, 266, 338, 447, 509 ], [ 134, 157, 210, 458, 510, 529 ], [ 195, 211, 278, 459, 511, 520 ], [ 136, 159, 212, 450, 512, 521 ], [ 197, 213, 270, 451, 513, 522 ], [ 138, 151, 214, 452, 514, 523 ], [ 199, 215, 272, 453, 515, 524 ], [ 130, 153, 216, 454, 516, 525 ], [ 191, 217, 274, 455, 517, 526 ], [ 132, 155, 218, 456, 518, 527 ], [ 193, 219, 276, 457, 519, 528 ], [ 144, 167, 220, 419, 468, 520 ], [ 205, 221, 288, 410, 469, 521 ], [ 146, 169, 222, 411, 460, 522 ], [ 207, 223, 280, 412, 461, 523 ], [ 148, 161, 224, 413, 462, 524 ], [ 209, 225, 282, 414, 463, 525 ], [ 140, 163, 226, 415, 464, 526 ], [ 201, 227, 284, 416, 465, 527 ], [ 142, 165, 228, 417, 466, 528 ], [ 203, 229, 286, 418, 467, 529 ], [ 154, 177, 230, 309, 478, 530 ], [ 215, 231, 298, 300, 479, 531 ], [ 156, 179, 232, 301, 470, 532 ], [ 217, 233, 290, 302, 471, 533 ], [ 158, 171, 234, 303, 472, 534 ], [ 219, 235, 292, 304, 473, 535 ], [ 150, 173, 236, 305, 474, 536 ], [ 211, 237, 294, 306, 475, 537 ], [ 152, 175, 238, 307, 476, 538 ], [ 213, 239, 296, 308, 477, 539 ], [ 164, 187, 240, 488, 499, 540 ], [ 8, 225, 241, 489, 490, 541 ], [ 166, 189, 242, 480, 491, 542 ], [ 0, 227, 243, 481, 492, 543 ], [ 168, 181, 244, 482, 493, 544 ], [ 2, 229, 245, 483, 494, 545 ], [ 160, 183, 246, 484, 495, 546 ], [ 4, 221, 247, 485, 496, 547 ], [ 162, 185, 248, 486, 497, 548 ], [ 6, 223, 249, 487, 498, 549 ], [ 174, 197, 250, 389, 498, 550 ], [ 18, 235, 251, 380, 499, 551 ], [ 176, 199, 252, 381, 490, 552 ], [ 10, 237, 253, 382, 491, 553 ], [ 178, 191, 254, 383, 492, 554 ], [ 12, 239, 255, 384, 493, 555 ], [ 170, 193, 256, 385, 494, 556 ], [ 14, 231, 257, 386, 495, 557 ], [ 172, 195, 258, 387, 496, 558 ], [ 16, 233, 259, 388, 497, 559 ], [ 184, 207, 260, 508, 560, 579 ], [ 28, 245, 261, 509, 561, 570 ], [ 186, 209, 262, 500, 562, 571 ], [ 20, 247, 263, 501, 563, 572 ], [ 188, 201, 264, 502, 564, 573 ], [ 22, 249, 265, 503, 565, 574 ], [ 180, 203, 266, 504, 566, 575 ], [ 24, 241, 267, 505, 567, 576 ], [ 182, 205, 268, 506, 568, 577 ], [ 26, 243, 269, 507, 569, 578 ], [ 194, 217, 270, 469, 518, 570 ], [ 38, 255, 271, 460, 519, 571 ], [ 196, 219, 272, 461, 510, 572 ], [ 30, 257, 273, 462, 511, 573 ], [ 198, 211, 274, 463, 512, 574 ], [ 32, 259, 275, 464, 513, 575 ], [ 190, 213, 276, 465, 514, 576 ], [ 34, 251, 277, 466, 515, 577 ], [ 192, 215, 278, 467, 516, 578 ], [ 36, 253, 279, 468, 517, 579 ], [ 204, 227, 280, 359, 528, 580 ], [ 48, 265, 281, 350, 529, 581 ], [ 206, 229, 282, 351, 520, 582 ], [ 40, 267, 283, 352, 521, 583 ], [ 208, 221, 284, 353, 522, 584 ], [ 42, 269, 285, 354, 523, 585 ], [ 200, 223, 286, 355, 524, 586 ], [ 44, 261, 287, 356, 525, 587 ], [ 202, 225, 288, 357, 526, 588 ], [ 46, 263, 289, 358, 527, 589 ], [ 214, 237, 290, 538, 549, 590 ], [ 58, 275, 291, 539, 540, 591 ], [ 216, 239, 292, 530, 541, 592 ], [ 50, 277, 293, 531, 542, 593 ], [ 218, 231, 294, 532, 543, 594 ], [ 52, 279, 295, 533, 544, 595 ], [ 210, 233, 296, 534, 545, 596 ], [ 54, 271, 297, 535, 546, 597 ], [ 212, 235, 298, 536, 547, 598 ], [ 56, 273, 299, 537, 548, 599 ] ] }, "distance": { "d": 26, "X": { "value": 26, "confidence": "exact", "witness": [ 12, 18, 43, 112, 160, 184, 207, 235, 236, 255, 271, 298, 307, 336, 343, 365, 374, 403, 405, 412, 436, 474, 476, 479, 484, 535 ] }, "Z": { "value": 26, "confidence": "exact", "witness": [ 3, 4, 25, 28, 61, 72, 132, 134, 172, 196, 234, 242, 253, 263, 272, 296, 304, 325, 461, 496, 533, 553, 561, 566, 590, 596 ] } }, "provenance": { "authors": [ "@TimoKellerMath" ], "origin": "submission", "novelty": "new_parameters", "construction": "Two-block group algebra (2BGA) code C(G;a,b) over G = , a group of order 300 isomorphic to D5 x C30; element x^i y^j is qubit 10i+j of block 1 and 300+10i+j of block 2. H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T]: the X-check at c is {s^-1 c : s in a} in block 1 and {c t^-1 : t in b} in block 2, the Z-check at c is {c t : t in b} and {s c : s in a}. a = 1 + x^24 y^8 + x^13 y^9, b = 1 + x^22 y^4 + x^24 y^7. n = 600, k = 24, check weight 6 = 3+3, qubit degree 6. A 3-fold voltage lift, along the central subgroup , of the [[200,16,12]] code over D5 x C10 obtained by reducing x modulo 10.", "references": [ "arXiv:2305.06890", "arXiv:2306.16400", "arXiv:2502.20297", "arXiv:2607.28621", "arXiv:2610.13880" ], "date": "2026-11-10", "model": "Claude Opus 5.5", "notes": "Exact distance: d_X = d_Z = 26, proved by an exhaustive anchored search at W = 24 with two independently written programs (anchors from a Tanner-graph automorphism group of order 150) and the parity of ker H_X and of ker H_Z (all column weights 3); see the research note and certs/600-24-26.json. Novelty: no [[600,24]] entry on the board (commit 8042f9da) and no published code with these parameters known to us; the board entry 600-16-30 of @FarLab lives on the same group with other voltages and is a different code (k = 16)." }, "family": "2bga-coset" }