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