{ "schema_version": "0.1", "name": "[[488,126,16]] pair-partition CPM CSS code, girth-8 (weight-8)", "code_type": "CSS", "n": 488, "k": 126, "checks": { "X": [ [ 0, 1, 2, 3, 4, 5, 6, 7 ], [ 8, 9, 10, 11, 12, 13, 14, 15 ], [ 16, 17, 18, 19, 20, 21, 22, 23 ], [ 24, 25, 26, 27, 28, 29, 30, 31 ], [ 32, 33, 34, 35, 36, 37, 38, 39 ], [ 40, 41, 42, 43, 44, 45, 46, 47 ], [ 48, 49, 50, 51, 52, 53, 54, 55 ], [ 56, 57, 58, 59, 60, 61, 62, 63 ], [ 64, 65, 66, 67, 68, 69, 70, 71 ], [ 72, 73, 74, 75, 76, 77, 78, 79 ], [ 80, 81, 82, 83, 84, 85, 86, 87 ], [ 88, 89, 90, 91, 92, 93, 94, 95 ], [ 96, 97, 98, 99, 100, 101, 102, 103 ], [ 104, 105, 106, 107, 108, 109, 110, 111 ], [ 112, 113, 114, 115, 116, 117, 118, 119 ], [ 120, 121, 122, 123, 124, 125, 126, 127 ], [ 128, 129, 130, 131, 132, 133, 134, 135 ], [ 136, 137, 138, 139, 140, 141, 142, 143 ], [ 144, 145, 146, 147, 148, 149, 150, 151 ], [ 152, 153, 154, 155, 156, 157, 158, 159 ], [ 160, 161, 162, 163, 164, 165, 166, 167 ], [ 168, 169, 170, 171, 172, 173, 174, 175 ], [ 176, 177, 178, 179, 180, 181, 182, 183 ], [ 184, 185, 186, 187, 188, 189, 190, 191 ], [ 192, 193, 194, 195, 196, 197, 198, 199 ], [ 200, 201, 202, 203, 204, 205, 206, 207 ], [ 208, 209, 210, 211, 212, 213, 214, 215 ], [ 216, 217, 218, 219, 220, 221, 222, 223 ], [ 224, 225, 226, 227, 228, 229, 230, 231 ], [ 232, 233, 234, 235, 236, 237, 238, 239 ], [ 240, 241, 242, 243, 244, 245, 246, 247 ], [ 248, 249, 250, 251, 252, 253, 254, 255 ], [ 256, 257, 258, 259, 260, 261, 262, 263 ], [ 264, 265, 266, 267, 268, 269, 270, 271 ], [ 272, 273, 274, 275, 276, 277, 278, 279 ], [ 280, 281, 282, 283, 284, 285, 286, 287 ], [ 288, 289, 290, 291, 292, 293, 294, 295 ], [ 296, 297, 298, 299, 300, 301, 302, 303 ], [ 304, 305, 306, 307, 308, 309, 310, 311 ], [ 312, 313, 314, 315, 316, 317, 318, 319 ], [ 320, 321, 322, 323, 324, 325, 326, 327 ], [ 328, 329, 330, 331, 332, 333, 334, 335 ], [ 336, 337, 338, 339, 340, 341, 342, 343 ], [ 344, 345, 346, 347, 348, 349, 350, 351 ], [ 352, 353, 354, 355, 356, 357, 358, 359 ], [ 360, 361, 362, 363, 364, 365, 366, 367 ], [ 368, 369, 370, 371, 372, 373, 374, 375 ], [ 376, 377, 378, 379, 380, 381, 382, 383 ], [ 384, 385, 386, 387, 388, 389, 390, 391 ], [ 392, 393, 394, 395, 396, 397, 398, 399 ], [ 400, 401, 402, 403, 404, 405, 406, 407 ], [ 408, 409, 410, 411, 412, 413, 414, 415 ], [ 416, 417, 418, 419, 420, 421, 422, 423 ], [ 424, 425, 426, 427, 428, 429, 430, 431 ], [ 432, 433, 434, 435, 436, 437, 438, 439 ], [ 440, 441, 442, 443, 444, 445, 446, 447 ], [ 448, 449, 450, 451, 452, 453, 454, 455 ], [ 456, 457, 458, 459, 460, 461, 462, 463 ], [ 464, 465, 466, 467, 468, 469, 470, 471 ], [ 472, 473, 474, 475, 476, 477, 478, 479 ], [ 480, 481, 482, 483, 484, 485, 486, 487 ], [ 0, 31, 170, 265, 412, 427, 437, 486 ], [ 6, 8, 39, 178, 273, 420, 435, 445 ], [ 14, 16, 47, 186, 281, 428, 443, 453 ], [ 22, 24, 55, 194, 289, 436, 451, 461 ], [ 30, 32, 63, 202, 297, 444, 459, 469 ], [ 38, 40, 71, 210, 305, 452, 467, 477 ], [ 46, 48, 79, 218, 313, 460, 475, 485 ], [ 5, 54, 56, 87, 226, 321, 468, 483 ], [ 3, 13, 62, 64, 95, 234, 329, 476 ], [ 11, 21, 70, 72, 103, 242, 337, 484 ], [ 4, 19, 29, 78, 80, 111, 250, 345 ], [ 12, 27, 37, 86, 88, 119, 258, 353 ], [ 20, 35, 45, 94, 96, 127, 266, 361 ], [ 28, 43, 53, 102, 104, 135, 274, 369 ], [ 36, 51, 61, 110, 112, 143, 282, 377 ], [ 44, 59, 69, 118, 120, 151, 290, 385 ], [ 52, 67, 77, 126, 128, 159, 298, 393 ], [ 60, 75, 85, 134, 136, 167, 306, 401 ], [ 68, 83, 93, 142, 144, 175, 314, 409 ], [ 76, 91, 101, 150, 152, 183, 322, 417 ], [ 84, 99, 109, 158, 160, 191, 330, 425 ], [ 92, 107, 117, 166, 168, 199, 338, 433 ], [ 100, 115, 125, 174, 176, 207, 346, 441 ], [ 108, 123, 133, 182, 184, 215, 354, 449 ], [ 116, 131, 141, 190, 192, 223, 362, 457 ], [ 124, 139, 149, 198, 200, 231, 370, 465 ], [ 132, 147, 157, 206, 208, 239, 378, 473 ], [ 140, 155, 165, 214, 216, 247, 386, 481 ], [ 1, 148, 163, 173, 222, 224, 255, 394 ], [ 9, 156, 171, 181, 230, 232, 263, 402 ], [ 17, 164, 179, 189, 238, 240, 271, 410 ], [ 25, 172, 187, 197, 246, 248, 279, 418 ], [ 33, 180, 195, 205, 254, 256, 287, 426 ], [ 41, 188, 203, 213, 262, 264, 295, 434 ], [ 49, 196, 211, 221, 270, 272, 303, 442 ], [ 57, 204, 219, 229, 278, 280, 311, 450 ], [ 65, 212, 227, 237, 286, 288, 319, 458 ], [ 73, 220, 235, 245, 294, 296, 327, 466 ], [ 81, 228, 243, 253, 302, 304, 335, 474 ], [ 89, 236, 251, 261, 310, 312, 343, 482 ], [ 2, 97, 244, 259, 269, 318, 320, 351 ], [ 10, 105, 252, 267, 277, 326, 328, 359 ], [ 18, 113, 260, 275, 285, 334, 336, 367 ], [ 26, 121, 268, 283, 293, 342, 344, 375 ], [ 34, 129, 276, 291, 301, 350, 352, 383 ], [ 42, 137, 284, 299, 309, 358, 360, 391 ], [ 50, 145, 292, 307, 317, 366, 368, 399 ], [ 58, 153, 300, 315, 325, 374, 376, 407 ], [ 66, 161, 308, 323, 333, 382, 384, 415 ], [ 74, 169, 316, 331, 341, 390, 392, 423 ], [ 82, 177, 324, 339, 349, 398, 400, 431 ], [ 90, 185, 332, 347, 357, 406, 408, 439 ], [ 98, 193, 340, 355, 365, 414, 416, 447 ], [ 106, 201, 348, 363, 373, 422, 424, 455 ], [ 114, 209, 356, 371, 381, 430, 432, 463 ], [ 122, 217, 364, 379, 389, 438, 440, 471 ], [ 130, 225, 372, 387, 397, 446, 448, 479 ], [ 138, 233, 380, 395, 405, 454, 456, 487 ], [ 7, 146, 241, 388, 403, 413, 462, 464 ], [ 15, 154, 249, 396, 411, 421, 470, 472 ], [ 23, 162, 257, 404, 419, 429, 478, 480 ], [ 0, 91, 135, 137, 218, 228, 238, 349 ], [ 8, 99, 143, 145, 226, 236, 246, 357 ], [ 16, 107, 151, 153, 234, 244, 254, 365 ], [ 24, 115, 159, 161, 242, 252, 262, 373 ], [ 32, 123, 167, 169, 250, 260, 270, 381 ], [ 40, 131, 175, 177, 258, 268, 278, 389 ], [ 48, 139, 183, 185, 266, 276, 286, 397 ], [ 56, 147, 191, 193, 274, 284, 294, 405 ], [ 64, 155, 199, 201, 282, 292, 302, 413 ], [ 72, 163, 207, 209, 290, 300, 310, 421 ], [ 80, 171, 215, 217, 298, 308, 318, 429 ], [ 88, 179, 223, 225, 306, 316, 326, 437 ], [ 96, 187, 231, 233, 314, 324, 334, 445 ], [ 104, 195, 239, 241, 322, 332, 342, 453 ], [ 112, 203, 247, 249, 330, 340, 350, 461 ], [ 120, 211, 255, 257, 338, 348, 358, 469 ], [ 128, 219, 263, 265, 346, 356, 366, 477 ], [ 136, 227, 271, 273, 354, 364, 374, 485 ], [ 5, 144, 235, 279, 281, 362, 372, 382 ], [ 13, 152, 243, 287, 289, 370, 380, 390 ], [ 21, 160, 251, 295, 297, 378, 388, 398 ], [ 29, 168, 259, 303, 305, 386, 396, 406 ], [ 37, 176, 267, 311, 313, 394, 404, 414 ], [ 45, 184, 275, 319, 321, 402, 412, 422 ], [ 53, 192, 283, 327, 329, 410, 420, 430 ], [ 61, 200, 291, 335, 337, 418, 428, 438 ], [ 69, 208, 299, 343, 345, 426, 436, 446 ], [ 77, 216, 307, 351, 353, 434, 444, 454 ], [ 85, 224, 315, 359, 361, 442, 452, 462 ], [ 93, 232, 323, 367, 369, 450, 460, 470 ], [ 101, 240, 331, 375, 377, 458, 468, 478 ], [ 109, 248, 339, 383, 385, 466, 476, 486 ], [ 6, 117, 256, 347, 391, 393, 474, 484 ], [ 4, 14, 125, 264, 355, 399, 401, 482 ], [ 2, 12, 22, 133, 272, 363, 407, 409 ], [ 10, 20, 30, 141, 280, 371, 415, 417 ], [ 18, 28, 38, 149, 288, 379, 423, 425 ], [ 26, 36, 46, 157, 296, 387, 431, 433 ], [ 34, 44, 54, 165, 304, 395, 439, 441 ], [ 42, 52, 62, 173, 312, 403, 447, 449 ], [ 50, 60, 70, 181, 320, 411, 455, 457 ], [ 58, 68, 78, 189, 328, 419, 463, 465 ], [ 66, 76, 86, 197, 336, 427, 471, 473 ], [ 74, 84, 94, 205, 344, 435, 479, 481 ], [ 1, 82, 92, 102, 213, 352, 443, 487 ], [ 7, 9, 90, 100, 110, 221, 360, 451 ], [ 15, 17, 98, 108, 118, 229, 368, 459 ], [ 23, 25, 106, 116, 126, 237, 376, 467 ], [ 31, 33, 114, 124, 134, 245, 384, 475 ], [ 39, 41, 122, 132, 142, 253, 392, 483 ], [ 3, 47, 49, 130, 140, 150, 261, 400 ], [ 11, 55, 57, 138, 148, 158, 269, 408 ], [ 19, 63, 65, 146, 156, 166, 277, 416 ], [ 27, 71, 73, 154, 164, 174, 285, 424 ], [ 35, 79, 81, 162, 172, 182, 293, 432 ], [ 43, 87, 89, 170, 180, 190, 301, 440 ], [ 51, 95, 97, 178, 188, 198, 309, 448 ], [ 59, 103, 105, 186, 196, 206, 317, 456 ], [ 67, 111, 113, 194, 204, 214, 325, 464 ], [ 75, 119, 121, 202, 212, 222, 333, 472 ], [ 83, 127, 129, 210, 220, 230, 341, 480 ] ], "Z": [ [ 0, 5, 235, 238, 321, 327, 410, 412 ], [ 8, 13, 243, 246, 329, 335, 418, 420 ], [ 16, 21, 251, 254, 337, 343, 426, 428 ], [ 24, 29, 259, 262, 345, 351, 434, 436 ], [ 32, 37, 267, 270, 353, 359, 442, 444 ], [ 40, 45, 275, 278, 361, 367, 450, 452 ], [ 48, 53, 283, 286, 369, 375, 458, 460 ], [ 56, 61, 291, 294, 377, 383, 466, 468 ], [ 64, 69, 299, 302, 385, 391, 474, 476 ], [ 72, 77, 307, 310, 393, 399, 482, 484 ], [ 2, 4, 80, 85, 315, 318, 401, 407 ], [ 10, 12, 88, 93, 323, 326, 409, 415 ], [ 18, 20, 96, 101, 331, 334, 417, 423 ], [ 26, 28, 104, 109, 339, 342, 425, 431 ], [ 34, 36, 112, 117, 347, 350, 433, 439 ], [ 42, 44, 120, 125, 355, 358, 441, 447 ], [ 50, 52, 128, 133, 363, 366, 449, 455 ], [ 58, 60, 136, 141, 371, 374, 457, 463 ], [ 66, 68, 144, 149, 379, 382, 465, 471 ], [ 74, 76, 152, 157, 387, 390, 473, 479 ], [ 82, 84, 160, 165, 395, 398, 481, 487 ], [ 1, 7, 90, 92, 168, 173, 403, 406 ], [ 9, 15, 98, 100, 176, 181, 411, 414 ], [ 17, 23, 106, 108, 184, 189, 419, 422 ], [ 25, 31, 114, 116, 192, 197, 427, 430 ], [ 33, 39, 122, 124, 200, 205, 435, 438 ], [ 41, 47, 130, 132, 208, 213, 443, 446 ], [ 49, 55, 138, 140, 216, 221, 451, 454 ], [ 57, 63, 146, 148, 224, 229, 459, 462 ], [ 65, 71, 154, 156, 232, 237, 467, 470 ], [ 73, 79, 162, 164, 240, 245, 475, 478 ], [ 81, 87, 170, 172, 248, 253, 483, 486 ], [ 3, 6, 89, 95, 178, 180, 256, 261 ], [ 11, 14, 97, 103, 186, 188, 264, 269 ], [ 19, 22, 105, 111, 194, 196, 272, 277 ], [ 27, 30, 113, 119, 202, 204, 280, 285 ], [ 35, 38, 121, 127, 210, 212, 288, 293 ], [ 43, 46, 129, 135, 218, 220, 296, 301 ], [ 51, 54, 137, 143, 226, 228, 304, 309 ], [ 59, 62, 145, 151, 234, 236, 312, 317 ], [ 67, 70, 153, 159, 242, 244, 320, 325 ], [ 75, 78, 161, 167, 250, 252, 328, 333 ], [ 83, 86, 169, 175, 258, 260, 336, 341 ], [ 91, 94, 177, 183, 266, 268, 344, 349 ], [ 99, 102, 185, 191, 274, 276, 352, 357 ], [ 107, 110, 193, 199, 282, 284, 360, 365 ], [ 115, 118, 201, 207, 290, 292, 368, 373 ], [ 123, 126, 209, 215, 298, 300, 376, 381 ], [ 131, 134, 217, 223, 306, 308, 384, 389 ], [ 139, 142, 225, 231, 314, 316, 392, 397 ], [ 147, 150, 233, 239, 322, 324, 400, 405 ], [ 155, 158, 241, 247, 330, 332, 408, 413 ], [ 163, 166, 249, 255, 338, 340, 416, 421 ], [ 171, 174, 257, 263, 346, 348, 424, 429 ], [ 179, 182, 265, 271, 354, 356, 432, 437 ], [ 187, 190, 273, 279, 362, 364, 440, 445 ], [ 195, 198, 281, 287, 370, 372, 448, 453 ], [ 203, 206, 289, 295, 378, 380, 456, 461 ], [ 211, 214, 297, 303, 386, 388, 464, 469 ], [ 219, 222, 305, 311, 394, 396, 472, 477 ], [ 227, 230, 313, 319, 402, 404, 480, 485 ], [ 0, 6, 225, 228, 435, 437, 474, 479 ], [ 8, 14, 233, 236, 443, 445, 482, 487 ], [ 2, 7, 16, 22, 241, 244, 451, 453 ], [ 10, 15, 24, 30, 249, 252, 459, 461 ], [ 18, 23, 32, 38, 257, 260, 467, 469 ], [ 26, 31, 40, 46, 265, 268, 475, 477 ], [ 34, 39, 48, 54, 273, 276, 483, 485 ], [ 3, 5, 42, 47, 56, 62, 281, 284 ], [ 11, 13, 50, 55, 64, 70, 289, 292 ], [ 19, 21, 58, 63, 72, 78, 297, 300 ], [ 27, 29, 66, 71, 80, 86, 305, 308 ], [ 35, 37, 74, 79, 88, 94, 313, 316 ], [ 43, 45, 82, 87, 96, 102, 321, 324 ], [ 51, 53, 90, 95, 104, 110, 329, 332 ], [ 59, 61, 98, 103, 112, 118, 337, 340 ], [ 67, 69, 106, 111, 120, 126, 345, 348 ], [ 75, 77, 114, 119, 128, 134, 353, 356 ], [ 83, 85, 122, 127, 136, 142, 361, 364 ], [ 91, 93, 130, 135, 144, 150, 369, 372 ], [ 99, 101, 138, 143, 152, 158, 377, 380 ], [ 107, 109, 146, 151, 160, 166, 385, 388 ], [ 115, 117, 154, 159, 168, 174, 393, 396 ], [ 123, 125, 162, 167, 176, 182, 401, 404 ], [ 131, 133, 170, 175, 184, 190, 409, 412 ], [ 139, 141, 178, 183, 192, 198, 417, 420 ], [ 147, 149, 186, 191, 200, 206, 425, 428 ], [ 155, 157, 194, 199, 208, 214, 433, 436 ], [ 163, 165, 202, 207, 216, 222, 441, 444 ], [ 171, 173, 210, 215, 224, 230, 449, 452 ], [ 179, 181, 218, 223, 232, 238, 457, 460 ], [ 187, 189, 226, 231, 240, 246, 465, 468 ], [ 195, 197, 234, 239, 248, 254, 473, 476 ], [ 203, 205, 242, 247, 256, 262, 481, 484 ], [ 1, 4, 211, 213, 250, 255, 264, 270 ], [ 9, 12, 219, 221, 258, 263, 272, 278 ], [ 17, 20, 227, 229, 266, 271, 280, 286 ], [ 25, 28, 235, 237, 274, 279, 288, 294 ], [ 33, 36, 243, 245, 282, 287, 296, 302 ], [ 41, 44, 251, 253, 290, 295, 304, 310 ], [ 49, 52, 259, 261, 298, 303, 312, 318 ], [ 57, 60, 267, 269, 306, 311, 320, 326 ], [ 65, 68, 275, 277, 314, 319, 328, 334 ], [ 73, 76, 283, 285, 322, 327, 336, 342 ], [ 81, 84, 291, 293, 330, 335, 344, 350 ], [ 89, 92, 299, 301, 338, 343, 352, 358 ], [ 97, 100, 307, 309, 346, 351, 360, 366 ], [ 105, 108, 315, 317, 354, 359, 368, 374 ], [ 113, 116, 323, 325, 362, 367, 376, 382 ], [ 121, 124, 331, 333, 370, 375, 384, 390 ], [ 129, 132, 339, 341, 378, 383, 392, 398 ], [ 137, 140, 347, 349, 386, 391, 400, 406 ], [ 145, 148, 355, 357, 394, 399, 408, 414 ], [ 153, 156, 363, 365, 402, 407, 416, 422 ], [ 161, 164, 371, 373, 410, 415, 424, 430 ], [ 169, 172, 379, 381, 418, 423, 432, 438 ], [ 177, 180, 387, 389, 426, 431, 440, 446 ], [ 185, 188, 395, 397, 434, 439, 448, 454 ], [ 193, 196, 403, 405, 442, 447, 456, 462 ], [ 201, 204, 411, 413, 450, 455, 464, 470 ], [ 209, 212, 419, 421, 458, 463, 472, 478 ], [ 217, 220, 427, 429, 466, 471, 480, 486 ], [ 0, 4, 339, 343, 345, 349, 482, 486 ], [ 2, 6, 8, 12, 347, 351, 353, 357 ], [ 10, 14, 16, 20, 355, 359, 361, 365 ], [ 18, 22, 24, 28, 363, 367, 369, 373 ], [ 26, 30, 32, 36, 371, 375, 377, 381 ], [ 34, 38, 40, 44, 379, 383, 385, 389 ], [ 42, 46, 48, 52, 387, 391, 393, 397 ], [ 50, 54, 56, 60, 395, 399, 401, 405 ], [ 58, 62, 64, 68, 403, 407, 409, 413 ], [ 66, 70, 72, 76, 411, 415, 417, 421 ], [ 74, 78, 80, 84, 419, 423, 425, 429 ], [ 82, 86, 88, 92, 427, 431, 433, 437 ], [ 90, 94, 96, 100, 435, 439, 441, 445 ], [ 98, 102, 104, 108, 443, 447, 449, 453 ], [ 106, 110, 112, 116, 451, 455, 457, 461 ], [ 114, 118, 120, 124, 459, 463, 465, 469 ], [ 122, 126, 128, 132, 467, 471, 473, 477 ], [ 130, 134, 136, 140, 475, 479, 481, 485 ], [ 1, 5, 138, 142, 144, 148, 483, 487 ], [ 3, 7, 9, 13, 146, 150, 152, 156 ], [ 11, 15, 17, 21, 154, 158, 160, 164 ], [ 19, 23, 25, 29, 162, 166, 168, 172 ], [ 27, 31, 33, 37, 170, 174, 176, 180 ], [ 35, 39, 41, 45, 178, 182, 184, 188 ], [ 43, 47, 49, 53, 186, 190, 192, 196 ], [ 51, 55, 57, 61, 194, 198, 200, 204 ], [ 59, 63, 65, 69, 202, 206, 208, 212 ], [ 67, 71, 73, 77, 210, 214, 216, 220 ], [ 75, 79, 81, 85, 218, 222, 224, 228 ], [ 83, 87, 89, 93, 226, 230, 232, 236 ], [ 91, 95, 97, 101, 234, 238, 240, 244 ], [ 99, 103, 105, 109, 242, 246, 248, 252 ], [ 107, 111, 113, 117, 250, 254, 256, 260 ], [ 115, 119, 121, 125, 258, 262, 264, 268 ], [ 123, 127, 129, 133, 266, 270, 272, 276 ], [ 131, 135, 137, 141, 274, 278, 280, 284 ], [ 139, 143, 145, 149, 282, 286, 288, 292 ], [ 147, 151, 153, 157, 290, 294, 296, 300 ], [ 155, 159, 161, 165, 298, 302, 304, 308 ], [ 163, 167, 169, 173, 306, 310, 312, 316 ], [ 171, 175, 177, 181, 314, 318, 320, 324 ], [ 179, 183, 185, 189, 322, 326, 328, 332 ], [ 187, 191, 193, 197, 330, 334, 336, 340 ], [ 195, 199, 201, 205, 338, 342, 344, 348 ], [ 203, 207, 209, 213, 346, 350, 352, 356 ], [ 211, 215, 217, 221, 354, 358, 360, 364 ], [ 219, 223, 225, 229, 362, 366, 368, 372 ], [ 227, 231, 233, 237, 370, 374, 376, 380 ], [ 235, 239, 241, 245, 378, 382, 384, 388 ], [ 243, 247, 249, 253, 386, 390, 392, 396 ], [ 251, 255, 257, 261, 394, 398, 400, 404 ], [ 259, 263, 265, 269, 402, 406, 408, 412 ], [ 267, 271, 273, 277, 410, 414, 416, 420 ], [ 275, 279, 281, 285, 418, 422, 424, 428 ], [ 283, 287, 289, 293, 426, 430, 432, 436 ], [ 291, 295, 297, 301, 434, 438, 440, 444 ], [ 299, 303, 305, 309, 442, 446, 448, 452 ], [ 307, 311, 313, 317, 450, 454, 456, 460 ], [ 315, 319, 321, 325, 458, 462, 464, 468 ], [ 323, 327, 329, 333, 466, 470, 472, 476 ], [ 331, 335, 337, 341, 474, 478, 480, 484 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 2, 85, 130, 134, 218, 223, 301, 353, 358, 364, 372, 441, 443, 444, 445, 453 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 18, 19, 32, 38, 43, 45, 56, 63, 80, 87, 123, 127, 210, 215, 274, 275 ] } }, "provenance": { "authors": [ "Lee, Jong Yeon" ], "origin": "baseline", "construction": "Cyclic all-one pair-partition CPM CSS construction (arXiv:2607.14091), contributed girth-8 instance PP61 (internal id qc_488_126_16_a): lift size p=61, (J,L)=(3,8), n=8*61=488, 3*61=183 checks per side, column weight 3, row weight 8, both Tanner graphs girth 8. CPM exponent arrays (rows = CPM block-rows, columns = the 8 block-columns): E_X = [[0, 0, 0, 0, 0, 0, 0, 0], [0, 28, 40, 8, 10, 7, 1, 58], [0, 44, 34, 50, 33, 18, 32, 45]], E_Z = [[0, 21, 10, 32, 10, 0, 32, 21], [0, 33, 2, 7, 33, 7, 0, 2], [0, 18, 1, 19, 0, 18, 1, 19]]. 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 {8*((a - E_S[b][t]) mod 61) + t : t=0..7}. Source https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/contributed_codes/jong_yeon_lee/codes/PP61_n488_k126_d16.cpm (sha256 b02e4addcca758bdf462bdcd1da19c94d2c7890f96d45149596a750bb3064d3c), expanded with the authors' own script.", "date": "2026", "references": [ "arXiv:2607.14091" ], "novelty": "known_parameters", "notes": "Literature baseline, seeded 2026-08-14. Listed as PP61 [[488,126,16]] (girth-8) in the contributed-codes section (Jong Yeon Lee, 19 CPM-PP codes) of the Okada-Kasai pair-partition CPM catalogue (arXiv:2607.14091; catalogue page updated 2026-08-13), which reports the distance as exact. No public machine-verified certificate covers this girth-8 instance (the qc_488_126_14 bundle certifies the different girth-6 [[488,126,14]] catalogue instance already on the board), so it is recorded here strictly as a witness-backed upper bound from this repo's own chunked RIS search (up to 800k trials per side, early exit at the reported distance). Reproduction was validated end to end: the published .cpm expanded with the authors' own script gives a CSS-orthogonal (3,8)-regular pair with GF(2) ranks giving k=126. This entry strictly dominates the existing [[488,126,14]] weight-8 baseline (same n and k, higher distance). Discovery method of the contributed instance is undisclosed by the contributor; model provenance unknown." }, "family": "pair-partition-cpm" }