{ "schema_version": "0.1", "name": "[[372,130,16]] pair-partition CPM CSS (qc_372_130_16)", "code_type": "CSS", "n": 372, "k": 130, "checks": { "X": [ [ 215, 226, 248, 249, 270, 271, 292, 293, 315, 326, 337, 348 ], [ 227, 238, 260, 261, 282, 283, 304, 305, 327, 338, 349, 360 ], [ 0, 239, 250, 272, 273, 294, 295, 316, 317, 339, 350, 361 ], [ 1, 12, 251, 262, 284, 285, 306, 307, 328, 329, 351, 362 ], [ 2, 13, 24, 263, 274, 296, 297, 318, 319, 340, 341, 363 ], [ 3, 14, 25, 36, 275, 286, 308, 309, 330, 331, 352, 353 ], [ 15, 26, 37, 48, 287, 298, 320, 321, 342, 343, 364, 365 ], [ 4, 5, 27, 38, 49, 60, 299, 310, 332, 333, 354, 355 ], [ 16, 17, 39, 50, 61, 72, 311, 322, 344, 345, 366, 367 ], [ 6, 7, 28, 29, 51, 62, 73, 84, 323, 334, 356, 357 ], [ 18, 19, 40, 41, 63, 74, 85, 96, 335, 346, 368, 369 ], [ 8, 9, 30, 31, 52, 53, 75, 86, 97, 108, 347, 358 ], [ 20, 21, 42, 43, 64, 65, 87, 98, 109, 120, 359, 370 ], [ 10, 32, 33, 54, 55, 76, 77, 99, 110, 121, 132, 371 ], [ 11, 22, 44, 45, 66, 67, 88, 89, 111, 122, 133, 144 ], [ 23, 34, 56, 57, 78, 79, 100, 101, 123, 134, 145, 156 ], [ 35, 46, 68, 69, 90, 91, 112, 113, 135, 146, 157, 168 ], [ 47, 58, 80, 81, 102, 103, 124, 125, 147, 158, 169, 180 ], [ 59, 70, 92, 93, 114, 115, 136, 137, 159, 170, 181, 192 ], [ 71, 82, 104, 105, 126, 127, 148, 149, 171, 182, 193, 204 ], [ 83, 94, 116, 117, 138, 139, 160, 161, 183, 194, 205, 216 ], [ 95, 106, 128, 129, 150, 151, 172, 173, 195, 206, 217, 228 ], [ 107, 118, 140, 141, 162, 163, 184, 185, 207, 218, 229, 240 ], [ 119, 130, 152, 153, 174, 175, 196, 197, 219, 230, 241, 252 ], [ 131, 142, 164, 165, 186, 187, 208, 209, 231, 242, 253, 264 ], [ 143, 154, 176, 177, 198, 199, 220, 221, 243, 254, 265, 276 ], [ 155, 166, 188, 189, 210, 211, 232, 233, 255, 266, 277, 288 ], [ 167, 178, 200, 201, 222, 223, 244, 245, 267, 278, 289, 300 ], [ 179, 190, 212, 213, 234, 235, 256, 257, 279, 290, 301, 312 ], [ 191, 202, 224, 225, 246, 247, 268, 269, 291, 302, 313, 324 ], [ 203, 214, 236, 237, 258, 259, 280, 281, 303, 314, 325, 336 ], [ 15, 25, 89, 108, 118, 160, 174, 182, 201, 224, 239, 307 ], [ 27, 37, 101, 120, 130, 172, 186, 194, 213, 236, 251, 319 ], [ 39, 49, 113, 132, 142, 184, 198, 206, 225, 248, 263, 331 ], [ 51, 61, 125, 144, 154, 196, 210, 218, 237, 260, 275, 343 ], [ 63, 73, 137, 156, 166, 208, 222, 230, 249, 272, 287, 355 ], [ 75, 85, 149, 168, 178, 220, 234, 242, 261, 284, 299, 367 ], [ 7, 87, 97, 161, 180, 190, 232, 246, 254, 273, 296, 311 ], [ 19, 99, 109, 173, 192, 202, 244, 258, 266, 285, 308, 323 ], [ 31, 111, 121, 185, 204, 214, 256, 270, 278, 297, 320, 335 ], [ 43, 123, 133, 197, 216, 226, 268, 282, 290, 309, 332, 347 ], [ 55, 135, 145, 209, 228, 238, 280, 294, 302, 321, 344, 359 ], [ 67, 147, 157, 221, 240, 250, 292, 306, 314, 333, 356, 371 ], [ 11, 79, 159, 169, 233, 252, 262, 304, 318, 326, 345, 368 ], [ 8, 23, 91, 171, 181, 245, 264, 274, 316, 330, 338, 357 ], [ 20, 35, 103, 183, 193, 257, 276, 286, 328, 342, 350, 369 ], [ 9, 32, 47, 115, 195, 205, 269, 288, 298, 340, 354, 362 ], [ 2, 21, 44, 59, 127, 207, 217, 281, 300, 310, 352, 366 ], [ 6, 14, 33, 56, 71, 139, 219, 229, 293, 312, 322, 364 ], [ 4, 18, 26, 45, 68, 83, 151, 231, 241, 305, 324, 334 ], [ 16, 30, 38, 57, 80, 95, 163, 243, 253, 317, 336, 346 ], [ 28, 42, 50, 69, 92, 107, 175, 255, 265, 329, 348, 358 ], [ 40, 54, 62, 81, 104, 119, 187, 267, 277, 341, 360, 370 ], [ 0, 10, 52, 66, 74, 93, 116, 131, 199, 279, 289, 353 ], [ 12, 22, 64, 78, 86, 105, 128, 143, 211, 291, 301, 365 ], [ 5, 24, 34, 76, 90, 98, 117, 140, 155, 223, 303, 313 ], [ 17, 36, 46, 88, 102, 110, 129, 152, 167, 235, 315, 325 ], [ 29, 48, 58, 100, 114, 122, 141, 164, 179, 247, 327, 337 ], [ 41, 60, 70, 112, 126, 134, 153, 176, 191, 259, 339, 349 ], [ 53, 72, 82, 124, 138, 146, 165, 188, 203, 271, 351, 361 ], [ 1, 65, 84, 94, 136, 150, 158, 177, 200, 215, 283, 363 ], [ 3, 13, 77, 96, 106, 148, 162, 170, 189, 212, 227, 295 ], [ 36, 58, 68, 89, 181, 195, 285, 295, 302, 304, 347, 366 ], [ 6, 48, 70, 80, 101, 193, 207, 297, 307, 314, 316, 359 ], [ 18, 60, 82, 92, 113, 205, 219, 309, 319, 326, 328, 371 ], [ 11, 30, 72, 94, 104, 125, 217, 231, 321, 331, 338, 340 ], [ 23, 42, 84, 106, 116, 137, 229, 243, 333, 343, 350, 352 ], [ 35, 54, 96, 118, 128, 149, 241, 255, 345, 355, 362, 364 ], [ 2, 4, 47, 66, 108, 130, 140, 161, 253, 267, 357, 367 ], [ 7, 14, 16, 59, 78, 120, 142, 152, 173, 265, 279, 369 ], [ 9, 19, 26, 28, 71, 90, 132, 154, 164, 185, 277, 291 ], [ 21, 31, 38, 40, 83, 102, 144, 166, 176, 197, 289, 303 ], [ 33, 43, 50, 52, 95, 114, 156, 178, 188, 209, 301, 315 ], [ 45, 55, 62, 64, 107, 126, 168, 190, 200, 221, 313, 327 ], [ 57, 67, 74, 76, 119, 138, 180, 202, 212, 233, 325, 339 ], [ 69, 79, 86, 88, 131, 150, 192, 214, 224, 245, 337, 351 ], [ 81, 91, 98, 100, 143, 162, 204, 226, 236, 257, 349, 363 ], [ 3, 93, 103, 110, 112, 155, 174, 216, 238, 248, 269, 361 ], [ 1, 15, 105, 115, 122, 124, 167, 186, 228, 250, 260, 281 ], [ 13, 27, 117, 127, 134, 136, 179, 198, 240, 262, 272, 293 ], [ 25, 39, 129, 139, 146, 148, 191, 210, 252, 274, 284, 305 ], [ 37, 51, 141, 151, 158, 160, 203, 222, 264, 286, 296, 317 ], [ 49, 63, 153, 163, 170, 172, 215, 234, 276, 298, 308, 329 ], [ 61, 75, 165, 175, 182, 184, 227, 246, 288, 310, 320, 341 ], [ 73, 87, 177, 187, 194, 196, 239, 258, 300, 322, 332, 353 ], [ 85, 99, 189, 199, 206, 208, 251, 270, 312, 334, 344, 365 ], [ 5, 97, 111, 201, 211, 218, 220, 263, 282, 324, 346, 356 ], [ 17, 109, 123, 213, 223, 230, 232, 275, 294, 336, 358, 368 ], [ 8, 29, 121, 135, 225, 235, 242, 244, 287, 306, 348, 370 ], [ 10, 20, 41, 133, 147, 237, 247, 254, 256, 299, 318, 360 ], [ 0, 22, 32, 53, 145, 159, 249, 259, 266, 268, 311, 330 ], [ 12, 34, 44, 65, 157, 171, 261, 271, 278, 280, 323, 342 ], [ 24, 46, 56, 77, 169, 183, 273, 283, 290, 292, 335, 354 ], [ 83, 125, 157, 186, 206, 219, 256, 283, 284, 300, 369, 370 ], [ 9, 10, 95, 137, 169, 198, 218, 231, 268, 295, 296, 312 ], [ 21, 22, 107, 149, 181, 210, 230, 243, 280, 307, 308, 324 ], [ 33, 34, 119, 161, 193, 222, 242, 255, 292, 319, 320, 336 ], [ 45, 46, 131, 173, 205, 234, 254, 267, 304, 331, 332, 348 ], [ 57, 58, 143, 185, 217, 246, 266, 279, 316, 343, 344, 360 ], [ 0, 69, 70, 155, 197, 229, 258, 278, 291, 328, 355, 356 ], [ 12, 81, 82, 167, 209, 241, 270, 290, 303, 340, 367, 368 ], [ 7, 8, 24, 93, 94, 179, 221, 253, 282, 302, 315, 352 ], [ 19, 20, 36, 105, 106, 191, 233, 265, 294, 314, 327, 364 ], [ 4, 31, 32, 48, 117, 118, 203, 245, 277, 306, 326, 339 ], [ 16, 43, 44, 60, 129, 130, 215, 257, 289, 318, 338, 351 ], [ 28, 55, 56, 72, 141, 142, 227, 269, 301, 330, 350, 363 ], [ 3, 40, 67, 68, 84, 153, 154, 239, 281, 313, 342, 362 ], [ 2, 15, 52, 79, 80, 96, 165, 166, 251, 293, 325, 354 ], [ 14, 27, 64, 91, 92, 108, 177, 178, 263, 305, 337, 366 ], [ 6, 26, 39, 76, 103, 104, 120, 189, 190, 275, 317, 349 ], [ 18, 38, 51, 88, 115, 116, 132, 201, 202, 287, 329, 361 ], [ 1, 30, 50, 63, 100, 127, 128, 144, 213, 214, 299, 341 ], [ 13, 42, 62, 75, 112, 139, 140, 156, 225, 226, 311, 353 ], [ 25, 54, 74, 87, 124, 151, 152, 168, 237, 238, 323, 365 ], [ 5, 37, 66, 86, 99, 136, 163, 164, 180, 249, 250, 335 ], [ 17, 49, 78, 98, 111, 148, 175, 176, 192, 261, 262, 347 ], [ 29, 61, 90, 110, 123, 160, 187, 188, 204, 273, 274, 359 ], [ 41, 73, 102, 122, 135, 172, 199, 200, 216, 285, 286, 371 ], [ 11, 53, 85, 114, 134, 147, 184, 211, 212, 228, 297, 298 ], [ 23, 65, 97, 126, 146, 159, 196, 223, 224, 240, 309, 310 ], [ 35, 77, 109, 138, 158, 171, 208, 235, 236, 252, 321, 322 ], [ 47, 89, 121, 150, 170, 183, 220, 247, 248, 264, 333, 334 ], [ 59, 101, 133, 162, 182, 195, 232, 259, 260, 276, 345, 346 ], [ 71, 113, 145, 174, 194, 207, 244, 271, 272, 288, 357, 358 ] ], "Z": [ [ 12, 15, 40, 105, 119, 166, 193, 230, 233, 307, 342, 368 ], [ 8, 24, 27, 52, 117, 131, 178, 205, 242, 245, 319, 354 ], [ 20, 36, 39, 64, 129, 143, 190, 217, 254, 257, 331, 366 ], [ 6, 32, 48, 51, 76, 141, 155, 202, 229, 266, 269, 343 ], [ 18, 44, 60, 63, 88, 153, 167, 214, 241, 278, 281, 355 ], [ 30, 56, 72, 75, 100, 165, 179, 226, 253, 290, 293, 367 ], [ 7, 42, 68, 84, 87, 112, 177, 191, 238, 265, 302, 305 ], [ 19, 54, 80, 96, 99, 124, 189, 203, 250, 277, 314, 317 ], [ 31, 66, 92, 108, 111, 136, 201, 215, 262, 289, 326, 329 ], [ 43, 78, 104, 120, 123, 148, 213, 227, 274, 301, 338, 341 ], [ 55, 90, 116, 132, 135, 160, 225, 239, 286, 313, 350, 353 ], [ 67, 102, 128, 144, 147, 172, 237, 251, 298, 325, 362, 365 ], [ 2, 5, 79, 114, 140, 156, 159, 184, 249, 263, 310, 337 ], [ 14, 17, 91, 126, 152, 168, 171, 196, 261, 275, 322, 349 ], [ 26, 29, 103, 138, 164, 180, 183, 208, 273, 287, 334, 361 ], [ 1, 38, 41, 115, 150, 176, 192, 195, 220, 285, 299, 346 ], [ 13, 50, 53, 127, 162, 188, 204, 207, 232, 297, 311, 358 ], [ 25, 62, 65, 139, 174, 200, 216, 219, 244, 309, 323, 370 ], [ 10, 37, 74, 77, 151, 186, 212, 228, 231, 256, 321, 335 ], [ 22, 49, 86, 89, 163, 198, 224, 240, 243, 268, 333, 347 ], [ 34, 61, 98, 101, 175, 210, 236, 252, 255, 280, 345, 359 ], [ 46, 73, 110, 113, 187, 222, 248, 264, 267, 292, 357, 371 ], [ 11, 58, 85, 122, 125, 199, 234, 260, 276, 279, 304, 369 ], [ 9, 23, 70, 97, 134, 137, 211, 246, 272, 288, 291, 316 ], [ 21, 35, 82, 109, 146, 149, 223, 258, 284, 300, 303, 328 ], [ 33, 47, 94, 121, 158, 161, 235, 270, 296, 312, 315, 340 ], [ 45, 59, 106, 133, 170, 173, 247, 282, 308, 324, 327, 352 ], [ 57, 71, 118, 145, 182, 185, 259, 294, 320, 336, 339, 364 ], [ 4, 69, 83, 130, 157, 194, 197, 271, 306, 332, 348, 351 ], [ 16, 81, 95, 142, 169, 206, 209, 283, 318, 344, 360, 363 ], [ 0, 3, 28, 93, 107, 154, 181, 218, 221, 295, 330, 356 ], [ 39, 56, 103, 134, 169, 191, 198, 269, 276, 298, 345, 364 ], [ 4, 51, 68, 115, 146, 181, 203, 210, 281, 288, 310, 357 ], [ 16, 63, 80, 127, 158, 193, 215, 222, 293, 300, 322, 369 ], [ 9, 28, 75, 92, 139, 170, 205, 227, 234, 305, 312, 334 ], [ 21, 40, 87, 104, 151, 182, 217, 239, 246, 317, 324, 346 ], [ 33, 52, 99, 116, 163, 194, 229, 251, 258, 329, 336, 358 ], [ 45, 64, 111, 128, 175, 206, 241, 263, 270, 341, 348, 370 ], [ 10, 57, 76, 123, 140, 187, 218, 253, 275, 282, 353, 360 ], [ 0, 22, 69, 88, 135, 152, 199, 230, 265, 287, 294, 365 ], [ 5, 12, 34, 81, 100, 147, 164, 211, 242, 277, 299, 306 ], [ 17, 24, 46, 93, 112, 159, 176, 223, 254, 289, 311, 318 ], [ 29, 36, 58, 105, 124, 171, 188, 235, 266, 301, 323, 330 ], [ 41, 48, 70, 117, 136, 183, 200, 247, 278, 313, 335, 342 ], [ 53, 60, 82, 129, 148, 195, 212, 259, 290, 325, 347, 354 ], [ 65, 72, 94, 141, 160, 207, 224, 271, 302, 337, 359, 366 ], [ 6, 77, 84, 106, 153, 172, 219, 236, 283, 314, 349, 371 ], [ 11, 18, 89, 96, 118, 165, 184, 231, 248, 295, 326, 361 ], [ 1, 23, 30, 101, 108, 130, 177, 196, 243, 260, 307, 338 ], [ 13, 35, 42, 113, 120, 142, 189, 208, 255, 272, 319, 350 ], [ 25, 47, 54, 125, 132, 154, 201, 220, 267, 284, 331, 362 ], [ 2, 37, 59, 66, 137, 144, 166, 213, 232, 279, 296, 343 ], [ 14, 49, 71, 78, 149, 156, 178, 225, 244, 291, 308, 355 ], [ 26, 61, 83, 90, 161, 168, 190, 237, 256, 303, 320, 367 ], [ 7, 38, 73, 95, 102, 173, 180, 202, 249, 268, 315, 332 ], [ 19, 50, 85, 107, 114, 185, 192, 214, 261, 280, 327, 344 ], [ 31, 62, 97, 119, 126, 197, 204, 226, 273, 292, 339, 356 ], [ 43, 74, 109, 131, 138, 209, 216, 238, 285, 304, 351, 368 ], [ 8, 55, 86, 121, 143, 150, 221, 228, 250, 297, 316, 363 ], [ 3, 20, 67, 98, 133, 155, 162, 233, 240, 262, 309, 328 ], [ 15, 32, 79, 110, 145, 167, 174, 245, 252, 274, 321, 340 ], [ 27, 44, 91, 122, 157, 179, 186, 257, 264, 286, 333, 352 ], [ 13, 76, 103, 117, 147, 212, 216, 226, 257, 318, 326, 371 ], [ 11, 25, 88, 115, 129, 159, 224, 228, 238, 269, 330, 338 ], [ 23, 37, 100, 127, 141, 171, 236, 240, 250, 281, 342, 350 ], [ 35, 49, 112, 139, 153, 183, 248, 252, 262, 293, 354, 362 ], [ 2, 47, 61, 124, 151, 165, 195, 260, 264, 274, 305, 366 ], [ 6, 14, 59, 73, 136, 163, 177, 207, 272, 276, 286, 317 ], [ 18, 26, 71, 85, 148, 175, 189, 219, 284, 288, 298, 329 ], [ 30, 38, 83, 97, 160, 187, 201, 231, 296, 300, 310, 341 ], [ 42, 50, 95, 109, 172, 199, 213, 243, 308, 312, 322, 353 ], [ 54, 62, 107, 121, 184, 211, 225, 255, 320, 324, 334, 365 ], [ 5, 66, 74, 119, 133, 196, 223, 237, 267, 332, 336, 346 ], [ 17, 78, 86, 131, 145, 208, 235, 249, 279, 344, 348, 358 ], [ 29, 90, 98, 143, 157, 220, 247, 261, 291, 356, 360, 370 ], [ 0, 10, 41, 102, 110, 155, 169, 232, 259, 273, 303, 368 ], [ 8, 12, 22, 53, 114, 122, 167, 181, 244, 271, 285, 315 ], [ 20, 24, 34, 65, 126, 134, 179, 193, 256, 283, 297, 327 ], [ 32, 36, 46, 77, 138, 146, 191, 205, 268, 295, 309, 339 ], [ 44, 48, 58, 89, 150, 158, 203, 217, 280, 307, 321, 351 ], [ 56, 60, 70, 101, 162, 170, 215, 229, 292, 319, 333, 363 ], [ 3, 68, 72, 82, 113, 174, 182, 227, 241, 304, 331, 345 ], [ 15, 80, 84, 94, 125, 186, 194, 239, 253, 316, 343, 357 ], [ 27, 92, 96, 106, 137, 198, 206, 251, 265, 328, 355, 369 ], [ 9, 39, 104, 108, 118, 149, 210, 218, 263, 277, 340, 367 ], [ 7, 21, 51, 116, 120, 130, 161, 222, 230, 275, 289, 352 ], [ 19, 33, 63, 128, 132, 142, 173, 234, 242, 287, 301, 364 ], [ 4, 31, 45, 75, 140, 144, 154, 185, 246, 254, 299, 313 ], [ 16, 43, 57, 87, 152, 156, 166, 197, 258, 266, 311, 325 ], [ 28, 55, 69, 99, 164, 168, 178, 209, 270, 278, 323, 337 ], [ 40, 67, 81, 111, 176, 180, 190, 221, 282, 290, 335, 349 ], [ 52, 79, 93, 123, 188, 192, 202, 233, 294, 302, 347, 361 ], [ 1, 64, 91, 105, 135, 200, 204, 214, 245, 306, 314, 359 ], [ 23, 69, 118, 139, 146, 156, 160, 188, 222, 229, 245, 255 ], [ 35, 81, 130, 151, 158, 168, 172, 200, 234, 241, 257, 267 ], [ 47, 93, 142, 163, 170, 180, 184, 212, 246, 253, 269, 279 ], [ 59, 105, 154, 175, 182, 192, 196, 224, 258, 265, 281, 291 ], [ 71, 117, 166, 187, 194, 204, 208, 236, 270, 277, 293, 303 ], [ 83, 129, 178, 199, 206, 216, 220, 248, 282, 289, 305, 315 ], [ 95, 141, 190, 211, 218, 228, 232, 260, 294, 301, 317, 327 ], [ 107, 153, 202, 223, 230, 240, 244, 272, 306, 313, 329, 339 ], [ 119, 165, 214, 235, 242, 252, 256, 284, 318, 325, 341, 351 ], [ 131, 177, 226, 247, 254, 264, 268, 296, 330, 337, 353, 363 ], [ 3, 143, 189, 238, 259, 266, 276, 280, 308, 342, 349, 365 ], [ 5, 15, 155, 201, 250, 271, 278, 288, 292, 320, 354, 361 ], [ 1, 17, 27, 167, 213, 262, 283, 290, 300, 304, 332, 366 ], [ 6, 13, 29, 39, 179, 225, 274, 295, 302, 312, 316, 344 ], [ 18, 25, 41, 51, 191, 237, 286, 307, 314, 324, 328, 356 ], [ 30, 37, 53, 63, 203, 249, 298, 319, 326, 336, 340, 368 ], [ 8, 42, 49, 65, 75, 215, 261, 310, 331, 338, 348, 352 ], [ 20, 54, 61, 77, 87, 227, 273, 322, 343, 350, 360, 364 ], [ 0, 4, 32, 66, 73, 89, 99, 239, 285, 334, 355, 362 ], [ 2, 12, 16, 44, 78, 85, 101, 111, 251, 297, 346, 367 ], [ 7, 14, 24, 28, 56, 90, 97, 113, 123, 263, 309, 358 ], [ 19, 26, 36, 40, 68, 102, 109, 125, 135, 275, 321, 370 ], [ 10, 31, 38, 48, 52, 80, 114, 121, 137, 147, 287, 333 ], [ 22, 43, 50, 60, 64, 92, 126, 133, 149, 159, 299, 345 ], [ 34, 55, 62, 72, 76, 104, 138, 145, 161, 171, 311, 357 ], [ 46, 67, 74, 84, 88, 116, 150, 157, 173, 183, 323, 369 ], [ 9, 58, 79, 86, 96, 100, 128, 162, 169, 185, 195, 335 ], [ 21, 70, 91, 98, 108, 112, 140, 174, 181, 197, 207, 347 ], [ 33, 82, 103, 110, 120, 124, 152, 186, 193, 209, 219, 359 ], [ 45, 94, 115, 122, 132, 136, 164, 198, 205, 221, 231, 371 ], [ 11, 57, 106, 127, 134, 144, 148, 176, 210, 217, 233, 243 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 4, 14, 32, 51, 79, 90, 107, 130, 168, 177, 185, 225, 302, 337, 339, 356 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 1, 12, 17, 49, 60, 82, 105, 139, 191, 194, 213, 215, 225, 235, 271, 322 ] } }, "family": "pair-partition-cpm", "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "origin": "baseline", "construction": "Pair-partition CPM-based CSS (arXiv:2607.14091v1): J=4 column weight, L=12 row weight, prime lift P=31, 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). Distance witness from paper's exhaustive search (exact), 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." } }