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