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