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