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