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