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