{ "schema_version": "0.2", "name": "[[602,264,d<=20]] pair-partition CPM CSS code", "code_type": "CSS", "n": 602, "k": 264, "checks": { "X": [ [ 33, 83, 98, 162, 213, 257, 285, 312, 355, 406, 463, 513, 535, 588 ], [ 34, 84, 99, 163, 214, 215, 286, 313, 356, 407, 464, 514, 536, 589 ], [ 35, 85, 100, 164, 172, 216, 287, 314, 357, 408, 465, 515, 537, 590 ], [ 36, 43, 101, 165, 173, 217, 288, 315, 358, 409, 466, 473, 538, 591 ], [ 37, 44, 102, 166, 174, 218, 289, 316, 359, 410, 467, 474, 539, 592 ], [ 38, 45, 103, 167, 175, 219, 290, 317, 360, 411, 468, 475, 540, 593 ], [ 39, 46, 104, 168, 176, 220, 291, 318, 361, 412, 469, 476, 541, 594 ], [ 40, 47, 105, 169, 177, 221, 292, 319, 362, 413, 470, 477, 542, 595 ], [ 41, 48, 106, 170, 178, 222, 293, 320, 363, 414, 471, 478, 543, 596 ], [ 42, 49, 107, 171, 179, 223, 294, 321, 364, 415, 472, 479, 544, 597 ], [ 0, 50, 108, 129, 180, 224, 295, 322, 365, 416, 430, 480, 545, 598 ], [ 1, 51, 109, 130, 181, 225, 296, 323, 366, 417, 431, 481, 546, 599 ], [ 2, 52, 110, 131, 182, 226, 297, 324, 367, 418, 432, 482, 547, 600 ], [ 3, 53, 111, 132, 183, 227, 298, 325, 368, 419, 433, 483, 548, 601 ], [ 4, 54, 112, 133, 184, 228, 299, 326, 369, 420, 434, 484, 549, 559 ], [ 5, 55, 113, 134, 185, 229, 300, 327, 370, 421, 435, 485, 550, 560 ], [ 6, 56, 114, 135, 186, 230, 258, 328, 371, 422, 436, 486, 551, 561 ], [ 7, 57, 115, 136, 187, 231, 259, 329, 372, 423, 437, 487, 552, 562 ], [ 8, 58, 116, 137, 188, 232, 260, 330, 373, 424, 438, 488, 553, 563 ], [ 9, 59, 117, 138, 189, 233, 261, 331, 374, 425, 439, 489, 554, 564 ], [ 10, 60, 118, 139, 190, 234, 262, 332, 375, 426, 440, 490, 555, 565 ], [ 11, 61, 119, 140, 191, 235, 263, 333, 376, 427, 441, 491, 556, 566 ], [ 12, 62, 120, 141, 192, 236, 264, 334, 377, 428, 442, 492, 557, 567 ], [ 13, 63, 121, 142, 193, 237, 265, 335, 378, 429, 443, 493, 558, 568 ], [ 14, 64, 122, 143, 194, 238, 266, 336, 379, 387, 444, 494, 516, 569 ], [ 15, 65, 123, 144, 195, 239, 267, 337, 380, 388, 445, 495, 517, 570 ], [ 16, 66, 124, 145, 196, 240, 268, 338, 381, 389, 446, 496, 518, 571 ], [ 17, 67, 125, 146, 197, 241, 269, 339, 382, 390, 447, 497, 519, 572 ], [ 18, 68, 126, 147, 198, 242, 270, 340, 383, 391, 448, 498, 520, 573 ], [ 19, 69, 127, 148, 199, 243, 271, 341, 384, 392, 449, 499, 521, 574 ], [ 20, 70, 128, 149, 200, 244, 272, 342, 385, 393, 450, 500, 522, 575 ], [ 21, 71, 86, 150, 201, 245, 273, 343, 386, 394, 451, 501, 523, 576 ], [ 22, 72, 87, 151, 202, 246, 274, 301, 344, 395, 452, 502, 524, 577 ], [ 23, 73, 88, 152, 203, 247, 275, 302, 345, 396, 453, 503, 525, 578 ], [ 24, 74, 89, 153, 204, 248, 276, 303, 346, 397, 454, 504, 526, 579 ], [ 25, 75, 90, 154, 205, 249, 277, 304, 347, 398, 455, 505, 527, 580 ], [ 26, 76, 91, 155, 206, 250, 278, 305, 348, 399, 456, 506, 528, 581 ], [ 27, 77, 92, 156, 207, 251, 279, 306, 349, 400, 457, 507, 529, 582 ], [ 28, 78, 93, 157, 208, 252, 280, 307, 350, 401, 458, 508, 530, 583 ], [ 29, 79, 94, 158, 209, 253, 281, 308, 351, 402, 459, 509, 531, 584 ], [ 30, 80, 95, 159, 210, 254, 282, 309, 352, 403, 460, 510, 532, 585 ], [ 31, 81, 96, 160, 211, 255, 283, 310, 353, 404, 461, 511, 533, 586 ], [ 32, 82, 97, 161, 212, 256, 284, 311, 354, 405, 462, 512, 534, 587 ], [ 22, 80, 128, 148, 198, 222, 266, 305, 368, 394, 470, 496, 554, 561 ], [ 23, 81, 86, 149, 199, 223, 267, 306, 369, 395, 471, 497, 555, 562 ], [ 24, 82, 87, 150, 200, 224, 268, 307, 370, 396, 472, 498, 556, 563 ], [ 25, 83, 88, 151, 201, 225, 269, 308, 371, 397, 430, 499, 557, 564 ], [ 26, 84, 89, 152, 202, 226, 270, 309, 372, 398, 431, 500, 558, 565 ], [ 27, 85, 90, 153, 203, 227, 271, 310, 373, 399, 432, 501, 516, 566 ], [ 28, 43, 91, 154, 204, 228, 272, 311, 374, 400, 433, 502, 517, 567 ], [ 29, 44, 92, 155, 205, 229, 273, 312, 375, 401, 434, 503, 518, 568 ], [ 30, 45, 93, 156, 206, 230, 274, 313, 376, 402, 435, 504, 519, 569 ], [ 31, 46, 94, 157, 207, 231, 275, 314, 377, 403, 436, 505, 520, 570 ], [ 32, 47, 95, 158, 208, 232, 276, 315, 378, 404, 437, 506, 521, 571 ], [ 33, 48, 96, 159, 209, 233, 277, 316, 379, 405, 438, 507, 522, 572 ], [ 34, 49, 97, 160, 210, 234, 278, 317, 380, 406, 439, 508, 523, 573 ], [ 35, 50, 98, 161, 211, 235, 279, 318, 381, 407, 440, 509, 524, 574 ], [ 36, 51, 99, 162, 212, 236, 280, 319, 382, 408, 441, 510, 525, 575 ], [ 37, 52, 100, 163, 213, 237, 281, 320, 383, 409, 442, 511, 526, 576 ], [ 38, 53, 101, 164, 214, 238, 282, 321, 384, 410, 443, 512, 527, 577 ], [ 39, 54, 102, 165, 172, 239, 283, 322, 385, 411, 444, 513, 528, 578 ], [ 40, 55, 103, 166, 173, 240, 284, 323, 386, 412, 445, 514, 529, 579 ], [ 41, 56, 104, 167, 174, 241, 285, 324, 344, 413, 446, 515, 530, 580 ], [ 42, 57, 105, 168, 175, 242, 286, 325, 345, 414, 447, 473, 531, 581 ], [ 0, 58, 106, 169, 176, 243, 287, 326, 346, 415, 448, 474, 532, 582 ], [ 1, 59, 107, 170, 177, 244, 288, 327, 347, 416, 449, 475, 533, 583 ], [ 2, 60, 108, 171, 178, 245, 289, 328, 348, 417, 450, 476, 534, 584 ], [ 3, 61, 109, 129, 179, 246, 290, 329, 349, 418, 451, 477, 535, 585 ], [ 4, 62, 110, 130, 180, 247, 291, 330, 350, 419, 452, 478, 536, 586 ], [ 5, 63, 111, 131, 181, 248, 292, 331, 351, 420, 453, 479, 537, 587 ], [ 6, 64, 112, 132, 182, 249, 293, 332, 352, 421, 454, 480, 538, 588 ], [ 7, 65, 113, 133, 183, 250, 294, 333, 353, 422, 455, 481, 539, 589 ], [ 8, 66, 114, 134, 184, 251, 295, 334, 354, 423, 456, 482, 540, 590 ], [ 9, 67, 115, 135, 185, 252, 296, 335, 355, 424, 457, 483, 541, 591 ], [ 10, 68, 116, 136, 186, 253, 297, 336, 356, 425, 458, 484, 542, 592 ], [ 11, 69, 117, 137, 187, 254, 298, 337, 357, 426, 459, 485, 543, 593 ], [ 12, 70, 118, 138, 188, 255, 299, 338, 358, 427, 460, 486, 544, 594 ], [ 13, 71, 119, 139, 189, 256, 300, 339, 359, 428, 461, 487, 545, 595 ], [ 14, 72, 120, 140, 190, 257, 258, 340, 360, 429, 462, 488, 546, 596 ], [ 15, 73, 121, 141, 191, 215, 259, 341, 361, 387, 463, 489, 547, 597 ], [ 16, 74, 122, 142, 192, 216, 260, 342, 362, 388, 464, 490, 548, 598 ], [ 17, 75, 123, 143, 193, 217, 261, 343, 363, 389, 465, 491, 549, 599 ], [ 18, 76, 124, 144, 194, 218, 262, 301, 364, 390, 466, 492, 550, 600 ], [ 19, 77, 125, 145, 195, 219, 263, 302, 365, 391, 467, 493, 551, 601 ], [ 20, 78, 126, 146, 196, 220, 264, 303, 366, 392, 468, 494, 552, 559 ], [ 21, 79, 127, 147, 197, 221, 265, 304, 367, 393, 469, 495, 553, 560 ], [ 12, 52, 101, 134, 197, 223, 274, 329, 347, 397, 441, 478, 541, 587 ], [ 13, 53, 102, 135, 198, 224, 275, 330, 348, 398, 442, 479, 542, 588 ], [ 14, 54, 103, 136, 199, 225, 276, 331, 349, 399, 443, 480, 543, 589 ], [ 15, 55, 104, 137, 200, 226, 277, 332, 350, 400, 444, 481, 544, 590 ], [ 16, 56, 105, 138, 201, 227, 278, 333, 351, 401, 445, 482, 545, 591 ], [ 17, 57, 106, 139, 202, 228, 279, 334, 352, 402, 446, 483, 546, 592 ], [ 18, 58, 107, 140, 203, 229, 280, 335, 353, 403, 447, 484, 547, 593 ], [ 19, 59, 108, 141, 204, 230, 281, 336, 354, 404, 448, 485, 548, 594 ], [ 20, 60, 109, 142, 205, 231, 282, 337, 355, 405, 449, 486, 549, 595 ], [ 21, 61, 110, 143, 206, 232, 283, 338, 356, 406, 450, 487, 550, 596 ], [ 22, 62, 111, 144, 207, 233, 284, 339, 357, 407, 451, 488, 551, 597 ], [ 23, 63, 112, 145, 208, 234, 285, 340, 358, 408, 452, 489, 552, 598 ], [ 24, 64, 113, 146, 209, 235, 286, 341, 359, 409, 453, 490, 553, 599 ], [ 25, 65, 114, 147, 210, 236, 287, 342, 360, 410, 454, 491, 554, 600 ], [ 26, 66, 115, 148, 211, 237, 288, 343, 361, 411, 455, 492, 555, 601 ], [ 27, 67, 116, 149, 212, 238, 289, 301, 362, 412, 456, 493, 556, 559 ], [ 28, 68, 117, 150, 213, 239, 290, 302, 363, 413, 457, 494, 557, 560 ], [ 29, 69, 118, 151, 214, 240, 291, 303, 364, 414, 458, 495, 558, 561 ], [ 30, 70, 119, 152, 172, 241, 292, 304, 365, 415, 459, 496, 516, 562 ], [ 31, 71, 120, 153, 173, 242, 293, 305, 366, 416, 460, 497, 517, 563 ], [ 32, 72, 121, 154, 174, 243, 294, 306, 367, 417, 461, 498, 518, 564 ], [ 33, 73, 122, 155, 175, 244, 295, 307, 368, 418, 462, 499, 519, 565 ], [ 34, 74, 123, 156, 176, 245, 296, 308, 369, 419, 463, 500, 520, 566 ], [ 35, 75, 124, 157, 177, 246, 297, 309, 370, 420, 464, 501, 521, 567 ], [ 36, 76, 125, 158, 178, 247, 298, 310, 371, 421, 465, 502, 522, 568 ], [ 37, 77, 126, 159, 179, 248, 299, 311, 372, 422, 466, 503, 523, 569 ], [ 38, 78, 127, 160, 180, 249, 300, 312, 373, 423, 467, 504, 524, 570 ], [ 39, 79, 128, 161, 181, 250, 258, 313, 374, 424, 468, 505, 525, 571 ], [ 40, 80, 86, 162, 182, 251, 259, 314, 375, 425, 469, 506, 526, 572 ], [ 41, 81, 87, 163, 183, 252, 260, 315, 376, 426, 470, 507, 527, 573 ], [ 42, 82, 88, 164, 184, 253, 261, 316, 377, 427, 471, 508, 528, 574 ], [ 0, 83, 89, 165, 185, 254, 262, 317, 378, 428, 472, 509, 529, 575 ], [ 1, 84, 90, 166, 186, 255, 263, 318, 379, 429, 430, 510, 530, 576 ], [ 2, 85, 91, 167, 187, 256, 264, 319, 380, 387, 431, 511, 531, 577 ], [ 3, 43, 92, 168, 188, 257, 265, 320, 381, 388, 432, 512, 532, 578 ], [ 4, 44, 93, 169, 189, 215, 266, 321, 382, 389, 433, 513, 533, 579 ], [ 5, 45, 94, 170, 190, 216, 267, 322, 383, 390, 434, 514, 534, 580 ], [ 6, 46, 95, 171, 191, 217, 268, 323, 384, 391, 435, 515, 535, 581 ], [ 7, 47, 96, 129, 192, 218, 269, 324, 385, 392, 436, 473, 536, 582 ], [ 8, 48, 97, 130, 193, 219, 270, 325, 386, 393, 437, 474, 537, 583 ], [ 9, 49, 98, 131, 194, 220, 271, 326, 344, 394, 438, 475, 538, 584 ], [ 10, 50, 99, 132, 195, 221, 272, 327, 345, 395, 439, 476, 539, 585 ], [ 11, 51, 100, 133, 196, 222, 273, 328, 346, 396, 440, 477, 540, 586 ], [ 19, 84, 91, 137, 213, 241, 299, 328, 347, 428, 445, 498, 537, 585 ], [ 20, 85, 92, 138, 214, 242, 300, 329, 348, 429, 446, 499, 538, 586 ], [ 21, 43, 93, 139, 172, 243, 258, 330, 349, 387, 447, 500, 539, 587 ], [ 22, 44, 94, 140, 173, 244, 259, 331, 350, 388, 448, 501, 540, 588 ], [ 23, 45, 95, 141, 174, 245, 260, 332, 351, 389, 449, 502, 541, 589 ], [ 24, 46, 96, 142, 175, 246, 261, 333, 352, 390, 450, 503, 542, 590 ], [ 25, 47, 97, 143, 176, 247, 262, 334, 353, 391, 451, 504, 543, 591 ], [ 26, 48, 98, 144, 177, 248, 263, 335, 354, 392, 452, 505, 544, 592 ], [ 27, 49, 99, 145, 178, 249, 264, 336, 355, 393, 453, 506, 545, 593 ], [ 28, 50, 100, 146, 179, 250, 265, 337, 356, 394, 454, 507, 546, 594 ], [ 29, 51, 101, 147, 180, 251, 266, 338, 357, 395, 455, 508, 547, 595 ], [ 30, 52, 102, 148, 181, 252, 267, 339, 358, 396, 456, 509, 548, 596 ], [ 31, 53, 103, 149, 182, 253, 268, 340, 359, 397, 457, 510, 549, 597 ], [ 32, 54, 104, 150, 183, 254, 269, 341, 360, 398, 458, 511, 550, 598 ], [ 33, 55, 105, 151, 184, 255, 270, 342, 361, 399, 459, 512, 551, 599 ], [ 34, 56, 106, 152, 185, 256, 271, 343, 362, 400, 460, 513, 552, 600 ], [ 35, 57, 107, 153, 186, 257, 272, 301, 363, 401, 461, 514, 553, 601 ], [ 36, 58, 108, 154, 187, 215, 273, 302, 364, 402, 462, 515, 554, 559 ], [ 37, 59, 109, 155, 188, 216, 274, 303, 365, 403, 463, 473, 555, 560 ], [ 38, 60, 110, 156, 189, 217, 275, 304, 366, 404, 464, 474, 556, 561 ], [ 39, 61, 111, 157, 190, 218, 276, 305, 367, 405, 465, 475, 557, 562 ], [ 40, 62, 112, 158, 191, 219, 277, 306, 368, 406, 466, 476, 558, 563 ], [ 41, 63, 113, 159, 192, 220, 278, 307, 369, 407, 467, 477, 516, 564 ], [ 42, 64, 114, 160, 193, 221, 279, 308, 370, 408, 468, 478, 517, 565 ], [ 0, 65, 115, 161, 194, 222, 280, 309, 371, 409, 469, 479, 518, 566 ], [ 1, 66, 116, 162, 195, 223, 281, 310, 372, 410, 470, 480, 519, 567 ], [ 2, 67, 117, 163, 196, 224, 282, 311, 373, 411, 471, 481, 520, 568 ], [ 3, 68, 118, 164, 197, 225, 283, 312, 374, 412, 472, 482, 521, 569 ], [ 4, 69, 119, 165, 198, 226, 284, 313, 375, 413, 430, 483, 522, 570 ], [ 5, 70, 120, 166, 199, 227, 285, 314, 376, 414, 431, 484, 523, 571 ], [ 6, 71, 121, 167, 200, 228, 286, 315, 377, 415, 432, 485, 524, 572 ], [ 7, 72, 122, 168, 201, 229, 287, 316, 378, 416, 433, 486, 525, 573 ], [ 8, 73, 123, 169, 202, 230, 288, 317, 379, 417, 434, 487, 526, 574 ], [ 9, 74, 124, 170, 203, 231, 289, 318, 380, 418, 435, 488, 527, 575 ], [ 10, 75, 125, 171, 204, 232, 290, 319, 381, 419, 436, 489, 528, 576 ], [ 11, 76, 126, 129, 205, 233, 291, 320, 382, 420, 437, 490, 529, 577 ], [ 12, 77, 127, 130, 206, 234, 292, 321, 383, 421, 438, 491, 530, 578 ], [ 13, 78, 128, 131, 207, 235, 293, 322, 384, 422, 439, 492, 531, 579 ], [ 14, 79, 86, 132, 208, 236, 294, 323, 385, 423, 440, 493, 532, 580 ], [ 15, 80, 87, 133, 209, 237, 295, 324, 386, 424, 441, 494, 533, 581 ], [ 16, 81, 88, 134, 210, 238, 296, 325, 344, 425, 442, 495, 534, 582 ], [ 17, 82, 89, 135, 211, 239, 297, 326, 345, 426, 443, 496, 535, 583 ], [ 18, 83, 90, 136, 212, 240, 298, 327, 346, 427, 444, 497, 536, 584 ] ], "Z": [ [ 17, 66, 93, 141, 176, 244, 270, 334, 361, 389, 448, 500, 519, 583 ], [ 18, 67, 94, 142, 177, 245, 271, 335, 362, 390, 449, 501, 520, 584 ], [ 19, 68, 95, 143, 178, 246, 272, 336, 363, 391, 450, 502, 521, 585 ], [ 20, 69, 96, 144, 179, 247, 273, 337, 364, 392, 451, 503, 522, 586 ], [ 21, 70, 97, 145, 180, 248, 274, 338, 365, 393, 452, 504, 523, 587 ], [ 22, 71, 98, 146, 181, 249, 275, 339, 366, 394, 453, 505, 524, 588 ], [ 23, 72, 99, 147, 182, 250, 276, 340, 367, 395, 454, 506, 525, 589 ], [ 24, 73, 100, 148, 183, 251, 277, 341, 368, 396, 455, 507, 526, 590 ], [ 25, 74, 101, 149, 184, 252, 278, 342, 369, 397, 456, 508, 527, 591 ], [ 26, 75, 102, 150, 185, 253, 279, 343, 370, 398, 457, 509, 528, 592 ], [ 27, 76, 103, 151, 186, 254, 280, 301, 371, 399, 458, 510, 529, 593 ], [ 28, 77, 104, 152, 187, 255, 281, 302, 372, 400, 459, 511, 530, 594 ], [ 29, 78, 105, 153, 188, 256, 282, 303, 373, 401, 460, 512, 531, 595 ], [ 30, 79, 106, 154, 189, 257, 283, 304, 374, 402, 461, 513, 532, 596 ], [ 31, 80, 107, 155, 190, 215, 284, 305, 375, 403, 462, 514, 533, 597 ], [ 32, 81, 108, 156, 191, 216, 285, 306, 376, 404, 463, 515, 534, 598 ], [ 33, 82, 109, 157, 192, 217, 286, 307, 377, 405, 464, 473, 535, 599 ], [ 34, 83, 110, 158, 193, 218, 287, 308, 378, 406, 465, 474, 536, 600 ], [ 35, 84, 111, 159, 194, 219, 288, 309, 379, 407, 466, 475, 537, 601 ], [ 36, 85, 112, 160, 195, 220, 289, 310, 380, 408, 467, 476, 538, 559 ], [ 37, 43, 113, 161, 196, 221, 290, 311, 381, 409, 468, 477, 539, 560 ], [ 38, 44, 114, 162, 197, 222, 291, 312, 382, 410, 469, 478, 540, 561 ], [ 39, 45, 115, 163, 198, 223, 292, 313, 383, 411, 470, 479, 541, 562 ], [ 40, 46, 116, 164, 199, 224, 293, 314, 384, 412, 471, 480, 542, 563 ], [ 41, 47, 117, 165, 200, 225, 294, 315, 385, 413, 472, 481, 543, 564 ], [ 42, 48, 118, 166, 201, 226, 295, 316, 386, 414, 430, 482, 544, 565 ], [ 0, 49, 119, 167, 202, 227, 296, 317, 344, 415, 431, 483, 545, 566 ], [ 1, 50, 120, 168, 203, 228, 297, 318, 345, 416, 432, 484, 546, 567 ], [ 2, 51, 121, 169, 204, 229, 298, 319, 346, 417, 433, 485, 547, 568 ], [ 3, 52, 122, 170, 205, 230, 299, 320, 347, 418, 434, 486, 548, 569 ], [ 4, 53, 123, 171, 206, 231, 300, 321, 348, 419, 435, 487, 549, 570 ], [ 5, 54, 124, 129, 207, 232, 258, 322, 349, 420, 436, 488, 550, 571 ], [ 6, 55, 125, 130, 208, 233, 259, 323, 350, 421, 437, 489, 551, 572 ], [ 7, 56, 126, 131, 209, 234, 260, 324, 351, 422, 438, 490, 552, 573 ], [ 8, 57, 127, 132, 210, 235, 261, 325, 352, 423, 439, 491, 553, 574 ], [ 9, 58, 128, 133, 211, 236, 262, 326, 353, 424, 440, 492, 554, 575 ], [ 10, 59, 86, 134, 212, 237, 263, 327, 354, 425, 441, 493, 555, 576 ], [ 11, 60, 87, 135, 213, 238, 264, 328, 355, 426, 442, 494, 556, 577 ], [ 12, 61, 88, 136, 214, 239, 265, 329, 356, 427, 443, 495, 557, 578 ], [ 13, 62, 89, 137, 172, 240, 266, 330, 357, 428, 444, 496, 558, 579 ], [ 14, 63, 90, 138, 173, 241, 267, 331, 358, 429, 445, 497, 516, 580 ], [ 15, 64, 91, 139, 174, 242, 268, 332, 359, 387, 446, 498, 517, 581 ], [ 16, 65, 92, 140, 175, 243, 269, 333, 360, 388, 447, 499, 518, 582 ], [ 40, 61, 123, 153, 213, 222, 278, 305, 363, 406, 445, 477, 526, 566 ], [ 41, 62, 124, 154, 214, 223, 279, 306, 364, 407, 446, 478, 527, 567 ], [ 42, 63, 125, 155, 172, 224, 280, 307, 365, 408, 447, 479, 528, 568 ], [ 0, 64, 126, 156, 173, 225, 281, 308, 366, 409, 448, 480, 529, 569 ], [ 1, 65, 127, 157, 174, 226, 282, 309, 367, 410, 449, 481, 530, 570 ], [ 2, 66, 128, 158, 175, 227, 283, 310, 368, 411, 450, 482, 531, 571 ], [ 3, 67, 86, 159, 176, 228, 284, 311, 369, 412, 451, 483, 532, 572 ], [ 4, 68, 87, 160, 177, 229, 285, 312, 370, 413, 452, 484, 533, 573 ], [ 5, 69, 88, 161, 178, 230, 286, 313, 371, 414, 453, 485, 534, 574 ], [ 6, 70, 89, 162, 179, 231, 287, 314, 372, 415, 454, 486, 535, 575 ], [ 7, 71, 90, 163, 180, 232, 288, 315, 373, 416, 455, 487, 536, 576 ], [ 8, 72, 91, 164, 181, 233, 289, 316, 374, 417, 456, 488, 537, 577 ], [ 9, 73, 92, 165, 182, 234, 290, 317, 375, 418, 457, 489, 538, 578 ], [ 10, 74, 93, 166, 183, 235, 291, 318, 376, 419, 458, 490, 539, 579 ], [ 11, 75, 94, 167, 184, 236, 292, 319, 377, 420, 459, 491, 540, 580 ], [ 12, 76, 95, 168, 185, 237, 293, 320, 378, 421, 460, 492, 541, 581 ], [ 13, 77, 96, 169, 186, 238, 294, 321, 379, 422, 461, 493, 542, 582 ], [ 14, 78, 97, 170, 187, 239, 295, 322, 380, 423, 462, 494, 543, 583 ], [ 15, 79, 98, 171, 188, 240, 296, 323, 381, 424, 463, 495, 544, 584 ], [ 16, 80, 99, 129, 189, 241, 297, 324, 382, 425, 464, 496, 545, 585 ], [ 17, 81, 100, 130, 190, 242, 298, 325, 383, 426, 465, 497, 546, 586 ], [ 18, 82, 101, 131, 191, 243, 299, 326, 384, 427, 466, 498, 547, 587 ], [ 19, 83, 102, 132, 192, 244, 300, 327, 385, 428, 467, 499, 548, 588 ], [ 20, 84, 103, 133, 193, 245, 258, 328, 386, 429, 468, 500, 549, 589 ], [ 21, 85, 104, 134, 194, 246, 259, 329, 344, 387, 469, 501, 550, 590 ], [ 22, 43, 105, 135, 195, 247, 260, 330, 345, 388, 470, 502, 551, 591 ], [ 23, 44, 106, 136, 196, 248, 261, 331, 346, 389, 471, 503, 552, 592 ], [ 24, 45, 107, 137, 197, 249, 262, 332, 347, 390, 472, 504, 553, 593 ], [ 25, 46, 108, 138, 198, 250, 263, 333, 348, 391, 430, 505, 554, 594 ], [ 26, 47, 109, 139, 199, 251, 264, 334, 349, 392, 431, 506, 555, 595 ], [ 27, 48, 110, 140, 200, 252, 265, 335, 350, 393, 432, 507, 556, 596 ], [ 28, 49, 111, 141, 201, 253, 266, 336, 351, 394, 433, 508, 557, 597 ], [ 29, 50, 112, 142, 202, 254, 267, 337, 352, 395, 434, 509, 558, 598 ], [ 30, 51, 113, 143, 203, 255, 268, 338, 353, 396, 435, 510, 516, 599 ], [ 31, 52, 114, 144, 204, 256, 269, 339, 354, 397, 436, 511, 517, 600 ], [ 32, 53, 115, 145, 205, 257, 270, 340, 355, 398, 437, 512, 518, 601 ], [ 33, 54, 116, 146, 206, 215, 271, 341, 356, 399, 438, 513, 519, 559 ], [ 34, 55, 117, 147, 207, 216, 272, 342, 357, 400, 439, 514, 520, 560 ], [ 35, 56, 118, 148, 208, 217, 273, 343, 358, 401, 440, 515, 521, 561 ], [ 36, 57, 119, 149, 209, 218, 274, 301, 359, 402, 441, 473, 522, 562 ], [ 37, 58, 120, 150, 210, 219, 275, 302, 360, 403, 442, 474, 523, 563 ], [ 38, 59, 121, 151, 211, 220, 276, 303, 361, 404, 443, 475, 524, 564 ], [ 39, 60, 122, 152, 212, 221, 277, 304, 362, 405, 444, 476, 525, 565 ], [ 15, 52, 94, 165, 180, 235, 280, 322, 350, 409, 441, 509, 547, 570 ], [ 16, 53, 95, 166, 181, 236, 281, 323, 351, 410, 442, 510, 548, 571 ], [ 17, 54, 96, 167, 182, 237, 282, 324, 352, 411, 443, 511, 549, 572 ], [ 18, 55, 97, 168, 183, 238, 283, 325, 353, 412, 444, 512, 550, 573 ], [ 19, 56, 98, 169, 184, 239, 284, 326, 354, 413, 445, 513, 551, 574 ], [ 20, 57, 99, 170, 185, 240, 285, 327, 355, 414, 446, 514, 552, 575 ], [ 21, 58, 100, 171, 186, 241, 286, 328, 356, 415, 447, 515, 553, 576 ], [ 22, 59, 101, 129, 187, 242, 287, 329, 357, 416, 448, 473, 554, 577 ], [ 23, 60, 102, 130, 188, 243, 288, 330, 358, 417, 449, 474, 555, 578 ], [ 24, 61, 103, 131, 189, 244, 289, 331, 359, 418, 450, 475, 556, 579 ], [ 25, 62, 104, 132, 190, 245, 290, 332, 360, 419, 451, 476, 557, 580 ], [ 26, 63, 105, 133, 191, 246, 291, 333, 361, 420, 452, 477, 558, 581 ], [ 27, 64, 106, 134, 192, 247, 292, 334, 362, 421, 453, 478, 516, 582 ], [ 28, 65, 107, 135, 193, 248, 293, 335, 363, 422, 454, 479, 517, 583 ], [ 29, 66, 108, 136, 194, 249, 294, 336, 364, 423, 455, 480, 518, 584 ], [ 30, 67, 109, 137, 195, 250, 295, 337, 365, 424, 456, 481, 519, 585 ], [ 31, 68, 110, 138, 196, 251, 296, 338, 366, 425, 457, 482, 520, 586 ], [ 32, 69, 111, 139, 197, 252, 297, 339, 367, 426, 458, 483, 521, 587 ], [ 33, 70, 112, 140, 198, 253, 298, 340, 368, 427, 459, 484, 522, 588 ], [ 34, 71, 113, 141, 199, 254, 299, 341, 369, 428, 460, 485, 523, 589 ], [ 35, 72, 114, 142, 200, 255, 300, 342, 370, 429, 461, 486, 524, 590 ], [ 36, 73, 115, 143, 201, 256, 258, 343, 371, 387, 462, 487, 525, 591 ], [ 37, 74, 116, 144, 202, 257, 259, 301, 372, 388, 463, 488, 526, 592 ], [ 38, 75, 117, 145, 203, 215, 260, 302, 373, 389, 464, 489, 527, 593 ], [ 39, 76, 118, 146, 204, 216, 261, 303, 374, 390, 465, 490, 528, 594 ], [ 40, 77, 119, 147, 205, 217, 262, 304, 375, 391, 466, 491, 529, 595 ], [ 41, 78, 120, 148, 206, 218, 263, 305, 376, 392, 467, 492, 530, 596 ], [ 42, 79, 121, 149, 207, 219, 264, 306, 377, 393, 468, 493, 531, 597 ], [ 0, 80, 122, 150, 208, 220, 265, 307, 378, 394, 469, 494, 532, 598 ], [ 1, 81, 123, 151, 209, 221, 266, 308, 379, 395, 470, 495, 533, 599 ], [ 2, 82, 124, 152, 210, 222, 267, 309, 380, 396, 471, 496, 534, 600 ], [ 3, 83, 125, 153, 211, 223, 268, 310, 381, 397, 472, 497, 535, 601 ], [ 4, 84, 126, 154, 212, 224, 269, 311, 382, 398, 430, 498, 536, 559 ], [ 5, 85, 127, 155, 213, 225, 270, 312, 383, 399, 431, 499, 537, 560 ], [ 6, 43, 128, 156, 214, 226, 271, 313, 384, 400, 432, 500, 538, 561 ], [ 7, 44, 86, 157, 172, 227, 272, 314, 385, 401, 433, 501, 539, 562 ], [ 8, 45, 87, 158, 173, 228, 273, 315, 386, 402, 434, 502, 540, 563 ], [ 9, 46, 88, 159, 174, 229, 274, 316, 344, 403, 435, 503, 541, 564 ], [ 10, 47, 89, 160, 175, 230, 275, 317, 345, 404, 436, 504, 542, 565 ], [ 11, 48, 90, 161, 176, 231, 276, 318, 346, 405, 437, 505, 543, 566 ], [ 12, 49, 91, 162, 177, 232, 277, 319, 347, 406, 438, 506, 544, 567 ], [ 13, 50, 92, 163, 178, 233, 278, 320, 348, 407, 439, 507, 545, 568 ], [ 14, 51, 93, 164, 179, 234, 279, 321, 349, 408, 440, 508, 546, 569 ], [ 1, 73, 125, 154, 213, 245, 274, 302, 347, 417, 463, 502, 519, 576 ], [ 2, 74, 126, 155, 214, 246, 275, 303, 348, 418, 464, 503, 520, 577 ], [ 3, 75, 127, 156, 172, 247, 276, 304, 349, 419, 465, 504, 521, 578 ], [ 4, 76, 128, 157, 173, 248, 277, 305, 350, 420, 466, 505, 522, 579 ], [ 5, 77, 86, 158, 174, 249, 278, 306, 351, 421, 467, 506, 523, 580 ], [ 6, 78, 87, 159, 175, 250, 279, 307, 352, 422, 468, 507, 524, 581 ], [ 7, 79, 88, 160, 176, 251, 280, 308, 353, 423, 469, 508, 525, 582 ], [ 8, 80, 89, 161, 177, 252, 281, 309, 354, 424, 470, 509, 526, 583 ], [ 9, 81, 90, 162, 178, 253, 282, 310, 355, 425, 471, 510, 527, 584 ], [ 10, 82, 91, 163, 179, 254, 283, 311, 356, 426, 472, 511, 528, 585 ], [ 11, 83, 92, 164, 180, 255, 284, 312, 357, 427, 430, 512, 529, 586 ], [ 12, 84, 93, 165, 181, 256, 285, 313, 358, 428, 431, 513, 530, 587 ], [ 13, 85, 94, 166, 182, 257, 286, 314, 359, 429, 432, 514, 531, 588 ], [ 14, 43, 95, 167, 183, 215, 287, 315, 360, 387, 433, 515, 532, 589 ], [ 15, 44, 96, 168, 184, 216, 288, 316, 361, 388, 434, 473, 533, 590 ], [ 16, 45, 97, 169, 185, 217, 289, 317, 362, 389, 435, 474, 534, 591 ], [ 17, 46, 98, 170, 186, 218, 290, 318, 363, 390, 436, 475, 535, 592 ], [ 18, 47, 99, 171, 187, 219, 291, 319, 364, 391, 437, 476, 536, 593 ], [ 19, 48, 100, 129, 188, 220, 292, 320, 365, 392, 438, 477, 537, 594 ], [ 20, 49, 101, 130, 189, 221, 293, 321, 366, 393, 439, 478, 538, 595 ], [ 21, 50, 102, 131, 190, 222, 294, 322, 367, 394, 440, 479, 539, 596 ], [ 22, 51, 103, 132, 191, 223, 295, 323, 368, 395, 441, 480, 540, 597 ], [ 23, 52, 104, 133, 192, 224, 296, 324, 369, 396, 442, 481, 541, 598 ], [ 24, 53, 105, 134, 193, 225, 297, 325, 370, 397, 443, 482, 542, 599 ], [ 25, 54, 106, 135, 194, 226, 298, 326, 371, 398, 444, 483, 543, 600 ], [ 26, 55, 107, 136, 195, 227, 299, 327, 372, 399, 445, 484, 544, 601 ], [ 27, 56, 108, 137, 196, 228, 300, 328, 373, 400, 446, 485, 545, 559 ], [ 28, 57, 109, 138, 197, 229, 258, 329, 374, 401, 447, 486, 546, 560 ], [ 29, 58, 110, 139, 198, 230, 259, 330, 375, 402, 448, 487, 547, 561 ], [ 30, 59, 111, 140, 199, 231, 260, 331, 376, 403, 449, 488, 548, 562 ], [ 31, 60, 112, 141, 200, 232, 261, 332, 377, 404, 450, 489, 549, 563 ], [ 32, 61, 113, 142, 201, 233, 262, 333, 378, 405, 451, 490, 550, 564 ], [ 33, 62, 114, 143, 202, 234, 263, 334, 379, 406, 452, 491, 551, 565 ], [ 34, 63, 115, 144, 203, 235, 264, 335, 380, 407, 453, 492, 552, 566 ], [ 35, 64, 116, 145, 204, 236, 265, 336, 381, 408, 454, 493, 553, 567 ], [ 36, 65, 117, 146, 205, 237, 266, 337, 382, 409, 455, 494, 554, 568 ], [ 37, 66, 118, 147, 206, 238, 267, 338, 383, 410, 456, 495, 555, 569 ], [ 38, 67, 119, 148, 207, 239, 268, 339, 384, 411, 457, 496, 556, 570 ], [ 39, 68, 120, 149, 208, 240, 269, 340, 385, 412, 458, 497, 557, 571 ], [ 40, 69, 121, 150, 209, 241, 270, 341, 386, 413, 459, 498, 558, 572 ], [ 41, 70, 122, 151, 210, 242, 271, 342, 344, 414, 460, 499, 516, 573 ], [ 42, 71, 123, 152, 211, 243, 272, 343, 345, 415, 461, 500, 517, 574 ], [ 0, 72, 124, 153, 212, 244, 273, 301, 346, 416, 462, 501, 518, 575 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 42, 57, 74, 103, 116, 132, 136, 149, 155, 166, 272, 314, 331, 336, 399, 429, 486, 514, 548, 557 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-24", "found_at_samples": 300000000, "survived_samples": 300000000, "tool": "verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified)", "seeds": [ 4101 ] } }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 30, 45, 69, 148, 174, 211, 214, 254, 284, 339, 360, 402, 410, 446, 461, 462, 496, 509, 514, 519 ] } }, "provenance": { "authors": [ "@npdeep" ], "construction": "Okada-Kasai pair-partition CPM CSS code with (J,L,P)=(4,14,43), generated from kasaikenta/pair-partition-cpm-css-codes commit 9c2a6f212025d2dc5decbf264ce2a24ba6924101 using target pp_j4_l14_p43, adapter seed 1604646798, and sample index 0. Let C(s)[(a+s) mod 43,a]=1. Then H_X=[C(E[j,l])] and H_Z=[C(D[j,l])], where E=[[10,3,31,10,2,1,16,32,32,24,10,3,24,14],[21,6,1,24,17,36,35,39,19,36,3,20,5,41],[31,34,28,38,18,35,27,15,40,33,32,38,18,15],[24,2,38,35,2,17,2,16,40,2,28,18,22,17]] and D=[[26,20,36,31,39,14,31,10,26,41,25,16,40,19],[3,25,6,19,2,36,23,39,24,24,28,39,33,36],[28,34,35,7,35,23,21,22,37,21,32,7,12,32],[42,13,4,18,2,13,27,42,40,13,10,14,40,26]]. The 172x602 checks have rank 169 per side, row weight 14, column weight 4, and girth 6, giving n=602 and k=264.", "references": [ "arXiv:2607.14091" ], "date": "2026-08-12", "notes": "Frontier candidate in the weight-9plus/unrestricted cell (kd^2/n=175.415). The supplied X/Z logical witnesses have weights 24/20 and certify only d<=20; no lower-bound or exact-distance claim.", "model": "Magic State Labs (Custom) v0.1" }, "family": "pair-partition-cpm" }