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