{ "schema_version": "0.3", "name": "[[336,20,16]]", "code_type": "CSS", "n": 336, "k": 20, "checks": { "X": [ [ 0, 66, 105, 168, 181, 186 ], [ 1, 67, 106, 169, 182, 299 ], [ 2, 64, 107, 170, 183, 184 ], [ 3, 65, 104, 171, 180, 297 ], [ 4, 53, 70, 172, 185, 190 ], [ 5, 54, 71, 173, 186, 303 ], [ 6, 55, 68, 174, 187, 188 ], [ 7, 52, 69, 175, 184, 301 ], [ 1, 8, 74, 176, 189, 194 ], [ 2, 9, 75, 177, 190, 307 ], [ 3, 10, 72, 178, 191, 192 ], [ 0, 11, 73, 179, 188, 305 ], [ 12, 78, 117, 180, 193, 198 ], [ 13, 79, 118, 181, 194, 311 ], [ 14, 76, 119, 182, 195, 196 ], [ 15, 77, 116, 183, 192, 309 ], [ 16, 65, 82, 184, 197, 202 ], [ 17, 66, 83, 185, 198, 315 ], [ 18, 67, 80, 186, 199, 200 ], [ 19, 64, 81, 187, 196, 313 ], [ 13, 20, 86, 188, 201, 206 ], [ 14, 21, 87, 189, 202, 319 ], [ 15, 22, 84, 190, 203, 204 ], [ 12, 23, 85, 191, 200, 317 ], [ 24, 90, 129, 192, 205, 210 ], [ 25, 91, 130, 193, 206, 323 ], [ 26, 88, 131, 194, 207, 208 ], [ 27, 89, 128, 195, 204, 321 ], [ 28, 77, 94, 196, 209, 214 ], [ 29, 78, 95, 197, 210, 327 ], [ 30, 79, 92, 198, 211, 212 ], [ 31, 76, 93, 199, 208, 325 ], [ 25, 32, 98, 200, 213, 218 ], [ 26, 33, 99, 201, 214, 331 ], [ 27, 34, 96, 202, 215, 216 ], [ 24, 35, 97, 203, 212, 329 ], [ 36, 102, 141, 204, 217, 222 ], [ 37, 103, 142, 205, 218, 335 ], [ 38, 100, 143, 206, 219, 220 ], [ 39, 101, 140, 207, 216, 333 ], [ 40, 89, 106, 208, 221, 226 ], [ 41, 90, 107, 171, 209, 222 ], [ 42, 91, 104, 210, 223, 224 ], [ 43, 88, 105, 169, 211, 220 ], [ 37, 44, 110, 212, 225, 230 ], [ 38, 45, 111, 175, 213, 226 ], [ 39, 46, 108, 214, 227, 228 ], [ 36, 47, 109, 173, 215, 224 ], [ 48, 114, 153, 216, 229, 234 ], [ 49, 115, 154, 179, 217, 230 ], [ 50, 112, 155, 218, 231, 232 ], [ 51, 113, 152, 177, 219, 228 ], [ 52, 101, 118, 220, 233, 238 ], [ 53, 102, 119, 183, 221, 234 ], [ 54, 103, 116, 222, 235, 236 ], [ 55, 100, 117, 181, 223, 232 ], [ 49, 56, 122, 224, 237, 242 ], [ 50, 57, 123, 187, 225, 238 ], [ 51, 58, 120, 226, 239, 240 ], [ 48, 59, 121, 185, 227, 236 ], [ 60, 126, 165, 228, 241, 246 ], [ 61, 127, 166, 191, 229, 242 ], [ 62, 124, 167, 230, 243, 244 ], [ 63, 125, 164, 189, 231, 240 ], [ 64, 113, 130, 232, 245, 250 ], [ 65, 114, 131, 195, 233, 246 ], [ 66, 115, 128, 234, 247, 248 ], [ 67, 112, 129, 193, 235, 244 ], [ 61, 68, 134, 236, 249, 254 ], [ 62, 69, 135, 199, 237, 250 ], [ 63, 70, 132, 238, 251, 252 ], [ 60, 71, 133, 197, 239, 248 ], [ 9, 72, 138, 240, 253, 258 ], [ 10, 73, 139, 203, 241, 254 ], [ 11, 74, 136, 242, 255, 256 ], [ 8, 75, 137, 201, 243, 252 ], [ 76, 125, 142, 244, 257, 262 ], [ 77, 126, 143, 207, 245, 258 ], [ 78, 127, 140, 246, 259, 260 ], [ 79, 124, 141, 205, 247, 256 ], [ 73, 80, 146, 248, 261, 266 ], [ 74, 81, 147, 211, 249, 262 ], [ 75, 82, 144, 250, 263, 264 ], [ 72, 83, 145, 209, 251, 260 ], [ 21, 84, 150, 252, 265, 270 ], [ 22, 85, 151, 215, 253, 266 ], [ 23, 86, 148, 254, 267, 268 ], [ 20, 87, 149, 213, 255, 264 ], [ 88, 137, 154, 256, 269, 274 ], [ 89, 138, 155, 219, 257, 270 ], [ 90, 139, 152, 258, 271, 272 ], [ 91, 136, 153, 217, 259, 268 ], [ 85, 92, 158, 260, 273, 278 ], [ 86, 93, 159, 223, 261, 274 ], [ 87, 94, 156, 262, 275, 276 ], [ 84, 95, 157, 221, 263, 272 ], [ 33, 96, 162, 264, 277, 282 ], [ 34, 97, 163, 227, 265, 278 ], [ 35, 98, 160, 266, 279, 280 ], [ 32, 99, 161, 225, 267, 276 ], [ 100, 149, 166, 268, 281, 286 ], [ 101, 150, 167, 231, 269, 282 ], [ 102, 151, 164, 270, 283, 284 ], [ 103, 148, 165, 229, 271, 280 ], [ 2, 97, 104, 272, 285, 290 ], [ 3, 98, 105, 235, 273, 286 ], [ 0, 99, 106, 274, 287, 288 ], [ 1, 96, 107, 233, 275, 284 ], [ 6, 45, 108, 276, 289, 294 ], [ 7, 46, 109, 239, 277, 290 ], [ 4, 47, 110, 278, 291, 292 ], [ 5, 44, 111, 237, 279, 288 ], [ 10, 112, 161, 280, 293, 298 ], [ 11, 113, 162, 243, 281, 294 ], [ 8, 114, 163, 282, 295, 296 ], [ 9, 115, 160, 241, 283, 292 ], [ 14, 109, 116, 284, 297, 302 ], [ 15, 110, 117, 247, 285, 298 ], [ 12, 111, 118, 286, 299, 300 ], [ 13, 108, 119, 245, 287, 296 ], [ 18, 57, 120, 288, 301, 306 ], [ 19, 58, 121, 251, 289, 302 ], [ 16, 59, 122, 290, 303, 304 ], [ 17, 56, 123, 249, 291, 300 ], [ 5, 22, 124, 292, 305, 310 ], [ 6, 23, 125, 255, 293, 306 ], [ 7, 20, 126, 294, 307, 308 ], [ 4, 21, 127, 253, 295, 304 ], [ 26, 121, 128, 296, 309, 314 ], [ 27, 122, 129, 259, 297, 310 ], [ 24, 123, 130, 298, 311, 312 ], [ 25, 120, 131, 257, 299, 308 ], [ 30, 69, 132, 300, 313, 318 ], [ 31, 70, 133, 263, 301, 314 ], [ 28, 71, 134, 302, 315, 316 ], [ 29, 68, 135, 261, 303, 312 ], [ 17, 34, 136, 304, 317, 322 ], [ 18, 35, 137, 267, 305, 318 ], [ 19, 32, 138, 306, 319, 320 ], [ 16, 33, 139, 265, 307, 316 ], [ 38, 133, 140, 308, 321, 326 ], [ 39, 134, 141, 271, 309, 322 ], [ 36, 135, 142, 310, 323, 324 ], [ 37, 132, 143, 269, 311, 320 ], [ 42, 81, 144, 312, 325, 330 ], [ 43, 82, 145, 275, 313, 326 ], [ 40, 83, 146, 314, 327, 328 ], [ 41, 80, 147, 273, 315, 324 ], [ 29, 46, 148, 316, 329, 334 ], [ 30, 47, 149, 279, 317, 330 ], [ 31, 44, 150, 318, 331, 332 ], [ 28, 45, 151, 277, 319, 328 ], [ 50, 145, 152, 170, 320, 333 ], [ 51, 146, 153, 283, 321, 334 ], [ 48, 147, 154, 168, 322, 335 ], [ 49, 144, 155, 281, 323, 332 ], [ 54, 93, 156, 169, 174, 324 ], [ 55, 94, 157, 170, 287, 325 ], [ 52, 95, 158, 171, 172, 326 ], [ 53, 92, 159, 168, 285, 327 ], [ 41, 58, 160, 173, 178, 328 ], [ 42, 59, 161, 174, 291, 329 ], [ 43, 56, 162, 175, 176, 330 ], [ 40, 57, 163, 172, 289, 331 ], [ 62, 157, 164, 177, 182, 332 ], [ 63, 158, 165, 178, 295, 333 ], [ 60, 159, 166, 179, 180, 334 ], [ 61, 156, 167, 176, 293, 335 ] ], "Z": [ [ 0, 154, 159, 168, 179, 274 ], [ 1, 43, 156, 169, 176, 275 ], [ 2, 152, 157, 170, 177, 272 ], [ 3, 41, 158, 171, 178, 273 ], [ 4, 158, 163, 172, 278, 295 ], [ 5, 47, 160, 173, 279, 292 ], [ 6, 156, 161, 174, 276, 293 ], [ 7, 45, 162, 175, 277, 294 ], [ 8, 162, 167, 176, 243, 282 ], [ 9, 51, 164, 177, 240, 283 ], [ 10, 160, 165, 178, 241, 280 ], [ 11, 49, 166, 179, 242, 281 ], [ 3, 12, 166, 180, 191, 286 ], [ 0, 13, 55, 181, 188, 287 ], [ 1, 14, 164, 182, 189, 284 ], [ 2, 15, 53, 183, 190, 285 ], [ 2, 7, 16, 184, 290, 307 ], [ 4, 17, 59, 185, 291, 304 ], [ 0, 5, 18, 186, 288, 305 ], [ 6, 19, 57, 187, 289, 306 ], [ 6, 11, 20, 188, 255, 294 ], [ 8, 21, 63, 189, 252, 295 ], [ 4, 9, 22, 190, 253, 292 ], [ 10, 23, 61, 191, 254, 293 ], [ 10, 15, 24, 192, 203, 298 ], [ 12, 25, 67, 193, 200, 299 ], [ 8, 13, 26, 194, 201, 296 ], [ 14, 27, 65, 195, 202, 297 ], [ 14, 19, 28, 196, 302, 319 ], [ 16, 29, 71, 197, 303, 316 ], [ 12, 17, 30, 198, 300, 317 ], [ 18, 31, 69, 199, 301, 318 ], [ 18, 23, 32, 200, 267, 306 ], [ 20, 33, 75, 201, 264, 307 ], [ 16, 21, 34, 202, 265, 304 ], [ 22, 35, 73, 203, 266, 305 ], [ 22, 27, 36, 204, 215, 310 ], [ 24, 37, 79, 205, 212, 311 ], [ 20, 25, 38, 206, 213, 308 ], [ 26, 39, 77, 207, 214, 309 ], [ 26, 31, 40, 208, 314, 331 ], [ 28, 41, 83, 209, 315, 328 ], [ 24, 29, 42, 210, 312, 329 ], [ 30, 43, 81, 211, 313, 330 ], [ 30, 35, 44, 212, 279, 318 ], [ 32, 45, 87, 213, 276, 319 ], [ 28, 33, 46, 214, 277, 316 ], [ 34, 47, 85, 215, 278, 317 ], [ 34, 39, 48, 216, 227, 322 ], [ 36, 49, 91, 217, 224, 323 ], [ 32, 37, 50, 218, 225, 320 ], [ 38, 51, 89, 219, 226, 321 ], [ 38, 43, 52, 175, 220, 326 ], [ 40, 53, 95, 172, 221, 327 ], [ 36, 41, 54, 173, 222, 324 ], [ 42, 55, 93, 174, 223, 325 ], [ 42, 47, 56, 224, 291, 330 ], [ 44, 57, 99, 225, 288, 331 ], [ 40, 45, 58, 226, 289, 328 ], [ 46, 59, 97, 227, 290, 329 ], [ 46, 51, 60, 228, 239, 334 ], [ 48, 61, 103, 229, 236, 335 ], [ 44, 49, 62, 230, 237, 332 ], [ 50, 63, 101, 231, 238, 333 ], [ 50, 55, 64, 170, 187, 232 ], [ 52, 65, 107, 171, 184, 233 ], [ 48, 53, 66, 168, 185, 234 ], [ 54, 67, 105, 169, 186, 235 ], [ 54, 59, 68, 174, 236, 303 ], [ 56, 69, 111, 175, 237, 300 ], [ 52, 57, 70, 172, 238, 301 ], [ 58, 71, 109, 173, 239, 302 ], [ 58, 63, 72, 178, 240, 251 ], [ 60, 73, 115, 179, 241, 248 ], [ 56, 61, 74, 176, 242, 249 ], [ 62, 75, 113, 177, 243, 250 ], [ 62, 67, 76, 182, 199, 244 ], [ 64, 77, 119, 183, 196, 245 ], [ 60, 65, 78, 180, 197, 246 ], [ 66, 79, 117, 181, 198, 247 ], [ 66, 71, 80, 186, 248, 315 ], [ 68, 81, 123, 187, 249, 312 ], [ 64, 69, 82, 184, 250, 313 ], [ 70, 83, 121, 185, 251, 314 ], [ 70, 75, 84, 190, 252, 263 ], [ 72, 85, 127, 191, 253, 260 ], [ 68, 73, 86, 188, 254, 261 ], [ 74, 87, 125, 189, 255, 262 ], [ 74, 79, 88, 194, 211, 256 ], [ 76, 89, 131, 195, 208, 257 ], [ 72, 77, 90, 192, 209, 258 ], [ 78, 91, 129, 193, 210, 259 ], [ 78, 83, 92, 198, 260, 327 ], [ 80, 93, 135, 199, 261, 324 ], [ 76, 81, 94, 196, 262, 325 ], [ 82, 95, 133, 197, 263, 326 ], [ 82, 87, 96, 202, 264, 275 ], [ 84, 97, 139, 203, 265, 272 ], [ 80, 85, 98, 200, 266, 273 ], [ 86, 99, 137, 201, 267, 274 ], [ 86, 91, 100, 206, 223, 268 ], [ 88, 101, 143, 207, 220, 269 ], [ 84, 89, 102, 204, 221, 270 ], [ 90, 103, 141, 205, 222, 271 ], [ 90, 95, 104, 171, 210, 272 ], [ 92, 105, 147, 168, 211, 273 ], [ 88, 93, 106, 169, 208, 274 ], [ 94, 107, 145, 170, 209, 275 ], [ 94, 99, 108, 214, 276, 287 ], [ 96, 109, 151, 215, 277, 284 ], [ 92, 97, 110, 212, 278, 285 ], [ 98, 111, 149, 213, 279, 286 ], [ 98, 103, 112, 218, 235, 280 ], [ 100, 113, 155, 219, 232, 281 ], [ 96, 101, 114, 216, 233, 282 ], [ 102, 115, 153, 217, 234, 283 ], [ 102, 107, 116, 183, 222, 284 ], [ 104, 117, 159, 180, 223, 285 ], [ 100, 105, 118, 181, 220, 286 ], [ 106, 119, 157, 182, 221, 287 ], [ 106, 111, 120, 226, 288, 299 ], [ 108, 121, 163, 227, 289, 296 ], [ 104, 109, 122, 224, 290, 297 ], [ 110, 123, 161, 225, 291, 298 ], [ 110, 115, 124, 230, 247, 292 ], [ 112, 125, 167, 231, 244, 293 ], [ 108, 113, 126, 228, 245, 294 ], [ 114, 127, 165, 229, 246, 295 ], [ 114, 119, 128, 195, 234, 296 ], [ 3, 116, 129, 192, 235, 297 ], [ 112, 117, 130, 193, 232, 298 ], [ 1, 118, 131, 194, 233, 299 ], [ 118, 123, 132, 238, 300, 311 ], [ 7, 120, 133, 239, 301, 308 ], [ 116, 121, 134, 236, 302, 309 ], [ 5, 122, 135, 237, 303, 310 ], [ 122, 127, 136, 242, 259, 304 ], [ 11, 124, 137, 243, 256, 305 ], [ 120, 125, 138, 240, 257, 306 ], [ 9, 126, 139, 241, 258, 307 ], [ 126, 131, 140, 207, 246, 308 ], [ 15, 128, 141, 204, 247, 309 ], [ 124, 129, 142, 205, 244, 310 ], [ 13, 130, 143, 206, 245, 311 ], [ 130, 135, 144, 250, 312, 323 ], [ 19, 132, 145, 251, 313, 320 ], [ 128, 133, 146, 248, 314, 321 ], [ 17, 134, 147, 249, 315, 322 ], [ 134, 139, 148, 254, 271, 316 ], [ 23, 136, 149, 255, 268, 317 ], [ 132, 137, 150, 252, 269, 318 ], [ 21, 138, 151, 253, 270, 319 ], [ 138, 143, 152, 219, 258, 320 ], [ 27, 140, 153, 216, 259, 321 ], [ 136, 141, 154, 217, 256, 322 ], [ 25, 142, 155, 218, 257, 323 ], [ 142, 147, 156, 262, 324, 335 ], [ 31, 144, 157, 263, 325, 332 ], [ 140, 145, 158, 260, 326, 333 ], [ 29, 146, 159, 261, 327, 334 ], [ 146, 151, 160, 266, 283, 328 ], [ 35, 148, 161, 267, 280, 329 ], [ 144, 149, 162, 264, 281, 330 ], [ 33, 150, 163, 265, 282, 331 ], [ 150, 155, 164, 231, 270, 332 ], [ 39, 152, 165, 228, 271, 333 ], [ 148, 153, 166, 229, 268, 334 ], [ 37, 154, 167, 230, 269, 335 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 63, 68, 121, 123, 132, 148, 150, 161, 163, 229, 231, 236, 251, 254, 293, 295 ] }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 19, 25, 32, 75, 81, 144, 177, 201, 206, 219, 257, 262, 276, 289, 331, 332 ] } }, "provenance": { "authors": [ "@FarLab" ], "construction": "two-block group algebra code on ZSZ(42,4,29) (kit group_algebra Cayley-table indices): a = [0, 11, 106], b = [0, 154, 159]; H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T]", "origin": "submission", "date": "2026-10-17", "model": "Claude Fable 5.1", "search_budget": { "candidates_screened": 400000, "ris_trials_per_side": 10000000, "cpu_hours": 8.0, "tool": "research/kit/search.py + gf2_fast on Brev n2d-highcpu-64" } }, "family": "generalized-bicycle" }