{ "schema_version": "0.1", "name": "[[444,154,18]] pair-partition CPM CSS code (weight-12)", "code_type": "CSS", "n": 444, "k": 154, "checks": { "X": [ [ 21, 63, 166, 196, 203, 240, 307, 353, 361, 422, 438, 440 ], [ 6, 8, 33, 75, 178, 208, 215, 252, 319, 365, 373, 434 ], [ 2, 18, 20, 45, 87, 190, 220, 227, 264, 331, 377, 385 ], [ 14, 30, 32, 57, 99, 202, 232, 239, 276, 343, 389, 397 ], [ 26, 42, 44, 69, 111, 214, 244, 251, 288, 355, 401, 409 ], [ 38, 54, 56, 81, 123, 226, 256, 263, 300, 367, 413, 421 ], [ 50, 66, 68, 93, 135, 238, 268, 275, 312, 379, 425, 433 ], [ 1, 62, 78, 80, 105, 147, 250, 280, 287, 324, 391, 437 ], [ 5, 13, 74, 90, 92, 117, 159, 262, 292, 299, 336, 403 ], [ 17, 25, 86, 102, 104, 129, 171, 274, 304, 311, 348, 415 ], [ 29, 37, 98, 114, 116, 141, 183, 286, 316, 323, 360, 427 ], [ 41, 49, 110, 126, 128, 153, 195, 298, 328, 335, 372, 439 ], [ 7, 53, 61, 122, 138, 140, 165, 207, 310, 340, 347, 384 ], [ 19, 65, 73, 134, 150, 152, 177, 219, 322, 352, 359, 396 ], [ 31, 77, 85, 146, 162, 164, 189, 231, 334, 364, 371, 408 ], [ 43, 89, 97, 158, 174, 176, 201, 243, 346, 376, 383, 420 ], [ 55, 101, 109, 170, 186, 188, 213, 255, 358, 388, 395, 432 ], [ 0, 67, 113, 121, 182, 198, 200, 225, 267, 370, 400, 407 ], [ 12, 79, 125, 133, 194, 210, 212, 237, 279, 382, 412, 419 ], [ 24, 91, 137, 145, 206, 222, 224, 249, 291, 394, 424, 431 ], [ 36, 103, 149, 157, 218, 234, 236, 261, 303, 406, 436, 443 ], [ 4, 11, 48, 115, 161, 169, 230, 246, 248, 273, 315, 418 ], [ 16, 23, 60, 127, 173, 181, 242, 258, 260, 285, 327, 430 ], [ 28, 35, 72, 139, 185, 193, 254, 270, 272, 297, 339, 442 ], [ 10, 40, 47, 84, 151, 197, 205, 266, 282, 284, 309, 351 ], [ 22, 52, 59, 96, 163, 209, 217, 278, 294, 296, 321, 363 ], [ 34, 64, 71, 108, 175, 221, 229, 290, 306, 308, 333, 375 ], [ 46, 76, 83, 120, 187, 233, 241, 302, 318, 320, 345, 387 ], [ 58, 88, 95, 132, 199, 245, 253, 314, 330, 332, 357, 399 ], [ 70, 100, 107, 144, 211, 257, 265, 326, 342, 344, 369, 411 ], [ 82, 112, 119, 156, 223, 269, 277, 338, 354, 356, 381, 423 ], [ 94, 124, 131, 168, 235, 281, 289, 350, 366, 368, 393, 435 ], [ 3, 106, 136, 143, 180, 247, 293, 301, 362, 378, 380, 405 ], [ 15, 118, 148, 155, 192, 259, 305, 313, 374, 390, 392, 417 ], [ 27, 130, 160, 167, 204, 271, 317, 325, 386, 402, 404, 429 ], [ 39, 142, 172, 179, 216, 283, 329, 337, 398, 414, 416, 441 ], [ 9, 51, 154, 184, 191, 228, 295, 341, 349, 410, 426, 428 ], [ 54, 76, 80, 89, 237, 337, 355, 360, 375, 410, 418, 443 ], [ 11, 66, 88, 92, 101, 249, 349, 367, 372, 387, 422, 430 ], [ 23, 78, 100, 104, 113, 261, 361, 379, 384, 399, 434, 442 ], [ 2, 10, 35, 90, 112, 116, 125, 273, 373, 391, 396, 411 ], [ 14, 22, 47, 102, 124, 128, 137, 285, 385, 403, 408, 423 ], [ 26, 34, 59, 114, 136, 140, 149, 297, 397, 415, 420, 435 ], [ 3, 38, 46, 71, 126, 148, 152, 161, 309, 409, 427, 432 ], [ 0, 15, 50, 58, 83, 138, 160, 164, 173, 321, 421, 439 ], [ 7, 12, 27, 62, 70, 95, 150, 172, 176, 185, 333, 433 ], [ 1, 19, 24, 39, 74, 82, 107, 162, 184, 188, 197, 345 ], [ 13, 31, 36, 51, 86, 94, 119, 174, 196, 200, 209, 357 ], [ 25, 43, 48, 63, 98, 106, 131, 186, 208, 212, 221, 369 ], [ 37, 55, 60, 75, 110, 118, 143, 198, 220, 224, 233, 381 ], [ 49, 67, 72, 87, 122, 130, 155, 210, 232, 236, 245, 393 ], [ 61, 79, 84, 99, 134, 142, 167, 222, 244, 248, 257, 405 ], [ 73, 91, 96, 111, 146, 154, 179, 234, 256, 260, 269, 417 ], [ 85, 103, 108, 123, 158, 166, 191, 246, 268, 272, 281, 429 ], [ 97, 115, 120, 135, 170, 178, 203, 258, 280, 284, 293, 441 ], [ 9, 109, 127, 132, 147, 182, 190, 215, 270, 292, 296, 305 ], [ 21, 121, 139, 144, 159, 194, 202, 227, 282, 304, 308, 317 ], [ 33, 133, 151, 156, 171, 206, 214, 239, 294, 316, 320, 329 ], [ 45, 145, 163, 168, 183, 218, 226, 251, 306, 328, 332, 341 ], [ 57, 157, 175, 180, 195, 230, 238, 263, 318, 340, 344, 353 ], [ 69, 169, 187, 192, 207, 242, 250, 275, 330, 352, 356, 365 ], [ 81, 181, 199, 204, 219, 254, 262, 287, 342, 364, 368, 377 ], [ 93, 193, 211, 216, 231, 266, 274, 299, 354, 376, 380, 389 ], [ 105, 205, 223, 228, 243, 278, 286, 311, 366, 388, 392, 401 ], [ 117, 217, 235, 240, 255, 290, 298, 323, 378, 400, 404, 413 ], [ 129, 229, 247, 252, 267, 302, 310, 335, 390, 412, 416, 425 ], [ 141, 241, 259, 264, 279, 314, 322, 347, 402, 424, 428, 437 ], [ 5, 153, 253, 271, 276, 291, 326, 334, 359, 414, 436, 440 ], [ 4, 8, 17, 165, 265, 283, 288, 303, 338, 346, 371, 426 ], [ 16, 20, 29, 177, 277, 295, 300, 315, 350, 358, 383, 438 ], [ 6, 28, 32, 41, 189, 289, 307, 312, 327, 362, 370, 395 ], [ 18, 40, 44, 53, 201, 301, 319, 324, 339, 374, 382, 407 ], [ 30, 52, 56, 65, 213, 313, 331, 336, 351, 386, 394, 419 ], [ 42, 64, 68, 77, 225, 325, 343, 348, 363, 398, 406, 431 ], [ 58, 66, 98, 140, 161, 168, 189, 211, 255, 311, 385, 412 ], [ 70, 78, 110, 152, 173, 180, 201, 223, 267, 323, 397, 424 ], [ 82, 90, 122, 164, 185, 192, 213, 235, 279, 335, 409, 436 ], [ 4, 94, 102, 134, 176, 197, 204, 225, 247, 291, 347, 421 ], [ 16, 106, 114, 146, 188, 209, 216, 237, 259, 303, 359, 433 ], [ 1, 28, 118, 126, 158, 200, 221, 228, 249, 271, 315, 371 ], [ 13, 40, 130, 138, 170, 212, 233, 240, 261, 283, 327, 383 ], [ 25, 52, 142, 150, 182, 224, 245, 252, 273, 295, 339, 395 ], [ 37, 64, 154, 162, 194, 236, 257, 264, 285, 307, 351, 407 ], [ 49, 76, 166, 174, 206, 248, 269, 276, 297, 319, 363, 419 ], [ 61, 88, 178, 186, 218, 260, 281, 288, 309, 331, 375, 431 ], [ 73, 100, 190, 198, 230, 272, 293, 300, 321, 343, 387, 443 ], [ 11, 85, 112, 202, 210, 242, 284, 305, 312, 333, 355, 399 ], [ 23, 97, 124, 214, 222, 254, 296, 317, 324, 345, 367, 411 ], [ 35, 109, 136, 226, 234, 266, 308, 329, 336, 357, 379, 423 ], [ 47, 121, 148, 238, 246, 278, 320, 341, 348, 369, 391, 435 ], [ 3, 59, 133, 160, 250, 258, 290, 332, 353, 360, 381, 403 ], [ 15, 71, 145, 172, 262, 270, 302, 344, 365, 372, 393, 415 ], [ 27, 83, 157, 184, 274, 282, 314, 356, 377, 384, 405, 427 ], [ 39, 95, 169, 196, 286, 294, 326, 368, 389, 396, 417, 439 ], [ 7, 51, 107, 181, 208, 298, 306, 338, 380, 401, 408, 429 ], [ 19, 63, 119, 193, 220, 310, 318, 350, 392, 413, 420, 441 ], [ 9, 31, 75, 131, 205, 232, 322, 330, 362, 404, 425, 432 ], [ 0, 21, 43, 87, 143, 217, 244, 334, 342, 374, 416, 437 ], [ 5, 12, 33, 55, 99, 155, 229, 256, 346, 354, 386, 428 ], [ 17, 24, 45, 67, 111, 167, 241, 268, 358, 366, 398, 440 ], [ 8, 29, 36, 57, 79, 123, 179, 253, 280, 370, 378, 410 ], [ 20, 41, 48, 69, 91, 135, 191, 265, 292, 382, 390, 422 ], [ 32, 53, 60, 81, 103, 147, 203, 277, 304, 394, 402, 434 ], [ 2, 44, 65, 72, 93, 115, 159, 215, 289, 316, 406, 414 ], [ 14, 56, 77, 84, 105, 127, 171, 227, 301, 328, 418, 426 ], [ 26, 68, 89, 96, 117, 139, 183, 239, 313, 340, 430, 438 ], [ 6, 38, 80, 101, 108, 129, 151, 195, 251, 325, 352, 442 ], [ 10, 18, 50, 92, 113, 120, 141, 163, 207, 263, 337, 364 ], [ 22, 30, 62, 104, 125, 132, 153, 175, 219, 275, 349, 376 ], [ 34, 42, 74, 116, 137, 144, 165, 187, 231, 287, 361, 388 ], [ 46, 54, 86, 128, 149, 156, 177, 199, 243, 299, 373, 400 ], [ 26, 30, 36, 115, 116, 190, 249, 329, 363, 383, 412, 421 ], [ 38, 42, 48, 127, 128, 202, 261, 341, 375, 395, 424, 433 ], [ 1, 50, 54, 60, 139, 140, 214, 273, 353, 387, 407, 436 ], [ 4, 13, 62, 66, 72, 151, 152, 226, 285, 365, 399, 419 ], [ 16, 25, 74, 78, 84, 163, 164, 238, 297, 377, 411, 431 ], [ 28, 37, 86, 90, 96, 175, 176, 250, 309, 389, 423, 443 ], [ 11, 40, 49, 98, 102, 108, 187, 188, 262, 321, 401, 435 ], [ 3, 23, 52, 61, 110, 114, 120, 199, 200, 274, 333, 413 ], [ 15, 35, 64, 73, 122, 126, 132, 211, 212, 286, 345, 425 ], [ 27, 47, 76, 85, 134, 138, 144, 223, 224, 298, 357, 437 ], [ 5, 39, 59, 88, 97, 146, 150, 156, 235, 236, 310, 369 ], [ 17, 51, 71, 100, 109, 158, 162, 168, 247, 248, 322, 381 ], [ 29, 63, 83, 112, 121, 170, 174, 180, 259, 260, 334, 393 ], [ 41, 75, 95, 124, 133, 182, 186, 192, 271, 272, 346, 405 ], [ 53, 87, 107, 136, 145, 194, 198, 204, 283, 284, 358, 417 ], [ 65, 99, 119, 148, 157, 206, 210, 216, 295, 296, 370, 429 ], [ 77, 111, 131, 160, 169, 218, 222, 228, 307, 308, 382, 441 ], [ 9, 89, 123, 143, 172, 181, 230, 234, 240, 319, 320, 394 ], [ 21, 101, 135, 155, 184, 193, 242, 246, 252, 331, 332, 406 ], [ 33, 113, 147, 167, 196, 205, 254, 258, 264, 343, 344, 418 ], [ 45, 125, 159, 179, 208, 217, 266, 270, 276, 355, 356, 430 ], [ 57, 137, 171, 191, 220, 229, 278, 282, 288, 367, 368, 442 ], [ 10, 69, 149, 183, 203, 232, 241, 290, 294, 300, 379, 380 ], [ 22, 81, 161, 195, 215, 244, 253, 302, 306, 312, 391, 392 ], [ 34, 93, 173, 207, 227, 256, 265, 314, 318, 324, 403, 404 ], [ 46, 105, 185, 219, 239, 268, 277, 326, 330, 336, 415, 416 ], [ 58, 117, 197, 231, 251, 280, 289, 338, 342, 348, 427, 428 ], [ 70, 129, 209, 243, 263, 292, 301, 350, 354, 360, 439, 440 ], [ 7, 8, 82, 141, 221, 255, 275, 304, 313, 362, 366, 372 ], [ 19, 20, 94, 153, 233, 267, 287, 316, 325, 374, 378, 384 ], [ 31, 32, 106, 165, 245, 279, 299, 328, 337, 386, 390, 396 ], [ 43, 44, 118, 177, 257, 291, 311, 340, 349, 398, 402, 408 ], [ 55, 56, 130, 189, 269, 303, 323, 352, 361, 410, 414, 420 ], [ 67, 68, 142, 201, 281, 315, 335, 364, 373, 422, 426, 432 ], [ 0, 79, 80, 154, 213, 293, 327, 347, 376, 385, 434, 438 ], [ 2, 6, 12, 91, 92, 166, 225, 305, 339, 359, 388, 397 ], [ 14, 18, 24, 103, 104, 178, 237, 317, 351, 371, 400, 409 ] ], "Z": [ [ 34, 54, 55, 60, 149, 170, 203, 256, 260, 261, 361, 375 ], [ 46, 66, 67, 72, 161, 182, 215, 268, 272, 273, 373, 387 ], [ 58, 78, 79, 84, 173, 194, 227, 280, 284, 285, 385, 399 ], [ 70, 90, 91, 96, 185, 206, 239, 292, 296, 297, 397, 411 ], [ 82, 102, 103, 108, 197, 218, 251, 304, 308, 309, 409, 423 ], [ 94, 114, 115, 120, 209, 230, 263, 316, 320, 321, 421, 435 ], [ 3, 106, 126, 127, 132, 221, 242, 275, 328, 332, 333, 433 ], [ 1, 15, 118, 138, 139, 144, 233, 254, 287, 340, 344, 345 ], [ 13, 27, 130, 150, 151, 156, 245, 266, 299, 352, 356, 357 ], [ 25, 39, 142, 162, 163, 168, 257, 278, 311, 364, 368, 369 ], [ 37, 51, 154, 174, 175, 180, 269, 290, 323, 376, 380, 381 ], [ 49, 63, 166, 186, 187, 192, 281, 302, 335, 388, 392, 393 ], [ 61, 75, 178, 198, 199, 204, 293, 314, 347, 400, 404, 405 ], [ 73, 87, 190, 210, 211, 216, 305, 326, 359, 412, 416, 417 ], [ 85, 99, 202, 222, 223, 228, 317, 338, 371, 424, 428, 429 ], [ 97, 111, 214, 234, 235, 240, 329, 350, 383, 436, 440, 441 ], [ 4, 8, 9, 109, 123, 226, 246, 247, 252, 341, 362, 395 ], [ 16, 20, 21, 121, 135, 238, 258, 259, 264, 353, 374, 407 ], [ 28, 32, 33, 133, 147, 250, 270, 271, 276, 365, 386, 419 ], [ 40, 44, 45, 145, 159, 262, 282, 283, 288, 377, 398, 431 ], [ 52, 56, 57, 157, 171, 274, 294, 295, 300, 389, 410, 443 ], [ 11, 64, 68, 69, 169, 183, 286, 306, 307, 312, 401, 422 ], [ 23, 76, 80, 81, 181, 195, 298, 318, 319, 324, 413, 434 ], [ 2, 35, 88, 92, 93, 193, 207, 310, 330, 331, 336, 425 ], [ 14, 47, 100, 104, 105, 205, 219, 322, 342, 343, 348, 437 ], [ 5, 26, 59, 112, 116, 117, 217, 231, 334, 354, 355, 360 ], [ 17, 38, 71, 124, 128, 129, 229, 243, 346, 366, 367, 372 ], [ 29, 50, 83, 136, 140, 141, 241, 255, 358, 378, 379, 384 ], [ 41, 62, 95, 148, 152, 153, 253, 267, 370, 390, 391, 396 ], [ 53, 74, 107, 160, 164, 165, 265, 279, 382, 402, 403, 408 ], [ 65, 86, 119, 172, 176, 177, 277, 291, 394, 414, 415, 420 ], [ 77, 98, 131, 184, 188, 189, 289, 303, 406, 426, 427, 432 ], [ 0, 89, 110, 143, 196, 200, 201, 301, 315, 418, 438, 439 ], [ 6, 7, 12, 101, 122, 155, 208, 212, 213, 313, 327, 430 ], [ 18, 19, 24, 113, 134, 167, 220, 224, 225, 325, 339, 442 ], [ 10, 30, 31, 36, 125, 146, 179, 232, 236, 237, 337, 351 ], [ 22, 42, 43, 48, 137, 158, 191, 244, 248, 249, 349, 363 ], [ 35, 64, 72, 125, 157, 175, 210, 242, 285, 356, 406, 423 ], [ 47, 76, 84, 137, 169, 187, 222, 254, 297, 368, 418, 435 ], [ 3, 59, 88, 96, 149, 181, 199, 234, 266, 309, 380, 430 ], [ 15, 71, 100, 108, 161, 193, 211, 246, 278, 321, 392, 442 ], [ 10, 27, 83, 112, 120, 173, 205, 223, 258, 290, 333, 404 ], [ 22, 39, 95, 124, 132, 185, 217, 235, 270, 302, 345, 416 ], [ 34, 51, 107, 136, 144, 197, 229, 247, 282, 314, 357, 428 ], [ 46, 63, 119, 148, 156, 209, 241, 259, 294, 326, 369, 440 ], [ 8, 58, 75, 131, 160, 168, 221, 253, 271, 306, 338, 381 ], [ 20, 70, 87, 143, 172, 180, 233, 265, 283, 318, 350, 393 ], [ 32, 82, 99, 155, 184, 192, 245, 277, 295, 330, 362, 405 ], [ 44, 94, 111, 167, 196, 204, 257, 289, 307, 342, 374, 417 ], [ 56, 106, 123, 179, 208, 216, 269, 301, 319, 354, 386, 429 ], [ 68, 118, 135, 191, 220, 228, 281, 313, 331, 366, 398, 441 ], [ 9, 80, 130, 147, 203, 232, 240, 293, 325, 343, 378, 410 ], [ 21, 92, 142, 159, 215, 244, 252, 305, 337, 355, 390, 422 ], [ 33, 104, 154, 171, 227, 256, 264, 317, 349, 367, 402, 434 ], [ 2, 45, 116, 166, 183, 239, 268, 276, 329, 361, 379, 414 ], [ 14, 57, 128, 178, 195, 251, 280, 288, 341, 373, 391, 426 ], [ 26, 69, 140, 190, 207, 263, 292, 300, 353, 385, 403, 438 ], [ 6, 38, 81, 152, 202, 219, 275, 304, 312, 365, 397, 415 ], [ 18, 50, 93, 164, 214, 231, 287, 316, 324, 377, 409, 427 ], [ 30, 62, 105, 176, 226, 243, 299, 328, 336, 389, 421, 439 ], [ 7, 42, 74, 117, 188, 238, 255, 311, 340, 348, 401, 433 ], [ 1, 19, 54, 86, 129, 200, 250, 267, 323, 352, 360, 413 ], [ 13, 31, 66, 98, 141, 212, 262, 279, 335, 364, 372, 425 ], [ 25, 43, 78, 110, 153, 224, 274, 291, 347, 376, 384, 437 ], [ 5, 37, 55, 90, 122, 165, 236, 286, 303, 359, 388, 396 ], [ 17, 49, 67, 102, 134, 177, 248, 298, 315, 371, 400, 408 ], [ 29, 61, 79, 114, 146, 189, 260, 310, 327, 383, 412, 420 ], [ 41, 73, 91, 126, 158, 201, 272, 322, 339, 395, 424, 432 ], [ 0, 53, 85, 103, 138, 170, 213, 284, 334, 351, 407, 436 ], [ 4, 12, 65, 97, 115, 150, 182, 225, 296, 346, 363, 419 ], [ 16, 24, 77, 109, 127, 162, 194, 237, 308, 358, 375, 431 ], [ 28, 36, 89, 121, 139, 174, 206, 249, 320, 370, 387, 443 ], [ 11, 40, 48, 101, 133, 151, 186, 218, 261, 332, 382, 399 ], [ 23, 52, 60, 113, 145, 163, 198, 230, 273, 344, 394, 411 ], [ 34, 64, 74, 78, 92, 113, 324, 343, 345, 387, 397, 407 ], [ 46, 76, 86, 90, 104, 125, 336, 355, 357, 399, 409, 419 ], [ 58, 88, 98, 102, 116, 137, 348, 367, 369, 411, 421, 431 ], [ 70, 100, 110, 114, 128, 149, 360, 379, 381, 423, 433, 443 ], [ 1, 11, 82, 112, 122, 126, 140, 161, 372, 391, 393, 435 ], [ 3, 13, 23, 94, 124, 134, 138, 152, 173, 384, 403, 405 ], [ 15, 25, 35, 106, 136, 146, 150, 164, 185, 396, 415, 417 ], [ 27, 37, 47, 118, 148, 158, 162, 176, 197, 408, 427, 429 ], [ 39, 49, 59, 130, 160, 170, 174, 188, 209, 420, 439, 441 ], [ 7, 9, 51, 61, 71, 142, 172, 182, 186, 200, 221, 432 ], [ 0, 19, 21, 63, 73, 83, 154, 184, 194, 198, 212, 233 ], [ 12, 31, 33, 75, 85, 95, 166, 196, 206, 210, 224, 245 ], [ 24, 43, 45, 87, 97, 107, 178, 208, 218, 222, 236, 257 ], [ 36, 55, 57, 99, 109, 119, 190, 220, 230, 234, 248, 269 ], [ 48, 67, 69, 111, 121, 131, 202, 232, 242, 246, 260, 281 ], [ 60, 79, 81, 123, 133, 143, 214, 244, 254, 258, 272, 293 ], [ 72, 91, 93, 135, 145, 155, 226, 256, 266, 270, 284, 305 ], [ 84, 103, 105, 147, 157, 167, 238, 268, 278, 282, 296, 317 ], [ 96, 115, 117, 159, 169, 179, 250, 280, 290, 294, 308, 329 ], [ 108, 127, 129, 171, 181, 191, 262, 292, 302, 306, 320, 341 ], [ 120, 139, 141, 183, 193, 203, 274, 304, 314, 318, 332, 353 ], [ 132, 151, 153, 195, 205, 215, 286, 316, 326, 330, 344, 365 ], [ 144, 163, 165, 207, 217, 227, 298, 328, 338, 342, 356, 377 ], [ 156, 175, 177, 219, 229, 239, 310, 340, 350, 354, 368, 389 ], [ 168, 187, 189, 231, 241, 251, 322, 352, 362, 366, 380, 401 ], [ 180, 199, 201, 243, 253, 263, 334, 364, 374, 378, 392, 413 ], [ 192, 211, 213, 255, 265, 275, 346, 376, 386, 390, 404, 425 ], [ 204, 223, 225, 267, 277, 287, 358, 388, 398, 402, 416, 437 ], [ 5, 216, 235, 237, 279, 289, 299, 370, 400, 410, 414, 428 ], [ 17, 228, 247, 249, 291, 301, 311, 382, 412, 422, 426, 440 ], [ 8, 29, 240, 259, 261, 303, 313, 323, 394, 424, 434, 438 ], [ 2, 6, 20, 41, 252, 271, 273, 315, 325, 335, 406, 436 ], [ 4, 14, 18, 32, 53, 264, 283, 285, 327, 337, 347, 418 ], [ 16, 26, 30, 44, 65, 276, 295, 297, 339, 349, 359, 430 ], [ 28, 38, 42, 56, 77, 288, 307, 309, 351, 361, 371, 442 ], [ 10, 40, 50, 54, 68, 89, 300, 319, 321, 363, 373, 383 ], [ 22, 52, 62, 66, 80, 101, 312, 331, 333, 375, 385, 395 ], [ 20, 53, 97, 198, 201, 203, 220, 267, 300, 310, 367, 422 ], [ 32, 65, 109, 210, 213, 215, 232, 279, 312, 322, 379, 434 ], [ 2, 44, 77, 121, 222, 225, 227, 244, 291, 324, 334, 391 ], [ 14, 56, 89, 133, 234, 237, 239, 256, 303, 336, 346, 403 ], [ 26, 68, 101, 145, 246, 249, 251, 268, 315, 348, 358, 415 ], [ 38, 80, 113, 157, 258, 261, 263, 280, 327, 360, 370, 427 ], [ 50, 92, 125, 169, 270, 273, 275, 292, 339, 372, 382, 439 ], [ 7, 62, 104, 137, 181, 282, 285, 287, 304, 351, 384, 394 ], [ 19, 74, 116, 149, 193, 294, 297, 299, 316, 363, 396, 406 ], [ 31, 86, 128, 161, 205, 306, 309, 311, 328, 375, 408, 418 ], [ 43, 98, 140, 173, 217, 318, 321, 323, 340, 387, 420, 430 ], [ 55, 110, 152, 185, 229, 330, 333, 335, 352, 399, 432, 442 ], [ 0, 10, 67, 122, 164, 197, 241, 342, 345, 347, 364, 411 ], [ 12, 22, 79, 134, 176, 209, 253, 354, 357, 359, 376, 423 ], [ 24, 34, 91, 146, 188, 221, 265, 366, 369, 371, 388, 435 ], [ 3, 36, 46, 103, 158, 200, 233, 277, 378, 381, 383, 400 ], [ 15, 48, 58, 115, 170, 212, 245, 289, 390, 393, 395, 412 ], [ 27, 60, 70, 127, 182, 224, 257, 301, 402, 405, 407, 424 ], [ 39, 72, 82, 139, 194, 236, 269, 313, 414, 417, 419, 436 ], [ 4, 51, 84, 94, 151, 206, 248, 281, 325, 426, 429, 431 ], [ 16, 63, 96, 106, 163, 218, 260, 293, 337, 438, 441, 443 ], [ 6, 9, 11, 28, 75, 108, 118, 175, 230, 272, 305, 349 ], [ 18, 21, 23, 40, 87, 120, 130, 187, 242, 284, 317, 361 ], [ 30, 33, 35, 52, 99, 132, 142, 199, 254, 296, 329, 373 ], [ 42, 45, 47, 64, 111, 144, 154, 211, 266, 308, 341, 385 ], [ 54, 57, 59, 76, 123, 156, 166, 223, 278, 320, 353, 397 ], [ 66, 69, 71, 88, 135, 168, 178, 235, 290, 332, 365, 409 ], [ 78, 81, 83, 100, 147, 180, 190, 247, 302, 344, 377, 421 ], [ 90, 93, 95, 112, 159, 192, 202, 259, 314, 356, 389, 433 ], [ 1, 102, 105, 107, 124, 171, 204, 214, 271, 326, 368, 401 ], [ 13, 114, 117, 119, 136, 183, 216, 226, 283, 338, 380, 413 ], [ 25, 126, 129, 131, 148, 195, 228, 238, 295, 350, 392, 425 ], [ 37, 138, 141, 143, 160, 207, 240, 250, 307, 362, 404, 437 ], [ 5, 49, 150, 153, 155, 172, 219, 252, 262, 319, 374, 416 ], [ 17, 61, 162, 165, 167, 184, 231, 264, 274, 331, 386, 428 ], [ 29, 73, 174, 177, 179, 196, 243, 276, 286, 343, 398, 440 ], [ 8, 41, 85, 186, 189, 191, 208, 255, 288, 298, 355, 410 ] ] }, "distance": { "d": 18, "X": { "value": 18, "confidence": "exact", "witness": [ 1, 6, 9, 14, 54, 55, 57, 89, 110, 122, 142, 219, 252, 254, 293, 347, 368, 443 ] }, "Z": { "value": 18, "confidence": "exact", "witness": [ 9, 23, 30, 51, 65, 113, 141, 153, 181, 200, 206, 249, 254, 270, 276, 316, 322, 372 ] } }, "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "origin": "baseline", "construction": "Cyclic all-one pair-partition CPM CSS construction (arXiv:2607.14091), instance qc_444_154_18 (internal id qc_444_l12_p37_d18_candidate_0001): lift size p=37, (J,L)=(4,12), n=12*37=444, 4*37=148 checks per side, column weight 4, row weight 12. CPM exponent arrays (rows = CPM block-rows, columns = the 12 block-columns): E_X = [[17, 7, 2, 32, 21, 8, 1, 12, 1, 36, 24, 21], [7, 9, 3, 6, 31, 30, 33, 8, 31, 18, 3, 1], [23, 5, 29, 16, 3, 24, 32, 20, 26, 22, 33, 12], [34, 2, 35, 7, 3, 10, 35, 28, 28, 17, 22, 6]], E_Z = [[32, 7, 23, 6, 16, 25, 33, 33, 16, 16, 35, 21], [31, 24, 17, 2, 32, 27, 20, 23, 8, 14, 4, 35], [10, 4, 31, 5, 32, 28, 31, 9, 30, 9, 35, 4], [12, 29, 2, 15, 19, 33, 21, 7, 36, 21, 12, 21]]. Lift convention per the authors' expand_and_verify_cpm_matrices.py (github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2): check a of block-row b on side S has support {12*((a - E_S[b][t]) mod 37) + t : t=0..11}. Source https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/certificate_bundles_20260805/qc_444_154_18/certificate_bundle.tar.gz, artifacts/fixed_input/qc_444_154_ge18.cpm (sha256 26046970eb0f70e53a0d9da51d92768a4d34869606ead3a321399b37f2d126b7), expanded with the authors' own script.", "date": "2026", "references": [ "arXiv:2607.14091" ], "novelty": "known_parameters", "notes": "Literature baseline, seeded 2026-08-14. Listed as [[444,154,18]] in the primary table of the Okada-Kasai pair-partition CPM catalogue (arXiv:2607.14091; catalogue page updated 2026-08-13). The authors publish a machine-verified exact-distance certificate bundle (https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/certificate_bundles_20260805/qc_444_154_18/certificate_bundle.tar.gz, status exact_distance_machine_verified in master_manifest.json): complete lower-bound coverage through weight 16 on both sides plus explicit weight-18 logicals, which are the witnesses here, re-verified in this repo (kernel membership, row-space non-membership). Marked exact on the strength of that public certificate; per board policy the entry still displays as an upper bound until this repo's own certification. Reproduction was validated end to end: the bundle's fixed-input .cpm expanded with the authors' own script gives a CSS-orthogonal (4,12)-regular pair with GF(2) ranks giving k=154." }, "family": "pair-partition-cpm" }