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