{ "schema_version": "0.3", "name": "[[504,16,26]]", "code_type": "CSS", "n": 504, "k": 16, "checks": { "X": [ [ 0, 25, 157, 252, 290, 291 ], [ 1, 26, 158, 253, 487, 488 ], [ 2, 27, 159, 254, 292, 293 ], [ 3, 14, 160, 255, 476, 489 ], [ 4, 15, 161, 256, 280, 281 ], [ 5, 16, 162, 257, 477, 478 ], [ 6, 17, 163, 258, 282, 283 ], [ 7, 18, 164, 259, 479, 480 ], [ 8, 19, 165, 260, 284, 285 ], [ 9, 20, 166, 261, 481, 482 ], [ 10, 21, 167, 262, 286, 287 ], [ 11, 22, 154, 263, 483, 484 ], [ 12, 23, 155, 264, 288, 289 ], [ 13, 24, 156, 265, 485, 486 ], [ 11, 14, 143, 266, 304, 305 ], [ 12, 15, 144, 267, 501, 502 ], [ 13, 16, 145, 268, 306, 307 ], [ 0, 17, 146, 269, 490, 503 ], [ 1, 18, 147, 270, 294, 295 ], [ 2, 19, 148, 271, 491, 492 ], [ 3, 20, 149, 272, 296, 297 ], [ 4, 21, 150, 273, 493, 494 ], [ 5, 22, 151, 274, 298, 299 ], [ 6, 23, 152, 275, 495, 496 ], [ 7, 24, 153, 276, 300, 301 ], [ 8, 25, 140, 277, 497, 498 ], [ 9, 26, 141, 278, 302, 303 ], [ 10, 27, 142, 279, 499, 500 ], [ 28, 129, 249, 280, 318, 319 ], [ 29, 130, 250, 263, 264, 281 ], [ 30, 131, 251, 282, 320, 321 ], [ 31, 132, 238, 252, 265, 283 ], [ 32, 133, 239, 284, 308, 309 ], [ 33, 134, 240, 253, 254, 285 ], [ 34, 135, 241, 286, 310, 311 ], [ 35, 136, 242, 255, 256, 287 ], [ 36, 137, 243, 288, 312, 313 ], [ 37, 138, 244, 257, 258, 289 ], [ 38, 139, 245, 290, 314, 315 ], [ 39, 126, 246, 259, 260, 291 ], [ 40, 127, 247, 292, 316, 317 ], [ 41, 128, 248, 261, 262, 293 ], [ 42, 115, 235, 294, 332, 333 ], [ 43, 116, 236, 277, 278, 295 ], [ 44, 117, 237, 296, 334, 335 ], [ 45, 118, 224, 266, 279, 297 ], [ 46, 119, 225, 298, 322, 323 ], [ 47, 120, 226, 267, 268, 299 ], [ 48, 121, 227, 300, 324, 325 ], [ 49, 122, 228, 269, 270, 301 ], [ 50, 123, 229, 302, 326, 327 ], [ 51, 124, 230, 271, 272, 303 ], [ 52, 125, 231, 304, 328, 329 ], [ 53, 112, 232, 273, 274, 305 ], [ 54, 113, 233, 306, 330, 331 ], [ 55, 114, 234, 275, 276, 307 ], [ 56, 101, 221, 308, 346, 347 ], [ 57, 102, 222, 291, 292, 309 ], [ 58, 103, 223, 310, 348, 349 ], [ 59, 104, 210, 280, 293, 311 ], [ 60, 105, 211, 312, 336, 337 ], [ 61, 106, 212, 281, 282, 313 ], [ 62, 107, 213, 314, 338, 339 ], [ 63, 108, 214, 283, 284, 315 ], [ 64, 109, 215, 316, 340, 341 ], [ 65, 110, 216, 285, 286, 317 ], [ 66, 111, 217, 318, 342, 343 ], [ 67, 98, 218, 287, 288, 319 ], [ 68, 99, 219, 320, 344, 345 ], [ 69, 100, 220, 289, 290, 321 ], [ 70, 87, 207, 322, 360, 361 ], [ 71, 88, 208, 305, 306, 323 ], [ 72, 89, 209, 324, 362, 363 ], [ 73, 90, 196, 294, 307, 325 ], [ 74, 91, 197, 326, 350, 351 ], [ 75, 92, 198, 295, 296, 327 ], [ 76, 93, 199, 328, 352, 353 ], [ 77, 94, 200, 297, 298, 329 ], [ 78, 95, 201, 330, 354, 355 ], [ 79, 96, 202, 299, 300, 331 ], [ 80, 97, 203, 332, 356, 357 ], [ 81, 84, 204, 301, 302, 333 ], [ 82, 85, 205, 334, 358, 359 ], [ 83, 86, 206, 303, 304, 335 ], [ 73, 84, 193, 336, 374, 375 ], [ 74, 85, 194, 319, 320, 337 ], [ 75, 86, 195, 338, 376, 377 ], [ 76, 87, 182, 308, 321, 339 ], [ 77, 88, 183, 340, 364, 365 ], [ 78, 89, 184, 309, 310, 341 ], [ 79, 90, 185, 342, 366, 367 ], [ 80, 91, 186, 311, 312, 343 ], [ 81, 92, 187, 344, 368, 369 ], [ 82, 93, 188, 313, 314, 345 ], [ 83, 94, 189, 346, 370, 371 ], [ 70, 95, 190, 315, 316, 347 ], [ 71, 96, 191, 348, 372, 373 ], [ 72, 97, 192, 317, 318, 349 ], [ 59, 98, 179, 350, 388, 389 ], [ 60, 99, 180, 333, 334, 351 ], [ 61, 100, 181, 352, 390, 391 ], [ 62, 101, 168, 322, 335, 353 ], [ 63, 102, 169, 354, 378, 379 ], [ 64, 103, 170, 323, 324, 355 ], [ 65, 104, 171, 356, 380, 381 ], [ 66, 105, 172, 325, 326, 357 ], [ 67, 106, 173, 358, 382, 383 ], [ 68, 107, 174, 327, 328, 359 ], [ 69, 108, 175, 360, 384, 385 ], [ 56, 109, 176, 329, 330, 361 ], [ 57, 110, 177, 362, 386, 387 ], [ 58, 111, 178, 331, 332, 363 ], [ 45, 112, 165, 364, 402, 403 ], [ 46, 113, 166, 347, 348, 365 ], [ 47, 114, 167, 366, 404, 405 ], [ 48, 115, 154, 336, 349, 367 ], [ 49, 116, 155, 368, 392, 393 ], [ 50, 117, 156, 337, 338, 369 ], [ 51, 118, 157, 370, 394, 395 ], [ 52, 119, 158, 339, 340, 371 ], [ 53, 120, 159, 372, 396, 397 ], [ 54, 121, 160, 341, 342, 373 ], [ 55, 122, 161, 374, 398, 399 ], [ 42, 123, 162, 343, 344, 375 ], [ 43, 124, 163, 376, 400, 401 ], [ 44, 125, 164, 345, 346, 377 ], [ 31, 126, 151, 378, 416, 417 ], [ 32, 127, 152, 361, 362, 379 ], [ 33, 128, 153, 380, 418, 419 ], [ 34, 129, 140, 350, 363, 381 ], [ 35, 130, 141, 382, 406, 407 ], [ 36, 131, 142, 351, 352, 383 ], [ 37, 132, 143, 384, 408, 409 ], [ 38, 133, 144, 353, 354, 385 ], [ 39, 134, 145, 386, 410, 411 ], [ 40, 135, 146, 355, 356, 387 ], [ 41, 136, 147, 388, 412, 413 ], [ 28, 137, 148, 357, 358, 389 ], [ 29, 138, 149, 390, 414, 415 ], [ 30, 139, 150, 359, 360, 391 ], [ 17, 137, 140, 392, 430, 431 ], [ 18, 138, 141, 375, 376, 393 ], [ 19, 139, 142, 394, 432, 433 ], [ 20, 126, 143, 364, 377, 395 ], [ 21, 127, 144, 396, 420, 421 ], [ 22, 128, 145, 365, 366, 397 ], [ 23, 129, 146, 398, 422, 423 ], [ 24, 130, 147, 367, 368, 399 ], [ 25, 131, 148, 400, 424, 425 ], [ 26, 132, 149, 369, 370, 401 ], [ 27, 133, 150, 402, 426, 427 ], [ 14, 134, 151, 371, 372, 403 ], [ 15, 135, 152, 404, 428, 429 ], [ 16, 136, 153, 373, 374, 405 ], [ 3, 123, 154, 406, 444, 445 ], [ 4, 124, 155, 389, 390, 407 ], [ 5, 125, 156, 408, 446, 447 ], [ 6, 112, 157, 378, 391, 409 ], [ 7, 113, 158, 410, 434, 435 ], [ 8, 114, 159, 379, 380, 411 ], [ 9, 115, 160, 412, 436, 437 ], [ 10, 116, 161, 381, 382, 413 ], [ 11, 117, 162, 414, 438, 439 ], [ 12, 118, 163, 383, 384, 415 ], [ 13, 119, 164, 416, 440, 441 ], [ 0, 120, 165, 385, 386, 417 ], [ 1, 121, 166, 418, 442, 443 ], [ 2, 122, 167, 387, 388, 419 ], [ 109, 168, 241, 420, 458, 459 ], [ 110, 169, 242, 403, 404, 421 ], [ 111, 170, 243, 422, 460, 461 ], [ 98, 171, 244, 392, 405, 423 ], [ 99, 172, 245, 424, 448, 449 ], [ 100, 173, 246, 393, 394, 425 ], [ 101, 174, 247, 426, 450, 451 ], [ 102, 175, 248, 395, 396, 427 ], [ 103, 176, 249, 428, 452, 453 ], [ 104, 177, 250, 397, 398, 429 ], [ 105, 178, 251, 430, 454, 455 ], [ 106, 179, 238, 399, 400, 431 ], [ 107, 180, 239, 432, 456, 457 ], [ 108, 181, 240, 401, 402, 433 ], [ 95, 182, 227, 434, 472, 473 ], [ 96, 183, 228, 417, 418, 435 ], [ 97, 184, 229, 436, 474, 475 ], [ 84, 185, 230, 406, 419, 437 ], [ 85, 186, 231, 438, 462, 463 ], [ 86, 187, 232, 407, 408, 439 ], [ 87, 188, 233, 440, 464, 465 ], [ 88, 189, 234, 409, 410, 441 ], [ 89, 190, 235, 442, 466, 467 ], [ 90, 191, 236, 411, 412, 443 ], [ 91, 192, 237, 444, 468, 469 ], [ 92, 193, 224, 413, 414, 445 ], [ 93, 194, 225, 446, 470, 471 ], [ 94, 195, 226, 415, 416, 447 ], [ 81, 196, 213, 448, 486, 487 ], [ 82, 197, 214, 431, 432, 449 ], [ 83, 198, 215, 450, 488, 489 ], [ 70, 199, 216, 420, 433, 451 ], [ 71, 200, 217, 452, 476, 477 ], [ 72, 201, 218, 421, 422, 453 ], [ 73, 202, 219, 454, 478, 479 ], [ 74, 203, 220, 423, 424, 455 ], [ 75, 204, 221, 456, 480, 481 ], [ 76, 205, 222, 425, 426, 457 ], [ 77, 206, 223, 458, 482, 483 ], [ 78, 207, 210, 427, 428, 459 ], [ 79, 208, 211, 460, 484, 485 ], [ 80, 209, 212, 429, 430, 461 ], [ 67, 199, 210, 462, 500, 501 ], [ 68, 200, 211, 445, 446, 463 ], [ 69, 201, 212, 464, 502, 503 ], [ 56, 202, 213, 434, 447, 465 ], [ 57, 203, 214, 466, 490, 491 ], [ 58, 204, 215, 435, 436, 467 ], [ 59, 205, 216, 468, 492, 493 ], [ 60, 206, 217, 437, 438, 469 ], [ 61, 207, 218, 470, 494, 495 ], [ 62, 208, 219, 439, 440, 471 ], [ 63, 209, 220, 472, 496, 497 ], [ 64, 196, 221, 441, 442, 473 ], [ 65, 197, 222, 474, 498, 499 ], [ 66, 198, 223, 443, 444, 475 ], [ 53, 185, 224, 262, 263, 476 ], [ 54, 186, 225, 459, 460, 477 ], [ 55, 187, 226, 264, 265, 478 ], [ 42, 188, 227, 448, 461, 479 ], [ 43, 189, 228, 252, 253, 480 ], [ 44, 190, 229, 449, 450, 481 ], [ 45, 191, 230, 254, 255, 482 ], [ 46, 192, 231, 451, 452, 483 ], [ 47, 193, 232, 256, 257, 484 ], [ 48, 194, 233, 453, 454, 485 ], [ 49, 195, 234, 258, 259, 486 ], [ 50, 182, 235, 455, 456, 487 ], [ 51, 183, 236, 260, 261, 488 ], [ 52, 184, 237, 457, 458, 489 ], [ 39, 171, 238, 276, 277, 490 ], [ 40, 172, 239, 473, 474, 491 ], [ 41, 173, 240, 278, 279, 492 ], [ 28, 174, 241, 462, 475, 493 ], [ 29, 175, 242, 266, 267, 494 ], [ 30, 176, 243, 463, 464, 495 ], [ 31, 177, 244, 268, 269, 496 ], [ 32, 178, 245, 465, 466, 497 ], [ 33, 179, 246, 270, 271, 498 ], [ 34, 180, 247, 467, 468, 499 ], [ 35, 181, 248, 272, 273, 500 ], [ 36, 168, 249, 469, 470, 501 ], [ 37, 169, 250, 274, 275, 502 ], [ 38, 170, 251, 471, 472, 503 ] ], "Z": [ [ 0, 31, 228, 252, 269, 417 ], [ 1, 33, 228, 253, 270, 418 ], [ 2, 33, 230, 254, 271, 419 ], [ 3, 35, 230, 255, 272, 406 ], [ 4, 35, 232, 256, 273, 407 ], [ 5, 37, 232, 257, 274, 408 ], [ 6, 37, 234, 258, 275, 409 ], [ 7, 39, 234, 259, 276, 410 ], [ 8, 39, 236, 260, 277, 411 ], [ 9, 41, 236, 261, 278, 412 ], [ 10, 41, 224, 262, 279, 413 ], [ 11, 29, 224, 263, 266, 414 ], [ 12, 29, 226, 264, 267, 415 ], [ 13, 31, 226, 265, 268, 416 ], [ 14, 45, 242, 255, 266, 403 ], [ 15, 47, 242, 256, 267, 404 ], [ 16, 47, 244, 257, 268, 405 ], [ 17, 49, 244, 258, 269, 392 ], [ 18, 49, 246, 259, 270, 393 ], [ 19, 51, 246, 260, 271, 394 ], [ 20, 51, 248, 261, 272, 395 ], [ 21, 53, 248, 262, 273, 396 ], [ 22, 53, 250, 263, 274, 397 ], [ 23, 55, 250, 264, 275, 398 ], [ 24, 55, 238, 265, 276, 399 ], [ 25, 43, 238, 252, 277, 400 ], [ 26, 43, 240, 253, 278, 401 ], [ 27, 45, 240, 254, 279, 402 ], [ 4, 28, 59, 280, 389, 493 ], [ 4, 29, 61, 281, 390, 494 ], [ 6, 30, 61, 282, 391, 495 ], [ 6, 31, 63, 283, 378, 496 ], [ 8, 32, 63, 284, 379, 497 ], [ 8, 33, 65, 285, 380, 498 ], [ 10, 34, 65, 286, 381, 499 ], [ 10, 35, 67, 287, 382, 500 ], [ 12, 36, 67, 288, 383, 501 ], [ 12, 37, 69, 289, 384, 502 ], [ 0, 38, 69, 290, 385, 503 ], [ 0, 39, 57, 291, 386, 490 ], [ 2, 40, 57, 292, 387, 491 ], [ 2, 41, 59, 293, 388, 492 ], [ 18, 42, 73, 294, 375, 479 ], [ 18, 43, 75, 295, 376, 480 ], [ 20, 44, 75, 296, 377, 481 ], [ 20, 45, 77, 297, 364, 482 ], [ 22, 46, 77, 298, 365, 483 ], [ 22, 47, 79, 299, 366, 484 ], [ 24, 48, 79, 300, 367, 485 ], [ 24, 49, 81, 301, 368, 486 ], [ 26, 50, 81, 302, 369, 487 ], [ 26, 51, 83, 303, 370, 488 ], [ 14, 52, 83, 304, 371, 489 ], [ 14, 53, 71, 305, 372, 476 ], [ 16, 54, 71, 306, 373, 477 ], [ 16, 55, 73, 307, 374, 478 ], [ 32, 56, 87, 308, 361, 465 ], [ 32, 57, 89, 309, 362, 466 ], [ 34, 58, 89, 310, 363, 467 ], [ 34, 59, 91, 311, 350, 468 ], [ 36, 60, 91, 312, 351, 469 ], [ 36, 61, 93, 313, 352, 470 ], [ 38, 62, 93, 314, 353, 471 ], [ 38, 63, 95, 315, 354, 472 ], [ 40, 64, 95, 316, 355, 473 ], [ 40, 65, 97, 317, 356, 474 ], [ 28, 66, 97, 318, 357, 475 ], [ 28, 67, 85, 319, 358, 462 ], [ 30, 68, 85, 320, 359, 463 ], [ 30, 69, 87, 321, 360, 464 ], [ 46, 70, 101, 322, 347, 451 ], [ 46, 71, 103, 323, 348, 452 ], [ 48, 72, 103, 324, 349, 453 ], [ 48, 73, 105, 325, 336, 454 ], [ 50, 74, 105, 326, 337, 455 ], [ 50, 75, 107, 327, 338, 456 ], [ 52, 76, 107, 328, 339, 457 ], [ 52, 77, 109, 329, 340, 458 ], [ 54, 78, 109, 330, 341, 459 ], [ 54, 79, 111, 331, 342, 460 ], [ 42, 80, 111, 332, 343, 461 ], [ 42, 81, 99, 333, 344, 448 ], [ 44, 82, 99, 334, 345, 449 ], [ 44, 83, 101, 335, 346, 450 ], [ 60, 84, 115, 333, 336, 437 ], [ 60, 85, 117, 334, 337, 438 ], [ 62, 86, 117, 335, 338, 439 ], [ 62, 87, 119, 322, 339, 440 ], [ 64, 88, 119, 323, 340, 441 ], [ 64, 89, 121, 324, 341, 442 ], [ 66, 90, 121, 325, 342, 443 ], [ 66, 91, 123, 326, 343, 444 ], [ 68, 92, 123, 327, 344, 445 ], [ 68, 93, 125, 328, 345, 446 ], [ 56, 94, 125, 329, 346, 447 ], [ 56, 95, 113, 330, 347, 434 ], [ 58, 96, 113, 331, 348, 435 ], [ 58, 97, 115, 332, 349, 436 ], [ 74, 98, 129, 319, 350, 423 ], [ 74, 99, 131, 320, 351, 424 ], [ 76, 100, 131, 321, 352, 425 ], [ 76, 101, 133, 308, 353, 426 ], [ 78, 102, 133, 309, 354, 427 ], [ 78, 103, 135, 310, 355, 428 ], [ 80, 104, 135, 311, 356, 429 ], [ 80, 105, 137, 312, 357, 430 ], [ 82, 106, 137, 313, 358, 431 ], [ 82, 107, 139, 314, 359, 432 ], [ 70, 108, 139, 315, 360, 433 ], [ 70, 109, 127, 316, 361, 420 ], [ 72, 110, 127, 317, 362, 421 ], [ 72, 111, 129, 318, 363, 422 ], [ 88, 112, 143, 305, 364, 409 ], [ 88, 113, 145, 306, 365, 410 ], [ 90, 114, 145, 307, 366, 411 ], [ 90, 115, 147, 294, 367, 412 ], [ 92, 116, 147, 295, 368, 413 ], [ 92, 117, 149, 296, 369, 414 ], [ 94, 118, 149, 297, 370, 415 ], [ 94, 119, 151, 298, 371, 416 ], [ 96, 120, 151, 299, 372, 417 ], [ 96, 121, 153, 300, 373, 418 ], [ 84, 122, 153, 301, 374, 419 ], [ 84, 123, 141, 302, 375, 406 ], [ 86, 124, 141, 303, 376, 407 ], [ 86, 125, 143, 304, 377, 408 ], [ 102, 126, 157, 291, 378, 395 ], [ 102, 127, 159, 292, 379, 396 ], [ 104, 128, 159, 293, 380, 397 ], [ 104, 129, 161, 280, 381, 398 ], [ 106, 130, 161, 281, 382, 399 ], [ 106, 131, 163, 282, 383, 400 ], [ 108, 132, 163, 283, 384, 401 ], [ 108, 133, 165, 284, 385, 402 ], [ 110, 134, 165, 285, 386, 403 ], [ 110, 135, 167, 286, 387, 404 ], [ 98, 136, 167, 287, 388, 405 ], [ 98, 137, 155, 288, 389, 392 ], [ 100, 138, 155, 289, 390, 393 ], [ 100, 139, 157, 290, 391, 394 ], [ 116, 140, 171, 277, 381, 392 ], [ 116, 141, 173, 278, 382, 393 ], [ 118, 142, 173, 279, 383, 394 ], [ 118, 143, 175, 266, 384, 395 ], [ 120, 144, 175, 267, 385, 396 ], [ 120, 145, 177, 268, 386, 397 ], [ 122, 146, 177, 269, 387, 398 ], [ 122, 147, 179, 270, 388, 399 ], [ 124, 148, 179, 271, 389, 400 ], [ 124, 149, 181, 272, 390, 401 ], [ 112, 150, 181, 273, 391, 402 ], [ 112, 151, 169, 274, 378, 403 ], [ 114, 152, 169, 275, 379, 404 ], [ 114, 153, 171, 276, 380, 405 ], [ 130, 154, 185, 263, 367, 406 ], [ 130, 155, 187, 264, 368, 407 ], [ 132, 156, 187, 265, 369, 408 ], [ 132, 157, 189, 252, 370, 409 ], [ 134, 158, 189, 253, 371, 410 ], [ 134, 159, 191, 254, 372, 411 ], [ 136, 160, 191, 255, 373, 412 ], [ 136, 161, 193, 256, 374, 413 ], [ 138, 162, 193, 257, 375, 414 ], [ 138, 163, 195, 258, 376, 415 ], [ 126, 164, 195, 259, 377, 416 ], [ 126, 165, 183, 260, 364, 417 ], [ 128, 166, 183, 261, 365, 418 ], [ 128, 167, 185, 262, 366, 419 ], [ 144, 168, 199, 353, 420, 501 ], [ 144, 169, 201, 354, 421, 502 ], [ 146, 170, 201, 355, 422, 503 ], [ 146, 171, 203, 356, 423, 490 ], [ 148, 172, 203, 357, 424, 491 ], [ 148, 173, 205, 358, 425, 492 ], [ 150, 174, 205, 359, 426, 493 ], [ 150, 175, 207, 360, 427, 494 ], [ 152, 176, 207, 361, 428, 495 ], [ 152, 177, 209, 362, 429, 496 ], [ 140, 178, 209, 363, 430, 497 ], [ 140, 179, 197, 350, 431, 498 ], [ 142, 180, 197, 351, 432, 499 ], [ 142, 181, 199, 352, 433, 500 ], [ 158, 182, 213, 339, 434, 487 ], [ 158, 183, 215, 340, 435, 488 ], [ 160, 184, 215, 341, 436, 489 ], [ 160, 185, 217, 342, 437, 476 ], [ 162, 186, 217, 343, 438, 477 ], [ 162, 187, 219, 344, 439, 478 ], [ 164, 188, 219, 345, 440, 479 ], [ 164, 189, 221, 346, 441, 480 ], [ 166, 190, 221, 347, 442, 481 ], [ 166, 191, 223, 348, 443, 482 ], [ 154, 192, 223, 349, 444, 483 ], [ 154, 193, 211, 336, 445, 484 ], [ 156, 194, 211, 337, 446, 485 ], [ 156, 195, 213, 338, 447, 486 ], [ 172, 196, 227, 325, 448, 473 ], [ 172, 197, 229, 326, 449, 474 ], [ 174, 198, 229, 327, 450, 475 ], [ 174, 199, 231, 328, 451, 462 ], [ 176, 200, 231, 329, 452, 463 ], [ 176, 201, 233, 330, 453, 464 ], [ 178, 202, 233, 331, 454, 465 ], [ 178, 203, 235, 332, 455, 466 ], [ 180, 204, 235, 333, 456, 467 ], [ 180, 205, 237, 334, 457, 468 ], [ 168, 206, 237, 335, 458, 469 ], [ 168, 207, 225, 322, 459, 470 ], [ 170, 208, 225, 323, 460, 471 ], [ 170, 209, 227, 324, 461, 472 ], [ 186, 210, 241, 311, 459, 462 ], [ 186, 211, 243, 312, 460, 463 ], [ 188, 212, 243, 313, 461, 464 ], [ 188, 213, 245, 314, 448, 465 ], [ 190, 214, 245, 315, 449, 466 ], [ 190, 215, 247, 316, 450, 467 ], [ 192, 216, 247, 317, 451, 468 ], [ 192, 217, 249, 318, 452, 469 ], [ 194, 218, 249, 319, 453, 470 ], [ 194, 219, 251, 320, 454, 471 ], [ 182, 220, 251, 321, 455, 472 ], [ 182, 221, 239, 308, 456, 473 ], [ 184, 222, 239, 309, 457, 474 ], [ 184, 223, 241, 310, 458, 475 ], [ 3, 200, 224, 297, 445, 476 ], [ 5, 200, 225, 298, 446, 477 ], [ 5, 202, 226, 299, 447, 478 ], [ 7, 202, 227, 300, 434, 479 ], [ 7, 204, 228, 301, 435, 480 ], [ 9, 204, 229, 302, 436, 481 ], [ 9, 206, 230, 303, 437, 482 ], [ 11, 206, 231, 304, 438, 483 ], [ 11, 208, 232, 305, 439, 484 ], [ 13, 208, 233, 306, 440, 485 ], [ 13, 196, 234, 307, 441, 486 ], [ 1, 196, 235, 294, 442, 487 ], [ 1, 198, 236, 295, 443, 488 ], [ 3, 198, 237, 296, 444, 489 ], [ 17, 214, 238, 283, 431, 490 ], [ 19, 214, 239, 284, 432, 491 ], [ 19, 216, 240, 285, 433, 492 ], [ 21, 216, 241, 286, 420, 493 ], [ 21, 218, 242, 287, 421, 494 ], [ 23, 218, 243, 288, 422, 495 ], [ 23, 220, 244, 289, 423, 496 ], [ 25, 220, 245, 290, 424, 497 ], [ 25, 222, 246, 291, 425, 498 ], [ 27, 222, 247, 292, 426, 499 ], [ 27, 210, 248, 293, 427, 500 ], [ 15, 210, 249, 280, 428, 501 ], [ 15, 212, 250, 281, 429, 502 ], [ 17, 212, 251, 282, 430, 503 ] ] }, "distance": { "d": 26, "X": { "value": 26, "confidence": "upper_bound", "witness": [ 102, 138, 159, 163, 165, 171, 181, 254, 257, 260, 271, 274, 277, 283, 287, 378, 386, 390, 397, 400, 402, 405, 427, 490, 494, 500 ] }, "Z": { "value": 28, "confidence": "upper_bound", "witness": [ 7, 66, 71, 73, 77, 92, 96, 119, 125, 158, 164, 183, 186, 193, 198, 200, 208, 219, 225, 231, 300, 325, 343, 344, 446, 483, 484, 488 ] } }, "provenance": { "authors": [ "@FarLab" ], "construction": "Two-block group algebra (2BGA) code over the non-abelian metacyclic group C_18 semidirect_17 C_14 of order 252 (research/kit/group_algebra.py metacyclic(18, 14, 17) and build_2bga): element (i, j) = x^i y^j at index i*14 + j, product (i1, j1)(i2, j2) = (i1 + 17^j1 * i2 mod 18, j1 + j2 mod 14); H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] with L, R the left and right regular representations; a = [0, 17, 165], b = [0, 31, 228] (element indices). n = 2|G| = 504, k = 16, check weight 6 = 3+3.", "origin": "submission", "date": "2026-10-17", "model": "Claude Fable 5.1", "search_budget": { "candidates_screened": 122376, "ris_trials_per_side": 10000000, "cpu_hours": 36.0, "tool": "residue-table divisor enumeration + research/kit/surrogate gf2_fast on Brev n2d-highcpu-64" } }, "family": "generalized-bicycle" }