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