{ "schema_version": "0.3", "name": "[[640,16,32]] CLP code, weight 6, SmallGroup(800,639)", "code_type": "CSS", "n": 640, "k": 16, "checks": { "X": [ [ 0, 49, 151, 320, 480, 565 ], [ 1, 97, 141, 321, 481, 551 ], [ 2, 77, 90, 322, 482, 572 ], [ 3, 7, 149, 323, 483, 592 ], [ 4, 23, 132, 324, 484, 535 ], [ 5, 80, 131, 325, 485, 595 ], [ 6, 37, 154, 326, 486, 596 ], [ 7, 17, 124, 327, 487, 558 ], [ 8, 40, 138, 328, 488, 579 ], [ 9, 67, 117, 329, 489, 581 ], [ 10, 116, 126, 330, 490, 582 ], [ 11, 65, 156, 331, 491, 583 ], [ 12, 92, 133, 332, 492, 599 ], [ 13, 48, 119, 333, 493, 542 ], [ 14, 59, 108, 334, 494, 541 ], [ 15, 58, 109, 335, 495, 603 ], [ 16, 24, 129, 336, 496, 563 ], [ 17, 25, 158, 337, 497, 617 ], [ 18, 34, 118, 338, 498, 618 ], [ 19, 50, 103, 339, 499, 566 ], [ 14, 20, 140, 340, 500, 567 ], [ 13, 21, 159, 341, 501, 621 ], [ 22, 68, 138, 342, 502, 622 ], [ 19, 23, 157, 343, 503, 586 ], [ 24, 41, 95, 344, 504, 588 ], [ 3, 25, 147, 345, 505, 528 ], [ 9, 26, 135, 346, 506, 590 ], [ 27, 69, 114, 347, 507, 607 ], [ 28, 70, 153, 348, 508, 608 ], [ 15, 29, 154, 349, 509, 609 ], [ 30, 87, 98, 350, 510, 610 ], [ 31, 36, 143, 351, 511, 611 ], [ 32, 96, 142, 352, 512, 612 ], [ 33, 34, 52, 353, 482, 513 ], [ 34, 62, 106, 354, 514, 570 ], [ 35, 61, 105, 355, 515, 569 ], [ 36, 60, 152, 356, 516, 624 ], [ 37, 78, 89, 357, 513, 517 ], [ 38, 79, 88, 358, 518, 574 ], [ 29, 39, 136, 359, 519, 573 ], [ 4, 28, 40, 360, 520, 627 ], [ 41, 52, 150, 361, 521, 593 ], [ 12, 42, 142, 362, 522, 594 ], [ 43, 64, 143, 363, 523, 633 ], [ 44, 65, 87, 364, 524, 634 ], [ 2, 45, 155, 365, 525, 597 ], [ 39, 46, 114, 366, 526, 598 ], [ 38, 47, 153, 367, 527, 636 ], [ 48, 100, 112, 368, 504, 528 ], [ 5, 49, 146, 369, 529, 613 ], [ 4, 50, 145, 370, 530, 555 ], [ 51, 56, 136, 371, 531, 615 ], [ 16, 52, 125, 372, 532, 557 ], [ 1, 53, 152, 373, 533, 616 ], [ 30, 54, 107, 374, 534, 559 ], [ 31, 55, 106, 375, 485, 535 ], [ 56, 100, 139, 376, 536, 628 ], [ 38, 57, 140, 377, 537, 629 ], [ 39, 58, 159, 378, 538, 630 ], [ 2, 49, 59, 379, 492, 539 ], [ 60, 66, 118, 380, 540, 631 ], [ 12, 25, 61, 381, 493, 541 ], [ 24, 62, 64, 382, 494, 542 ], [ 63, 84, 149, 383, 495, 543 ], [ 33, 64, 75, 384, 539, 544 ], [ 32, 65, 135, 385, 545, 601 ], [ 31, 66, 134, 386, 546, 600 ], [ 30, 41, 67, 387, 547, 637 ], [ 57, 68, 110, 388, 543, 548 ], [ 0, 56, 69, 389, 549, 605 ], [ 8, 19, 70, 390, 550, 604 ], [ 20, 71, 146, 391, 510, 551 ], [ 35, 72, 156, 392, 552, 619 ], [ 36, 73, 116, 393, 553, 620 ], [ 74, 96, 117, 394, 554, 639 ], [ 55, 75, 97, 395, 529, 555 ], [ 15, 76, 139, 396, 556, 623 ], [ 70, 77, 83, 397, 487, 557 ], [ 69, 78, 137, 398, 532, 558 ], [ 79, 81, 130, 399, 533, 559 ], [ 0, 80, 122, 400, 560, 585 ], [ 28, 81, 110, 401, 561, 632 ], [ 27, 82, 109, 402, 562, 587 ], [ 83, 88, 108, 403, 497, 563 ], [ 10, 84, 134, 404, 564, 589 ], [ 11, 85, 133, 405, 499, 565 ], [ 60, 75, 86, 406, 480, 566 ], [ 61, 74, 87, 407, 501, 567 ], [ 68, 88, 155, 408, 568, 638 ], [ 13, 23, 89, 409, 514, 569 ], [ 14, 80, 90, 410, 515, 570 ], [ 81, 91, 103, 411, 516, 571 ], [ 7, 35, 92, 412, 517, 572 ], [ 54, 93, 129, 413, 518, 573 ], [ 53, 94, 158, 414, 519, 574 ], [ 95, 115, 127, 415, 520, 575 ], [ 11, 96, 107, 416, 571, 576 ], [ 10, 17, 97, 417, 577, 626 ], [ 9, 16, 98, 418, 578, 625 ], [ 72, 99, 147, 419, 536, 579 ], [ 5, 27, 100, 420, 575, 580 ], [ 6, 101, 157, 421, 490, 581 ], [ 45, 102, 122, 422, 489, 582 ], [ 46, 103, 121, 423, 540, 583 ], [ 66, 104, 141, 424, 584, 635 ], [ 67, 85, 105, 425, 503, 585 ], [ 86, 106, 126, 426, 560, 586 ], [ 26, 107, 127, 427, 561, 587 ], [ 40, 108, 113, 428, 505, 588 ], [ 51, 102, 109, 429, 506, 589 ], [ 101, 110, 111, 430, 564, 590 ], [ 8, 79, 111, 431, 591, 614 ], [ 58, 78, 112, 432, 521, 592 ], [ 57, 77, 113, 433, 483, 593 ], [ 76, 114, 119, 434, 523, 594 ], [ 32, 105, 115, 435, 484, 595 ], [ 33, 104, 116, 436, 525, 596 ], [ 44, 92, 117, 437, 486, 597 ], [ 43, 93, 118, 438, 527, 598 ], [ 37, 50, 119, 439, 544, 599 ], [ 51, 120, 131, 440, 545, 600 ], [ 111, 121, 132, 441, 546, 601 ], [ 71, 112, 122, 442, 547, 602 ], [ 26, 123, 150, 443, 548, 603 ], [ 86, 99, 124, 444, 549, 604 ], [ 85, 125, 148, 445, 550, 605 ], [ 1, 3, 126, 446, 602, 606 ], [ 43, 125, 127, 447, 508, 607 ], [ 42, 124, 128, 448, 507, 608 ], [ 104, 123, 129, 449, 568, 609 ], [ 21, 130, 145, 450, 481, 610 ], [ 22, 131, 144, 451, 512, 611 ], [ 76, 91, 132, 452, 511, 612 ], [ 98, 115, 133, 453, 530, 613 ], [ 53, 99, 134, 454, 531, 614 ], [ 54, 135, 148, 455, 591, 615 ], [ 71, 82, 136, 456, 534, 616 ], [ 29, 48, 137, 457, 496, 617 ], [ 47, 90, 138, 458, 552, 618 ], [ 46, 89, 139, 459, 498, 619 ], [ 45, 140, 144, 460, 554, 620 ], [ 62, 73, 141, 461, 500, 621 ], [ 63, 72, 142, 462, 556, 622 ], [ 18, 123, 143, 463, 502, 623 ], [ 82, 144, 151, 464, 576, 624 ], [ 83, 101, 145, 465, 577, 625 ], [ 102, 137, 146, 466, 578, 626 ], [ 55, 128, 147, 467, 580, 627 ], [ 18, 95, 148, 468, 488, 628 ], [ 74, 94, 149, 469, 538, 629 ], [ 73, 93, 150, 470, 537, 630 ], [ 47, 120, 151, 471, 491, 631 ], [ 84, 128, 152, 472, 562, 632 ], [ 22, 59, 153, 473, 522, 633 ], [ 21, 121, 154, 474, 584, 634 ], [ 20, 120, 155, 475, 524, 635 ], [ 42, 94, 156, 476, 526, 636 ], [ 113, 130, 157, 477, 606, 637 ], [ 44, 63, 158, 478, 509, 638 ], [ 6, 91, 159, 479, 553, 639 ], [ 160, 209, 311, 320, 438, 589 ], [ 161, 257, 301, 321, 358, 511 ], [ 162, 237, 250, 322, 445, 611 ], [ 163, 167, 309, 323, 460, 614 ], [ 164, 183, 292, 324, 462, 559 ], [ 165, 240, 291, 325, 463, 616 ], [ 166, 197, 314, 326, 327, 484 ], [ 167, 177, 284, 327, 365, 533 ], [ 168, 200, 298, 328, 385, 537 ], [ 169, 227, 277, 329, 335, 491 ], [ 170, 276, 286, 330, 388, 540 ], [ 171, 225, 316, 331, 389, 541 ], [ 172, 252, 293, 332, 466, 629 ], [ 173, 208, 279, 333, 467, 583 ], [ 174, 219, 268, 334, 415, 631 ], [ 175, 218, 269, 330, 335, 493 ], [ 176, 184, 289, 336, 474, 587 ], [ 177, 185, 318, 337, 475, 632 ], [ 178, 194, 278, 338, 343, 496 ], [ 179, 210, 263, 339, 476, 590 ], [ 174, 180, 300, 340, 344, 480 ], [ 173, 181, 319, 341, 345, 499 ], [ 182, 228, 298, 342, 346, 500 ], [ 179, 183, 317, 343, 392, 561 ], [ 184, 201, 255, 341, 344, 506 ], [ 163, 185, 307, 340, 345, 564 ], [ 169, 186, 295, 346, 396, 565 ], [ 187, 229, 274, 347, 356, 509 ], [ 188, 230, 313, 348, 416, 568 ], [ 175, 189, 314, 349, 417, 569 ], [ 190, 247, 258, 350, 359, 512 ], [ 191, 196, 303, 351, 360, 513 ], [ 192, 256, 302, 352, 420, 572 ], [ 193, 194, 212, 353, 421, 573 ], [ 194, 222, 266, 354, 477, 609 ], [ 195, 221, 265, 355, 442, 638 ], [ 196, 220, 312, 348, 356, 514 ], [ 197, 238, 249, 357, 444, 612 ], [ 198, 239, 248, 350, 358, 482 ], [ 189, 199, 296, 321, 359, 517 ], [ 164, 188, 200, 352, 360, 518 ], [ 201, 212, 310, 361, 479, 615 ], [ 172, 202, 302, 362, 369, 483 ], [ 203, 224, 303, 363, 370, 521 ], [ 204, 225, 247, 364, 371, 522 ], [ 162, 205, 315, 365, 372, 485 ], [ 199, 206, 274, 366, 373, 486 ], [ 198, 207, 313, 367, 374, 525 ], [ 208, 260, 272, 368, 375, 526 ], [ 165, 209, 306, 363, 369, 531 ], [ 164, 210, 305, 362, 370, 591 ], [ 211, 216, 296, 371, 424, 592 ], [ 176, 212, 285, 326, 372, 534 ], [ 161, 213, 312, 367, 373, 535 ], [ 190, 214, 267, 366, 374, 595 ], [ 191, 215, 266, 375, 428, 596 ], [ 216, 260, 299, 376, 386, 538 ], [ 198, 217, 300, 377, 387, 539 ], [ 199, 218, 319, 378, 446, 599 ], [ 162, 209, 219, 379, 447, 600 ], [ 220, 226, 278, 380, 390, 542 ], [ 172, 185, 221, 381, 391, 543 ], [ 184, 222, 224, 382, 450, 603 ], [ 223, 244, 309, 383, 451, 604 ], [ 193, 224, 235, 384, 465, 630 ], [ 192, 225, 295, 376, 385, 492 ], [ 191, 226, 294, 328, 386, 544 ], [ 190, 201, 227, 378, 387, 545 ], [ 217, 228, 270, 329, 388, 494 ], [ 160, 216, 229, 380, 389, 495 ], [ 168, 179, 230, 331, 390, 548 ], [ 180, 231, 306, 382, 391, 549 ], [ 195, 232, 316, 392, 400, 497 ], [ 196, 233, 276, 393, 401, 498 ], [ 234, 256, 277, 394, 402, 552 ], [ 215, 235, 257, 395, 403, 553 ], [ 175, 236, 299, 396, 404, 501 ], [ 230, 237, 243, 397, 405, 502 ], [ 229, 238, 297, 398, 406, 556 ], [ 239, 241, 290, 399, 407, 557 ], [ 160, 240, 282, 338, 400, 562 ], [ 188, 241, 270, 394, 401, 563 ], [ 187, 242, 269, 393, 402, 617 ], [ 243, 248, 268, 403, 453, 618 ], [ 170, 244, 294, 342, 404, 566 ], [ 171, 245, 293, 398, 405, 567 ], [ 220, 235, 246, 397, 406, 621 ], [ 221, 234, 247, 407, 456, 622 ], [ 228, 248, 315, 408, 418, 570 ], [ 173, 183, 249, 409, 419, 571 ], [ 174, 240, 250, 410, 468, 624 ], [ 241, 251, 263, 411, 469, 625 ], [ 167, 195, 252, 412, 422, 574 ], [ 214, 253, 289, 413, 423, 575 ], [ 213, 254, 318, 414, 471, 627 ], [ 255, 275, 287, 333, 415, 489 ], [ 171, 256, 267, 347, 416, 515 ], [ 170, 177, 257, 408, 417, 516 ], [ 169, 176, 258, 349, 418, 576 ], [ 232, 259, 307, 410, 419, 577 ], [ 165, 187, 260, 351, 420, 519 ], [ 166, 261, 317, 412, 421, 520 ], [ 205, 262, 282, 353, 422, 580 ], [ 206, 263, 281, 414, 423, 581 ], [ 226, 264, 301, 424, 431, 523 ], [ 227, 245, 265, 425, 432, 524 ], [ 246, 266, 286, 426, 433, 584 ], [ 186, 267, 287, 427, 434, 585 ], [ 200, 268, 273, 428, 435, 527 ], [ 211, 262, 269, 429, 436, 528 ], [ 261, 270, 271, 430, 437, 588 ], [ 168, 239, 271, 364, 431, 593 ], [ 218, 238, 272, 426, 432, 594 ], [ 217, 237, 273, 425, 433, 633 ], [ 236, 274, 279, 434, 472, 634 ], [ 192, 265, 275, 368, 435, 597 ], [ 193, 264, 276, 430, 436, 598 ], [ 204, 252, 277, 429, 437, 636 ], [ 203, 253, 278, 339, 438, 504 ], [ 197, 210, 279, 439, 448, 601 ], [ 211, 280, 291, 440, 449, 602 ], [ 271, 281, 292, 441, 478, 637 ], [ 231, 272, 282, 354, 442, 507 ], [ 186, 283, 310, 443, 452, 605 ], [ 246, 259, 284, 322, 444, 481 ], [ 245, 285, 308, 357, 445, 510 ], [ 161, 163, 286, 377, 446, 546 ], [ 203, 285, 287, 439, 447, 547 ], [ 202, 284, 288, 379, 448, 606 ], [ 264, 283, 289, 441, 449, 607 ], [ 181, 290, 305, 381, 450, 550 ], [ 182, 291, 304, 443, 451, 551 ], [ 236, 251, 292, 383, 452, 610 ], [ 258, 275, 293, 453, 457, 554 ], [ 213, 259, 294, 454, 458, 555 ], [ 214, 295, 308, 455, 459, 613 ], [ 231, 242, 296, 456, 461, 558 ], [ 189, 208, 297, 395, 457, 619 ], [ 207, 250, 298, 455, 458, 620 ], [ 206, 249, 299, 454, 459, 639 ], [ 205, 300, 304, 361, 460, 529 ], [ 222, 233, 301, 399, 461, 623 ], [ 223, 232, 302, 325, 462, 487 ], [ 178, 283, 303, 324, 463, 532 ], [ 242, 304, 311, 464, 470, 626 ], [ 243, 261, 305, 332, 465, 488 ], [ 262, 297, 306, 384, 466, 536 ], [ 215, 288, 307, 334, 467, 490 ], [ 178, 255, 308, 409, 468, 578 ], [ 234, 254, 309, 464, 469, 579 ], [ 233, 253, 310, 411, 470, 628 ], [ 207, 280, 311, 413, 471, 582 ], [ 244, 288, 312, 472, 473, 586 ], [ 182, 219, 313, 427, 473, 635 ], [ 181, 281, 314, 337, 474, 503 ], [ 180, 280, 315, 336, 475, 560 ], [ 202, 254, 316, 320, 476, 505 ], [ 273, 290, 317, 355, 477, 508 ], [ 204, 223, 318, 440, 478, 608 ], [ 166, 251, 319, 323, 479, 530 ] ], "Z": [ [ 0, 160, 316, 320, 389, 400 ], [ 1, 161, 199, 321, 373, 446 ], [ 2, 162, 284, 322, 365, 379 ], [ 3, 163, 319, 323, 345, 446 ], [ 4, 164, 303, 324, 360, 370 ], [ 5, 165, 302, 325, 369, 420 ], [ 6, 166, 212, 326, 421, 479 ], [ 7, 166, 167, 323, 327, 412 ], [ 8, 168, 226, 328, 390, 431 ], [ 9, 169, 228, 329, 346, 418 ], [ 10, 170, 175, 330, 404, 417 ], [ 11, 171, 230, 331, 405, 416 ], [ 12, 172, 305, 332, 362, 381 ], [ 13, 173, 255, 333, 341, 409 ], [ 14, 174, 307, 334, 340, 410 ], [ 15, 169, 175, 335, 349, 396 ], [ 16, 176, 315, 336, 372, 418 ], [ 17, 177, 314, 327, 337, 417 ], [ 18, 178, 240, 338, 463, 468 ], [ 19, 179, 278, 339, 343, 390 ], [ 20, 180, 185, 340, 391, 475 ], [ 21, 181, 184, 341, 450, 474 ], [ 22, 182, 244, 342, 451, 473 ], [ 23, 178, 183, 324, 343, 409 ], [ 24, 180, 184, 336, 344, 382 ], [ 25, 181, 185, 337, 345, 381 ], [ 26, 182, 186, 346, 427, 443 ], [ 27, 187, 256, 347, 402, 420 ], [ 28, 188, 196, 348, 360, 401 ], [ 29, 189, 258, 349, 359, 457 ], [ 30, 190, 198, 350, 374, 387 ], [ 31, 191, 260, 351, 375, 386 ], [ 32, 192, 200, 352, 385, 435 ], [ 33, 193, 262, 353, 384, 436 ], [ 34, 194, 282, 338, 353, 354 ], [ 35, 195, 317, 355, 392, 412 ], [ 36, 187, 196, 351, 356, 393 ], [ 37, 197, 285, 326, 357, 439 ], [ 38, 161, 198, 358, 367, 377 ], [ 39, 190, 199, 359, 366, 378 ], [ 40, 191, 200, 328, 360, 428 ], [ 41, 201, 300, 344, 361, 387 ], [ 42, 202, 210, 362, 448, 476 ], [ 43, 203, 209, 363, 438, 447 ], [ 44, 204, 271, 364, 437, 478 ], [ 45, 167, 205, 365, 422, 460 ], [ 46, 206, 214, 366, 423, 459 ], [ 47, 207, 213, 367, 458, 471 ], [ 48, 208, 275, 333, 368, 457 ], [ 49, 202, 209, 320, 369, 379 ], [ 50, 203, 210, 339, 370, 439 ], [ 51, 204, 211, 371, 429, 440 ], [ 52, 205, 212, 353, 361, 372 ], [ 53, 206, 213, 373, 414, 454 ], [ 54, 207, 214, 374, 413, 455 ], [ 55, 208, 215, 375, 395, 467 ], [ 56, 216, 225, 371, 376, 389 ], [ 57, 217, 286, 377, 388, 433 ], [ 58, 218, 227, 335, 378, 432 ], [ 59, 219, 288, 334, 379, 473 ], [ 60, 220, 229, 356, 380, 406 ], [ 61, 221, 290, 355, 381, 407 ], [ 62, 222, 231, 354, 382, 461 ], [ 63, 223, 292, 383, 462, 478 ], [ 64, 224, 306, 363, 382, 384 ], [ 65, 168, 225, 331, 364, 385 ], [ 66, 216, 226, 380, 386, 424 ], [ 67, 217, 227, 329, 387, 425 ], [ 68, 170, 228, 342, 388, 408 ], [ 69, 171, 229, 347, 389, 398 ], [ 70, 220, 230, 348, 390, 397 ], [ 71, 221, 231, 391, 442, 456 ], [ 72, 183, 232, 392, 419, 462 ], [ 73, 233, 242, 393, 461, 470 ], [ 74, 234, 241, 394, 407, 469 ], [ 75, 235, 297, 384, 395, 406 ], [ 76, 186, 236, 396, 434, 452 ], [ 77, 237, 246, 322, 397, 433 ], [ 78, 238, 245, 357, 398, 432 ], [ 79, 239, 301, 358, 399, 431 ], [ 80, 232, 240, 325, 400, 410 ], [ 81, 233, 241, 399, 401, 411 ], [ 82, 234, 242, 402, 456, 464 ], [ 83, 235, 243, 397, 403, 465 ], [ 84, 236, 244, 383, 404, 472 ], [ 85, 237, 245, 405, 425, 445 ], [ 86, 238, 246, 406, 426, 444 ], [ 87, 239, 247, 350, 364, 407 ], [ 88, 248, 257, 358, 403, 408 ], [ 89, 249, 308, 357, 409, 459 ], [ 90, 250, 259, 322, 410, 458 ], [ 91, 251, 310, 411, 452, 479 ], [ 92, 252, 261, 332, 412, 437 ], [ 93, 253, 311, 413, 438, 470 ], [ 94, 254, 263, 414, 469, 476 ], [ 95, 174, 255, 344, 415, 468 ], [ 96, 188, 256, 352, 394, 416 ], [ 97, 189, 257, 321, 395, 417 ], [ 98, 248, 258, 350, 418, 453 ], [ 99, 249, 259, 419, 444, 454 ], [ 100, 192, 260, 368, 376, 420 ], [ 101, 193, 261, 421, 430, 465 ], [ 102, 252, 262, 422, 429, 466 ], [ 103, 253, 263, 339, 411, 423 ], [ 104, 211, 264, 424, 436, 449 ], [ 105, 265, 273, 355, 425, 435 ], [ 106, 266, 272, 354, 375, 426 ], [ 107, 267, 313, 374, 416, 427 ], [ 108, 215, 268, 334, 403, 428 ], [ 109, 269, 277, 335, 402, 429 ], [ 110, 270, 276, 388, 401, 430 ], [ 111, 264, 271, 430, 431, 441 ], [ 112, 265, 272, 368, 432, 442 ], [ 113, 266, 273, 428, 433, 477 ], [ 114, 267, 274, 347, 366, 434 ], [ 115, 268, 275, 415, 435, 453 ], [ 116, 269, 276, 330, 393, 436 ], [ 117, 270, 277, 329, 394, 437 ], [ 118, 160, 278, 338, 380, 438 ], [ 119, 279, 287, 333, 434, 439 ], [ 120, 280, 318, 440, 471, 475 ], [ 121, 281, 289, 423, 441, 474 ], [ 122, 195, 282, 400, 422, 442 ], [ 123, 283, 291, 443, 449, 463 ], [ 124, 197, 284, 327, 444, 448 ], [ 125, 162, 285, 372, 445, 447 ], [ 126, 218, 286, 330, 426, 446 ], [ 127, 219, 287, 415, 427, 447 ], [ 128, 279, 288, 448, 467, 472 ], [ 129, 280, 289, 336, 413, 449 ], [ 130, 222, 290, 399, 450, 477 ], [ 131, 223, 291, 325, 440, 451 ], [ 132, 283, 292, 324, 441, 452 ], [ 133, 243, 293, 332, 405, 453 ], [ 134, 294, 299, 386, 404, 454 ], [ 135, 295, 298, 346, 385, 455 ], [ 136, 247, 296, 359, 371, 456 ], [ 137, 293, 297, 398, 457, 466 ], [ 138, 294, 298, 328, 342, 458 ], [ 139, 295, 299, 376, 396, 459 ], [ 140, 163, 300, 340, 377, 460 ], [ 141, 296, 301, 321, 424, 461 ], [ 142, 164, 302, 352, 362, 462 ], [ 143, 165, 303, 351, 363, 463 ], [ 144, 304, 309, 451, 460, 464 ], [ 145, 224, 305, 370, 450, 465 ], [ 146, 172, 306, 369, 391, 466 ], [ 147, 173, 307, 345, 419, 467 ], [ 148, 250, 308, 445, 455, 468 ], [ 149, 251, 309, 323, 383, 469 ], [ 150, 304, 310, 361, 443, 470 ], [ 151, 254, 311, 320, 464, 471 ], [ 152, 274, 312, 356, 373, 472 ], [ 153, 312, 313, 348, 367, 473 ], [ 154, 176, 314, 326, 349, 474 ], [ 155, 177, 315, 365, 408, 475 ], [ 156, 179, 316, 331, 392, 476 ], [ 157, 194, 317, 343, 421, 477 ], [ 158, 281, 318, 337, 414, 478 ], [ 159, 201, 319, 341, 378, 479 ], [ 0, 86, 180, 480, 549, 560 ], [ 1, 130, 284, 481, 533, 606 ], [ 2, 33, 198, 482, 525, 539 ], [ 3, 113, 202, 483, 505, 606 ], [ 4, 115, 166, 484, 520, 530 ], [ 5, 55, 205, 485, 529, 580 ], [ 6, 117, 206, 486, 581, 639 ], [ 7, 77, 302, 483, 487, 572 ], [ 8, 148, 305, 488, 550, 591 ], [ 9, 102, 255, 489, 506, 578 ], [ 10, 101, 307, 490, 564, 577 ], [ 11, 151, 169, 491, 565, 576 ], [ 12, 59, 225, 492, 522, 541 ], [ 13, 61, 175, 493, 501, 569 ], [ 14, 62, 228, 494, 500, 570 ], [ 15, 63, 229, 495, 509, 556 ], [ 16, 137, 178, 496, 532, 578 ], [ 17, 83, 232, 487, 497, 577 ], [ 18, 139, 233, 498, 623, 628 ], [ 19, 85, 181, 499, 503, 550 ], [ 20, 141, 182, 500, 551, 635 ], [ 21, 87, 236, 501, 610, 634 ], [ 22, 143, 237, 502, 611, 633 ], [ 23, 105, 314, 484, 503, 569 ], [ 24, 48, 278, 496, 504, 542 ], [ 25, 108, 316, 497, 505, 541 ], [ 26, 109, 184, 506, 587, 603 ], [ 27, 128, 282, 507, 562, 580 ], [ 28, 127, 317, 508, 520, 561 ], [ 29, 158, 187, 509, 519, 617 ], [ 30, 71, 285, 510, 534, 547 ], [ 31, 132, 161, 511, 535, 546 ], [ 32, 131, 190, 512, 545, 595 ], [ 33, 37, 191, 513, 544, 596 ], [ 34, 89, 196, 498, 513, 514 ], [ 35, 90, 256, 515, 552, 572 ], [ 36, 91, 257, 511, 516, 553 ], [ 37, 92, 199, 486, 517, 599 ], [ 38, 93, 200, 518, 527, 537 ], [ 39, 94, 260, 519, 526, 538 ], [ 40, 95, 261, 488, 520, 588 ], [ 41, 112, 203, 504, 521, 547 ], [ 42, 153, 204, 522, 608, 636 ], [ 43, 114, 264, 523, 598, 607 ], [ 44, 155, 265, 524, 597, 638 ], [ 45, 116, 207, 525, 582, 620 ], [ 46, 156, 208, 526, 583, 619 ], [ 47, 118, 268, 527, 618, 631 ], [ 25, 48, 269, 493, 528, 617 ], [ 49, 75, 300, 480, 529, 539 ], [ 50, 133, 319, 499, 530, 599 ], [ 51, 134, 209, 531, 589, 600 ], [ 52, 78, 303, 513, 521, 532 ], [ 53, 79, 167, 533, 574, 614 ], [ 54, 136, 212, 534, 573, 615 ], [ 4, 55, 213, 535, 555, 627 ], [ 56, 99, 306, 531, 536, 549 ], [ 57, 150, 168, 537, 548, 593 ], [ 58, 149, 216, 495, 538, 592 ], [ 59, 64, 217, 494, 539, 633 ], [ 60, 103, 170, 516, 540, 566 ], [ 14, 61, 171, 515, 541, 567 ], [ 13, 62, 220, 514, 542, 621 ], [ 63, 68, 221, 543, 622, 638 ], [ 64, 119, 226, 523, 542, 544 ], [ 65, 120, 227, 491, 524, 545 ], [ 66, 121, 286, 540, 546, 584 ], [ 67, 122, 287, 489, 547, 585 ], [ 68, 123, 230, 502, 548, 568 ], [ 69, 124, 231, 507, 549, 558 ], [ 70, 125, 290, 508, 550, 557 ], [ 1, 71, 291, 551, 602, 616 ], [ 72, 138, 234, 552, 579, 622 ], [ 73, 159, 235, 553, 621, 630 ], [ 74, 140, 293, 554, 567, 629 ], [ 50, 75, 294, 544, 555, 566 ], [ 76, 142, 238, 556, 594, 612 ], [ 52, 77, 239, 482, 557, 593 ], [ 7, 78, 296, 517, 558, 592 ], [ 54, 79, 164, 518, 559, 591 ], [ 80, 106, 315, 485, 560, 570 ], [ 81, 107, 183, 559, 561, 571 ], [ 82, 152, 240, 562, 616, 624 ], [ 16, 83, 241, 557, 563, 625 ], [ 84, 110, 185, 543, 564, 632 ], [ 0, 85, 186, 565, 585, 605 ], [ 19, 86, 244, 566, 586, 604 ], [ 20, 87, 245, 510, 524, 567 ], [ 88, 129, 188, 518, 563, 568 ], [ 35, 89, 189, 517, 569, 619 ], [ 34, 90, 248, 482, 570, 618 ], [ 91, 96, 249, 571, 612, 639 ], [ 2, 92, 192, 492, 572, 597 ], [ 39, 93, 193, 573, 598, 630 ], [ 38, 94, 252, 574, 629, 636 ], [ 95, 100, 253, 504, 575, 628 ], [ 96, 144, 258, 512, 554, 576 ], [ 97, 145, 259, 481, 555, 577 ], [ 98, 146, 308, 510, 578, 613 ], [ 8, 99, 309, 579, 604, 614 ], [ 100, 147, 262, 528, 536, 580 ], [ 9, 101, 263, 581, 590, 625 ], [ 10, 102, 311, 582, 589, 626 ], [ 11, 103, 173, 499, 571, 583 ], [ 104, 154, 266, 584, 596, 609 ], [ 80, 105, 267, 515, 585, 595 ], [ 23, 106, 312, 514, 535, 586 ], [ 82, 107, 176, 534, 576, 587 ], [ 24, 108, 270, 494, 563, 588 ], [ 84, 109, 160, 495, 562, 589 ], [ 26, 110, 179, 548, 561, 590 ], [ 111, 135, 210, 590, 591, 601 ], [ 3, 112, 211, 528, 592, 602 ], [ 41, 113, 271, 588, 593, 637 ], [ 42, 114, 272, 507, 526, 594 ], [ 5, 115, 214, 575, 595, 613 ], [ 6, 116, 215, 490, 553, 596 ], [ 45, 117, 275, 489, 554, 597 ], [ 46, 118, 276, 498, 540, 598 ], [ 12, 119, 218, 493, 594, 599 ], [ 66, 120, 219, 600, 631, 635 ], [ 65, 121, 279, 583, 601, 634 ], [ 122, 126, 280, 560, 582, 602 ], [ 15, 123, 222, 603, 609, 623 ], [ 70, 124, 223, 487, 604, 608 ], [ 69, 125, 283, 532, 605, 607 ], [ 126, 157, 288, 490, 586, 606 ], [ 27, 127, 289, 575, 587, 607 ], [ 28, 128, 318, 608, 627, 632 ], [ 29, 129, 194, 496, 573, 609 ], [ 30, 130, 292, 559, 610, 637 ], [ 31, 131, 162, 485, 600, 611 ], [ 32, 132, 197, 484, 601, 612 ], [ 49, 133, 295, 492, 565, 613 ], [ 111, 134, 163, 546, 564, 614 ], [ 51, 135, 201, 506, 545, 615 ], [ 53, 136, 165, 519, 531, 616 ], [ 17, 137, 242, 558, 617, 626 ], [ 18, 138, 243, 488, 502, 618 ], [ 72, 139, 297, 536, 556, 619 ], [ 73, 140, 298, 500, 537, 620 ], [ 21, 141, 246, 481, 584, 621 ], [ 22, 142, 247, 512, 522, 622 ], [ 76, 143, 301, 511, 523, 623 ], [ 36, 144, 250, 611, 620, 624 ], [ 98, 145, 251, 530, 610, 625 ], [ 97, 146, 304, 529, 551, 626 ], [ 40, 147, 254, 505, 579, 627 ], [ 56, 148, 310, 605, 615, 628 ], [ 57, 149, 172, 483, 543, 629 ], [ 58, 150, 224, 521, 603, 630 ], [ 60, 151, 174, 480, 624, 631 ], [ 81, 152, 177, 516, 533, 632 ], [ 43, 153, 273, 508, 527, 633 ], [ 44, 154, 274, 486, 509, 634 ], [ 104, 155, 313, 525, 568, 635 ], [ 47, 156, 277, 491, 552, 636 ], [ 67, 157, 281, 503, 581, 637 ], [ 88, 158, 195, 497, 574, 638 ], [ 74, 159, 299, 501, 538, 639 ] ] }, "distance": { "d": 32, "X": { "value": 32, "confidence": "upper_bound", "witness": [ 0, 40, 85, 86, 103, 113, 166, 168, 261, 263, 290, 294, 316, 327, 328, 331, 332, 337, 381, 405, 414, 421, 444, 454, 477, 499, 505, 530, 557, 566, 593, 625 ] }, "Z": { "value": 34, "confidence": "upper_bound", "witness": [ 7, 12, 17, 25, 71, 82, 84, 92, 96, 112, 142, 169, 170, 189, 231, 262, 270, 277, 282, 296, 297, 388, 391, 394, 396, 404, 417, 437, 528, 543, 556, 562, 576, 592 ] } }, "provenance": { "authors": [ "@rajendrarajpurohit" ], "construction": "Coset lifted product (CLP) code, Definition III.1 of arXiv:2610.12782, 1x1 over 2x2 layout, check weight 6. G = SmallGroup(800,639) (GAP SmallGroups id), H = = C5 given by generators in the polycyclic generating sequence f1,f2,... of G, m = [G:H] = 160, n = 4m = 640. Protograph a over F_2[G] acts by the left coset action on G/H, protograph B over F_2[N_G(H)] by the right coset action. a = 1 + f2*f4*f5*f6^4*f7 + f1*f2*f3*f4*f6^3*f7; B = [[1, 1 + f1*f2*f4*f7^2], [1 + f1*f2*f7^4, f4*f7^4]]. Rebuild with gap/rebuild.g in https://github.com/rajendrarajpurohit/CLP_QLDPC.", "origin": "submission", "date": "2026-10-30", "search_budget": { "ris_trials_per_side": 500000 }, "references": [ "arXiv:2610.12782" ], "novelty": "new_parameters", "notes": "New parameter set, not in arXiv:2610.12782. Found by the paper's search procedure extended from m <= 100 to 120 <= m <= 250 (pairs (G,H) with H cyclic, core free, [G:N_G(H)] in {2,3,4}), weight 6 shape |a| = 3 with B entry weights 2 1 / 1 2 or 1 2 / 2 1. Screened with QDistRnd, 10^6 rounds per side; the witness here is from this tool's own RIS search. Authors Rajendra Rajpurohit, V. Lalitha, Shayan Srinivasa Garani.", "model": "human" }, "family": "2bga-coset" }