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