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