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