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