{ "schema_version": "0.1", "name": "[[624,54,8]] non-abelian lifted product, C6xD4", "code_type": "CSS", "n": 624, "k": 54, "checks": { "X": [ [ 37, 175, 314, 449, 498 ], [ 36, 174, 315, 448, 503 ], [ 35, 173, 316, 451, 500 ], [ 34, 172, 317, 450, 497 ], [ 33, 171, 318, 453, 502 ], [ 32, 170, 319, 452, 499 ], [ 39, 169, 312, 455, 496 ], [ 38, 168, 313, 454, 501 ], [ 45, 183, 322, 457, 506 ], [ 44, 182, 323, 456, 511 ], [ 43, 181, 324, 459, 508 ], [ 42, 180, 325, 458, 505 ], [ 41, 179, 326, 461, 510 ], [ 40, 178, 327, 460, 507 ], [ 47, 177, 320, 463, 504 ], [ 46, 176, 321, 462, 509 ], [ 5, 191, 330, 465, 514 ], [ 4, 190, 331, 464, 519 ], [ 3, 189, 332, 467, 516 ], [ 2, 188, 333, 466, 513 ], [ 1, 187, 334, 469, 518 ], [ 0, 186, 335, 468, 515 ], [ 7, 185, 328, 471, 512 ], [ 6, 184, 329, 470, 517 ], [ 13, 151, 290, 473, 522 ], [ 12, 150, 291, 472, 527 ], [ 11, 149, 292, 475, 524 ], [ 10, 148, 293, 474, 521 ], [ 9, 147, 294, 477, 526 ], [ 8, 146, 295, 476, 523 ], [ 15, 145, 288, 479, 520 ], [ 14, 144, 289, 478, 525 ], [ 21, 159, 298, 433, 482 ], [ 20, 158, 299, 432, 487 ], [ 19, 157, 300, 435, 484 ], [ 18, 156, 301, 434, 481 ], [ 17, 155, 302, 437, 486 ], [ 16, 154, 303, 436, 483 ], [ 23, 153, 296, 439, 480 ], [ 22, 152, 297, 438, 485 ], [ 29, 167, 306, 441, 490 ], [ 28, 166, 307, 440, 495 ], [ 27, 165, 308, 443, 492 ], [ 26, 164, 309, 442, 489 ], [ 25, 163, 310, 445, 494 ], [ 24, 162, 311, 444, 491 ], [ 31, 161, 304, 447, 488 ], [ 30, 160, 305, 446, 493 ], [ 85, 223, 362, 471, 481 ], [ 84, 222, 363, 466, 480 ], [ 83, 221, 364, 465, 483 ], [ 82, 220, 365, 468, 482 ], [ 81, 219, 366, 467, 485 ], [ 80, 218, 367, 470, 484 ], [ 87, 217, 360, 469, 487 ], [ 86, 216, 361, 464, 486 ], [ 93, 231, 370, 479, 489 ], [ 92, 230, 371, 474, 488 ], [ 91, 229, 372, 473, 491 ], [ 90, 228, 373, 476, 490 ], [ 89, 227, 374, 475, 493 ], [ 88, 226, 375, 478, 492 ], [ 95, 225, 368, 477, 495 ], [ 94, 224, 369, 472, 494 ], [ 53, 239, 378, 439, 497 ], [ 52, 238, 379, 434, 496 ], [ 51, 237, 380, 433, 499 ], [ 50, 236, 381, 436, 498 ], [ 49, 235, 382, 435, 501 ], [ 48, 234, 383, 438, 500 ], [ 55, 233, 376, 437, 503 ], [ 54, 232, 377, 432, 502 ], [ 61, 199, 338, 447, 505 ], [ 60, 198, 339, 442, 504 ], [ 59, 197, 340, 441, 507 ], [ 58, 196, 341, 444, 506 ], [ 57, 195, 342, 443, 509 ], [ 56, 194, 343, 446, 508 ], [ 63, 193, 336, 445, 511 ], [ 62, 192, 337, 440, 510 ], [ 69, 207, 346, 455, 513 ], [ 68, 206, 347, 450, 512 ], [ 67, 205, 348, 449, 515 ], [ 66, 204, 349, 452, 514 ], [ 65, 203, 350, 451, 517 ], [ 64, 202, 351, 454, 516 ], [ 71, 201, 344, 453, 519 ], [ 70, 200, 345, 448, 518 ], [ 77, 215, 354, 463, 521 ], [ 76, 214, 355, 458, 520 ], [ 75, 213, 356, 457, 523 ], [ 74, 212, 357, 460, 522 ], [ 73, 211, 358, 459, 525 ], [ 72, 210, 359, 462, 524 ], [ 79, 209, 352, 461, 527 ], [ 78, 208, 353, 456, 526 ], [ 133, 271, 410, 462, 518 ], [ 132, 270, 411, 459, 515 ], [ 131, 269, 412, 456, 512 ], [ 130, 268, 413, 461, 517 ], [ 129, 267, 414, 458, 514 ], [ 128, 266, 415, 463, 519 ], [ 135, 265, 408, 460, 516 ], [ 134, 264, 409, 457, 513 ], [ 141, 279, 418, 470, 526 ], [ 140, 278, 419, 467, 523 ], [ 139, 277, 420, 464, 520 ], [ 138, 276, 421, 469, 525 ], [ 137, 275, 422, 466, 522 ], [ 136, 274, 423, 471, 527 ], [ 143, 273, 416, 468, 524 ], [ 142, 272, 417, 465, 521 ], [ 101, 287, 426, 478, 486 ], [ 100, 286, 427, 475, 483 ], [ 99, 285, 428, 472, 480 ], [ 98, 284, 429, 477, 485 ], [ 97, 283, 430, 474, 482 ], [ 96, 282, 431, 479, 487 ], [ 103, 281, 424, 476, 484 ], [ 102, 280, 425, 473, 481 ], [ 109, 247, 386, 438, 494 ], [ 108, 246, 387, 435, 491 ], [ 107, 245, 388, 432, 488 ], [ 106, 244, 389, 437, 493 ], [ 105, 243, 390, 434, 490 ], [ 104, 242, 391, 439, 495 ], [ 111, 241, 384, 436, 492 ], [ 110, 240, 385, 433, 489 ], [ 117, 255, 394, 446, 502 ], [ 116, 254, 395, 443, 499 ], [ 115, 253, 396, 440, 496 ], [ 114, 252, 397, 445, 501 ], [ 113, 251, 398, 442, 498 ], [ 112, 250, 399, 447, 503 ], [ 119, 249, 392, 444, 500 ], [ 118, 248, 393, 441, 497 ], [ 125, 263, 402, 454, 510 ], [ 124, 262, 403, 451, 507 ], [ 123, 261, 404, 448, 504 ], [ 122, 260, 405, 453, 509 ], [ 121, 259, 406, 450, 506 ], [ 120, 258, 407, 455, 511 ], [ 127, 257, 400, 452, 508 ], [ 126, 256, 401, 449, 505 ], [ 7, 182, 314, 545, 594 ], [ 6, 183, 315, 544, 599 ], [ 5, 176, 316, 547, 596 ], [ 4, 177, 317, 546, 593 ], [ 3, 178, 318, 549, 598 ], [ 2, 179, 319, 548, 595 ], [ 1, 180, 312, 551, 592 ], [ 0, 181, 313, 550, 597 ], [ 15, 190, 322, 553, 602 ], [ 14, 191, 323, 552, 607 ], [ 13, 184, 324, 555, 604 ], [ 12, 185, 325, 554, 601 ], [ 11, 186, 326, 557, 606 ], [ 10, 187, 327, 556, 603 ], [ 9, 188, 320, 559, 600 ], [ 8, 189, 321, 558, 605 ], [ 23, 150, 330, 561, 610 ], [ 22, 151, 331, 560, 615 ], [ 21, 144, 332, 563, 612 ], [ 20, 145, 333, 562, 609 ], [ 19, 146, 334, 565, 614 ], [ 18, 147, 335, 564, 611 ], [ 17, 148, 328, 567, 608 ], [ 16, 149, 329, 566, 613 ], [ 31, 158, 290, 569, 618 ], [ 30, 159, 291, 568, 623 ], [ 29, 152, 292, 571, 620 ], [ 28, 153, 293, 570, 617 ], [ 27, 154, 294, 573, 622 ], [ 26, 155, 295, 572, 619 ], [ 25, 156, 288, 575, 616 ], [ 24, 157, 289, 574, 621 ], [ 39, 166, 298, 529, 578 ], [ 38, 167, 299, 528, 583 ], [ 37, 160, 300, 531, 580 ], [ 36, 161, 301, 530, 577 ], [ 35, 162, 302, 533, 582 ], [ 34, 163, 303, 532, 579 ], [ 33, 164, 296, 535, 576 ], [ 32, 165, 297, 534, 581 ], [ 47, 174, 306, 537, 586 ], [ 46, 175, 307, 536, 591 ], [ 45, 168, 308, 539, 588 ], [ 44, 169, 309, 538, 585 ], [ 43, 170, 310, 541, 590 ], [ 42, 171, 311, 540, 587 ], [ 41, 172, 304, 543, 584 ], [ 40, 173, 305, 542, 589 ], [ 55, 230, 362, 567, 577 ], [ 54, 231, 363, 562, 576 ], [ 53, 224, 364, 561, 579 ], [ 52, 225, 365, 564, 578 ], [ 51, 226, 366, 563, 581 ], [ 50, 227, 367, 566, 580 ], [ 49, 228, 360, 565, 583 ], [ 48, 229, 361, 560, 582 ], [ 63, 238, 370, 575, 585 ], [ 62, 239, 371, 570, 584 ], [ 61, 232, 372, 569, 587 ], [ 60, 233, 373, 572, 586 ], [ 59, 234, 374, 571, 589 ], [ 58, 235, 375, 574, 588 ], [ 57, 236, 368, 573, 591 ], [ 56, 237, 369, 568, 590 ], [ 71, 198, 378, 535, 593 ], [ 70, 199, 379, 530, 592 ], [ 69, 192, 380, 529, 595 ], [ 68, 193, 381, 532, 594 ], [ 67, 194, 382, 531, 597 ], [ 66, 195, 383, 534, 596 ], [ 65, 196, 376, 533, 599 ], [ 64, 197, 377, 528, 598 ], [ 79, 206, 338, 543, 601 ], [ 78, 207, 339, 538, 600 ], [ 77, 200, 340, 537, 603 ], [ 76, 201, 341, 540, 602 ], [ 75, 202, 342, 539, 605 ], [ 74, 203, 343, 542, 604 ], [ 73, 204, 336, 541, 607 ], [ 72, 205, 337, 536, 606 ], [ 87, 214, 346, 551, 609 ], [ 86, 215, 347, 546, 608 ], [ 85, 208, 348, 545, 611 ], [ 84, 209, 349, 548, 610 ], [ 83, 210, 350, 547, 613 ], [ 82, 211, 351, 550, 612 ], [ 81, 212, 344, 549, 615 ], [ 80, 213, 345, 544, 614 ], [ 95, 222, 354, 559, 617 ], [ 94, 223, 355, 554, 616 ], [ 93, 216, 356, 553, 619 ], [ 92, 217, 357, 556, 618 ], [ 91, 218, 358, 555, 621 ], [ 90, 219, 359, 558, 620 ], [ 89, 220, 352, 557, 623 ], [ 88, 221, 353, 552, 622 ], [ 103, 278, 410, 558, 614 ], [ 102, 279, 411, 555, 611 ], [ 101, 272, 412, 552, 608 ], [ 100, 273, 413, 557, 613 ], [ 99, 274, 414, 554, 610 ], [ 98, 275, 415, 559, 615 ], [ 97, 276, 408, 556, 612 ], [ 96, 277, 409, 553, 609 ], [ 111, 286, 418, 566, 622 ], [ 110, 287, 419, 563, 619 ], [ 109, 280, 420, 560, 616 ], [ 108, 281, 421, 565, 621 ], [ 107, 282, 422, 562, 618 ], [ 106, 283, 423, 567, 623 ], [ 105, 284, 416, 564, 620 ], [ 104, 285, 417, 561, 617 ], [ 119, 246, 426, 574, 582 ], [ 118, 247, 427, 571, 579 ], [ 117, 240, 428, 568, 576 ], [ 116, 241, 429, 573, 581 ], [ 115, 242, 430, 570, 578 ], [ 114, 243, 431, 575, 583 ], [ 113, 244, 424, 572, 580 ], [ 112, 245, 425, 569, 577 ], [ 127, 254, 386, 534, 590 ], [ 126, 255, 387, 531, 587 ], [ 125, 248, 388, 528, 584 ], [ 124, 249, 389, 533, 589 ], [ 123, 250, 390, 530, 586 ], [ 122, 251, 391, 535, 591 ], [ 121, 252, 384, 532, 588 ], [ 120, 253, 385, 529, 585 ], [ 135, 262, 394, 542, 598 ], [ 134, 263, 395, 539, 595 ], [ 133, 256, 396, 536, 592 ], [ 132, 257, 397, 541, 597 ], [ 131, 258, 398, 538, 594 ], [ 130, 259, 399, 543, 599 ], [ 129, 260, 392, 540, 596 ], [ 128, 261, 393, 537, 593 ], [ 143, 270, 402, 550, 606 ], [ 142, 271, 403, 547, 603 ], [ 141, 264, 404, 544, 600 ], [ 140, 265, 405, 549, 605 ], [ 139, 266, 406, 546, 602 ], [ 138, 267, 407, 551, 607 ], [ 137, 268, 400, 548, 604 ], [ 136, 269, 401, 545, 601 ] ], "Z": [ [ 33, 71, 122, 453, 535 ], [ 32, 66, 127, 452, 534 ], [ 35, 65, 124, 451, 533 ], [ 34, 68, 121, 450, 532 ], [ 37, 67, 126, 449, 531 ], [ 36, 70, 123, 448, 530 ], [ 39, 69, 120, 455, 529 ], [ 38, 64, 125, 454, 528 ], [ 41, 79, 130, 461, 543 ], [ 40, 74, 135, 460, 542 ], [ 43, 73, 132, 459, 541 ], [ 42, 76, 129, 458, 540 ], [ 45, 75, 134, 457, 539 ], [ 44, 78, 131, 456, 538 ], [ 47, 77, 128, 463, 537 ], [ 46, 72, 133, 462, 536 ], [ 1, 87, 138, 469, 551 ], [ 0, 82, 143, 468, 550 ], [ 3, 81, 140, 467, 549 ], [ 2, 84, 137, 466, 548 ], [ 5, 83, 142, 465, 547 ], [ 4, 86, 139, 464, 546 ], [ 7, 85, 136, 471, 545 ], [ 6, 80, 141, 470, 544 ], [ 9, 95, 98, 477, 559 ], [ 8, 90, 103, 476, 558 ], [ 11, 89, 100, 475, 557 ], [ 10, 92, 97, 474, 556 ], [ 13, 91, 102, 473, 555 ], [ 12, 94, 99, 472, 554 ], [ 15, 93, 96, 479, 553 ], [ 14, 88, 101, 478, 552 ], [ 17, 55, 106, 437, 567 ], [ 16, 50, 111, 436, 566 ], [ 19, 49, 108, 435, 565 ], [ 18, 52, 105, 434, 564 ], [ 21, 51, 110, 433, 563 ], [ 20, 54, 107, 432, 562 ], [ 23, 53, 104, 439, 561 ], [ 22, 48, 109, 438, 560 ], [ 25, 63, 114, 445, 575 ], [ 24, 58, 119, 444, 574 ], [ 27, 57, 116, 443, 573 ], [ 26, 60, 113, 442, 572 ], [ 29, 59, 118, 441, 571 ], [ 28, 62, 115, 440, 570 ], [ 31, 61, 112, 447, 569 ], [ 30, 56, 117, 446, 568 ], [ 38, 49, 114, 501, 583 ], [ 35, 48, 119, 500, 582 ], [ 32, 51, 116, 499, 581 ], [ 37, 50, 113, 498, 580 ], [ 34, 53, 118, 497, 579 ], [ 39, 52, 115, 496, 578 ], [ 36, 55, 112, 503, 577 ], [ 33, 54, 117, 502, 576 ], [ 46, 57, 122, 509, 591 ], [ 43, 56, 127, 508, 590 ], [ 40, 59, 124, 507, 589 ], [ 45, 58, 121, 506, 588 ], [ 42, 61, 126, 505, 587 ], [ 47, 60, 123, 504, 586 ], [ 44, 63, 120, 511, 585 ], [ 41, 62, 125, 510, 584 ], [ 6, 65, 130, 517, 599 ], [ 3, 64, 135, 516, 598 ], [ 0, 67, 132, 515, 597 ], [ 5, 66, 129, 514, 596 ], [ 2, 69, 134, 513, 595 ], [ 7, 68, 131, 512, 594 ], [ 4, 71, 128, 519, 593 ], [ 1, 70, 133, 518, 592 ], [ 14, 73, 138, 525, 607 ], [ 11, 72, 143, 524, 606 ], [ 8, 75, 140, 523, 605 ], [ 13, 74, 137, 522, 604 ], [ 10, 77, 142, 521, 603 ], [ 15, 76, 139, 520, 602 ], [ 12, 79, 136, 527, 601 ], [ 9, 78, 141, 526, 600 ], [ 22, 81, 98, 485, 615 ], [ 19, 80, 103, 484, 614 ], [ 16, 83, 100, 483, 613 ], [ 21, 82, 97, 482, 612 ], [ 18, 85, 102, 481, 611 ], [ 23, 84, 99, 480, 610 ], [ 20, 87, 96, 487, 609 ], [ 17, 86, 101, 486, 608 ], [ 30, 89, 106, 493, 623 ], [ 27, 88, 111, 492, 622 ], [ 24, 91, 108, 491, 621 ], [ 29, 90, 105, 490, 620 ], [ 26, 93, 110, 489, 619 ], [ 31, 92, 107, 488, 618 ], [ 28, 95, 104, 495, 617 ], [ 25, 94, 109, 494, 616 ], [ 177, 215, 266, 463, 546 ], [ 176, 210, 271, 462, 547 ], [ 179, 209, 268, 461, 548 ], [ 178, 212, 265, 460, 549 ], [ 181, 211, 270, 459, 550 ], [ 180, 214, 267, 458, 551 ], [ 183, 213, 264, 457, 544 ], [ 182, 208, 269, 456, 545 ], [ 185, 223, 274, 471, 554 ], [ 184, 218, 279, 470, 555 ], [ 187, 217, 276, 469, 556 ], [ 186, 220, 273, 468, 557 ], [ 189, 219, 278, 467, 558 ], [ 188, 222, 275, 466, 559 ], [ 191, 221, 272, 465, 552 ], [ 190, 216, 277, 464, 553 ], [ 145, 231, 282, 479, 562 ], [ 144, 226, 287, 478, 563 ], [ 147, 225, 284, 477, 564 ], [ 146, 228, 281, 476, 565 ], [ 149, 227, 286, 475, 566 ], [ 148, 230, 283, 474, 567 ], [ 151, 229, 280, 473, 560 ], [ 150, 224, 285, 472, 561 ], [ 153, 239, 242, 439, 570 ], [ 152, 234, 247, 438, 571 ], [ 155, 233, 244, 437, 572 ], [ 154, 236, 241, 436, 573 ], [ 157, 235, 246, 435, 574 ], [ 156, 238, 243, 434, 575 ], [ 159, 237, 240, 433, 568 ], [ 158, 232, 245, 432, 569 ], [ 161, 199, 250, 447, 530 ], [ 160, 194, 255, 446, 531 ], [ 163, 193, 252, 445, 532 ], [ 162, 196, 249, 444, 533 ], [ 165, 195, 254, 443, 534 ], [ 164, 198, 251, 442, 535 ], [ 167, 197, 248, 441, 528 ], [ 166, 192, 253, 440, 529 ], [ 169, 207, 258, 455, 538 ], [ 168, 202, 263, 454, 539 ], [ 171, 201, 260, 453, 540 ], [ 170, 204, 257, 452, 541 ], [ 173, 203, 262, 451, 542 ], [ 172, 206, 259, 450, 543 ], [ 175, 205, 256, 449, 536 ], [ 174, 200, 261, 448, 537 ], [ 182, 193, 258, 511, 594 ], [ 179, 192, 263, 510, 595 ], [ 176, 195, 260, 509, 596 ], [ 181, 194, 257, 508, 597 ], [ 178, 197, 262, 507, 598 ], [ 183, 196, 259, 506, 599 ], [ 180, 199, 256, 505, 592 ], [ 177, 198, 261, 504, 593 ], [ 190, 201, 266, 519, 602 ], [ 187, 200, 271, 518, 603 ], [ 184, 203, 268, 517, 604 ], [ 189, 202, 265, 516, 605 ], [ 186, 205, 270, 515, 606 ], [ 191, 204, 267, 514, 607 ], [ 188, 207, 264, 513, 600 ], [ 185, 206, 269, 512, 601 ], [ 150, 209, 274, 527, 610 ], [ 147, 208, 279, 526, 611 ], [ 144, 211, 276, 525, 612 ], [ 149, 210, 273, 524, 613 ], [ 146, 213, 278, 523, 614 ], [ 151, 212, 275, 522, 615 ], [ 148, 215, 272, 521, 608 ], [ 145, 214, 277, 520, 609 ], [ 158, 217, 282, 487, 618 ], [ 155, 216, 287, 486, 619 ], [ 152, 219, 284, 485, 620 ], [ 157, 218, 281, 484, 621 ], [ 154, 221, 286, 483, 622 ], [ 159, 220, 283, 482, 623 ], [ 156, 223, 280, 481, 616 ], [ 153, 222, 285, 480, 617 ], [ 166, 225, 242, 495, 578 ], [ 163, 224, 247, 494, 579 ], [ 160, 227, 244, 493, 580 ], [ 165, 226, 241, 492, 581 ], [ 162, 229, 246, 491, 582 ], [ 167, 228, 243, 490, 583 ], [ 164, 231, 240, 489, 576 ], [ 161, 230, 245, 488, 577 ], [ 174, 233, 250, 503, 586 ], [ 171, 232, 255, 502, 587 ], [ 168, 235, 252, 501, 588 ], [ 173, 234, 249, 500, 589 ], [ 170, 237, 254, 499, 590 ], [ 175, 236, 251, 498, 591 ], [ 172, 239, 248, 497, 584 ], [ 169, 238, 253, 496, 585 ], [ 321, 359, 410, 462, 558 ], [ 320, 354, 415, 463, 559 ], [ 323, 353, 412, 456, 552 ], [ 322, 356, 409, 457, 553 ], [ 325, 355, 414, 458, 554 ], [ 324, 358, 411, 459, 555 ], [ 327, 357, 408, 460, 556 ], [ 326, 352, 413, 461, 557 ], [ 329, 367, 418, 470, 566 ], [ 328, 362, 423, 471, 567 ], [ 331, 361, 420, 464, 560 ], [ 330, 364, 417, 465, 561 ], [ 333, 363, 422, 466, 562 ], [ 332, 366, 419, 467, 563 ], [ 335, 365, 416, 468, 564 ], [ 334, 360, 421, 469, 565 ], [ 289, 375, 426, 478, 574 ], [ 288, 370, 431, 479, 575 ], [ 291, 369, 428, 472, 568 ], [ 290, 372, 425, 473, 569 ], [ 293, 371, 430, 474, 570 ], [ 292, 374, 427, 475, 571 ], [ 295, 373, 424, 476, 572 ], [ 294, 368, 429, 477, 573 ], [ 297, 383, 386, 438, 534 ], [ 296, 378, 391, 439, 535 ], [ 299, 377, 388, 432, 528 ], [ 298, 380, 385, 433, 529 ], [ 301, 379, 390, 434, 530 ], [ 300, 382, 387, 435, 531 ], [ 303, 381, 384, 436, 532 ], [ 302, 376, 389, 437, 533 ], [ 305, 343, 394, 446, 542 ], [ 304, 338, 399, 447, 543 ], [ 307, 337, 396, 440, 536 ], [ 306, 340, 393, 441, 537 ], [ 309, 339, 398, 442, 538 ], [ 308, 342, 395, 443, 539 ], [ 311, 341, 392, 444, 540 ], [ 310, 336, 397, 445, 541 ], [ 313, 351, 402, 454, 550 ], [ 312, 346, 407, 455, 551 ], [ 315, 345, 404, 448, 544 ], [ 314, 348, 401, 449, 545 ], [ 317, 347, 406, 450, 546 ], [ 316, 350, 403, 451, 547 ], [ 319, 349, 400, 452, 548 ], [ 318, 344, 405, 453, 549 ], [ 326, 337, 402, 510, 606 ], [ 323, 336, 407, 511, 607 ], [ 320, 339, 404, 504, 600 ], [ 325, 338, 401, 505, 601 ], [ 322, 341, 406, 506, 602 ], [ 327, 340, 403, 507, 603 ], [ 324, 343, 400, 508, 604 ], [ 321, 342, 405, 509, 605 ], [ 334, 345, 410, 518, 614 ], [ 331, 344, 415, 519, 615 ], [ 328, 347, 412, 512, 608 ], [ 333, 346, 409, 513, 609 ], [ 330, 349, 414, 514, 610 ], [ 335, 348, 411, 515, 611 ], [ 332, 351, 408, 516, 612 ], [ 329, 350, 413, 517, 613 ], [ 294, 353, 418, 526, 622 ], [ 291, 352, 423, 527, 623 ], [ 288, 355, 420, 520, 616 ], [ 293, 354, 417, 521, 617 ], [ 290, 357, 422, 522, 618 ], [ 295, 356, 419, 523, 619 ], [ 292, 359, 416, 524, 620 ], [ 289, 358, 421, 525, 621 ], [ 302, 361, 426, 486, 582 ], [ 299, 360, 431, 487, 583 ], [ 296, 363, 428, 480, 576 ], [ 301, 362, 425, 481, 577 ], [ 298, 365, 430, 482, 578 ], [ 303, 364, 427, 483, 579 ], [ 300, 367, 424, 484, 580 ], [ 297, 366, 429, 485, 581 ], [ 310, 369, 386, 494, 590 ], [ 307, 368, 391, 495, 591 ], [ 304, 371, 388, 488, 584 ], [ 309, 370, 385, 489, 585 ], [ 306, 373, 390, 490, 586 ], [ 311, 372, 387, 491, 587 ], [ 308, 375, 384, 492, 588 ], [ 305, 374, 389, 493, 589 ], [ 318, 377, 394, 502, 598 ], [ 315, 376, 399, 503, 599 ], [ 312, 379, 396, 496, 592 ], [ 317, 378, 393, 497, 593 ], [ 314, 381, 398, 498, 594 ], [ 319, 380, 395, 499, 595 ], [ 316, 383, 392, 500, 596 ], [ 313, 382, 397, 501, 597 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 9, 28, 39, 44, 78, 95, 115, 120 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 19, 24, 146, 155, 157, 162, 295, 302 ] } }, "provenance": { "authors": [ "@msilve160" ], "construction": "Lifted product of two 2x3 monomial base matrices A, B over F_2[G], G = C_6 x D_4 (direct product, order 48) (|G|=48), entries acting by the left (A) and right (B) regular representation (research/kit/nonabelian_lp.py, lifted_product_base). n = 13|G|, check weight 5 (row weight 3 of A + row weight 2 of B, and vice versa). Same construction family as arXiv:2607.28795 (mitten codes) / arXiv:2607.27644 (ZSZ lifted products), at lower entry weight (monomial, not trinomial) than the published weight-9 form. Reproduces a candidate flagged but not submitted in fieldnotes/2026-09-16-lifted-product-girth-cap.md (Finding 5), found via the merged research/kit/nonabelian_lp.sample_nonabelian_lp sampler. This gap in the check-weight-5 region of the board was found by @vprusso (using Claude Fable 5.1), who also wrote research/kit/nonabelian_lp.py and submitted the neighboring codes/624-52-9.json from the same campaign; see fieldnotes/2026-09-16-lifted-product-girth-cap.md for the original search (this submission reproduces one of that campaign's flagged-but-unsubmitted points using the already-merged tooling).", "references": [ "arXiv:2607.28795", "arXiv:2607.27644" ], "date": "2026-09-19", "notes": "", "model": "Claude Sonnet 5" }, "family": "lifted-product" }