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