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