{ "schema_version": "0.1", "name": "[[590,240,12]] pair-partition CPM CSS (qc_590_240_12)", "code_type": "CSS", "n": 590, "k": 240, "checks": { "X": [ [ 46, 158, 185, 221, 422, 440, 479, 507, 533, 534 ], [ 56, 168, 195, 231, 432, 450, 489, 517, 543, 544 ], [ 66, 178, 205, 241, 442, 460, 499, 527, 553, 554 ], [ 76, 188, 215, 251, 452, 470, 509, 537, 563, 564 ], [ 86, 198, 225, 261, 462, 480, 519, 547, 573, 574 ], [ 96, 208, 235, 271, 472, 490, 529, 557, 583, 584 ], [ 3, 4, 106, 218, 245, 281, 482, 500, 539, 567 ], [ 13, 14, 116, 228, 255, 291, 492, 510, 549, 577 ], [ 23, 24, 126, 238, 265, 301, 502, 520, 559, 587 ], [ 7, 33, 34, 136, 248, 275, 311, 512, 530, 569 ], [ 17, 43, 44, 146, 258, 285, 321, 522, 540, 579 ], [ 27, 53, 54, 156, 268, 295, 331, 532, 550, 589 ], [ 9, 37, 63, 64, 166, 278, 305, 341, 542, 560 ], [ 19, 47, 73, 74, 176, 288, 315, 351, 552, 570 ], [ 29, 57, 83, 84, 186, 298, 325, 361, 562, 580 ], [ 0, 39, 67, 93, 94, 196, 308, 335, 371, 572 ], [ 10, 49, 77, 103, 104, 206, 318, 345, 381, 582 ], [ 2, 20, 59, 87, 113, 114, 216, 328, 355, 391 ], [ 12, 30, 69, 97, 123, 124, 226, 338, 365, 401 ], [ 22, 40, 79, 107, 133, 134, 236, 348, 375, 411 ], [ 32, 50, 89, 117, 143, 144, 246, 358, 385, 421 ], [ 42, 60, 99, 127, 153, 154, 256, 368, 395, 431 ], [ 52, 70, 109, 137, 163, 164, 266, 378, 405, 441 ], [ 62, 80, 119, 147, 173, 174, 276, 388, 415, 451 ], [ 72, 90, 129, 157, 183, 184, 286, 398, 425, 461 ], [ 82, 100, 139, 167, 193, 194, 296, 408, 435, 471 ], [ 92, 110, 149, 177, 203, 204, 306, 418, 445, 481 ], [ 102, 120, 159, 187, 213, 214, 316, 428, 455, 491 ], [ 112, 130, 169, 197, 223, 224, 326, 438, 465, 501 ], [ 122, 140, 179, 207, 233, 234, 336, 448, 475, 511 ], [ 132, 150, 189, 217, 243, 244, 346, 458, 485, 521 ], [ 142, 160, 199, 227, 253, 254, 356, 468, 495, 531 ], [ 152, 170, 209, 237, 263, 264, 366, 478, 505, 541 ], [ 162, 180, 219, 247, 273, 274, 376, 488, 515, 551 ], [ 172, 190, 229, 257, 283, 284, 386, 498, 525, 561 ], [ 182, 200, 239, 267, 293, 294, 396, 508, 535, 571 ], [ 192, 210, 249, 277, 303, 304, 406, 518, 545, 581 ], [ 1, 202, 220, 259, 287, 313, 314, 416, 528, 555 ], [ 11, 212, 230, 269, 297, 323, 324, 426, 538, 565 ], [ 21, 222, 240, 279, 307, 333, 334, 436, 548, 575 ], [ 31, 232, 250, 289, 317, 343, 344, 446, 558, 585 ], [ 5, 41, 242, 260, 299, 327, 353, 354, 456, 568 ], [ 15, 51, 252, 270, 309, 337, 363, 364, 466, 578 ], [ 25, 61, 262, 280, 319, 347, 373, 374, 476, 588 ], [ 8, 35, 71, 272, 290, 329, 357, 383, 384, 486 ], [ 18, 45, 81, 282, 300, 339, 367, 393, 394, 496 ], [ 28, 55, 91, 292, 310, 349, 377, 403, 404, 506 ], [ 38, 65, 101, 302, 320, 359, 387, 413, 414, 516 ], [ 48, 75, 111, 312, 330, 369, 397, 423, 424, 526 ], [ 58, 85, 121, 322, 340, 379, 407, 433, 434, 536 ], [ 68, 95, 131, 332, 350, 389, 417, 443, 444, 546 ], [ 78, 105, 141, 342, 360, 399, 427, 453, 454, 556 ], [ 88, 115, 151, 352, 370, 409, 437, 463, 464, 566 ], [ 98, 125, 161, 362, 380, 419, 447, 473, 474, 576 ], [ 108, 135, 171, 372, 390, 429, 457, 483, 484, 586 ], [ 6, 118, 145, 181, 382, 400, 439, 467, 493, 494 ], [ 16, 128, 155, 191, 392, 410, 449, 477, 503, 504 ], [ 26, 138, 165, 201, 402, 420, 459, 487, 513, 514 ], [ 36, 148, 175, 211, 412, 430, 469, 497, 523, 524 ], [ 51, 55, 250, 326, 352, 383, 408, 474, 577, 589 ], [ 9, 61, 65, 260, 336, 362, 393, 418, 484, 587 ], [ 7, 19, 71, 75, 270, 346, 372, 403, 428, 494 ], [ 17, 29, 81, 85, 280, 356, 382, 413, 438, 504 ], [ 27, 39, 91, 95, 290, 366, 392, 423, 448, 514 ], [ 37, 49, 101, 105, 300, 376, 402, 433, 458, 524 ], [ 47, 59, 111, 115, 310, 386, 412, 443, 468, 534 ], [ 57, 69, 121, 125, 320, 396, 422, 453, 478, 544 ], [ 67, 79, 131, 135, 330, 406, 432, 463, 488, 554 ], [ 77, 89, 141, 145, 340, 416, 442, 473, 498, 564 ], [ 87, 99, 151, 155, 350, 426, 452, 483, 508, 574 ], [ 97, 109, 161, 165, 360, 436, 462, 493, 518, 584 ], [ 4, 107, 119, 171, 175, 370, 446, 472, 503, 528 ], [ 14, 117, 129, 181, 185, 380, 456, 482, 513, 538 ], [ 24, 127, 139, 191, 195, 390, 466, 492, 523, 548 ], [ 34, 137, 149, 201, 205, 400, 476, 502, 533, 558 ], [ 44, 147, 159, 211, 215, 410, 486, 512, 543, 568 ], [ 54, 157, 169, 221, 225, 420, 496, 522, 553, 578 ], [ 64, 167, 179, 231, 235, 430, 506, 532, 563, 588 ], [ 8, 74, 177, 189, 241, 245, 440, 516, 542, 573 ], [ 18, 84, 187, 199, 251, 255, 450, 526, 552, 583 ], [ 3, 28, 94, 197, 209, 261, 265, 460, 536, 562 ], [ 13, 38, 104, 207, 219, 271, 275, 470, 546, 572 ], [ 23, 48, 114, 217, 229, 281, 285, 480, 556, 582 ], [ 2, 33, 58, 124, 227, 239, 291, 295, 490, 566 ], [ 12, 43, 68, 134, 237, 249, 301, 305, 500, 576 ], [ 22, 53, 78, 144, 247, 259, 311, 315, 510, 586 ], [ 6, 32, 63, 88, 154, 257, 269, 321, 325, 520 ], [ 16, 42, 73, 98, 164, 267, 279, 331, 335, 530 ], [ 26, 52, 83, 108, 174, 277, 289, 341, 345, 540 ], [ 36, 62, 93, 118, 184, 287, 299, 351, 355, 550 ], [ 46, 72, 103, 128, 194, 297, 309, 361, 365, 560 ], [ 56, 82, 113, 138, 204, 307, 319, 371, 375, 570 ], [ 66, 92, 123, 148, 214, 317, 329, 381, 385, 580 ], [ 0, 76, 102, 133, 158, 224, 327, 339, 391, 395 ], [ 10, 86, 112, 143, 168, 234, 337, 349, 401, 405 ], [ 20, 96, 122, 153, 178, 244, 347, 359, 411, 415 ], [ 30, 106, 132, 163, 188, 254, 357, 369, 421, 425 ], [ 40, 116, 142, 173, 198, 264, 367, 379, 431, 435 ], [ 50, 126, 152, 183, 208, 274, 377, 389, 441, 445 ], [ 60, 136, 162, 193, 218, 284, 387, 399, 451, 455 ], [ 70, 146, 172, 203, 228, 294, 397, 409, 461, 465 ], [ 80, 156, 182, 213, 238, 304, 407, 419, 471, 475 ], [ 90, 166, 192, 223, 248, 314, 417, 429, 481, 485 ], [ 100, 176, 202, 233, 258, 324, 427, 439, 491, 495 ], [ 110, 186, 212, 243, 268, 334, 437, 449, 501, 505 ], [ 120, 196, 222, 253, 278, 344, 447, 459, 511, 515 ], [ 130, 206, 232, 263, 288, 354, 457, 469, 521, 525 ], [ 140, 216, 242, 273, 298, 364, 467, 479, 531, 535 ], [ 150, 226, 252, 283, 308, 374, 477, 489, 541, 545 ], [ 160, 236, 262, 293, 318, 384, 487, 499, 551, 555 ], [ 170, 246, 272, 303, 328, 394, 497, 509, 561, 565 ], [ 180, 256, 282, 313, 338, 404, 507, 519, 571, 575 ], [ 190, 266, 292, 323, 348, 414, 517, 529, 581, 585 ], [ 1, 5, 200, 276, 302, 333, 358, 424, 527, 539 ], [ 11, 15, 210, 286, 312, 343, 368, 434, 537, 549 ], [ 21, 25, 220, 296, 322, 353, 378, 444, 547, 559 ], [ 31, 35, 230, 306, 332, 363, 388, 454, 557, 569 ], [ 41, 45, 240, 316, 342, 373, 398, 464, 567, 579 ], [ 18, 36, 43, 80, 347, 349, 441, 482, 514, 535 ], [ 28, 46, 53, 90, 357, 359, 451, 492, 524, 545 ], [ 38, 56, 63, 100, 367, 369, 461, 502, 534, 555 ], [ 48, 66, 73, 110, 377, 379, 471, 512, 544, 565 ], [ 58, 76, 83, 120, 387, 389, 481, 522, 554, 575 ], [ 68, 86, 93, 130, 397, 399, 491, 532, 564, 585 ], [ 5, 78, 96, 103, 140, 407, 409, 501, 542, 574 ], [ 15, 88, 106, 113, 150, 417, 419, 511, 552, 584 ], [ 4, 25, 98, 116, 123, 160, 427, 429, 521, 562 ], [ 14, 35, 108, 126, 133, 170, 437, 439, 531, 572 ], [ 24, 45, 118, 136, 143, 180, 447, 449, 541, 582 ], [ 2, 34, 55, 128, 146, 153, 190, 457, 459, 551 ], [ 12, 44, 65, 138, 156, 163, 200, 467, 469, 561 ], [ 22, 54, 75, 148, 166, 173, 210, 477, 479, 571 ], [ 32, 64, 85, 158, 176, 183, 220, 487, 489, 581 ], [ 1, 42, 74, 95, 168, 186, 193, 230, 497, 499 ], [ 11, 52, 84, 105, 178, 196, 203, 240, 507, 509 ], [ 21, 62, 94, 115, 188, 206, 213, 250, 517, 519 ], [ 31, 72, 104, 125, 198, 216, 223, 260, 527, 529 ], [ 41, 82, 114, 135, 208, 226, 233, 270, 537, 539 ], [ 51, 92, 124, 145, 218, 236, 243, 280, 547, 549 ], [ 61, 102, 134, 155, 228, 246, 253, 290, 557, 559 ], [ 71, 112, 144, 165, 238, 256, 263, 300, 567, 569 ], [ 81, 122, 154, 175, 248, 266, 273, 310, 577, 579 ], [ 91, 132, 164, 185, 258, 276, 283, 320, 587, 589 ], [ 7, 9, 101, 142, 174, 195, 268, 286, 293, 330 ], [ 17, 19, 111, 152, 184, 205, 278, 296, 303, 340 ], [ 27, 29, 121, 162, 194, 215, 288, 306, 313, 350 ], [ 37, 39, 131, 172, 204, 225, 298, 316, 323, 360 ], [ 47, 49, 141, 182, 214, 235, 308, 326, 333, 370 ], [ 57, 59, 151, 192, 224, 245, 318, 336, 343, 380 ], [ 67, 69, 161, 202, 234, 255, 328, 346, 353, 390 ], [ 77, 79, 171, 212, 244, 265, 338, 356, 363, 400 ], [ 87, 89, 181, 222, 254, 275, 348, 366, 373, 410 ], [ 97, 99, 191, 232, 264, 285, 358, 376, 383, 420 ], [ 107, 109, 201, 242, 274, 295, 368, 386, 393, 430 ], [ 117, 119, 211, 252, 284, 305, 378, 396, 403, 440 ], [ 127, 129, 221, 262, 294, 315, 388, 406, 413, 450 ], [ 137, 139, 231, 272, 304, 325, 398, 416, 423, 460 ], [ 147, 149, 241, 282, 314, 335, 408, 426, 433, 470 ], [ 157, 159, 251, 292, 324, 345, 418, 436, 443, 480 ], [ 167, 169, 261, 302, 334, 355, 428, 446, 453, 490 ], [ 177, 179, 271, 312, 344, 365, 438, 456, 463, 500 ], [ 187, 189, 281, 322, 354, 375, 448, 466, 473, 510 ], [ 197, 199, 291, 332, 364, 385, 458, 476, 483, 520 ], [ 207, 209, 301, 342, 374, 395, 468, 486, 493, 530 ], [ 217, 219, 311, 352, 384, 405, 478, 496, 503, 540 ], [ 227, 229, 321, 362, 394, 415, 488, 506, 513, 550 ], [ 237, 239, 331, 372, 404, 425, 498, 516, 523, 560 ], [ 247, 249, 341, 382, 414, 435, 508, 526, 533, 570 ], [ 257, 259, 351, 392, 424, 445, 518, 536, 543, 580 ], [ 0, 267, 269, 361, 402, 434, 455, 528, 546, 553 ], [ 10, 277, 279, 371, 412, 444, 465, 538, 556, 563 ], [ 20, 287, 289, 381, 422, 454, 475, 548, 566, 573 ], [ 30, 297, 299, 391, 432, 464, 485, 558, 576, 583 ], [ 3, 40, 307, 309, 401, 442, 474, 495, 568, 586 ], [ 6, 13, 50, 317, 319, 411, 452, 484, 505, 578 ], [ 16, 23, 60, 327, 329, 421, 462, 494, 515, 588 ], [ 8, 26, 33, 70, 337, 339, 431, 472, 504, 525 ] ], "Z": [ [ 45, 120, 131, 274, 316, 362, 389, 393, 447, 488 ], [ 55, 130, 141, 284, 326, 372, 399, 403, 457, 498 ], [ 65, 140, 151, 294, 336, 382, 409, 413, 467, 508 ], [ 75, 150, 161, 304, 346, 392, 419, 423, 477, 518 ], [ 85, 160, 171, 314, 356, 402, 429, 433, 487, 528 ], [ 95, 170, 181, 324, 366, 412, 439, 443, 497, 538 ], [ 105, 180, 191, 334, 376, 422, 449, 453, 507, 548 ], [ 115, 190, 201, 344, 386, 432, 459, 463, 517, 558 ], [ 125, 200, 211, 354, 396, 442, 469, 473, 527, 568 ], [ 135, 210, 221, 364, 406, 452, 479, 483, 537, 578 ], [ 145, 220, 231, 374, 416, 462, 489, 493, 547, 588 ], [ 8, 155, 230, 241, 384, 426, 472, 499, 503, 557 ], [ 18, 165, 240, 251, 394, 436, 482, 509, 513, 567 ], [ 28, 175, 250, 261, 404, 446, 492, 519, 523, 577 ], [ 38, 185, 260, 271, 414, 456, 502, 529, 533, 587 ], [ 7, 48, 195, 270, 281, 424, 466, 512, 539, 543 ], [ 17, 58, 205, 280, 291, 434, 476, 522, 549, 553 ], [ 27, 68, 215, 290, 301, 444, 486, 532, 559, 563 ], [ 37, 78, 225, 300, 311, 454, 496, 542, 569, 573 ], [ 47, 88, 235, 310, 321, 464, 506, 552, 579, 583 ], [ 3, 57, 98, 245, 320, 331, 474, 516, 562, 589 ], [ 9, 13, 67, 108, 255, 330, 341, 484, 526, 572 ], [ 19, 23, 77, 118, 265, 340, 351, 494, 536, 582 ], [ 2, 29, 33, 87, 128, 275, 350, 361, 504, 546 ], [ 12, 39, 43, 97, 138, 285, 360, 371, 514, 556 ], [ 22, 49, 53, 107, 148, 295, 370, 381, 524, 566 ], [ 32, 59, 63, 117, 158, 305, 380, 391, 534, 576 ], [ 42, 69, 73, 127, 168, 315, 390, 401, 544, 586 ], [ 6, 52, 79, 83, 137, 178, 325, 400, 411, 554 ], [ 16, 62, 89, 93, 147, 188, 335, 410, 421, 564 ], [ 26, 72, 99, 103, 157, 198, 345, 420, 431, 574 ], [ 36, 82, 109, 113, 167, 208, 355, 430, 441, 584 ], [ 4, 46, 92, 119, 123, 177, 218, 365, 440, 451 ], [ 14, 56, 102, 129, 133, 187, 228, 375, 450, 461 ], [ 24, 66, 112, 139, 143, 197, 238, 385, 460, 471 ], [ 34, 76, 122, 149, 153, 207, 248, 395, 470, 481 ], [ 44, 86, 132, 159, 163, 217, 258, 405, 480, 491 ], [ 54, 96, 142, 169, 173, 227, 268, 415, 490, 501 ], [ 64, 106, 152, 179, 183, 237, 278, 425, 500, 511 ], [ 74, 116, 162, 189, 193, 247, 288, 435, 510, 521 ], [ 84, 126, 172, 199, 203, 257, 298, 445, 520, 531 ], [ 94, 136, 182, 209, 213, 267, 308, 455, 530, 541 ], [ 104, 146, 192, 219, 223, 277, 318, 465, 540, 551 ], [ 114, 156, 202, 229, 233, 287, 328, 475, 550, 561 ], [ 124, 166, 212, 239, 243, 297, 338, 485, 560, 571 ], [ 134, 176, 222, 249, 253, 307, 348, 495, 570, 581 ], [ 1, 144, 186, 232, 259, 263, 317, 358, 505, 580 ], [ 0, 11, 154, 196, 242, 269, 273, 327, 368, 515 ], [ 10, 21, 164, 206, 252, 279, 283, 337, 378, 525 ], [ 20, 31, 174, 216, 262, 289, 293, 347, 388, 535 ], [ 30, 41, 184, 226, 272, 299, 303, 357, 398, 545 ], [ 40, 51, 194, 236, 282, 309, 313, 367, 408, 555 ], [ 50, 61, 204, 246, 292, 319, 323, 377, 418, 565 ], [ 60, 71, 214, 256, 302, 329, 333, 387, 428, 575 ], [ 70, 81, 224, 266, 312, 339, 343, 397, 438, 585 ], [ 5, 80, 91, 234, 276, 322, 349, 353, 407, 448 ], [ 15, 90, 101, 244, 286, 332, 359, 363, 417, 458 ], [ 25, 100, 111, 254, 296, 342, 369, 373, 427, 468 ], [ 35, 110, 121, 264, 306, 352, 379, 383, 437, 478 ], [ 172, 276, 283, 360, 397, 399, 424, 451, 518, 545 ], [ 182, 286, 293, 370, 407, 409, 434, 461, 528, 555 ], [ 192, 296, 303, 380, 417, 419, 444, 471, 538, 565 ], [ 202, 306, 313, 390, 427, 429, 454, 481, 548, 575 ], [ 212, 316, 323, 400, 437, 439, 464, 491, 558, 585 ], [ 5, 222, 326, 333, 410, 447, 449, 474, 501, 568 ], [ 15, 232, 336, 343, 420, 457, 459, 484, 511, 578 ], [ 25, 242, 346, 353, 430, 467, 469, 494, 521, 588 ], [ 8, 35, 252, 356, 363, 440, 477, 479, 504, 531 ], [ 18, 45, 262, 366, 373, 450, 487, 489, 514, 541 ], [ 28, 55, 272, 376, 383, 460, 497, 499, 524, 551 ], [ 38, 65, 282, 386, 393, 470, 507, 509, 534, 561 ], [ 48, 75, 292, 396, 403, 480, 517, 519, 544, 571 ], [ 58, 85, 302, 406, 413, 490, 527, 529, 554, 581 ], [ 1, 68, 95, 312, 416, 423, 500, 537, 539, 564 ], [ 11, 78, 105, 322, 426, 433, 510, 547, 549, 574 ], [ 21, 88, 115, 332, 436, 443, 520, 557, 559, 584 ], [ 4, 31, 98, 125, 342, 446, 453, 530, 567, 569 ], [ 14, 41, 108, 135, 352, 456, 463, 540, 577, 579 ], [ 24, 51, 118, 145, 362, 466, 473, 550, 587, 589 ], [ 7, 9, 34, 61, 128, 155, 372, 476, 483, 560 ], [ 17, 19, 44, 71, 138, 165, 382, 486, 493, 570 ], [ 27, 29, 54, 81, 148, 175, 392, 496, 503, 580 ], [ 0, 37, 39, 64, 91, 158, 185, 402, 506, 513 ], [ 10, 47, 49, 74, 101, 168, 195, 412, 516, 523 ], [ 20, 57, 59, 84, 111, 178, 205, 422, 526, 533 ], [ 30, 67, 69, 94, 121, 188, 215, 432, 536, 543 ], [ 40, 77, 79, 104, 131, 198, 225, 442, 546, 553 ], [ 50, 87, 89, 114, 141, 208, 235, 452, 556, 563 ], [ 60, 97, 99, 124, 151, 218, 245, 462, 566, 573 ], [ 70, 107, 109, 134, 161, 228, 255, 472, 576, 583 ], [ 3, 80, 117, 119, 144, 171, 238, 265, 482, 586 ], [ 6, 13, 90, 127, 129, 154, 181, 248, 275, 492 ], [ 16, 23, 100, 137, 139, 164, 191, 258, 285, 502 ], [ 26, 33, 110, 147, 149, 174, 201, 268, 295, 512 ], [ 36, 43, 120, 157, 159, 184, 211, 278, 305, 522 ], [ 46, 53, 130, 167, 169, 194, 221, 288, 315, 532 ], [ 56, 63, 140, 177, 179, 204, 231, 298, 325, 542 ], [ 66, 73, 150, 187, 189, 214, 241, 308, 335, 552 ], [ 76, 83, 160, 197, 199, 224, 251, 318, 345, 562 ], [ 86, 93, 170, 207, 209, 234, 261, 328, 355, 572 ], [ 96, 103, 180, 217, 219, 244, 271, 338, 365, 582 ], [ 2, 106, 113, 190, 227, 229, 254, 281, 348, 375 ], [ 12, 116, 123, 200, 237, 239, 264, 291, 358, 385 ], [ 22, 126, 133, 210, 247, 249, 274, 301, 368, 395 ], [ 32, 136, 143, 220, 257, 259, 284, 311, 378, 405 ], [ 42, 146, 153, 230, 267, 269, 294, 321, 388, 415 ], [ 52, 156, 163, 240, 277, 279, 304, 331, 398, 425 ], [ 62, 166, 173, 250, 287, 289, 314, 341, 408, 435 ], [ 72, 176, 183, 260, 297, 299, 324, 351, 418, 445 ], [ 82, 186, 193, 270, 307, 309, 334, 361, 428, 455 ], [ 92, 196, 203, 280, 317, 319, 344, 371, 438, 465 ], [ 102, 206, 213, 290, 327, 329, 354, 381, 448, 475 ], [ 112, 216, 223, 300, 337, 339, 364, 391, 458, 485 ], [ 122, 226, 233, 310, 347, 349, 374, 401, 468, 495 ], [ 132, 236, 243, 320, 357, 359, 384, 411, 478, 505 ], [ 142, 246, 253, 330, 367, 369, 394, 421, 488, 515 ], [ 152, 256, 263, 340, 377, 379, 404, 431, 498, 525 ], [ 162, 266, 273, 350, 387, 389, 414, 441, 508, 535 ], [ 389, 406, 417, 432, 445, 450, 481, 518, 583, 584 ], [ 3, 4, 399, 416, 427, 442, 455, 460, 491, 528 ], [ 13, 14, 409, 426, 437, 452, 465, 470, 501, 538 ], [ 23, 24, 419, 436, 447, 462, 475, 480, 511, 548 ], [ 33, 34, 429, 446, 457, 472, 485, 490, 521, 558 ], [ 43, 44, 439, 456, 467, 482, 495, 500, 531, 568 ], [ 53, 54, 449, 466, 477, 492, 505, 510, 541, 578 ], [ 63, 64, 459, 476, 487, 502, 515, 520, 551, 588 ], [ 8, 73, 74, 469, 486, 497, 512, 525, 530, 561 ], [ 18, 83, 84, 479, 496, 507, 522, 535, 540, 571 ], [ 28, 93, 94, 489, 506, 517, 532, 545, 550, 581 ], [ 1, 38, 103, 104, 499, 516, 527, 542, 555, 560 ], [ 11, 48, 113, 114, 509, 526, 537, 552, 565, 570 ], [ 21, 58, 123, 124, 519, 536, 547, 562, 575, 580 ], [ 0, 31, 68, 133, 134, 529, 546, 557, 572, 585 ], [ 5, 10, 41, 78, 143, 144, 539, 556, 567, 582 ], [ 2, 15, 20, 51, 88, 153, 154, 549, 566, 577 ], [ 12, 25, 30, 61, 98, 163, 164, 559, 576, 587 ], [ 7, 22, 35, 40, 71, 108, 173, 174, 569, 586 ], [ 6, 17, 32, 45, 50, 81, 118, 183, 184, 579 ], [ 16, 27, 42, 55, 60, 91, 128, 193, 194, 589 ], [ 9, 26, 37, 52, 65, 70, 101, 138, 203, 204 ], [ 19, 36, 47, 62, 75, 80, 111, 148, 213, 214 ], [ 29, 46, 57, 72, 85, 90, 121, 158, 223, 224 ], [ 39, 56, 67, 82, 95, 100, 131, 168, 233, 234 ], [ 49, 66, 77, 92, 105, 110, 141, 178, 243, 244 ], [ 59, 76, 87, 102, 115, 120, 151, 188, 253, 254 ], [ 69, 86, 97, 112, 125, 130, 161, 198, 263, 264 ], [ 79, 96, 107, 122, 135, 140, 171, 208, 273, 274 ], [ 89, 106, 117, 132, 145, 150, 181, 218, 283, 284 ], [ 99, 116, 127, 142, 155, 160, 191, 228, 293, 294 ], [ 109, 126, 137, 152, 165, 170, 201, 238, 303, 304 ], [ 119, 136, 147, 162, 175, 180, 211, 248, 313, 314 ], [ 129, 146, 157, 172, 185, 190, 221, 258, 323, 324 ], [ 139, 156, 167, 182, 195, 200, 231, 268, 333, 334 ], [ 149, 166, 177, 192, 205, 210, 241, 278, 343, 344 ], [ 159, 176, 187, 202, 215, 220, 251, 288, 353, 354 ], [ 169, 186, 197, 212, 225, 230, 261, 298, 363, 364 ], [ 179, 196, 207, 222, 235, 240, 271, 308, 373, 374 ], [ 189, 206, 217, 232, 245, 250, 281, 318, 383, 384 ], [ 199, 216, 227, 242, 255, 260, 291, 328, 393, 394 ], [ 209, 226, 237, 252, 265, 270, 301, 338, 403, 404 ], [ 219, 236, 247, 262, 275, 280, 311, 348, 413, 414 ], [ 229, 246, 257, 272, 285, 290, 321, 358, 423, 424 ], [ 239, 256, 267, 282, 295, 300, 331, 368, 433, 434 ], [ 249, 266, 277, 292, 305, 310, 341, 378, 443, 444 ], [ 259, 276, 287, 302, 315, 320, 351, 388, 453, 454 ], [ 269, 286, 297, 312, 325, 330, 361, 398, 463, 464 ], [ 279, 296, 307, 322, 335, 340, 371, 408, 473, 474 ], [ 289, 306, 317, 332, 345, 350, 381, 418, 483, 484 ], [ 299, 316, 327, 342, 355, 360, 391, 428, 493, 494 ], [ 309, 326, 337, 352, 365, 370, 401, 438, 503, 504 ], [ 319, 336, 347, 362, 375, 380, 411, 448, 513, 514 ], [ 329, 346, 357, 372, 385, 390, 421, 458, 523, 524 ], [ 339, 356, 367, 382, 395, 400, 431, 468, 533, 534 ], [ 349, 366, 377, 392, 405, 410, 441, 478, 543, 544 ], [ 359, 376, 387, 402, 415, 420, 451, 488, 553, 554 ], [ 369, 386, 397, 412, 425, 430, 461, 498, 563, 564 ], [ 379, 396, 407, 422, 435, 440, 471, 508, 573, 574 ] ] }, "distance": { "d": 12, "X": { "value": 12, "confidence": "exact", "witness": [ 1, 7, 108, 144, 260, 297, 330, 394, 456, 482, 539, 560 ] }, "Z": { "value": 12, "confidence": "exact", "witness": [ 0, 39, 61, 82, 95, 102, 131, 135, 193, 319, 455, 484 ] } }, "family": "pair-partition-cpm", "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "construction": "Pair-partition CPM-based CSS (arXiv:2607.14091v1): J=3 column weight, L=10 row weight, prime lift P=59, girth 6. H_X=(C(e_jl)), H_Z=(C(d_jl)) from pair-partition array M with paired-difference CSS orthogonality.", "references": [ "arXiv:2607.14091" ], "date": "2026", "novelty": "known_parameters", "notes": "Literature baseline (arXiv:2607.14091v1), pair-partition CPM-based CSS. Distance witness from paper's exhaustive search, regenerated with the companion repo's own C++ verifier against the reconstructed exponents. Converted from kasaikenta/pair-partition-cpm-css-codes. Literature novelty confirmed by manual cross-check: arXiv:2607.14091v1 (Okada & Kasai, 15 Jul 2026) explicitly reports these [[n,k,d]] parameters in its abstract/Table 1 and establishes the distances by exhaustive low-weight exclusion with explicit non-stabilizer witnesses. The verifier's 'literature novelty UNVERIFIED' label is by-design (validate_candidate.py performs no literature lookup) and is intentionally not overridden. Marked exact 2026-08-14 on the strength of the authors' public machine-verified certificate bundle (certificate_bundles_20260805/qc_590_240_12, status exact_distance_machine_verified in master_manifest.json, SHA-256-pinned artifacts): complete lower-bound coverage certificates through weight 10 on both sides plus explicit weight-12 logicals. The bundle's fixed-input .cpm expands to exactly this entry's check set, and its published witnesses were re-validated against this entry's matrices (kernel membership, row-space non-membership). Per board policy the entry still displays as an upper bound until this repo's own certification.", "origin": "baseline" } }