{ "schema_version": "0.1", "name": "[[448,112,18]] CPM-PP pair-partition code", "code_type": "CSS", "n": 448, "k": 112, "checks": { "X": [ [ 0, 57, 112, 113, 168, 225, 280, 336, 392, 393 ], [ 1, 56, 57, 112, 169, 224, 225, 281, 337, 392 ], [ 2, 59, 114, 115, 170, 227, 282, 338, 394, 395 ], [ 3, 58, 59, 114, 171, 226, 227, 283, 339, 394 ], [ 4, 61, 116, 117, 172, 229, 284, 340, 396, 397 ], [ 5, 60, 61, 116, 173, 228, 229, 285, 341, 396 ], [ 6, 63, 118, 119, 174, 231, 286, 342, 398, 399 ], [ 7, 62, 63, 118, 175, 230, 231, 287, 343, 398 ], [ 8, 65, 120, 121, 176, 233, 288, 344, 400, 401 ], [ 9, 64, 65, 120, 177, 232, 233, 289, 345, 400 ], [ 10, 67, 122, 123, 178, 235, 290, 346, 402, 403 ], [ 11, 66, 67, 122, 179, 234, 235, 291, 347, 402 ], [ 12, 69, 124, 125, 180, 237, 292, 348, 404, 405 ], [ 13, 68, 69, 124, 181, 236, 237, 293, 349, 404 ], [ 14, 71, 126, 127, 182, 239, 294, 350, 406, 407 ], [ 15, 70, 71, 126, 183, 238, 239, 295, 351, 406 ], [ 16, 73, 128, 129, 184, 241, 296, 352, 408, 409 ], [ 17, 72, 73, 128, 185, 240, 241, 297, 353, 408 ], [ 18, 75, 130, 131, 186, 243, 298, 354, 410, 411 ], [ 19, 74, 75, 130, 187, 242, 243, 299, 355, 410 ], [ 20, 77, 132, 133, 188, 245, 300, 356, 412, 413 ], [ 21, 76, 77, 132, 189, 244, 245, 301, 357, 412 ], [ 22, 79, 134, 135, 190, 247, 302, 358, 414, 415 ], [ 23, 78, 79, 134, 191, 246, 247, 303, 359, 414 ], [ 24, 81, 136, 137, 192, 249, 304, 360, 416, 417 ], [ 25, 80, 81, 136, 193, 248, 249, 305, 361, 416 ], [ 26, 83, 138, 139, 194, 251, 306, 362, 418, 419 ], [ 27, 82, 83, 138, 195, 250, 251, 307, 363, 418 ], [ 28, 85, 140, 141, 196, 253, 308, 364, 420, 421 ], [ 29, 84, 85, 140, 197, 252, 253, 309, 365, 420 ], [ 30, 87, 142, 143, 198, 255, 310, 366, 422, 423 ], [ 31, 86, 87, 142, 199, 254, 255, 311, 367, 422 ], [ 32, 89, 144, 145, 200, 257, 312, 368, 424, 425 ], [ 33, 88, 89, 144, 201, 256, 257, 313, 369, 424 ], [ 34, 91, 146, 147, 202, 259, 314, 370, 426, 427 ], [ 35, 90, 91, 146, 203, 258, 259, 315, 371, 426 ], [ 36, 93, 148, 149, 204, 261, 316, 372, 428, 429 ], [ 37, 92, 93, 148, 205, 260, 261, 317, 373, 428 ], [ 38, 95, 150, 151, 206, 263, 318, 374, 430, 431 ], [ 39, 94, 95, 150, 207, 262, 263, 319, 375, 430 ], [ 40, 97, 152, 153, 208, 265, 320, 376, 432, 433 ], [ 41, 96, 97, 152, 209, 264, 265, 321, 377, 432 ], [ 42, 99, 154, 155, 210, 267, 322, 378, 434, 435 ], [ 43, 98, 99, 154, 211, 266, 267, 323, 379, 434 ], [ 44, 101, 156, 157, 212, 269, 324, 380, 436, 437 ], [ 45, 100, 101, 156, 213, 268, 269, 325, 381, 436 ], [ 46, 103, 158, 159, 214, 271, 326, 382, 438, 439 ], [ 47, 102, 103, 158, 215, 270, 271, 327, 383, 438 ], [ 48, 105, 160, 161, 216, 273, 328, 384, 440, 441 ], [ 49, 104, 105, 160, 217, 272, 273, 329, 385, 440 ], [ 50, 107, 162, 163, 218, 275, 330, 386, 442, 443 ], [ 51, 106, 107, 162, 219, 274, 275, 331, 387, 442 ], [ 52, 109, 164, 165, 220, 277, 332, 388, 444, 445 ], [ 53, 108, 109, 164, 221, 276, 277, 333, 389, 444 ], [ 54, 111, 166, 167, 222, 279, 334, 390, 446, 447 ], [ 55, 110, 111, 166, 223, 278, 279, 335, 391, 446 ], [ 1, 68, 128, 176, 177, 254, 329, 372, 373, 426 ], [ 0, 1, 69, 129, 176, 255, 328, 329, 372, 427 ], [ 3, 70, 130, 178, 179, 256, 331, 374, 375, 428 ], [ 2, 3, 71, 131, 178, 257, 330, 331, 374, 429 ], [ 5, 72, 132, 180, 181, 258, 333, 376, 377, 430 ], [ 4, 5, 73, 133, 180, 259, 332, 333, 376, 431 ], [ 7, 74, 134, 182, 183, 260, 335, 378, 379, 432 ], [ 6, 7, 75, 135, 182, 261, 334, 335, 378, 433 ], [ 9, 76, 136, 184, 185, 262, 281, 380, 381, 434 ], [ 8, 9, 77, 137, 184, 263, 280, 281, 380, 435 ], [ 11, 78, 138, 186, 187, 264, 283, 382, 383, 436 ], [ 10, 11, 79, 139, 186, 265, 282, 283, 382, 437 ], [ 13, 80, 140, 188, 189, 266, 285, 384, 385, 438 ], [ 12, 13, 81, 141, 188, 267, 284, 285, 384, 439 ], [ 15, 82, 142, 190, 191, 268, 287, 386, 387, 440 ], [ 14, 15, 83, 143, 190, 269, 286, 287, 386, 441 ], [ 17, 84, 144, 192, 193, 270, 289, 388, 389, 442 ], [ 16, 17, 85, 145, 192, 271, 288, 289, 388, 443 ], [ 19, 86, 146, 194, 195, 272, 291, 390, 391, 444 ], [ 18, 19, 87, 147, 194, 273, 290, 291, 390, 445 ], [ 21, 88, 148, 196, 197, 274, 293, 336, 337, 446 ], [ 20, 21, 89, 149, 196, 275, 292, 293, 336, 447 ], [ 23, 90, 150, 198, 199, 276, 295, 338, 339, 392 ], [ 22, 23, 91, 151, 198, 277, 294, 295, 338, 393 ], [ 25, 92, 152, 200, 201, 278, 297, 340, 341, 394 ], [ 24, 25, 93, 153, 200, 279, 296, 297, 340, 395 ], [ 27, 94, 154, 202, 203, 224, 299, 342, 343, 396 ], [ 26, 27, 95, 155, 202, 225, 298, 299, 342, 397 ], [ 29, 96, 156, 204, 205, 226, 301, 344, 345, 398 ], [ 28, 29, 97, 157, 204, 227, 300, 301, 344, 399 ], [ 31, 98, 158, 206, 207, 228, 303, 346, 347, 400 ], [ 30, 31, 99, 159, 206, 229, 302, 303, 346, 401 ], [ 33, 100, 160, 208, 209, 230, 305, 348, 349, 402 ], [ 32, 33, 101, 161, 208, 231, 304, 305, 348, 403 ], [ 35, 102, 162, 210, 211, 232, 307, 350, 351, 404 ], [ 34, 35, 103, 163, 210, 233, 306, 307, 350, 405 ], [ 37, 104, 164, 212, 213, 234, 309, 352, 353, 406 ], [ 36, 37, 105, 165, 212, 235, 308, 309, 352, 407 ], [ 39, 106, 166, 214, 215, 236, 311, 354, 355, 408 ], [ 38, 39, 107, 167, 214, 237, 310, 311, 354, 409 ], [ 41, 108, 112, 216, 217, 238, 313, 356, 357, 410 ], [ 40, 41, 109, 113, 216, 239, 312, 313, 356, 411 ], [ 43, 110, 114, 218, 219, 240, 315, 358, 359, 412 ], [ 42, 43, 111, 115, 218, 241, 314, 315, 358, 413 ], [ 45, 56, 116, 220, 221, 242, 317, 360, 361, 414 ], [ 44, 45, 57, 117, 220, 243, 316, 317, 360, 415 ], [ 47, 58, 118, 222, 223, 244, 319, 362, 363, 416 ], [ 46, 47, 59, 119, 222, 245, 318, 319, 362, 417 ], [ 49, 60, 120, 168, 169, 246, 321, 364, 365, 418 ], [ 48, 49, 61, 121, 168, 247, 320, 321, 364, 419 ], [ 51, 62, 122, 170, 171, 248, 323, 366, 367, 420 ], [ 50, 51, 63, 123, 170, 249, 322, 323, 366, 421 ], [ 53, 64, 124, 172, 173, 250, 325, 368, 369, 422 ], [ 52, 53, 65, 125, 172, 251, 324, 325, 368, 423 ], [ 55, 66, 126, 174, 175, 252, 327, 370, 371, 424 ], [ 54, 55, 67, 127, 174, 253, 326, 327, 370, 425 ], [ 0, 1, 108, 124, 207, 248, 298, 299, 383, 406 ], [ 0, 109, 125, 206, 207, 249, 298, 382, 383, 407 ], [ 2, 3, 110, 126, 209, 250, 300, 301, 385, 408 ], [ 2, 111, 127, 208, 209, 251, 300, 384, 385, 409 ], [ 4, 5, 56, 128, 211, 252, 302, 303, 387, 410 ], [ 4, 57, 129, 210, 211, 253, 302, 386, 387, 411 ], [ 6, 7, 58, 130, 213, 254, 304, 305, 389, 412 ], [ 6, 59, 131, 212, 213, 255, 304, 388, 389, 413 ], [ 8, 9, 60, 132, 215, 256, 306, 307, 391, 414 ], [ 8, 61, 133, 214, 215, 257, 306, 390, 391, 415 ], [ 10, 11, 62, 134, 217, 258, 308, 309, 337, 416 ], [ 10, 63, 135, 216, 217, 259, 308, 336, 337, 417 ], [ 12, 13, 64, 136, 219, 260, 310, 311, 339, 418 ], [ 12, 65, 137, 218, 219, 261, 310, 338, 339, 419 ], [ 14, 15, 66, 138, 221, 262, 312, 313, 341, 420 ], [ 14, 67, 139, 220, 221, 263, 312, 340, 341, 421 ], [ 16, 17, 68, 140, 223, 264, 314, 315, 343, 422 ], [ 16, 69, 141, 222, 223, 265, 314, 342, 343, 423 ], [ 18, 19, 70, 142, 169, 266, 316, 317, 345, 424 ], [ 18, 71, 143, 168, 169, 267, 316, 344, 345, 425 ], [ 20, 21, 72, 144, 171, 268, 318, 319, 347, 426 ], [ 20, 73, 145, 170, 171, 269, 318, 346, 347, 427 ], [ 22, 23, 74, 146, 173, 270, 320, 321, 349, 428 ], [ 22, 75, 147, 172, 173, 271, 320, 348, 349, 429 ], [ 24, 25, 76, 148, 175, 272, 322, 323, 351, 430 ], [ 24, 77, 149, 174, 175, 273, 322, 350, 351, 431 ], [ 26, 27, 78, 150, 177, 274, 324, 325, 353, 432 ], [ 26, 79, 151, 176, 177, 275, 324, 352, 353, 433 ], [ 28, 29, 80, 152, 179, 276, 326, 327, 355, 434 ], [ 28, 81, 153, 178, 179, 277, 326, 354, 355, 435 ], [ 30, 31, 82, 154, 181, 278, 328, 329, 357, 436 ], [ 30, 83, 155, 180, 181, 279, 328, 356, 357, 437 ], [ 32, 33, 84, 156, 183, 224, 330, 331, 359, 438 ], [ 32, 85, 157, 182, 183, 225, 330, 358, 359, 439 ], [ 34, 35, 86, 158, 185, 226, 332, 333, 361, 440 ], [ 34, 87, 159, 184, 185, 227, 332, 360, 361, 441 ], [ 36, 37, 88, 160, 187, 228, 334, 335, 363, 442 ], [ 36, 89, 161, 186, 187, 229, 334, 362, 363, 443 ], [ 38, 39, 90, 162, 189, 230, 280, 281, 365, 444 ], [ 38, 91, 163, 188, 189, 231, 280, 364, 365, 445 ], [ 40, 41, 92, 164, 191, 232, 282, 283, 367, 446 ], [ 40, 93, 165, 190, 191, 233, 282, 366, 367, 447 ], [ 42, 43, 94, 166, 193, 234, 284, 285, 369, 392 ], [ 42, 95, 167, 192, 193, 235, 284, 368, 369, 393 ], [ 44, 45, 96, 112, 195, 236, 286, 287, 371, 394 ], [ 44, 97, 113, 194, 195, 237, 286, 370, 371, 395 ], [ 46, 47, 98, 114, 197, 238, 288, 289, 373, 396 ], [ 46, 99, 115, 196, 197, 239, 288, 372, 373, 397 ], [ 48, 49, 100, 116, 199, 240, 290, 291, 375, 398 ], [ 48, 101, 117, 198, 199, 241, 290, 374, 375, 399 ], [ 50, 51, 102, 118, 201, 242, 292, 293, 377, 400 ], [ 50, 103, 119, 200, 201, 243, 292, 376, 377, 401 ], [ 52, 53, 104, 120, 203, 244, 294, 295, 379, 402 ], [ 52, 105, 121, 202, 203, 245, 294, 378, 379, 403 ], [ 54, 55, 106, 122, 205, 246, 296, 297, 381, 404 ], [ 54, 107, 123, 204, 205, 247, 296, 380, 381, 405 ] ], "Z": [ [ 0, 90, 91, 137, 170, 248, 249, 280, 338, 427 ], [ 1, 90, 136, 137, 171, 248, 281, 339, 426, 427 ], [ 2, 92, 93, 139, 172, 250, 251, 282, 340, 429 ], [ 3, 92, 138, 139, 173, 250, 283, 341, 428, 429 ], [ 4, 94, 95, 141, 174, 252, 253, 284, 342, 431 ], [ 5, 94, 140, 141, 175, 252, 285, 343, 430, 431 ], [ 6, 96, 97, 143, 176, 254, 255, 286, 344, 433 ], [ 7, 96, 142, 143, 177, 254, 287, 345, 432, 433 ], [ 8, 98, 99, 145, 178, 256, 257, 288, 346, 435 ], [ 9, 98, 144, 145, 179, 256, 289, 347, 434, 435 ], [ 10, 100, 101, 147, 180, 258, 259, 290, 348, 437 ], [ 11, 100, 146, 147, 181, 258, 291, 349, 436, 437 ], [ 12, 102, 103, 149, 182, 260, 261, 292, 350, 439 ], [ 13, 102, 148, 149, 183, 260, 293, 351, 438, 439 ], [ 14, 104, 105, 151, 184, 262, 263, 294, 352, 441 ], [ 15, 104, 150, 151, 185, 262, 295, 353, 440, 441 ], [ 16, 106, 107, 153, 186, 264, 265, 296, 354, 443 ], [ 17, 106, 152, 153, 187, 264, 297, 355, 442, 443 ], [ 18, 108, 109, 155, 188, 266, 267, 298, 356, 445 ], [ 19, 108, 154, 155, 189, 266, 299, 357, 444, 445 ], [ 20, 110, 111, 157, 190, 268, 269, 300, 358, 447 ], [ 21, 110, 156, 157, 191, 268, 301, 359, 446, 447 ], [ 22, 56, 57, 159, 192, 270, 271, 302, 360, 393 ], [ 23, 56, 158, 159, 193, 270, 303, 361, 392, 393 ], [ 24, 58, 59, 161, 194, 272, 273, 304, 362, 395 ], [ 25, 58, 160, 161, 195, 272, 305, 363, 394, 395 ], [ 26, 60, 61, 163, 196, 274, 275, 306, 364, 397 ], [ 27, 60, 162, 163, 197, 274, 307, 365, 396, 397 ], [ 28, 62, 63, 165, 198, 276, 277, 308, 366, 399 ], [ 29, 62, 164, 165, 199, 276, 309, 367, 398, 399 ], [ 30, 64, 65, 167, 200, 278, 279, 310, 368, 401 ], [ 31, 64, 166, 167, 201, 278, 311, 369, 400, 401 ], [ 32, 66, 67, 113, 202, 224, 225, 312, 370, 403 ], [ 33, 66, 112, 113, 203, 224, 313, 371, 402, 403 ], [ 34, 68, 69, 115, 204, 226, 227, 314, 372, 405 ], [ 35, 68, 114, 115, 205, 226, 315, 373, 404, 405 ], [ 36, 70, 71, 117, 206, 228, 229, 316, 374, 407 ], [ 37, 70, 116, 117, 207, 228, 317, 375, 406, 407 ], [ 38, 72, 73, 119, 208, 230, 231, 318, 376, 409 ], [ 39, 72, 118, 119, 209, 230, 319, 377, 408, 409 ], [ 40, 74, 75, 121, 210, 232, 233, 320, 378, 411 ], [ 41, 74, 120, 121, 211, 232, 321, 379, 410, 411 ], [ 42, 76, 77, 123, 212, 234, 235, 322, 380, 413 ], [ 43, 76, 122, 123, 213, 234, 323, 381, 412, 413 ], [ 44, 78, 79, 125, 214, 236, 237, 324, 382, 415 ], [ 45, 78, 124, 125, 215, 236, 325, 383, 414, 415 ], [ 46, 80, 81, 127, 216, 238, 239, 326, 384, 417 ], [ 47, 80, 126, 127, 217, 238, 327, 385, 416, 417 ], [ 48, 82, 83, 129, 218, 240, 241, 328, 386, 419 ], [ 49, 82, 128, 129, 219, 240, 329, 387, 418, 419 ], [ 50, 84, 85, 131, 220, 242, 243, 330, 388, 421 ], [ 51, 84, 130, 131, 221, 242, 331, 389, 420, 421 ], [ 52, 86, 87, 133, 222, 244, 245, 332, 390, 423 ], [ 53, 86, 132, 133, 223, 244, 333, 391, 422, 423 ], [ 54, 88, 89, 135, 168, 246, 247, 334, 336, 425 ], [ 55, 88, 134, 135, 169, 246, 335, 337, 424, 425 ], [ 1, 104, 154, 182, 183, 224, 329, 378, 379, 406 ], [ 0, 1, 105, 155, 182, 225, 328, 329, 378, 407 ], [ 3, 106, 156, 184, 185, 226, 331, 380, 381, 408 ], [ 2, 3, 107, 157, 184, 227, 330, 331, 380, 409 ], [ 5, 108, 158, 186, 187, 228, 333, 382, 383, 410 ], [ 4, 5, 109, 159, 186, 229, 332, 333, 382, 411 ], [ 7, 110, 160, 188, 189, 230, 335, 384, 385, 412 ], [ 6, 7, 111, 161, 188, 231, 334, 335, 384, 413 ], [ 9, 56, 162, 190, 191, 232, 281, 386, 387, 414 ], [ 8, 9, 57, 163, 190, 233, 280, 281, 386, 415 ], [ 11, 58, 164, 192, 193, 234, 283, 388, 389, 416 ], [ 10, 11, 59, 165, 192, 235, 282, 283, 388, 417 ], [ 13, 60, 166, 194, 195, 236, 285, 390, 391, 418 ], [ 12, 13, 61, 167, 194, 237, 284, 285, 390, 419 ], [ 15, 62, 112, 196, 197, 238, 287, 336, 337, 420 ], [ 14, 15, 63, 113, 196, 239, 286, 287, 336, 421 ], [ 17, 64, 114, 198, 199, 240, 289, 338, 339, 422 ], [ 16, 17, 65, 115, 198, 241, 288, 289, 338, 423 ], [ 19, 66, 116, 200, 201, 242, 291, 340, 341, 424 ], [ 18, 19, 67, 117, 200, 243, 290, 291, 340, 425 ], [ 21, 68, 118, 202, 203, 244, 293, 342, 343, 426 ], [ 20, 21, 69, 119, 202, 245, 292, 293, 342, 427 ], [ 23, 70, 120, 204, 205, 246, 295, 344, 345, 428 ], [ 22, 23, 71, 121, 204, 247, 294, 295, 344, 429 ], [ 25, 72, 122, 206, 207, 248, 297, 346, 347, 430 ], [ 24, 25, 73, 123, 206, 249, 296, 297, 346, 431 ], [ 27, 74, 124, 208, 209, 250, 299, 348, 349, 432 ], [ 26, 27, 75, 125, 208, 251, 298, 299, 348, 433 ], [ 29, 76, 126, 210, 211, 252, 301, 350, 351, 434 ], [ 28, 29, 77, 127, 210, 253, 300, 301, 350, 435 ], [ 31, 78, 128, 212, 213, 254, 303, 352, 353, 436 ], [ 30, 31, 79, 129, 212, 255, 302, 303, 352, 437 ], [ 33, 80, 130, 214, 215, 256, 305, 354, 355, 438 ], [ 32, 33, 81, 131, 214, 257, 304, 305, 354, 439 ], [ 35, 82, 132, 216, 217, 258, 307, 356, 357, 440 ], [ 34, 35, 83, 133, 216, 259, 306, 307, 356, 441 ], [ 37, 84, 134, 218, 219, 260, 309, 358, 359, 442 ], [ 36, 37, 85, 135, 218, 261, 308, 309, 358, 443 ], [ 39, 86, 136, 220, 221, 262, 311, 360, 361, 444 ], [ 38, 39, 87, 137, 220, 263, 310, 311, 360, 445 ], [ 41, 88, 138, 222, 223, 264, 313, 362, 363, 446 ], [ 40, 41, 89, 139, 222, 265, 312, 313, 362, 447 ], [ 43, 90, 140, 168, 169, 266, 315, 364, 365, 392 ], [ 42, 43, 91, 141, 168, 267, 314, 315, 364, 393 ], [ 45, 92, 142, 170, 171, 268, 317, 366, 367, 394 ], [ 44, 45, 93, 143, 170, 269, 316, 317, 366, 395 ], [ 47, 94, 144, 172, 173, 270, 319, 368, 369, 396 ], [ 46, 47, 95, 145, 172, 271, 318, 319, 368, 397 ], [ 49, 96, 146, 174, 175, 272, 321, 370, 371, 398 ], [ 48, 49, 97, 147, 174, 273, 320, 321, 370, 399 ], [ 51, 98, 148, 176, 177, 274, 323, 372, 373, 400 ], [ 50, 51, 99, 149, 176, 275, 322, 323, 372, 401 ], [ 53, 100, 150, 178, 179, 276, 325, 374, 375, 402 ], [ 52, 53, 101, 151, 178, 277, 324, 325, 374, 403 ], [ 55, 102, 152, 180, 181, 278, 327, 376, 377, 404 ], [ 54, 55, 103, 153, 180, 279, 326, 327, 376, 405 ], [ 0, 1, 94, 130, 199, 254, 298, 299, 375, 392 ], [ 0, 95, 131, 198, 199, 255, 298, 374, 375, 393 ], [ 2, 3, 96, 132, 201, 256, 300, 301, 377, 394 ], [ 2, 97, 133, 200, 201, 257, 300, 376, 377, 395 ], [ 4, 5, 98, 134, 203, 258, 302, 303, 379, 396 ], [ 4, 99, 135, 202, 203, 259, 302, 378, 379, 397 ], [ 6, 7, 100, 136, 205, 260, 304, 305, 381, 398 ], [ 6, 101, 137, 204, 205, 261, 304, 380, 381, 399 ], [ 8, 9, 102, 138, 207, 262, 306, 307, 383, 400 ], [ 8, 103, 139, 206, 207, 263, 306, 382, 383, 401 ], [ 10, 11, 104, 140, 209, 264, 308, 309, 385, 402 ], [ 10, 105, 141, 208, 209, 265, 308, 384, 385, 403 ], [ 12, 13, 106, 142, 211, 266, 310, 311, 387, 404 ], [ 12, 107, 143, 210, 211, 267, 310, 386, 387, 405 ], [ 14, 15, 108, 144, 213, 268, 312, 313, 389, 406 ], [ 14, 109, 145, 212, 213, 269, 312, 388, 389, 407 ], [ 16, 17, 110, 146, 215, 270, 314, 315, 391, 408 ], [ 16, 111, 147, 214, 215, 271, 314, 390, 391, 409 ], [ 18, 19, 56, 148, 217, 272, 316, 317, 337, 410 ], [ 18, 57, 149, 216, 217, 273, 316, 336, 337, 411 ], [ 20, 21, 58, 150, 219, 274, 318, 319, 339, 412 ], [ 20, 59, 151, 218, 219, 275, 318, 338, 339, 413 ], [ 22, 23, 60, 152, 221, 276, 320, 321, 341, 414 ], [ 22, 61, 153, 220, 221, 277, 320, 340, 341, 415 ], [ 24, 25, 62, 154, 223, 278, 322, 323, 343, 416 ], [ 24, 63, 155, 222, 223, 279, 322, 342, 343, 417 ], [ 26, 27, 64, 156, 169, 224, 324, 325, 345, 418 ], [ 26, 65, 157, 168, 169, 225, 324, 344, 345, 419 ], [ 28, 29, 66, 158, 171, 226, 326, 327, 347, 420 ], [ 28, 67, 159, 170, 171, 227, 326, 346, 347, 421 ], [ 30, 31, 68, 160, 173, 228, 328, 329, 349, 422 ], [ 30, 69, 161, 172, 173, 229, 328, 348, 349, 423 ], [ 32, 33, 70, 162, 175, 230, 330, 331, 351, 424 ], [ 32, 71, 163, 174, 175, 231, 330, 350, 351, 425 ], [ 34, 35, 72, 164, 177, 232, 332, 333, 353, 426 ], [ 34, 73, 165, 176, 177, 233, 332, 352, 353, 427 ], [ 36, 37, 74, 166, 179, 234, 334, 335, 355, 428 ], [ 36, 75, 167, 178, 179, 235, 334, 354, 355, 429 ], [ 38, 39, 76, 112, 181, 236, 280, 281, 357, 430 ], [ 38, 77, 113, 180, 181, 237, 280, 356, 357, 431 ], [ 40, 41, 78, 114, 183, 238, 282, 283, 359, 432 ], [ 40, 79, 115, 182, 183, 239, 282, 358, 359, 433 ], [ 42, 43, 80, 116, 185, 240, 284, 285, 361, 434 ], [ 42, 81, 117, 184, 185, 241, 284, 360, 361, 435 ], [ 44, 45, 82, 118, 187, 242, 286, 287, 363, 436 ], [ 44, 83, 119, 186, 187, 243, 286, 362, 363, 437 ], [ 46, 47, 84, 120, 189, 244, 288, 289, 365, 438 ], [ 46, 85, 121, 188, 189, 245, 288, 364, 365, 439 ], [ 48, 49, 86, 122, 191, 246, 290, 291, 367, 440 ], [ 48, 87, 123, 190, 191, 247, 290, 366, 367, 441 ], [ 50, 51, 88, 124, 193, 248, 292, 293, 369, 442 ], [ 50, 89, 125, 192, 193, 249, 292, 368, 369, 443 ], [ 52, 53, 90, 126, 195, 250, 294, 295, 371, 444 ], [ 52, 91, 127, 194, 195, 251, 294, 370, 371, 445 ], [ 54, 55, 92, 128, 197, 252, 296, 297, 373, 446 ], [ 54, 93, 129, 196, 197, 253, 296, 372, 373, 447 ] ] }, "distance": { "d": 18, "X": { "value": 18, "confidence": "upper_bound", "witness": [ 43, 79, 110, 134, 135, 151, 156, 168, 184, 185, 271, 302, 318, 324, 358, 408, 409, 412 ] }, "Z": { "value": 18, "confidence": "upper_bound", "witness": [ 9, 49, 65, 116, 120, 154, 177, 247, 261, 324, 329, 372, 373, 378, 379, 380, 396, 414 ] } }, "provenance": { "authors": [ "Okada, Koki", "Kasai, Kenta" ], "construction": "CPM-PP pair-partition code (arXiv:2609.35601v1): J=3, L=8, P=28, Table 1 row 6; check matrices reconstructed from the published exponent arrays and F4 coefficient assignment, distances re-verified here", "origin": "baseline", "date": "2026-09-29", "model": "MiMo-V2.6-Flash", "novelty": "known_parameters", "references": [ "arXiv:2609.35601v1" ], "notes": "Reproduction of the Table 1 row 6 instance (P = 28) of arXiv:2609.35601v1 (Okada and Kasai), reconstructed from the published exponent arrays, F4 coefficient assignment and companion-matrix expansion. The reconstruction reproduces that paper's Table 2 invariants exactly: commuting CSS checks, rank 6P on each side (k = 4P = 112), quaternary and binary row weight 8 and 10, column weights 3 on 4P columns and 4 on 12P columns, girth 6 (quaternary) and 4 (binary). Equivalence to existing entries was checked on the base branch: no CSS entry is dominated by, or dominates, this one on (n, k, d, max check weight), and both this [[448,112,18]] and this (n,k) pair are new to codes/. Distance is re-verified here as a witness-backed upper bound (X = 18, Z = 18 from 20,000 RIS trials per side plus a 2,000,000-trial accelerator pass at seed 0); the paper claims the same value exact by exhaustive zero-syndrome search, which this repository does not certify at k = 112. P = 28 appears once in Table 1, so no sibling at the same (n,k) was traded away. Reconstructed by MiMo-V2.6-Flash; PR opened by @MathysRennela." }, "family": "pair-partition-cpm" }