{ "schema_version": "0.1", "name": "[[518,228,16]] pair-partition CPM CSS (arXiv:2609.30069, qc_518_228_16)", "code_type": "CSS", "n": 518, "k": 228, "checks": { "X": [ [ 321, 334, 347, 360, 373, 386, 399, 412, 425, 438, 451, 464, 476, 477 ], [ 335, 348, 361, 374, 387, 400, 413, 426, 439, 452, 465, 478, 490, 491 ], [ 349, 362, 375, 388, 401, 414, 427, 440, 453, 466, 479, 492, 504, 505 ], [ 0, 1, 363, 376, 389, 402, 415, 428, 441, 454, 467, 480, 493, 506 ], [ 2, 14, 15, 377, 390, 403, 416, 429, 442, 455, 468, 481, 494, 507 ], [ 3, 16, 28, 29, 391, 404, 417, 430, 443, 456, 469, 482, 495, 508 ], [ 4, 17, 30, 42, 43, 405, 418, 431, 444, 457, 470, 483, 496, 509 ], [ 5, 18, 31, 44, 56, 57, 419, 432, 445, 458, 471, 484, 497, 510 ], [ 6, 19, 32, 45, 58, 70, 71, 433, 446, 459, 472, 485, 498, 511 ], [ 7, 20, 33, 46, 59, 72, 84, 85, 447, 460, 473, 486, 499, 512 ], [ 8, 21, 34, 47, 60, 73, 86, 98, 99, 461, 474, 487, 500, 513 ], [ 9, 22, 35, 48, 61, 74, 87, 100, 112, 113, 475, 488, 501, 514 ], [ 10, 23, 36, 49, 62, 75, 88, 101, 114, 126, 127, 489, 502, 515 ], [ 11, 24, 37, 50, 63, 76, 89, 102, 115, 128, 140, 141, 503, 516 ], [ 12, 25, 38, 51, 64, 77, 90, 103, 116, 129, 142, 154, 155, 517 ], [ 13, 26, 39, 52, 65, 78, 91, 104, 117, 130, 143, 156, 168, 169 ], [ 27, 40, 53, 66, 79, 92, 105, 118, 131, 144, 157, 170, 182, 183 ], [ 41, 54, 67, 80, 93, 106, 119, 132, 145, 158, 171, 184, 196, 197 ], [ 55, 68, 81, 94, 107, 120, 133, 146, 159, 172, 185, 198, 210, 211 ], [ 69, 82, 95, 108, 121, 134, 147, 160, 173, 186, 199, 212, 224, 225 ], [ 83, 96, 109, 122, 135, 148, 161, 174, 187, 200, 213, 226, 238, 239 ], [ 97, 110, 123, 136, 149, 162, 175, 188, 201, 214, 227, 240, 252, 253 ], [ 111, 124, 137, 150, 163, 176, 189, 202, 215, 228, 241, 254, 266, 267 ], [ 125, 138, 151, 164, 177, 190, 203, 216, 229, 242, 255, 268, 280, 281 ], [ 139, 152, 165, 178, 191, 204, 217, 230, 243, 256, 269, 282, 294, 295 ], [ 153, 166, 179, 192, 205, 218, 231, 244, 257, 270, 283, 296, 308, 309 ], [ 167, 180, 193, 206, 219, 232, 245, 258, 271, 284, 297, 310, 322, 323 ], [ 181, 194, 207, 220, 233, 246, 259, 272, 285, 298, 311, 324, 336, 337 ], [ 195, 208, 221, 234, 247, 260, 273, 286, 299, 312, 325, 338, 350, 351 ], [ 209, 222, 235, 248, 261, 274, 287, 300, 313, 326, 339, 352, 364, 365 ], [ 223, 236, 249, 262, 275, 288, 301, 314, 327, 340, 353, 366, 378, 379 ], [ 237, 250, 263, 276, 289, 302, 315, 328, 341, 354, 367, 380, 392, 393 ], [ 251, 264, 277, 290, 303, 316, 329, 342, 355, 368, 381, 394, 406, 407 ], [ 265, 278, 291, 304, 317, 330, 343, 356, 369, 382, 395, 408, 420, 421 ], [ 279, 292, 305, 318, 331, 344, 357, 370, 383, 396, 409, 422, 434, 435 ], [ 293, 306, 319, 332, 345, 358, 371, 384, 397, 410, 423, 436, 448, 449 ], [ 307, 320, 333, 346, 359, 372, 385, 398, 411, 424, 437, 450, 462, 463 ], [ 69, 78, 80, 87, 116, 187, 296, 337, 342, 350, 445, 460, 483, 513 ], [ 9, 83, 92, 94, 101, 130, 201, 310, 351, 356, 364, 459, 474, 497 ], [ 23, 97, 106, 108, 115, 144, 215, 324, 365, 370, 378, 473, 488, 511 ], [ 7, 37, 111, 120, 122, 129, 158, 229, 338, 379, 384, 392, 487, 502 ], [ 21, 51, 125, 134, 136, 143, 172, 243, 352, 393, 398, 406, 501, 516 ], [ 12, 35, 65, 139, 148, 150, 157, 186, 257, 366, 407, 412, 420, 515 ], [ 11, 26, 49, 79, 153, 162, 164, 171, 200, 271, 380, 421, 426, 434 ], [ 25, 40, 63, 93, 167, 176, 178, 185, 214, 285, 394, 435, 440, 448 ], [ 39, 54, 77, 107, 181, 190, 192, 199, 228, 299, 408, 449, 454, 462 ], [ 53, 68, 91, 121, 195, 204, 206, 213, 242, 313, 422, 463, 468, 476 ], [ 67, 82, 105, 135, 209, 218, 220, 227, 256, 327, 436, 477, 482, 490 ], [ 81, 96, 119, 149, 223, 232, 234, 241, 270, 341, 450, 491, 496, 504 ], [ 0, 95, 110, 133, 163, 237, 246, 248, 255, 284, 355, 464, 505, 510 ], [ 1, 6, 14, 109, 124, 147, 177, 251, 260, 262, 269, 298, 369, 478 ], [ 15, 20, 28, 123, 138, 161, 191, 265, 274, 276, 283, 312, 383, 492 ], [ 29, 34, 42, 137, 152, 175, 205, 279, 288, 290, 297, 326, 397, 506 ], [ 2, 43, 48, 56, 151, 166, 189, 219, 293, 302, 304, 311, 340, 411 ], [ 16, 57, 62, 70, 165, 180, 203, 233, 307, 316, 318, 325, 354, 425 ], [ 30, 71, 76, 84, 179, 194, 217, 247, 321, 330, 332, 339, 368, 439 ], [ 44, 85, 90, 98, 193, 208, 231, 261, 335, 344, 346, 353, 382, 453 ], [ 58, 99, 104, 112, 207, 222, 245, 275, 349, 358, 360, 367, 396, 467 ], [ 72, 113, 118, 126, 221, 236, 259, 289, 363, 372, 374, 381, 410, 481 ], [ 86, 127, 132, 140, 235, 250, 273, 303, 377, 386, 388, 395, 424, 495 ], [ 100, 141, 146, 154, 249, 264, 287, 317, 391, 400, 402, 409, 438, 509 ], [ 5, 114, 155, 160, 168, 263, 278, 301, 331, 405, 414, 416, 423, 452 ], [ 19, 128, 169, 174, 182, 277, 292, 315, 345, 419, 428, 430, 437, 466 ], [ 33, 142, 183, 188, 196, 291, 306, 329, 359, 433, 442, 444, 451, 480 ], [ 47, 156, 197, 202, 210, 305, 320, 343, 373, 447, 456, 458, 465, 494 ], [ 61, 170, 211, 216, 224, 319, 334, 357, 387, 461, 470, 472, 479, 508 ], [ 4, 75, 184, 225, 230, 238, 333, 348, 371, 401, 475, 484, 486, 493 ], [ 18, 89, 198, 239, 244, 252, 347, 362, 385, 415, 489, 498, 500, 507 ], [ 3, 32, 103, 212, 253, 258, 266, 361, 376, 399, 429, 503, 512, 514 ], [ 8, 10, 17, 46, 117, 226, 267, 272, 280, 375, 390, 413, 443, 517 ], [ 13, 22, 24, 31, 60, 131, 240, 281, 286, 294, 389, 404, 427, 457 ], [ 27, 36, 38, 45, 74, 145, 254, 295, 300, 308, 403, 418, 441, 471 ], [ 41, 50, 52, 59, 88, 159, 268, 309, 314, 322, 417, 432, 455, 485 ], [ 55, 64, 66, 73, 102, 173, 282, 323, 328, 336, 431, 446, 469, 499 ], [ 59, 90, 114, 229, 233, 267, 305, 321, 378, 385, 388, 404, 410, 442 ], [ 73, 104, 128, 243, 247, 281, 319, 335, 392, 399, 402, 418, 424, 456 ], [ 87, 118, 142, 257, 261, 295, 333, 349, 406, 413, 416, 432, 438, 470 ], [ 101, 132, 156, 271, 275, 309, 347, 363, 420, 427, 430, 446, 452, 484 ], [ 115, 146, 170, 285, 289, 323, 361, 377, 434, 441, 444, 460, 466, 498 ], [ 129, 160, 184, 299, 303, 337, 375, 391, 448, 455, 458, 474, 480, 512 ], [ 8, 143, 174, 198, 313, 317, 351, 389, 405, 462, 469, 472, 488, 494 ], [ 22, 157, 188, 212, 327, 331, 365, 403, 419, 476, 483, 486, 502, 508 ], [ 4, 36, 171, 202, 226, 341, 345, 379, 417, 433, 490, 497, 500, 516 ], [ 12, 18, 50, 185, 216, 240, 355, 359, 393, 431, 447, 504, 511, 514 ], [ 0, 7, 10, 26, 32, 64, 199, 230, 254, 369, 373, 407, 445, 461 ], [ 14, 21, 24, 40, 46, 78, 213, 244, 268, 383, 387, 421, 459, 475 ], [ 28, 35, 38, 54, 60, 92, 227, 258, 282, 397, 401, 435, 473, 489 ], [ 42, 49, 52, 68, 74, 106, 241, 272, 296, 411, 415, 449, 487, 503 ], [ 56, 63, 66, 82, 88, 120, 255, 286, 310, 425, 429, 463, 501, 517 ], [ 13, 70, 77, 80, 96, 102, 134, 269, 300, 324, 439, 443, 477, 515 ], [ 11, 27, 84, 91, 94, 110, 116, 148, 283, 314, 338, 453, 457, 491 ], [ 25, 41, 98, 105, 108, 124, 130, 162, 297, 328, 352, 467, 471, 505 ], [ 1, 39, 55, 112, 119, 122, 138, 144, 176, 311, 342, 366, 481, 485 ], [ 15, 53, 69, 126, 133, 136, 152, 158, 190, 325, 356, 380, 495, 499 ], [ 29, 67, 83, 140, 147, 150, 166, 172, 204, 339, 370, 394, 509, 513 ], [ 5, 9, 43, 81, 97, 154, 161, 164, 180, 186, 218, 353, 384, 408 ], [ 19, 23, 57, 95, 111, 168, 175, 178, 194, 200, 232, 367, 398, 422 ], [ 33, 37, 71, 109, 125, 182, 189, 192, 208, 214, 246, 381, 412, 436 ], [ 47, 51, 85, 123, 139, 196, 203, 206, 222, 228, 260, 395, 426, 450 ], [ 61, 65, 99, 137, 153, 210, 217, 220, 236, 242, 274, 409, 440, 464 ], [ 75, 79, 113, 151, 167, 224, 231, 234, 250, 256, 288, 423, 454, 478 ], [ 89, 93, 127, 165, 181, 238, 245, 248, 264, 270, 302, 437, 468, 492 ], [ 103, 107, 141, 179, 195, 252, 259, 262, 278, 284, 316, 451, 482, 506 ], [ 2, 117, 121, 155, 193, 209, 266, 273, 276, 292, 298, 330, 465, 496 ], [ 16, 131, 135, 169, 207, 223, 280, 287, 290, 306, 312, 344, 479, 510 ], [ 6, 30, 145, 149, 183, 221, 237, 294, 301, 304, 320, 326, 358, 493 ], [ 20, 44, 159, 163, 197, 235, 251, 308, 315, 318, 334, 340, 372, 507 ], [ 3, 34, 58, 173, 177, 211, 249, 265, 322, 329, 332, 348, 354, 386 ], [ 17, 48, 72, 187, 191, 225, 263, 279, 336, 343, 346, 362, 368, 400 ], [ 31, 62, 86, 201, 205, 239, 277, 293, 350, 357, 360, 376, 382, 414 ], [ 45, 76, 100, 215, 219, 253, 291, 307, 364, 371, 374, 390, 396, 428 ], [ 37, 88, 106, 139, 169, 170, 244, 249, 311, 313, 318, 371, 474, 504 ], [ 0, 51, 102, 120, 153, 183, 184, 258, 263, 325, 327, 332, 385, 488 ], [ 14, 65, 116, 134, 167, 197, 198, 272, 277, 339, 341, 346, 399, 502 ], [ 28, 79, 130, 148, 181, 211, 212, 286, 291, 353, 355, 360, 413, 516 ], [ 12, 42, 93, 144, 162, 195, 225, 226, 300, 305, 367, 369, 374, 427 ], [ 26, 56, 107, 158, 176, 209, 239, 240, 314, 319, 381, 383, 388, 441 ], [ 40, 70, 121, 172, 190, 223, 253, 254, 328, 333, 395, 397, 402, 455 ], [ 54, 84, 135, 186, 204, 237, 267, 268, 342, 347, 409, 411, 416, 469 ], [ 68, 98, 149, 200, 218, 251, 281, 282, 356, 361, 423, 425, 430, 483 ], [ 82, 112, 163, 214, 232, 265, 295, 296, 370, 375, 437, 439, 444, 497 ], [ 96, 126, 177, 228, 246, 279, 309, 310, 384, 389, 451, 453, 458, 511 ], [ 7, 110, 140, 191, 242, 260, 293, 323, 324, 398, 403, 465, 467, 472 ], [ 21, 124, 154, 205, 256, 274, 307, 337, 338, 412, 417, 479, 481, 486 ], [ 35, 138, 168, 219, 270, 288, 321, 351, 352, 426, 431, 493, 495, 500 ], [ 49, 152, 182, 233, 284, 302, 335, 365, 366, 440, 445, 507, 509, 514 ], [ 3, 5, 10, 63, 166, 196, 247, 298, 316, 349, 379, 380, 454, 459 ], [ 17, 19, 24, 77, 180, 210, 261, 312, 330, 363, 393, 394, 468, 473 ], [ 31, 33, 38, 91, 194, 224, 275, 326, 344, 377, 407, 408, 482, 487 ], [ 45, 47, 52, 105, 208, 238, 289, 340, 358, 391, 421, 422, 496, 501 ], [ 59, 61, 66, 119, 222, 252, 303, 354, 372, 405, 435, 436, 510, 515 ], [ 6, 11, 73, 75, 80, 133, 236, 266, 317, 368, 386, 419, 449, 450 ], [ 20, 25, 87, 89, 94, 147, 250, 280, 331, 382, 400, 433, 463, 464 ], [ 34, 39, 101, 103, 108, 161, 264, 294, 345, 396, 414, 447, 477, 478 ], [ 48, 53, 115, 117, 122, 175, 278, 308, 359, 410, 428, 461, 491, 492 ], [ 62, 67, 129, 131, 136, 189, 292, 322, 373, 424, 442, 475, 505, 506 ], [ 1, 2, 76, 81, 143, 145, 150, 203, 306, 336, 387, 438, 456, 489 ], [ 15, 16, 90, 95, 157, 159, 164, 217, 320, 350, 401, 452, 470, 503 ], [ 29, 30, 104, 109, 171, 173, 178, 231, 334, 364, 415, 466, 484, 517 ], [ 13, 43, 44, 118, 123, 185, 187, 192, 245, 348, 378, 429, 480, 498 ], [ 27, 57, 58, 132, 137, 199, 201, 206, 259, 362, 392, 443, 494, 512 ], [ 8, 41, 71, 72, 146, 151, 213, 215, 220, 273, 376, 406, 457, 508 ], [ 4, 22, 55, 85, 86, 160, 165, 227, 229, 234, 287, 390, 420, 471 ], [ 18, 36, 69, 99, 100, 174, 179, 241, 243, 248, 301, 404, 434, 485 ], [ 32, 50, 83, 113, 114, 188, 193, 255, 257, 262, 315, 418, 448, 499 ], [ 46, 64, 97, 127, 128, 202, 207, 269, 271, 276, 329, 432, 462, 513 ], [ 9, 60, 78, 111, 141, 142, 216, 221, 283, 285, 290, 343, 446, 476 ], [ 23, 74, 92, 125, 155, 156, 230, 235, 297, 299, 304, 357, 460, 490 ] ], "Z": [ [ 19, 64, 142, 150, 194, 202, 261, 277, 336, 339, 343, 382, 407, 433 ], [ 33, 78, 156, 164, 208, 216, 275, 291, 350, 353, 357, 396, 421, 447 ], [ 47, 92, 170, 178, 222, 230, 289, 305, 364, 367, 371, 410, 435, 461 ], [ 61, 106, 184, 192, 236, 244, 303, 319, 378, 381, 385, 424, 449, 475 ], [ 75, 120, 198, 206, 250, 258, 317, 333, 392, 395, 399, 438, 463, 489 ], [ 89, 134, 212, 220, 264, 272, 331, 347, 406, 409, 413, 452, 477, 503 ], [ 103, 148, 226, 234, 278, 286, 345, 361, 420, 423, 427, 466, 491, 517 ], [ 13, 117, 162, 240, 248, 292, 300, 359, 375, 434, 437, 441, 480, 505 ], [ 1, 27, 131, 176, 254, 262, 306, 314, 373, 389, 448, 451, 455, 494 ], [ 15, 41, 145, 190, 268, 276, 320, 328, 387, 403, 462, 465, 469, 508 ], [ 4, 29, 55, 159, 204, 282, 290, 334, 342, 401, 417, 476, 479, 483 ], [ 18, 43, 69, 173, 218, 296, 304, 348, 356, 415, 431, 490, 493, 497 ], [ 32, 57, 83, 187, 232, 310, 318, 362, 370, 429, 445, 504, 507, 511 ], [ 0, 3, 7, 46, 71, 97, 201, 246, 324, 332, 376, 384, 443, 459 ], [ 14, 17, 21, 60, 85, 111, 215, 260, 338, 346, 390, 398, 457, 473 ], [ 28, 31, 35, 74, 99, 125, 229, 274, 352, 360, 404, 412, 471, 487 ], [ 42, 45, 49, 88, 113, 139, 243, 288, 366, 374, 418, 426, 485, 501 ], [ 56, 59, 63, 102, 127, 153, 257, 302, 380, 388, 432, 440, 499, 515 ], [ 11, 70, 73, 77, 116, 141, 167, 271, 316, 394, 402, 446, 454, 513 ], [ 9, 25, 84, 87, 91, 130, 155, 181, 285, 330, 408, 416, 460, 468 ], [ 23, 39, 98, 101, 105, 144, 169, 195, 299, 344, 422, 430, 474, 482 ], [ 37, 53, 112, 115, 119, 158, 183, 209, 313, 358, 436, 444, 488, 496 ], [ 51, 67, 126, 129, 133, 172, 197, 223, 327, 372, 450, 458, 502, 510 ], [ 6, 65, 81, 140, 143, 147, 186, 211, 237, 341, 386, 464, 472, 516 ], [ 12, 20, 79, 95, 154, 157, 161, 200, 225, 251, 355, 400, 478, 486 ], [ 26, 34, 93, 109, 168, 171, 175, 214, 239, 265, 369, 414, 492, 500 ], [ 40, 48, 107, 123, 182, 185, 189, 228, 253, 279, 383, 428, 506, 514 ], [ 2, 10, 54, 62, 121, 137, 196, 199, 203, 242, 267, 293, 397, 442 ], [ 16, 24, 68, 76, 135, 151, 210, 213, 217, 256, 281, 307, 411, 456 ], [ 30, 38, 82, 90, 149, 165, 224, 227, 231, 270, 295, 321, 425, 470 ], [ 44, 52, 96, 104, 163, 179, 238, 241, 245, 284, 309, 335, 439, 484 ], [ 58, 66, 110, 118, 177, 193, 252, 255, 259, 298, 323, 349, 453, 498 ], [ 72, 80, 124, 132, 191, 207, 266, 269, 273, 312, 337, 363, 467, 512 ], [ 8, 86, 94, 138, 146, 205, 221, 280, 283, 287, 326, 351, 377, 481 ], [ 22, 100, 108, 152, 160, 219, 235, 294, 297, 301, 340, 365, 391, 495 ], [ 36, 114, 122, 166, 174, 233, 249, 308, 311, 315, 354, 379, 405, 509 ], [ 5, 50, 128, 136, 180, 188, 247, 263, 322, 325, 329, 368, 393, 419 ], [ 82, 92, 118, 225, 245, 279, 310, 333, 345, 374, 396, 397, 437, 490 ], [ 96, 106, 132, 239, 259, 293, 324, 347, 359, 388, 410, 411, 451, 504 ], [ 0, 110, 120, 146, 253, 273, 307, 338, 361, 373, 402, 424, 425, 465 ], [ 14, 124, 134, 160, 267, 287, 321, 352, 375, 387, 416, 438, 439, 479 ], [ 28, 138, 148, 174, 281, 301, 335, 366, 389, 401, 430, 452, 453, 493 ], [ 42, 152, 162, 188, 295, 315, 349, 380, 403, 415, 444, 466, 467, 507 ], [ 3, 56, 166, 176, 202, 309, 329, 363, 394, 417, 429, 458, 480, 481 ], [ 17, 70, 180, 190, 216, 323, 343, 377, 408, 431, 443, 472, 494, 495 ], [ 31, 84, 194, 204, 230, 337, 357, 391, 422, 445, 457, 486, 508, 509 ], [ 4, 5, 45, 98, 208, 218, 244, 351, 371, 405, 436, 459, 471, 500 ], [ 18, 19, 59, 112, 222, 232, 258, 365, 385, 419, 450, 473, 485, 514 ], [ 10, 32, 33, 73, 126, 236, 246, 272, 379, 399, 433, 464, 487, 499 ], [ 24, 46, 47, 87, 140, 250, 260, 286, 393, 413, 447, 478, 501, 513 ], [ 9, 38, 60, 61, 101, 154, 264, 274, 300, 407, 427, 461, 492, 515 ], [ 11, 23, 52, 74, 75, 115, 168, 278, 288, 314, 421, 441, 475, 506 ], [ 2, 25, 37, 66, 88, 89, 129, 182, 292, 302, 328, 435, 455, 489 ], [ 16, 39, 51, 80, 102, 103, 143, 196, 306, 316, 342, 449, 469, 503 ], [ 30, 53, 65, 94, 116, 117, 157, 210, 320, 330, 356, 463, 483, 517 ], [ 13, 44, 67, 79, 108, 130, 131, 171, 224, 334, 344, 370, 477, 497 ], [ 27, 58, 81, 93, 122, 144, 145, 185, 238, 348, 358, 384, 491, 511 ], [ 7, 41, 72, 95, 107, 136, 158, 159, 199, 252, 362, 372, 398, 505 ], [ 1, 21, 55, 86, 109, 121, 150, 172, 173, 213, 266, 376, 386, 412 ], [ 15, 35, 69, 100, 123, 135, 164, 186, 187, 227, 280, 390, 400, 426 ], [ 29, 49, 83, 114, 137, 149, 178, 200, 201, 241, 294, 404, 414, 440 ], [ 43, 63, 97, 128, 151, 163, 192, 214, 215, 255, 308, 418, 428, 454 ], [ 57, 77, 111, 142, 165, 177, 206, 228, 229, 269, 322, 432, 442, 468 ], [ 71, 91, 125, 156, 179, 191, 220, 242, 243, 283, 336, 446, 456, 482 ], [ 85, 105, 139, 170, 193, 205, 234, 256, 257, 297, 350, 460, 470, 496 ], [ 99, 119, 153, 184, 207, 219, 248, 270, 271, 311, 364, 474, 484, 510 ], [ 6, 113, 133, 167, 198, 221, 233, 262, 284, 285, 325, 378, 488, 498 ], [ 20, 127, 147, 181, 212, 235, 247, 276, 298, 299, 339, 392, 502, 512 ], [ 8, 34, 141, 161, 195, 226, 249, 261, 290, 312, 313, 353, 406, 516 ], [ 12, 22, 48, 155, 175, 209, 240, 263, 275, 304, 326, 327, 367, 420 ], [ 26, 36, 62, 169, 189, 223, 254, 277, 289, 318, 340, 341, 381, 434 ], [ 40, 50, 76, 183, 203, 237, 268, 291, 303, 332, 354, 355, 395, 448 ], [ 54, 64, 90, 197, 217, 251, 282, 305, 317, 346, 368, 369, 409, 462 ], [ 68, 78, 104, 211, 231, 265, 296, 319, 331, 360, 382, 383, 423, 476 ], [ 47, 51, 90, 105, 183, 235, 320, 335, 352, 424, 442, 490, 500, 507 ], [ 3, 61, 65, 104, 119, 197, 249, 334, 349, 366, 438, 456, 504, 514 ], [ 0, 10, 17, 75, 79, 118, 133, 211, 263, 348, 363, 380, 452, 470 ], [ 14, 24, 31, 89, 93, 132, 147, 225, 277, 362, 377, 394, 466, 484 ], [ 28, 38, 45, 103, 107, 146, 161, 239, 291, 376, 391, 408, 480, 498 ], [ 42, 52, 59, 117, 121, 160, 175, 253, 305, 390, 405, 422, 494, 512 ], [ 8, 56, 66, 73, 131, 135, 174, 189, 267, 319, 404, 419, 436, 508 ], [ 4, 22, 70, 80, 87, 145, 149, 188, 203, 281, 333, 418, 433, 450 ], [ 18, 36, 84, 94, 101, 159, 163, 202, 217, 295, 347, 432, 447, 464 ], [ 32, 50, 98, 108, 115, 173, 177, 216, 231, 309, 361, 446, 461, 478 ], [ 46, 64, 112, 122, 129, 187, 191, 230, 245, 323, 375, 460, 475, 492 ], [ 60, 78, 126, 136, 143, 201, 205, 244, 259, 337, 389, 474, 489, 506 ], [ 2, 74, 92, 140, 150, 157, 215, 219, 258, 273, 351, 403, 488, 503 ], [ 16, 88, 106, 154, 164, 171, 229, 233, 272, 287, 365, 417, 502, 517 ], [ 13, 30, 102, 120, 168, 178, 185, 243, 247, 286, 301, 379, 431, 516 ], [ 12, 27, 44, 116, 134, 182, 192, 199, 257, 261, 300, 315, 393, 445 ], [ 26, 41, 58, 130, 148, 196, 206, 213, 271, 275, 314, 329, 407, 459 ], [ 40, 55, 72, 144, 162, 210, 220, 227, 285, 289, 328, 343, 421, 473 ], [ 54, 69, 86, 158, 176, 224, 234, 241, 299, 303, 342, 357, 435, 487 ], [ 68, 83, 100, 172, 190, 238, 248, 255, 313, 317, 356, 371, 449, 501 ], [ 82, 97, 114, 186, 204, 252, 262, 269, 327, 331, 370, 385, 463, 515 ], [ 11, 96, 111, 128, 200, 218, 266, 276, 283, 341, 345, 384, 399, 477 ], [ 25, 110, 125, 142, 214, 232, 280, 290, 297, 355, 359, 398, 413, 491 ], [ 39, 124, 139, 156, 228, 246, 294, 304, 311, 369, 373, 412, 427, 505 ], [ 1, 53, 138, 153, 170, 242, 260, 308, 318, 325, 383, 387, 426, 441 ], [ 15, 67, 152, 167, 184, 256, 274, 322, 332, 339, 397, 401, 440, 455 ], [ 29, 81, 166, 181, 198, 270, 288, 336, 346, 353, 411, 415, 454, 469 ], [ 43, 95, 180, 195, 212, 284, 302, 350, 360, 367, 425, 429, 468, 483 ], [ 57, 109, 194, 209, 226, 298, 316, 364, 374, 381, 439, 443, 482, 497 ], [ 71, 123, 208, 223, 240, 312, 330, 378, 388, 395, 453, 457, 496, 511 ], [ 7, 85, 137, 222, 237, 254, 326, 344, 392, 402, 409, 467, 471, 510 ], [ 6, 21, 99, 151, 236, 251, 268, 340, 358, 406, 416, 423, 481, 485 ], [ 20, 35, 113, 165, 250, 265, 282, 354, 372, 420, 430, 437, 495, 499 ], [ 34, 49, 127, 179, 264, 279, 296, 368, 386, 434, 444, 451, 509, 513 ], [ 5, 9, 48, 63, 141, 193, 278, 293, 310, 382, 400, 448, 458, 465 ], [ 19, 23, 62, 77, 155, 207, 292, 307, 324, 396, 414, 462, 472, 479 ], [ 33, 37, 76, 91, 169, 221, 306, 321, 338, 410, 428, 476, 486, 493 ], [ 35, 48, 122, 205, 223, 239, 270, 302, 319, 362, 366, 392, 397, 479 ], [ 49, 62, 136, 219, 237, 253, 284, 316, 333, 376, 380, 406, 411, 493 ], [ 63, 76, 150, 233, 251, 267, 298, 330, 347, 390, 394, 420, 425, 507 ], [ 3, 77, 90, 164, 247, 265, 281, 312, 344, 361, 404, 408, 434, 439 ], [ 17, 91, 104, 178, 261, 279, 295, 326, 358, 375, 418, 422, 448, 453 ], [ 31, 105, 118, 192, 275, 293, 309, 340, 372, 389, 432, 436, 462, 467 ], [ 45, 119, 132, 206, 289, 307, 323, 354, 386, 403, 446, 450, 476, 481 ], [ 59, 133, 146, 220, 303, 321, 337, 368, 400, 417, 460, 464, 490, 495 ], [ 73, 147, 160, 234, 317, 335, 351, 382, 414, 431, 474, 478, 504, 509 ], [ 0, 5, 87, 161, 174, 248, 331, 349, 365, 396, 428, 445, 488, 492 ], [ 14, 19, 101, 175, 188, 262, 345, 363, 379, 410, 442, 459, 502, 506 ], [ 2, 28, 33, 115, 189, 202, 276, 359, 377, 393, 424, 456, 473, 516 ], [ 12, 16, 42, 47, 129, 203, 216, 290, 373, 391, 407, 438, 470, 487 ], [ 26, 30, 56, 61, 143, 217, 230, 304, 387, 405, 421, 452, 484, 501 ], [ 40, 44, 70, 75, 157, 231, 244, 318, 401, 419, 435, 466, 498, 515 ], [ 11, 54, 58, 84, 89, 171, 245, 258, 332, 415, 433, 449, 480, 512 ], [ 8, 25, 68, 72, 98, 103, 185, 259, 272, 346, 429, 447, 463, 494 ], [ 22, 39, 82, 86, 112, 117, 199, 273, 286, 360, 443, 461, 477, 508 ], [ 4, 36, 53, 96, 100, 126, 131, 213, 287, 300, 374, 457, 475, 491 ], [ 18, 50, 67, 110, 114, 140, 145, 227, 301, 314, 388, 471, 489, 505 ], [ 1, 32, 64, 81, 124, 128, 154, 159, 241, 315, 328, 402, 485, 503 ], [ 15, 46, 78, 95, 138, 142, 168, 173, 255, 329, 342, 416, 499, 517 ], [ 13, 29, 60, 92, 109, 152, 156, 182, 187, 269, 343, 356, 430, 513 ], [ 9, 27, 43, 74, 106, 123, 166, 170, 196, 201, 283, 357, 370, 444 ], [ 23, 41, 57, 88, 120, 137, 180, 184, 210, 215, 297, 371, 384, 458 ], [ 37, 55, 71, 102, 134, 151, 194, 198, 224, 229, 311, 385, 398, 472 ], [ 51, 69, 85, 116, 148, 165, 208, 212, 238, 243, 325, 399, 412, 486 ], [ 65, 83, 99, 130, 162, 179, 222, 226, 252, 257, 339, 413, 426, 500 ], [ 79, 97, 113, 144, 176, 193, 236, 240, 266, 271, 353, 427, 440, 514 ], [ 10, 93, 111, 127, 158, 190, 207, 250, 254, 280, 285, 367, 441, 454 ], [ 24, 107, 125, 141, 172, 204, 221, 264, 268, 294, 299, 381, 455, 468 ], [ 38, 121, 139, 155, 186, 218, 235, 278, 282, 308, 313, 395, 469, 482 ], [ 52, 135, 153, 169, 200, 232, 249, 292, 296, 322, 327, 409, 483, 496 ], [ 66, 149, 167, 183, 214, 246, 263, 306, 310, 336, 341, 423, 497, 510 ], [ 6, 80, 163, 181, 197, 228, 260, 277, 320, 324, 350, 355, 437, 511 ], [ 7, 20, 94, 177, 195, 211, 242, 274, 291, 334, 338, 364, 369, 451 ], [ 21, 34, 108, 191, 209, 225, 256, 288, 305, 348, 352, 378, 383, 465 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 56, 64, 78, 112, 140, 142, 143, 232, 360, 409, 429, 432, 436, 447, 471, 503 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 68, 98, 106, 107, 162, 171, 195, 231, 240, 244, 351, 389, 454, 459, 500, 511 ] } }, "provenance": { "authors": [ "@willzeng", "Okada, Koki", "Kasai, Kenta" ], "construction": "Pair-partition CPM-based CSS (Okada-Kasai arXiv:2607.14091; Table I and Sec. VI B of Lee-Okada-Maskara-Kasai-Zhou arXiv:2609.30069): J=4 column weight, L=14 row weight, prime lift P=37, girth 6, n=LP=518, 4P=148 checks per side. H_X=(C(e_jl)), H_Z=(C(d_jl)) with C(s) the PxP circulant permutation matrix (row a -> column (a-s) mod P) and paired-difference CSS orthogonality; qubit index = 14*a + t. Reconstructed from github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2, data/reconstructed_instances/qc_518_228_16/reconstructed_exponents.json.", "origin": "submission", "date": "2026-09-25", "notes": "Literature reproduction submitted through the challenge (novelty=known_parameters). arXiv:2609.30069 Table I lists [[518,228,16]] with exact d=16 from the authors' complete low-weight exclusion through weight 14 (github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2, data/distance_records/qc_518_228_16/distance_summary.json); recorded here as a witness-backed upper bound from this repo's own 20000+2M-trial RIS search until server certification. Checked, not equivalent to any existing entry (validate_candidate dedup: no exact or WL-equivalent match).", "references": [ "arXiv:2609.30069", "arXiv:2607.14091" ], "novelty": "known_parameters", "model": "human" }, "family": "pair-partition-cpm" }