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