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