{ "schema_version": "0.1", "name": "[[540,12,28]]", "code_type": "CSS", "n": 540, "k": 12, "checks": { "X": [ [ 36, 88, 191, 281, 335, 417 ], [ 37, 89, 192, 282, 306, 358 ], [ 38, 60, 193, 283, 329, 427 ], [ 39, 61, 194, 284, 420, 488 ], [ 40, 62, 195, 285, 481, 519 ], [ 41, 63, 196, 286, 400, 512 ], [ 42, 64, 197, 287, 341, 393 ], [ 43, 65, 198, 288, 312, 334 ], [ 44, 66, 199, 289, 305, 433 ], [ 45, 67, 200, 290, 426, 494 ], [ 46, 68, 201, 291, 487, 525 ], [ 47, 69, 202, 292, 406, 518 ], [ 48, 70, 203, 293, 347, 399 ], [ 49, 71, 204, 294, 318, 340 ], [ 50, 72, 205, 295, 311, 439 ], [ 51, 73, 206, 296, 432, 500 ], [ 52, 74, 207, 297, 493, 531 ], [ 53, 75, 208, 298, 412, 524 ], [ 54, 76, 209, 299, 353, 405 ], [ 55, 77, 180, 270, 324, 346 ], [ 56, 78, 181, 271, 317, 445 ], [ 57, 79, 182, 272, 438, 506 ], [ 58, 80, 183, 273, 499, 537 ], [ 59, 81, 184, 274, 418, 530 ], [ 30, 82, 185, 275, 359, 411 ], [ 31, 83, 186, 276, 300, 352 ], [ 32, 84, 187, 277, 323, 421 ], [ 33, 85, 188, 278, 444, 482 ], [ 34, 86, 189, 279, 505, 513 ], [ 35, 87, 190, 280, 394, 536 ], [ 66, 208, 251, 311, 365, 447 ], [ 67, 209, 252, 312, 336, 388 ], [ 68, 180, 253, 313, 359, 457 ], [ 69, 181, 254, 314, 450, 518 ], [ 70, 182, 255, 279, 315, 511 ], [ 71, 183, 256, 272, 316, 430 ], [ 72, 184, 257, 317, 371, 423 ], [ 73, 185, 258, 318, 342, 364 ], [ 74, 186, 259, 319, 335, 463 ], [ 75, 187, 260, 320, 456, 524 ], [ 76, 188, 261, 285, 321, 517 ], [ 77, 189, 262, 278, 322, 436 ], [ 78, 190, 263, 323, 377, 429 ], [ 79, 191, 264, 324, 348, 370 ], [ 80, 192, 265, 325, 341, 469 ], [ 81, 193, 266, 326, 462, 530 ], [ 82, 194, 267, 291, 327, 523 ], [ 83, 195, 268, 284, 328, 442 ], [ 84, 196, 269, 329, 383, 435 ], [ 85, 197, 240, 300, 354, 376 ], [ 86, 198, 241, 301, 347, 475 ], [ 87, 199, 242, 302, 468, 536 ], [ 88, 200, 243, 297, 303, 529 ], [ 89, 201, 244, 290, 304, 448 ], [ 60, 202, 245, 305, 389, 441 ], [ 61, 203, 246, 306, 330, 382 ], [ 62, 204, 247, 307, 353, 451 ], [ 63, 205, 248, 308, 474, 512 ], [ 64, 206, 249, 273, 309, 535 ], [ 65, 207, 250, 296, 310, 424 ], [ 41, 58, 96, 341, 395, 477 ], [ 42, 59, 97, 342, 366, 418 ], [ 30, 43, 98, 343, 389, 487 ], [ 31, 44, 99, 278, 344, 480 ], [ 32, 45, 100, 271, 309, 345 ], [ 33, 46, 101, 302, 346, 460 ], [ 34, 47, 102, 347, 401, 453 ], [ 35, 48, 103, 348, 372, 394 ], [ 36, 49, 104, 349, 365, 493 ], [ 37, 50, 105, 284, 350, 486 ], [ 38, 51, 106, 277, 315, 351 ], [ 39, 52, 107, 308, 352, 466 ], [ 40, 53, 108, 353, 407, 459 ], [ 41, 54, 109, 354, 378, 400 ], [ 42, 55, 110, 355, 371, 499 ], [ 43, 56, 111, 290, 356, 492 ], [ 44, 57, 112, 283, 321, 357 ], [ 45, 58, 113, 314, 358, 472 ], [ 46, 59, 114, 359, 413, 465 ], [ 30, 47, 115, 330, 384, 406 ], [ 31, 48, 116, 331, 377, 505 ], [ 32, 49, 117, 296, 332, 498 ], [ 33, 50, 118, 289, 327, 333 ], [ 34, 51, 119, 320, 334, 478 ], [ 35, 52, 90, 335, 419, 471 ], [ 36, 53, 91, 336, 360, 412 ], [ 37, 54, 92, 337, 383, 481 ], [ 38, 55, 93, 272, 338, 504 ], [ 39, 56, 94, 295, 303, 339 ], [ 40, 57, 95, 326, 340, 454 ], [ 101, 126, 178, 371, 425, 507 ], [ 102, 127, 179, 372, 396, 448 ], [ 103, 128, 150, 373, 419, 517 ], [ 104, 129, 151, 308, 374, 510 ], [ 105, 130, 152, 301, 339, 375 ], [ 106, 131, 153, 332, 376, 490 ], [ 107, 132, 154, 377, 431, 483 ], [ 108, 133, 155, 378, 402, 424 ], [ 109, 134, 156, 379, 395, 523 ], [ 110, 135, 157, 314, 380, 516 ], [ 111, 136, 158, 307, 345, 381 ], [ 112, 137, 159, 338, 382, 496 ], [ 113, 138, 160, 383, 437, 489 ], [ 114, 139, 161, 384, 408, 430 ], [ 115, 140, 162, 385, 401, 529 ], [ 116, 141, 163, 320, 386, 522 ], [ 117, 142, 164, 313, 351, 387 ], [ 118, 143, 165, 344, 388, 502 ], [ 119, 144, 166, 389, 443, 495 ], [ 90, 145, 167, 360, 414, 436 ], [ 91, 146, 168, 361, 407, 535 ], [ 92, 147, 169, 326, 362, 528 ], [ 93, 148, 170, 319, 357, 363 ], [ 94, 149, 171, 350, 364, 508 ], [ 95, 120, 172, 365, 449, 501 ], [ 96, 121, 173, 366, 390, 442 ], [ 97, 122, 174, 367, 413, 511 ], [ 98, 123, 175, 302, 368, 534 ], [ 99, 124, 176, 325, 333, 369 ], [ 100, 125, 177, 356, 370, 484 ], [ 28, 156, 161, 401, 455, 537 ], [ 29, 157, 162, 402, 426, 478 ], [ 0, 158, 163, 277, 403, 449 ], [ 1, 159, 164, 270, 338, 404 ], [ 2, 160, 165, 331, 369, 405 ], [ 3, 161, 166, 362, 406, 520 ], [ 4, 162, 167, 407, 461, 513 ], [ 5, 163, 168, 408, 432, 454 ], [ 6, 164, 169, 283, 409, 425 ], [ 7, 165, 170, 276, 344, 410 ], [ 8, 166, 171, 337, 375, 411 ], [ 9, 167, 172, 368, 412, 526 ], [ 10, 168, 173, 413, 467, 519 ], [ 11, 169, 174, 414, 438, 460 ], [ 12, 170, 175, 289, 415, 431 ], [ 13, 171, 176, 282, 350, 416 ], [ 14, 172, 177, 343, 381, 417 ], [ 15, 173, 178, 374, 418, 532 ], [ 16, 174, 179, 419, 473, 525 ], [ 17, 150, 175, 390, 444, 466 ], [ 18, 151, 176, 295, 391, 437 ], [ 19, 152, 177, 288, 356, 392 ], [ 20, 153, 178, 349, 387, 393 ], [ 21, 154, 179, 380, 394, 538 ], [ 22, 150, 155, 395, 479, 531 ], [ 23, 151, 156, 396, 420, 472 ], [ 24, 152, 157, 271, 397, 443 ], [ 25, 153, 158, 294, 332, 398 ], [ 26, 154, 159, 355, 363, 399 ], [ 27, 155, 160, 386, 400, 514 ], [ 148, 186, 221, 297, 431, 485 ], [ 149, 187, 222, 432, 456, 508 ], [ 120, 188, 223, 307, 433, 479 ], [ 121, 189, 224, 300, 368, 434 ], [ 122, 190, 225, 361, 399, 435 ], [ 123, 191, 226, 280, 392, 436 ], [ 124, 192, 227, 273, 437, 491 ], [ 125, 193, 228, 438, 462, 484 ], [ 126, 194, 229, 313, 439, 455 ], [ 127, 195, 230, 306, 374, 440 ], [ 128, 196, 231, 367, 405, 441 ], [ 129, 197, 232, 286, 398, 442 ], [ 130, 198, 233, 279, 443, 497 ], [ 131, 199, 234, 444, 468, 490 ], [ 132, 200, 235, 319, 445, 461 ], [ 133, 201, 236, 312, 380, 446 ], [ 134, 202, 237, 373, 411, 447 ], [ 135, 203, 238, 292, 404, 448 ], [ 136, 204, 239, 285, 449, 503 ], [ 137, 205, 210, 420, 474, 496 ], [ 138, 206, 211, 325, 421, 467 ], [ 139, 207, 212, 318, 386, 422 ], [ 140, 208, 213, 379, 417, 423 ], [ 141, 209, 214, 298, 410, 424 ], [ 142, 180, 215, 291, 425, 509 ], [ 143, 181, 216, 426, 450, 502 ], [ 144, 182, 217, 301, 427, 473 ], [ 145, 183, 218, 324, 362, 428 ], [ 146, 184, 219, 385, 393, 429 ], [ 147, 185, 220, 274, 416, 430 ], [ 11, 216, 268, 327, 461, 515 ], [ 12, 217, 269, 462, 486, 538 ], [ 13, 218, 240, 337, 463, 509 ], [ 14, 219, 241, 330, 398, 464 ], [ 15, 220, 242, 391, 429, 465 ], [ 16, 221, 243, 310, 422, 466 ], [ 17, 222, 244, 303, 467, 521 ], [ 18, 223, 245, 468, 492, 514 ], [ 19, 224, 246, 343, 469, 485 ], [ 20, 225, 247, 336, 404, 470 ], [ 21, 226, 248, 397, 435, 471 ], [ 22, 227, 249, 316, 428, 472 ], [ 23, 228, 250, 309, 473, 527 ], [ 24, 229, 251, 474, 498, 520 ], [ 25, 230, 252, 349, 475, 491 ], [ 26, 231, 253, 342, 410, 476 ], [ 27, 232, 254, 403, 441, 477 ], [ 28, 233, 255, 322, 434, 478 ], [ 29, 234, 256, 315, 479, 533 ], [ 0, 235, 257, 450, 504, 526 ], [ 1, 236, 258, 355, 451, 497 ], [ 2, 237, 259, 348, 416, 452 ], [ 3, 238, 260, 409, 447, 453 ], [ 4, 239, 261, 328, 440, 454 ], [ 5, 210, 262, 321, 455, 539 ], [ 6, 211, 263, 456, 480, 532 ], [ 7, 212, 264, 331, 457, 503 ], [ 8, 213, 265, 354, 392, 458 ], [ 9, 214, 266, 415, 423, 459 ], [ 10, 215, 267, 304, 446, 460 ], [ 71, 118, 246, 275, 357, 491 ], [ 72, 119, 247, 298, 492, 516 ], [ 73, 90, 248, 367, 493, 539 ], [ 74, 91, 249, 360, 428, 494 ], [ 75, 92, 250, 421, 459, 495 ], [ 76, 93, 251, 340, 452, 496 ], [ 77, 94, 252, 281, 333, 497 ], [ 78, 95, 253, 274, 498, 522 ], [ 79, 96, 254, 373, 499, 515 ], [ 80, 97, 255, 366, 434, 500 ], [ 81, 98, 256, 427, 465, 501 ], [ 82, 99, 257, 346, 458, 502 ], [ 83, 100, 258, 287, 339, 503 ], [ 84, 101, 259, 280, 504, 528 ], [ 85, 102, 260, 379, 505, 521 ], [ 86, 103, 261, 372, 440, 506 ], [ 87, 104, 262, 433, 471, 507 ], [ 88, 105, 263, 352, 464, 508 ], [ 89, 106, 264, 293, 345, 509 ], [ 60, 107, 265, 286, 480, 534 ], [ 61, 108, 266, 385, 481, 527 ], [ 62, 109, 267, 378, 446, 482 ], [ 63, 110, 268, 439, 477, 483 ], [ 64, 111, 269, 358, 470, 484 ], [ 65, 112, 240, 299, 351, 485 ], [ 66, 113, 241, 292, 486, 510 ], [ 67, 114, 242, 361, 487, 533 ], [ 68, 115, 243, 384, 422, 488 ], [ 69, 116, 244, 445, 453, 489 ], [ 70, 117, 245, 334, 476, 490 ], [ 6, 131, 238, 305, 387, 521 ], [ 7, 132, 239, 276, 328, 522 ], [ 8, 133, 210, 299, 397, 523 ], [ 9, 134, 211, 390, 458, 524 ], [ 10, 135, 212, 451, 489, 525 ], [ 11, 136, 213, 370, 482, 526 ], [ 12, 137, 214, 311, 363, 527 ], [ 13, 138, 215, 282, 304, 528 ], [ 14, 139, 216, 275, 403, 529 ], [ 15, 140, 217, 396, 464, 530 ], [ 16, 141, 218, 457, 495, 531 ], [ 17, 142, 219, 376, 488, 532 ], [ 18, 143, 220, 317, 369, 533 ], [ 19, 144, 221, 288, 310, 534 ], [ 20, 145, 222, 281, 409, 535 ], [ 21, 146, 223, 402, 470, 536 ], [ 22, 147, 224, 463, 501, 537 ], [ 23, 148, 225, 382, 494, 538 ], [ 24, 149, 226, 323, 375, 539 ], [ 25, 120, 227, 294, 316, 510 ], [ 26, 121, 228, 287, 415, 511 ], [ 27, 122, 229, 408, 476, 512 ], [ 28, 123, 230, 469, 507, 513 ], [ 29, 124, 231, 388, 500, 514 ], [ 0, 125, 232, 329, 381, 515 ], [ 1, 126, 233, 270, 322, 516 ], [ 2, 127, 234, 293, 391, 517 ], [ 3, 128, 235, 414, 452, 518 ], [ 4, 129, 236, 475, 483, 519 ], [ 5, 130, 237, 364, 506, 520 ] ], "Z": [ [ 19, 123, 265, 392, 469, 534 ], [ 20, 64, 146, 393, 470, 535 ], [ 21, 35, 87, 394, 471, 536 ], [ 22, 58, 156, 395, 472, 537 ], [ 23, 179, 217, 396, 473, 538 ], [ 24, 210, 248, 397, 474, 539 ], [ 25, 129, 241, 398, 475, 510 ], [ 26, 70, 122, 399, 476, 511 ], [ 27, 41, 63, 400, 477, 512 ], [ 28, 34, 162, 401, 478, 513 ], [ 29, 155, 223, 402, 479, 514 ], [ 0, 216, 254, 403, 450, 515 ], [ 1, 135, 247, 404, 451, 516 ], [ 2, 76, 128, 405, 452, 517 ], [ 3, 47, 69, 406, 453, 518 ], [ 4, 40, 168, 407, 454, 519 ], [ 5, 161, 229, 408, 455, 520 ], [ 6, 222, 260, 409, 456, 521 ], [ 7, 141, 253, 410, 457, 522 ], [ 8, 82, 134, 411, 458, 523 ], [ 9, 53, 75, 412, 459, 524 ], [ 10, 46, 174, 413, 460, 525 ], [ 11, 167, 235, 414, 461, 526 ], [ 12, 228, 266, 415, 462, 527 ], [ 13, 147, 259, 416, 463, 528 ], [ 14, 88, 140, 417, 464, 529 ], [ 15, 59, 81, 418, 465, 530 ], [ 16, 52, 150, 419, 466, 531 ], [ 17, 173, 211, 390, 467, 532 ], [ 18, 234, 242, 391, 468, 533 ], [ 25, 49, 153, 294, 332, 349 ], [ 50, 94, 176, 295, 333, 350 ], [ 51, 65, 117, 296, 334, 351 ], [ 52, 88, 186, 297, 335, 352 ], [ 53, 209, 247, 298, 336, 353 ], [ 8, 54, 240, 299, 337, 354 ], [ 1, 55, 159, 270, 338, 355 ], [ 56, 100, 152, 271, 339, 356 ], [ 57, 71, 93, 272, 340, 357 ], [ 58, 64, 192, 273, 341, 358 ], [ 59, 185, 253, 274, 342, 359 ], [ 14, 30, 246, 275, 330, 343 ], [ 7, 31, 165, 276, 331, 344 ], [ 32, 106, 158, 277, 332, 345 ], [ 33, 77, 99, 278, 333, 346 ], [ 34, 70, 198, 279, 334, 347 ], [ 35, 191, 259, 280, 335, 348 ], [ 20, 36, 252, 281, 336, 349 ], [ 13, 37, 171, 282, 337, 350 ], [ 38, 112, 164, 283, 338, 351 ], [ 39, 83, 105, 284, 339, 352 ], [ 40, 76, 204, 285, 340, 353 ], [ 41, 197, 265, 286, 341, 354 ], [ 26, 42, 258, 287, 342, 355 ], [ 19, 43, 177, 288, 343, 356 ], [ 44, 118, 170, 289, 344, 357 ], [ 45, 89, 111, 290, 345, 358 ], [ 46, 82, 180, 291, 346, 359 ], [ 47, 203, 241, 292, 330, 347 ], [ 2, 48, 264, 293, 331, 348 ], [ 55, 79, 183, 272, 324, 499 ], [ 80, 124, 206, 273, 325, 500 ], [ 81, 95, 147, 274, 326, 501 ], [ 82, 118, 216, 275, 327, 502 ], [ 7, 83, 239, 276, 328, 503 ], [ 0, 38, 84, 277, 329, 504 ], [ 31, 85, 189, 278, 300, 505 ], [ 86, 130, 182, 279, 301, 506 ], [ 87, 101, 123, 280, 302, 507 ], [ 88, 94, 222, 281, 303, 508 ], [ 13, 89, 215, 282, 304, 509 ], [ 6, 44, 60, 283, 305, 480 ], [ 37, 61, 195, 284, 306, 481 ], [ 62, 136, 188, 285, 307, 482 ], [ 63, 107, 129, 286, 308, 483 ], [ 64, 100, 228, 287, 309, 484 ], [ 19, 65, 221, 288, 310, 485 ], [ 12, 50, 66, 289, 311, 486 ], [ 43, 67, 201, 290, 312, 487 ], [ 68, 142, 194, 291, 313, 488 ], [ 69, 113, 135, 292, 314, 489 ], [ 70, 106, 234, 293, 315, 490 ], [ 25, 71, 227, 294, 316, 491 ], [ 18, 56, 72, 295, 317, 492 ], [ 49, 73, 207, 296, 318, 493 ], [ 74, 148, 200, 297, 319, 494 ], [ 75, 119, 141, 298, 320, 495 ], [ 76, 112, 210, 299, 321, 496 ], [ 1, 77, 233, 270, 322, 497 ], [ 24, 32, 78, 271, 323, 498 ], [ 85, 109, 213, 354, 379, 482 ], [ 110, 154, 236, 355, 380, 483 ], [ 111, 125, 177, 356, 381, 484 ], [ 112, 148, 246, 357, 382, 485 ], [ 37, 113, 269, 358, 383, 486 ], [ 30, 68, 114, 359, 384, 487 ], [ 61, 115, 219, 330, 385, 488 ], [ 116, 160, 212, 331, 386, 489 ], [ 117, 131, 153, 332, 387, 490 ], [ 118, 124, 252, 333, 388, 491 ], [ 43, 119, 245, 334, 389, 492 ], [ 36, 74, 90, 335, 360, 493 ], [ 67, 91, 225, 336, 361, 494 ], [ 92, 166, 218, 337, 362, 495 ], [ 93, 137, 159, 338, 363, 496 ], [ 94, 130, 258, 339, 364, 497 ], [ 49, 95, 251, 340, 365, 498 ], [ 42, 80, 96, 341, 366, 499 ], [ 73, 97, 231, 342, 367, 500 ], [ 98, 172, 224, 343, 368, 501 ], [ 99, 143, 165, 344, 369, 502 ], [ 100, 136, 264, 345, 370, 503 ], [ 55, 101, 257, 346, 371, 504 ], [ 48, 86, 102, 347, 372, 505 ], [ 79, 103, 237, 348, 373, 506 ], [ 104, 178, 230, 349, 374, 507 ], [ 105, 149, 171, 350, 375, 508 ], [ 106, 142, 240, 351, 376, 509 ], [ 31, 107, 263, 352, 377, 480 ], [ 54, 62, 108, 353, 378, 481 ], [ 115, 139, 243, 384, 422, 529 ], [ 140, 184, 266, 385, 423, 530 ], [ 141, 155, 207, 386, 424, 531 ], [ 6, 142, 178, 387, 425, 532 ], [ 29, 67, 143, 388, 426, 533 ], [ 60, 98, 144, 389, 427, 534 ], [ 91, 145, 249, 360, 428, 535 ], [ 146, 190, 242, 361, 429, 536 ], [ 147, 161, 183, 362, 430, 537 ], [ 12, 148, 154, 363, 431, 538 ], [ 5, 73, 149, 364, 432, 539 ], [ 66, 104, 120, 365, 433, 510 ], [ 97, 121, 255, 366, 434, 511 ], [ 122, 196, 248, 367, 435, 512 ], [ 123, 167, 189, 368, 436, 513 ], [ 18, 124, 160, 369, 437, 514 ], [ 11, 79, 125, 370, 438, 515 ], [ 72, 110, 126, 371, 439, 516 ], [ 103, 127, 261, 372, 440, 517 ], [ 128, 202, 254, 373, 441, 518 ], [ 129, 173, 195, 374, 442, 519 ], [ 24, 130, 166, 375, 443, 520 ], [ 17, 85, 131, 376, 444, 521 ], [ 78, 116, 132, 377, 445, 522 ], [ 109, 133, 267, 378, 446, 523 ], [ 134, 208, 260, 379, 447, 524 ], [ 135, 179, 201, 380, 448, 525 ], [ 0, 136, 172, 381, 449, 526 ], [ 23, 61, 137, 382, 420, 527 ], [ 84, 92, 138, 383, 421, 528 ], [ 3, 145, 169, 362, 409, 414 ], [ 26, 170, 214, 363, 410, 415 ], [ 171, 185, 237, 364, 411, 416 ], [ 36, 172, 208, 365, 412, 417 ], [ 59, 97, 173, 366, 413, 418 ], [ 90, 128, 174, 367, 414, 419 ], [ 9, 121, 175, 368, 390, 415 ], [ 2, 176, 220, 369, 391, 416 ], [ 177, 191, 213, 370, 392, 417 ], [ 42, 178, 184, 371, 393, 418 ], [ 35, 103, 179, 372, 394, 419 ], [ 96, 134, 150, 373, 390, 395 ], [ 15, 127, 151, 374, 391, 396 ], [ 8, 152, 226, 375, 392, 397 ], [ 153, 197, 219, 376, 393, 398 ], [ 48, 154, 190, 377, 394, 399 ], [ 41, 109, 155, 378, 395, 400 ], [ 102, 140, 156, 379, 396, 401 ], [ 21, 133, 157, 380, 397, 402 ], [ 14, 158, 232, 381, 398, 403 ], [ 159, 203, 225, 382, 399, 404 ], [ 54, 160, 196, 383, 400, 405 ], [ 47, 115, 161, 384, 401, 406 ], [ 108, 146, 162, 385, 402, 407 ], [ 27, 139, 163, 386, 403, 408 ], [ 20, 164, 238, 387, 404, 409 ], [ 165, 209, 231, 388, 405, 410 ], [ 30, 166, 202, 389, 406, 411 ], [ 53, 91, 167, 360, 407, 412 ], [ 114, 122, 168, 361, 408, 413 ], [ 33, 175, 199, 289, 302, 444 ], [ 56, 200, 244, 290, 303, 445 ], [ 201, 215, 267, 291, 304, 446 ], [ 66, 202, 238, 292, 305, 447 ], [ 89, 127, 203, 293, 306, 448 ], [ 120, 158, 204, 294, 307, 449 ], [ 39, 151, 205, 295, 308, 420 ], [ 32, 206, 250, 296, 309, 421 ], [ 207, 221, 243, 297, 310, 422 ], [ 72, 208, 214, 298, 311, 423 ], [ 65, 133, 209, 299, 312, 424 ], [ 126, 164, 180, 270, 313, 425 ], [ 45, 157, 181, 271, 314, 426 ], [ 38, 182, 256, 272, 315, 427 ], [ 183, 227, 249, 273, 316, 428 ], [ 78, 184, 220, 274, 317, 429 ], [ 71, 139, 185, 275, 318, 430 ], [ 132, 170, 186, 276, 319, 431 ], [ 51, 163, 187, 277, 320, 432 ], [ 44, 188, 262, 278, 321, 433 ], [ 189, 233, 255, 279, 322, 434 ], [ 84, 190, 226, 280, 323, 435 ], [ 77, 145, 191, 281, 324, 436 ], [ 138, 176, 192, 282, 325, 437 ], [ 57, 169, 193, 283, 326, 438 ], [ 50, 194, 268, 284, 327, 439 ], [ 195, 239, 261, 285, 328, 440 ], [ 60, 196, 232, 286, 329, 441 ], [ 83, 121, 197, 287, 300, 442 ], [ 144, 152, 198, 288, 301, 443 ], [ 63, 205, 229, 439, 474, 512 ], [ 4, 86, 230, 440, 475, 513 ], [ 27, 231, 245, 441, 476, 514 ], [ 96, 232, 268, 442, 477, 515 ], [ 119, 157, 233, 443, 478, 516 ], [ 150, 188, 234, 444, 479, 517 ], [ 69, 181, 235, 445, 450, 518 ], [ 10, 62, 236, 446, 451, 519 ], [ 3, 237, 251, 447, 452, 520 ], [ 102, 238, 244, 448, 453, 521 ], [ 95, 163, 239, 449, 454, 522 ], [ 156, 194, 210, 420, 455, 523 ], [ 75, 187, 211, 421, 456, 524 ], [ 16, 68, 212, 422, 457, 525 ], [ 9, 213, 257, 423, 458, 526 ], [ 108, 214, 250, 424, 459, 527 ], [ 101, 169, 215, 425, 460, 528 ], [ 162, 200, 216, 426, 461, 529 ], [ 81, 193, 217, 427, 462, 530 ], [ 22, 74, 218, 428, 463, 531 ], [ 15, 219, 263, 429, 464, 532 ], [ 114, 220, 256, 430, 465, 533 ], [ 107, 175, 221, 431, 466, 534 ], [ 168, 206, 222, 432, 467, 535 ], [ 87, 199, 223, 433, 468, 536 ], [ 28, 80, 224, 434, 469, 537 ], [ 21, 225, 269, 435, 470, 538 ], [ 90, 226, 262, 436, 471, 539 ], [ 113, 151, 227, 437, 472, 510 ], [ 174, 182, 228, 438, 473, 511 ], [ 93, 235, 259, 319, 452, 504 ], [ 34, 116, 260, 320, 453, 505 ], [ 5, 57, 261, 321, 454, 506 ], [ 28, 126, 262, 322, 455, 507 ], [ 149, 187, 263, 323, 456, 508 ], [ 180, 218, 264, 324, 457, 509 ], [ 99, 211, 265, 325, 458, 480 ], [ 40, 92, 266, 326, 459, 481 ], [ 11, 33, 267, 327, 460, 482 ], [ 4, 132, 268, 328, 461, 483 ], [ 125, 193, 269, 329, 462, 484 ], [ 186, 224, 240, 300, 463, 485 ], [ 105, 217, 241, 301, 464, 486 ], [ 46, 98, 242, 302, 465, 487 ], [ 17, 39, 243, 303, 466, 488 ], [ 10, 138, 244, 304, 467, 489 ], [ 131, 199, 245, 305, 468, 490 ], [ 192, 230, 246, 306, 469, 491 ], [ 111, 223, 247, 307, 470, 492 ], [ 52, 104, 248, 308, 471, 493 ], [ 23, 45, 249, 309, 472, 494 ], [ 16, 144, 250, 310, 473, 495 ], [ 137, 205, 251, 311, 474, 496 ], [ 198, 236, 252, 312, 475, 497 ], [ 117, 229, 253, 313, 476, 498 ], [ 58, 110, 254, 314, 477, 499 ], [ 29, 51, 255, 315, 478, 500 ], [ 22, 120, 256, 316, 479, 501 ], [ 143, 181, 257, 317, 450, 502 ], [ 204, 212, 258, 318, 451, 503 ] ] }, "distance": { "d": 28, "X": { "value": 30, "confidence": "upper_bound", "witness": [ 7, 14, 96, 105, 107, 115, 134, 148, 171, 192, 219, 232, 246, 260, 276, 282, 286, 297, 341, 352, 376, 406, 411, 422, 431, 453, 457, 464, 509, 521 ] }, "Z": { "value": 28, "confidence": "upper_bound", "witness": [ 16, 40, 57, 65, 100, 145, 167, 172, 177, 182, 183, 256, 285, 288, 309, 310, 313, 315, 321, 351, 407, 455, 457, 473, 501, 503, 535, 537 ] } }, "provenance": { "authors": [ "@edoaltamura" ], "construction": "Generalized bicycle / regular lifted product over the metacyclic group C_9 semidirect C_30 with action r=5: H_X=[L(a)|R(b)], H_Z=[R(b)^T|L(a)^T], a=[122,199,264], b=[19,123,265], following arXiv:2306.16400.", "references": [ "arXiv:2306.16400" ], "origin": "submission", "date": "2026-08-29", "model": "GPT-5", "notes": "Metacyclic 2BGA search. Screening archive: 3,200 unique support mutations at 180 RIS trials; independent RIS checks at 1M, 2M, and 5M trials settled at d<=28 by 1M and held at 5M. Upper-bound confidence. Checked against the current board: no exact fingerprint or WL-equivalent entry; literature novelty remains unverified." }, "family": "generalized-bicycle" }