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