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