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