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