{ "schema_version": "0.3", "name": "[[512,128,20]] pair-partition code over F_4[C_32] with a full regular canonical frame", "code_type": "CSS", "n": 512, "k": 128, "checks": { "X": [ [ 25, 64, 186, 217, 284, 316, 343, 390, 457, 489 ], [ 26, 65, 187, 218, 285, 317, 344, 391, 458, 490 ], [ 27, 66, 188, 219, 286, 318, 345, 392, 459, 491 ], [ 28, 67, 189, 220, 287, 319, 346, 393, 460, 492 ], [ 29, 68, 190, 221, 256, 288, 347, 394, 461, 493 ], [ 30, 69, 191, 222, 257, 289, 348, 395, 462, 494 ], [ 31, 70, 160, 223, 258, 290, 349, 396, 463, 495 ], [ 0, 71, 161, 192, 259, 291, 350, 397, 464, 496 ], [ 1, 72, 162, 193, 260, 292, 351, 398, 465, 497 ], [ 2, 73, 163, 194, 261, 293, 320, 399, 466, 498 ], [ 3, 74, 164, 195, 262, 294, 321, 400, 467, 499 ], [ 4, 75, 165, 196, 263, 295, 322, 401, 468, 500 ], [ 5, 76, 166, 197, 264, 296, 323, 402, 469, 501 ], [ 6, 77, 167, 198, 265, 297, 324, 403, 470, 502 ], [ 7, 78, 168, 199, 266, 298, 325, 404, 471, 503 ], [ 8, 79, 169, 200, 267, 299, 326, 405, 472, 504 ], [ 9, 80, 170, 201, 268, 300, 327, 406, 473, 505 ], [ 10, 81, 171, 202, 269, 301, 328, 407, 474, 506 ], [ 11, 82, 172, 203, 270, 302, 329, 408, 475, 507 ], [ 12, 83, 173, 204, 271, 303, 330, 409, 476, 508 ], [ 13, 84, 174, 205, 272, 304, 331, 410, 477, 509 ], [ 14, 85, 175, 206, 273, 305, 332, 411, 478, 510 ], [ 15, 86, 176, 207, 274, 306, 333, 412, 479, 511 ], [ 16, 87, 177, 208, 275, 307, 334, 413, 448, 480 ], [ 17, 88, 178, 209, 276, 308, 335, 414, 449, 481 ], [ 18, 89, 179, 210, 277, 309, 336, 415, 450, 482 ], [ 19, 90, 180, 211, 278, 310, 337, 384, 451, 483 ], [ 20, 91, 181, 212, 279, 311, 338, 385, 452, 484 ], [ 21, 92, 182, 213, 280, 312, 339, 386, 453, 485 ], [ 22, 93, 183, 214, 281, 313, 340, 387, 454, 486 ], [ 23, 94, 184, 215, 282, 314, 341, 388, 455, 487 ], [ 24, 95, 185, 216, 283, 315, 342, 389, 456, 488 ], [ 57, 96, 154, 186, 249, 284, 375, 422, 457 ], [ 58, 97, 155, 187, 250, 285, 376, 423, 458 ], [ 59, 98, 156, 188, 251, 286, 377, 424, 459 ], [ 60, 99, 157, 189, 252, 287, 378, 425, 460 ], [ 61, 100, 158, 190, 253, 256, 379, 426, 461 ], [ 62, 101, 159, 191, 254, 257, 380, 427, 462 ], [ 63, 102, 128, 160, 255, 258, 381, 428, 463 ], [ 32, 103, 129, 161, 224, 259, 382, 429, 464 ], [ 33, 104, 130, 162, 225, 260, 383, 430, 465 ], [ 34, 105, 131, 163, 226, 261, 352, 431, 466 ], [ 35, 106, 132, 164, 227, 262, 353, 432, 467 ], [ 36, 107, 133, 165, 228, 263, 354, 433, 468 ], [ 37, 108, 134, 166, 229, 264, 355, 434, 469 ], [ 38, 109, 135, 167, 230, 265, 356, 435, 470 ], [ 39, 110, 136, 168, 231, 266, 357, 436, 471 ], [ 40, 111, 137, 169, 232, 267, 358, 437, 472 ], [ 41, 112, 138, 170, 233, 268, 359, 438, 473 ], [ 42, 113, 139, 171, 234, 269, 360, 439, 474 ], [ 43, 114, 140, 172, 235, 270, 361, 440, 475 ], [ 44, 115, 141, 173, 236, 271, 362, 441, 476 ], [ 45, 116, 142, 174, 237, 272, 363, 442, 477 ], [ 46, 117, 143, 175, 238, 273, 364, 443, 478 ], [ 47, 118, 144, 176, 239, 274, 365, 444, 479 ], [ 48, 119, 145, 177, 240, 275, 366, 445, 448 ], [ 49, 120, 146, 178, 241, 276, 367, 446, 449 ], [ 50, 121, 147, 179, 242, 277, 368, 447, 450 ], [ 51, 122, 148, 180, 243, 278, 369, 416, 451 ], [ 52, 123, 149, 181, 244, 279, 370, 417, 452 ], [ 53, 124, 150, 182, 245, 280, 371, 418, 453 ], [ 54, 125, 151, 183, 246, 281, 372, 419, 454 ], [ 55, 126, 152, 184, 247, 282, 373, 420, 455 ], [ 56, 127, 153, 185, 248, 283, 374, 421, 456 ], [ 22, 81, 145, 225, 286, 338, 370, 400, 432, 463 ], [ 23, 82, 146, 226, 287, 339, 371, 401, 433, 464 ], [ 24, 83, 147, 227, 256, 340, 372, 402, 434, 465 ], [ 25, 84, 148, 228, 257, 341, 373, 403, 435, 466 ], [ 26, 85, 149, 229, 258, 342, 374, 404, 436, 467 ], [ 27, 86, 150, 230, 259, 343, 375, 405, 437, 468 ], [ 28, 87, 151, 231, 260, 344, 376, 406, 438, 469 ], [ 29, 88, 152, 232, 261, 345, 377, 407, 439, 470 ], [ 30, 89, 153, 233, 262, 346, 378, 408, 440, 471 ], [ 31, 90, 154, 234, 263, 347, 379, 409, 441, 472 ], [ 0, 91, 155, 235, 264, 348, 380, 410, 442, 473 ], [ 1, 92, 156, 236, 265, 349, 381, 411, 443, 474 ], [ 2, 93, 157, 237, 266, 350, 382, 412, 444, 475 ], [ 3, 94, 158, 238, 267, 351, 383, 413, 445, 476 ], [ 4, 95, 159, 239, 268, 320, 352, 414, 446, 477 ], [ 5, 64, 128, 240, 269, 321, 353, 415, 447, 478 ], [ 6, 65, 129, 241, 270, 322, 354, 384, 416, 479 ], [ 7, 66, 130, 242, 271, 323, 355, 385, 417, 448 ], [ 8, 67, 131, 243, 272, 324, 356, 386, 418, 449 ], [ 9, 68, 132, 244, 273, 325, 357, 387, 419, 450 ], [ 10, 69, 133, 245, 274, 326, 358, 388, 420, 451 ], [ 11, 70, 134, 246, 275, 327, 359, 389, 421, 452 ], [ 12, 71, 135, 247, 276, 328, 360, 390, 422, 453 ], [ 13, 72, 136, 248, 277, 329, 361, 391, 423, 454 ], [ 14, 73, 137, 249, 278, 330, 362, 392, 424, 455 ], [ 15, 74, 138, 250, 279, 331, 363, 393, 425, 456 ], [ 16, 75, 139, 251, 280, 332, 364, 394, 426, 457 ], [ 17, 76, 140, 252, 281, 333, 365, 395, 427, 458 ], [ 18, 77, 141, 253, 282, 334, 366, 396, 428, 459 ], [ 19, 78, 142, 254, 283, 335, 367, 397, 429, 460 ], [ 20, 79, 143, 255, 284, 336, 368, 398, 430, 461 ], [ 21, 80, 144, 224, 285, 337, 369, 399, 431, 462 ], [ 54, 113, 177, 193, 225, 318, 338, 400, 495 ], [ 55, 114, 178, 194, 226, 319, 339, 401, 496 ], [ 56, 115, 179, 195, 227, 288, 340, 402, 497 ], [ 57, 116, 180, 196, 228, 289, 341, 403, 498 ], [ 58, 117, 181, 197, 229, 290, 342, 404, 499 ], [ 59, 118, 182, 198, 230, 291, 343, 405, 500 ], [ 60, 119, 183, 199, 231, 292, 344, 406, 501 ], [ 61, 120, 184, 200, 232, 293, 345, 407, 502 ], [ 62, 121, 185, 201, 233, 294, 346, 408, 503 ], [ 63, 122, 186, 202, 234, 295, 347, 409, 504 ], [ 32, 123, 187, 203, 235, 296, 348, 410, 505 ], [ 33, 124, 188, 204, 236, 297, 349, 411, 506 ], [ 34, 125, 189, 205, 237, 298, 350, 412, 507 ], [ 35, 126, 190, 206, 238, 299, 351, 413, 508 ], [ 36, 127, 191, 207, 239, 300, 320, 414, 509 ], [ 37, 96, 160, 208, 240, 301, 321, 415, 510 ], [ 38, 97, 161, 209, 241, 302, 322, 384, 511 ], [ 39, 98, 162, 210, 242, 303, 323, 385, 480 ], [ 40, 99, 163, 211, 243, 304, 324, 386, 481 ], [ 41, 100, 164, 212, 244, 305, 325, 387, 482 ], [ 42, 101, 165, 213, 245, 306, 326, 388, 483 ], [ 43, 102, 166, 214, 246, 307, 327, 389, 484 ], [ 44, 103, 167, 215, 247, 308, 328, 390, 485 ], [ 45, 104, 168, 216, 248, 309, 329, 391, 486 ], [ 46, 105, 169, 217, 249, 310, 330, 392, 487 ], [ 47, 106, 170, 218, 250, 311, 331, 393, 488 ], [ 48, 107, 171, 219, 251, 312, 332, 394, 489 ], [ 49, 108, 172, 220, 252, 313, 333, 395, 490 ], [ 50, 109, 173, 221, 253, 314, 334, 396, 491 ], [ 51, 110, 174, 222, 254, 315, 335, 397, 492 ], [ 52, 111, 175, 223, 255, 316, 336, 398, 493 ], [ 53, 112, 176, 192, 224, 317, 337, 399, 494 ], [ 23, 72, 104, 140, 251, 262, 294, 324, 441, 473 ], [ 24, 73, 105, 141, 252, 263, 295, 325, 442, 474 ], [ 25, 74, 106, 142, 253, 264, 296, 326, 443, 475 ], [ 26, 75, 107, 143, 254, 265, 297, 327, 444, 476 ], [ 27, 76, 108, 144, 255, 266, 298, 328, 445, 477 ], [ 28, 77, 109, 145, 224, 267, 299, 329, 446, 478 ], [ 29, 78, 110, 146, 225, 268, 300, 330, 447, 479 ], [ 30, 79, 111, 147, 226, 269, 301, 331, 416, 448 ], [ 31, 80, 112, 148, 227, 270, 302, 332, 417, 449 ], [ 0, 81, 113, 149, 228, 271, 303, 333, 418, 450 ], [ 1, 82, 114, 150, 229, 272, 304, 334, 419, 451 ], [ 2, 83, 115, 151, 230, 273, 305, 335, 420, 452 ], [ 3, 84, 116, 152, 231, 274, 306, 336, 421, 453 ], [ 4, 85, 117, 153, 232, 275, 307, 337, 422, 454 ], [ 5, 86, 118, 154, 233, 276, 308, 338, 423, 455 ], [ 6, 87, 119, 155, 234, 277, 309, 339, 424, 456 ], [ 7, 88, 120, 156, 235, 278, 310, 340, 425, 457 ], [ 8, 89, 121, 157, 236, 279, 311, 341, 426, 458 ], [ 9, 90, 122, 158, 237, 280, 312, 342, 427, 459 ], [ 10, 91, 123, 159, 238, 281, 313, 343, 428, 460 ], [ 11, 92, 124, 128, 239, 282, 314, 344, 429, 461 ], [ 12, 93, 125, 129, 240, 283, 315, 345, 430, 462 ], [ 13, 94, 126, 130, 241, 284, 316, 346, 431, 463 ], [ 14, 95, 127, 131, 242, 285, 317, 347, 432, 464 ], [ 15, 64, 96, 132, 243, 286, 318, 348, 433, 465 ], [ 16, 65, 97, 133, 244, 287, 319, 349, 434, 466 ], [ 17, 66, 98, 134, 245, 256, 288, 350, 435, 467 ], [ 18, 67, 99, 135, 246, 257, 289, 351, 436, 468 ], [ 19, 68, 100, 136, 247, 258, 290, 320, 437, 469 ], [ 20, 69, 101, 137, 248, 259, 291, 321, 438, 470 ], [ 21, 70, 102, 138, 249, 260, 292, 322, 439, 471 ], [ 22, 71, 103, 139, 250, 261, 293, 323, 440, 472 ], [ 55, 72, 172, 219, 251, 262, 356, 409, 441, 505 ], [ 56, 73, 173, 220, 252, 263, 357, 410, 442, 506 ], [ 57, 74, 174, 221, 253, 264, 358, 411, 443, 507 ], [ 58, 75, 175, 222, 254, 265, 359, 412, 444, 508 ], [ 59, 76, 176, 223, 255, 266, 360, 413, 445, 509 ], [ 60, 77, 177, 192, 224, 267, 361, 414, 446, 510 ], [ 61, 78, 178, 193, 225, 268, 362, 415, 447, 511 ], [ 62, 79, 179, 194, 226, 269, 363, 384, 416, 480 ], [ 63, 80, 180, 195, 227, 270, 364, 385, 417, 481 ], [ 32, 81, 181, 196, 228, 271, 365, 386, 418, 482 ], [ 33, 82, 182, 197, 229, 272, 366, 387, 419, 483 ], [ 34, 83, 183, 198, 230, 273, 367, 388, 420, 484 ], [ 35, 84, 184, 199, 231, 274, 368, 389, 421, 485 ], [ 36, 85, 185, 200, 232, 275, 369, 390, 422, 486 ], [ 37, 86, 186, 201, 233, 276, 370, 391, 423, 487 ], [ 38, 87, 187, 202, 234, 277, 371, 392, 424, 488 ], [ 39, 88, 188, 203, 235, 278, 372, 393, 425, 489 ], [ 40, 89, 189, 204, 236, 279, 373, 394, 426, 490 ], [ 41, 90, 190, 205, 237, 280, 374, 395, 427, 491 ], [ 42, 91, 191, 206, 238, 281, 375, 396, 428, 492 ], [ 43, 92, 160, 207, 239, 282, 376, 397, 429, 493 ], [ 44, 93, 161, 208, 240, 283, 377, 398, 430, 494 ], [ 45, 94, 162, 209, 241, 284, 378, 399, 431, 495 ], [ 46, 95, 163, 210, 242, 285, 379, 400, 432, 496 ], [ 47, 64, 164, 211, 243, 286, 380, 401, 433, 497 ], [ 48, 65, 165, 212, 244, 287, 381, 402, 434, 498 ], [ 49, 66, 166, 213, 245, 256, 382, 403, 435, 499 ], [ 50, 67, 167, 214, 246, 257, 383, 404, 436, 500 ], [ 51, 68, 168, 215, 247, 258, 352, 405, 437, 501 ], [ 52, 69, 169, 216, 248, 259, 353, 406, 438, 502 ], [ 53, 70, 170, 217, 249, 260, 354, 407, 439, 503 ], [ 54, 71, 171, 218, 250, 261, 355, 408, 440, 504 ] ], "Z": [ [ 4, 36, 73, 154, 215, 247, 263, 320, 422, 455 ], [ 5, 37, 74, 155, 216, 248, 264, 321, 423, 456 ], [ 6, 38, 75, 156, 217, 249, 265, 322, 424, 457 ], [ 7, 39, 76, 157, 218, 250, 266, 323, 425, 458 ], [ 8, 40, 77, 158, 219, 251, 267, 324, 426, 459 ], [ 9, 41, 78, 159, 220, 252, 268, 325, 427, 460 ], [ 10, 42, 79, 128, 221, 253, 269, 326, 428, 461 ], [ 11, 43, 80, 129, 222, 254, 270, 327, 429, 462 ], [ 12, 44, 81, 130, 223, 255, 271, 328, 430, 463 ], [ 13, 45, 82, 131, 192, 224, 272, 329, 431, 464 ], [ 14, 46, 83, 132, 193, 225, 273, 330, 432, 465 ], [ 15, 47, 84, 133, 194, 226, 274, 331, 433, 466 ], [ 16, 48, 85, 134, 195, 227, 275, 332, 434, 467 ], [ 17, 49, 86, 135, 196, 228, 276, 333, 435, 468 ], [ 18, 50, 87, 136, 197, 229, 277, 334, 436, 469 ], [ 19, 51, 88, 137, 198, 230, 278, 335, 437, 470 ], [ 20, 52, 89, 138, 199, 231, 279, 336, 438, 471 ], [ 21, 53, 90, 139, 200, 232, 280, 337, 439, 472 ], [ 22, 54, 91, 140, 201, 233, 281, 338, 440, 473 ], [ 23, 55, 92, 141, 202, 234, 282, 339, 441, 474 ], [ 24, 56, 93, 142, 203, 235, 283, 340, 442, 475 ], [ 25, 57, 94, 143, 204, 236, 284, 341, 443, 476 ], [ 26, 58, 95, 144, 205, 237, 285, 342, 444, 477 ], [ 27, 59, 64, 145, 206, 238, 286, 343, 445, 478 ], [ 28, 60, 65, 146, 207, 239, 287, 344, 446, 479 ], [ 29, 61, 66, 147, 208, 240, 256, 345, 447, 448 ], [ 30, 62, 67, 148, 209, 241, 257, 346, 416, 449 ], [ 31, 63, 68, 149, 210, 242, 258, 347, 417, 450 ], [ 0, 32, 69, 150, 211, 243, 259, 348, 418, 451 ], [ 1, 33, 70, 151, 212, 244, 260, 349, 419, 452 ], [ 2, 34, 71, 152, 213, 245, 261, 350, 420, 453 ], [ 3, 35, 72, 153, 214, 246, 262, 351, 421, 454 ], [ 4, 105, 186, 215, 295, 352, 390, 422, 487 ], [ 5, 106, 187, 216, 296, 353, 391, 423, 488 ], [ 6, 107, 188, 217, 297, 354, 392, 424, 489 ], [ 7, 108, 189, 218, 298, 355, 393, 425, 490 ], [ 8, 109, 190, 219, 299, 356, 394, 426, 491 ], [ 9, 110, 191, 220, 300, 357, 395, 427, 492 ], [ 10, 111, 160, 221, 301, 358, 396, 428, 493 ], [ 11, 112, 161, 222, 302, 359, 397, 429, 494 ], [ 12, 113, 162, 223, 303, 360, 398, 430, 495 ], [ 13, 114, 163, 192, 304, 361, 399, 431, 496 ], [ 14, 115, 164, 193, 305, 362, 400, 432, 497 ], [ 15, 116, 165, 194, 306, 363, 401, 433, 498 ], [ 16, 117, 166, 195, 307, 364, 402, 434, 499 ], [ 17, 118, 167, 196, 308, 365, 403, 435, 500 ], [ 18, 119, 168, 197, 309, 366, 404, 436, 501 ], [ 19, 120, 169, 198, 310, 367, 405, 437, 502 ], [ 20, 121, 170, 199, 311, 368, 406, 438, 503 ], [ 21, 122, 171, 200, 312, 369, 407, 439, 504 ], [ 22, 123, 172, 201, 313, 370, 408, 440, 505 ], [ 23, 124, 173, 202, 314, 371, 409, 441, 506 ], [ 24, 125, 174, 203, 315, 372, 410, 442, 507 ], [ 25, 126, 175, 204, 316, 373, 411, 443, 508 ], [ 26, 127, 176, 205, 317, 374, 412, 444, 509 ], [ 27, 96, 177, 206, 318, 375, 413, 445, 510 ], [ 28, 97, 178, 207, 319, 376, 414, 446, 511 ], [ 29, 98, 179, 208, 288, 377, 415, 447, 480 ], [ 30, 99, 180, 209, 289, 378, 384, 416, 481 ], [ 31, 100, 181, 210, 290, 379, 385, 417, 482 ], [ 0, 101, 182, 211, 291, 380, 386, 418, 483 ], [ 1, 102, 183, 212, 292, 381, 387, 419, 484 ], [ 2, 103, 184, 213, 293, 382, 388, 420, 485 ], [ 3, 104, 185, 214, 294, 383, 389, 421, 486 ], [ 2, 78, 110, 144, 176, 209, 266, 335, 399, 511 ], [ 3, 79, 111, 145, 177, 210, 267, 336, 400, 480 ], [ 4, 80, 112, 146, 178, 211, 268, 337, 401, 481 ], [ 5, 81, 113, 147, 179, 212, 269, 338, 402, 482 ], [ 6, 82, 114, 148, 180, 213, 270, 339, 403, 483 ], [ 7, 83, 115, 149, 181, 214, 271, 340, 404, 484 ], [ 8, 84, 116, 150, 182, 215, 272, 341, 405, 485 ], [ 9, 85, 117, 151, 183, 216, 273, 342, 406, 486 ], [ 10, 86, 118, 152, 184, 217, 274, 343, 407, 487 ], [ 11, 87, 119, 153, 185, 218, 275, 344, 408, 488 ], [ 12, 88, 120, 154, 186, 219, 276, 345, 409, 489 ], [ 13, 89, 121, 155, 187, 220, 277, 346, 410, 490 ], [ 14, 90, 122, 156, 188, 221, 278, 347, 411, 491 ], [ 15, 91, 123, 157, 189, 222, 279, 348, 412, 492 ], [ 16, 92, 124, 158, 190, 223, 280, 349, 413, 493 ], [ 17, 93, 125, 159, 191, 192, 281, 350, 414, 494 ], [ 18, 94, 126, 128, 160, 193, 282, 351, 415, 495 ], [ 19, 95, 127, 129, 161, 194, 283, 320, 384, 496 ], [ 20, 64, 96, 130, 162, 195, 284, 321, 385, 497 ], [ 21, 65, 97, 131, 163, 196, 285, 322, 386, 498 ], [ 22, 66, 98, 132, 164, 197, 286, 323, 387, 499 ], [ 23, 67, 99, 133, 165, 198, 287, 324, 388, 500 ], [ 24, 68, 100, 134, 166, 199, 256, 325, 389, 501 ], [ 25, 69, 101, 135, 167, 200, 257, 326, 390, 502 ], [ 26, 70, 102, 136, 168, 201, 258, 327, 391, 503 ], [ 27, 71, 103, 137, 169, 202, 259, 328, 392, 504 ], [ 28, 72, 104, 138, 170, 203, 260, 329, 393, 505 ], [ 29, 73, 105, 139, 171, 204, 261, 330, 394, 506 ], [ 30, 74, 106, 140, 172, 205, 262, 331, 395, 507 ], [ 31, 75, 107, 141, 173, 206, 263, 332, 396, 508 ], [ 0, 76, 108, 142, 174, 207, 264, 333, 397, 509 ], [ 1, 77, 109, 143, 175, 208, 265, 334, 398, 510 ], [ 34, 78, 144, 241, 298, 367, 431, 479, 511 ], [ 35, 79, 145, 242, 299, 368, 432, 448, 480 ], [ 36, 80, 146, 243, 300, 369, 433, 449, 481 ], [ 37, 81, 147, 244, 301, 370, 434, 450, 482 ], [ 38, 82, 148, 245, 302, 371, 435, 451, 483 ], [ 39, 83, 149, 246, 303, 372, 436, 452, 484 ], [ 40, 84, 150, 247, 304, 373, 437, 453, 485 ], [ 41, 85, 151, 248, 305, 374, 438, 454, 486 ], [ 42, 86, 152, 249, 306, 375, 439, 455, 487 ], [ 43, 87, 153, 250, 307, 376, 440, 456, 488 ], [ 44, 88, 154, 251, 308, 377, 441, 457, 489 ], [ 45, 89, 155, 252, 309, 378, 442, 458, 490 ], [ 46, 90, 156, 253, 310, 379, 443, 459, 491 ], [ 47, 91, 157, 254, 311, 380, 444, 460, 492 ], [ 48, 92, 158, 255, 312, 381, 445, 461, 493 ], [ 49, 93, 159, 224, 313, 382, 446, 462, 494 ], [ 50, 94, 128, 225, 314, 383, 447, 463, 495 ], [ 51, 95, 129, 226, 315, 352, 416, 464, 496 ], [ 52, 64, 130, 227, 316, 353, 417, 465, 497 ], [ 53, 65, 131, 228, 317, 354, 418, 466, 498 ], [ 54, 66, 132, 229, 318, 355, 419, 467, 499 ], [ 55, 67, 133, 230, 319, 356, 420, 468, 500 ], [ 56, 68, 134, 231, 288, 357, 421, 469, 501 ], [ 57, 69, 135, 232, 289, 358, 422, 470, 502 ], [ 58, 70, 136, 233, 290, 359, 423, 471, 503 ], [ 59, 71, 137, 234, 291, 360, 424, 472, 504 ], [ 60, 72, 138, 235, 292, 361, 425, 473, 505 ], [ 61, 73, 139, 236, 293, 362, 426, 474, 506 ], [ 62, 74, 140, 237, 294, 363, 427, 475, 507 ], [ 63, 75, 141, 238, 295, 364, 428, 476, 508 ], [ 32, 76, 142, 239, 296, 365, 429, 477, 509 ], [ 33, 77, 143, 240, 297, 366, 430, 478, 510 ], [ 26, 58, 92, 167, 199, 265, 344, 376, 404, 485 ], [ 27, 59, 93, 168, 200, 266, 345, 377, 405, 486 ], [ 28, 60, 94, 169, 201, 267, 346, 378, 406, 487 ], [ 29, 61, 95, 170, 202, 268, 347, 379, 407, 488 ], [ 30, 62, 64, 171, 203, 269, 348, 380, 408, 489 ], [ 31, 63, 65, 172, 204, 270, 349, 381, 409, 490 ], [ 0, 32, 66, 173, 205, 271, 350, 382, 410, 491 ], [ 1, 33, 67, 174, 206, 272, 351, 383, 411, 492 ], [ 2, 34, 68, 175, 207, 273, 320, 352, 412, 493 ], [ 3, 35, 69, 176, 208, 274, 321, 353, 413, 494 ], [ 4, 36, 70, 177, 209, 275, 322, 354, 414, 495 ], [ 5, 37, 71, 178, 210, 276, 323, 355, 415, 496 ], [ 6, 38, 72, 179, 211, 277, 324, 356, 384, 497 ], [ 7, 39, 73, 180, 212, 278, 325, 357, 385, 498 ], [ 8, 40, 74, 181, 213, 279, 326, 358, 386, 499 ], [ 9, 41, 75, 182, 214, 280, 327, 359, 387, 500 ], [ 10, 42, 76, 183, 215, 281, 328, 360, 388, 501 ], [ 11, 43, 77, 184, 216, 282, 329, 361, 389, 502 ], [ 12, 44, 78, 185, 217, 283, 330, 362, 390, 503 ], [ 13, 45, 79, 186, 218, 284, 331, 363, 391, 504 ], [ 14, 46, 80, 187, 219, 285, 332, 364, 392, 505 ], [ 15, 47, 81, 188, 220, 286, 333, 365, 393, 506 ], [ 16, 48, 82, 189, 221, 287, 334, 366, 394, 507 ], [ 17, 49, 83, 190, 222, 256, 335, 367, 395, 508 ], [ 18, 50, 84, 191, 223, 257, 336, 368, 396, 509 ], [ 19, 51, 85, 160, 192, 258, 337, 369, 397, 510 ], [ 20, 52, 86, 161, 193, 259, 338, 370, 398, 511 ], [ 21, 53, 87, 162, 194, 260, 339, 371, 399, 480 ], [ 22, 54, 88, 163, 195, 261, 340, 372, 400, 481 ], [ 23, 55, 89, 164, 196, 262, 341, 373, 401, 482 ], [ 24, 56, 90, 165, 197, 263, 342, 374, 402, 483 ], [ 25, 57, 91, 166, 198, 264, 343, 375, 403, 484 ], [ 26, 124, 135, 167, 231, 297, 344, 436, 453, 485 ], [ 27, 125, 136, 168, 232, 298, 345, 437, 454, 486 ], [ 28, 126, 137, 169, 233, 299, 346, 438, 455, 487 ], [ 29, 127, 138, 170, 234, 300, 347, 439, 456, 488 ], [ 30, 96, 139, 171, 235, 301, 348, 440, 457, 489 ], [ 31, 97, 140, 172, 236, 302, 349, 441, 458, 490 ], [ 0, 98, 141, 173, 237, 303, 350, 442, 459, 491 ], [ 1, 99, 142, 174, 238, 304, 351, 443, 460, 492 ], [ 2, 100, 143, 175, 239, 305, 320, 444, 461, 493 ], [ 3, 101, 144, 176, 240, 306, 321, 445, 462, 494 ], [ 4, 102, 145, 177, 241, 307, 322, 446, 463, 495 ], [ 5, 103, 146, 178, 242, 308, 323, 447, 464, 496 ], [ 6, 104, 147, 179, 243, 309, 324, 416, 465, 497 ], [ 7, 105, 148, 180, 244, 310, 325, 417, 466, 498 ], [ 8, 106, 149, 181, 245, 311, 326, 418, 467, 499 ], [ 9, 107, 150, 182, 246, 312, 327, 419, 468, 500 ], [ 10, 108, 151, 183, 247, 313, 328, 420, 469, 501 ], [ 11, 109, 152, 184, 248, 314, 329, 421, 470, 502 ], [ 12, 110, 153, 185, 249, 315, 330, 422, 471, 503 ], [ 13, 111, 154, 186, 250, 316, 331, 423, 472, 504 ], [ 14, 112, 155, 187, 251, 317, 332, 424, 473, 505 ], [ 15, 113, 156, 188, 252, 318, 333, 425, 474, 506 ], [ 16, 114, 157, 189, 253, 319, 334, 426, 475, 507 ], [ 17, 115, 158, 190, 254, 288, 335, 427, 476, 508 ], [ 18, 116, 159, 191, 255, 289, 336, 428, 477, 509 ], [ 19, 117, 128, 160, 224, 290, 337, 429, 478, 510 ], [ 20, 118, 129, 161, 225, 291, 338, 430, 479, 511 ], [ 21, 119, 130, 162, 226, 292, 339, 431, 448, 480 ], [ 22, 120, 131, 163, 227, 293, 340, 432, 449, 481 ], [ 23, 121, 132, 164, 228, 294, 341, 433, 450, 482 ], [ 24, 122, 133, 165, 229, 295, 342, 434, 451, 483 ], [ 25, 123, 134, 166, 230, 296, 343, 435, 452, 484 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 4, 6, 69, 86, 101, 144, 180, 209, 211, 228, 241, 243, 249, 259, 274, 285, 392, 422, 433, 498 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 15000, "survived_samples": 15000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 11 ] } }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 44, 103, 129, 130, 178, 179, 184, 194, 195, 209, 210, 241, 293, 338, 362, 368, 385, 400, 430, 455 ], "witness_provenance": { "found_by": [ "@mathysrennela" ], "date": "2026-10-12", "found_at_samples": 15000, "survived_samples": 15000, "tool": "research/kit/surrogate.lightest_logical", "seeds": [ 12 ] } } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Pair-partition (PP) code over F_4[C_32] from arXiv:2610.06820 Sec. V and its companion catalogue entry pp-f4-512-128-20: reversing r-by-2M array with r = 3, P = 32, check basis raw, correction pivots (0,1,2) / (4,5,6), free coordinates (3,7), exponents and F_4 coefficients as tabulated. Binary checks reconstructed with the authors' own github.com/yeon-lee/public-regular-logical-frames src/rlf.py reconstruct(); n = 512, k = 128, check weight 10 on both CSS sides.", "references": [ "arXiv:2610.06820v1" ], "date": "2026-10-12", "notes": "Reproduction of a code tabulated as new in arXiv:2610.06820 Table 1, whose distances are stated to be exact. No board entry shares (n, k), so this is a new parameter point rather than a distinct code at held parameters. Distance here is a witness-backed upper bound from randomized search, not a reproduction of the paper's exhaustive certification.", "model": "Space Bunny Alpha 1.0", "origin": "submission", "search_budget": { "ris_trials_per_side": 1000000 } }, "family": "pair-partition-cpm" }