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