{ "schema_version": "0.1", "name": "[[654,6,47]]", "code_type": "CSS", "n": 654, "k": 6, "checks": { "X": [ [ 144, 167, 179, 276, 490, 535, 590, 611 ], [ 145, 168, 180, 277, 491, 536, 591, 612 ], [ 146, 169, 181, 278, 492, 537, 592, 613 ], [ 147, 170, 182, 279, 493, 538, 593, 614 ], [ 148, 171, 183, 280, 494, 539, 594, 615 ], [ 149, 172, 184, 281, 495, 540, 595, 616 ], [ 150, 173, 185, 282, 496, 541, 596, 617 ], [ 151, 174, 186, 283, 497, 542, 597, 618 ], [ 152, 175, 187, 284, 498, 543, 598, 619 ], [ 153, 176, 188, 285, 499, 544, 599, 620 ], [ 154, 177, 189, 286, 500, 545, 600, 621 ], [ 155, 178, 190, 287, 501, 546, 601, 622 ], [ 156, 179, 191, 288, 502, 547, 602, 623 ], [ 157, 180, 192, 289, 503, 548, 603, 624 ], [ 158, 181, 193, 290, 504, 549, 604, 625 ], [ 159, 182, 194, 291, 505, 550, 605, 626 ], [ 160, 183, 195, 292, 506, 551, 606, 627 ], [ 161, 184, 196, 293, 507, 552, 607, 628 ], [ 162, 185, 197, 294, 508, 553, 608, 629 ], [ 163, 186, 198, 295, 509, 554, 609, 630 ], [ 164, 187, 199, 296, 510, 555, 610, 631 ], [ 165, 188, 200, 297, 511, 556, 611, 632 ], [ 166, 189, 201, 298, 512, 557, 612, 633 ], [ 167, 190, 202, 299, 513, 558, 613, 634 ], [ 168, 191, 203, 300, 514, 559, 614, 635 ], [ 169, 192, 204, 301, 515, 560, 615, 636 ], [ 170, 193, 205, 302, 516, 561, 616, 637 ], [ 171, 194, 206, 303, 517, 562, 617, 638 ], [ 172, 195, 207, 304, 518, 563, 618, 639 ], [ 173, 196, 208, 305, 519, 564, 619, 640 ], [ 174, 197, 209, 306, 520, 565, 620, 641 ], [ 175, 198, 210, 307, 521, 566, 621, 642 ], [ 176, 199, 211, 308, 522, 567, 622, 643 ], [ 177, 200, 212, 309, 523, 568, 623, 644 ], [ 178, 201, 213, 310, 524, 569, 624, 645 ], [ 179, 202, 214, 311, 525, 570, 625, 646 ], [ 180, 203, 215, 312, 526, 571, 626, 647 ], [ 181, 204, 216, 313, 527, 572, 627, 648 ], [ 182, 205, 217, 314, 528, 573, 628, 649 ], [ 183, 206, 218, 315, 529, 574, 629, 650 ], [ 184, 207, 219, 316, 530, 575, 630, 651 ], [ 185, 208, 220, 317, 531, 576, 631, 652 ], [ 186, 209, 221, 318, 532, 577, 632, 653 ], [ 187, 210, 222, 319, 327, 533, 578, 633 ], [ 188, 211, 223, 320, 328, 534, 579, 634 ], [ 189, 212, 224, 321, 329, 535, 580, 635 ], [ 190, 213, 225, 322, 330, 536, 581, 636 ], [ 191, 214, 226, 323, 331, 537, 582, 637 ], [ 192, 215, 227, 324, 332, 538, 583, 638 ], [ 193, 216, 228, 325, 333, 539, 584, 639 ], [ 194, 217, 229, 326, 334, 540, 585, 640 ], [ 0, 195, 218, 230, 335, 541, 586, 641 ], [ 1, 196, 219, 231, 336, 542, 587, 642 ], [ 2, 197, 220, 232, 337, 543, 588, 643 ], [ 3, 198, 221, 233, 338, 544, 589, 644 ], [ 4, 199, 222, 234, 339, 545, 590, 645 ], [ 5, 200, 223, 235, 340, 546, 591, 646 ], [ 6, 201, 224, 236, 341, 547, 592, 647 ], [ 7, 202, 225, 237, 342, 548, 593, 648 ], [ 8, 203, 226, 238, 343, 549, 594, 649 ], [ 9, 204, 227, 239, 344, 550, 595, 650 ], [ 10, 205, 228, 240, 345, 551, 596, 651 ], [ 11, 206, 229, 241, 346, 552, 597, 652 ], [ 12, 207, 230, 242, 347, 553, 598, 653 ], [ 13, 208, 231, 243, 327, 348, 554, 599 ], [ 14, 209, 232, 244, 328, 349, 555, 600 ], [ 15, 210, 233, 245, 329, 350, 556, 601 ], [ 16, 211, 234, 246, 330, 351, 557, 602 ], [ 17, 212, 235, 247, 331, 352, 558, 603 ], [ 18, 213, 236, 248, 332, 353, 559, 604 ], [ 19, 214, 237, 249, 333, 354, 560, 605 ], [ 20, 215, 238, 250, 334, 355, 561, 606 ], [ 21, 216, 239, 251, 335, 356, 562, 607 ], [ 22, 217, 240, 252, 336, 357, 563, 608 ], [ 23, 218, 241, 253, 337, 358, 564, 609 ], [ 24, 219, 242, 254, 338, 359, 565, 610 ], [ 25, 220, 243, 255, 339, 360, 566, 611 ], [ 26, 221, 244, 256, 340, 361, 567, 612 ], [ 27, 222, 245, 257, 341, 362, 568, 613 ], [ 28, 223, 246, 258, 342, 363, 569, 614 ], [ 29, 224, 247, 259, 343, 364, 570, 615 ], [ 30, 225, 248, 260, 344, 365, 571, 616 ], [ 31, 226, 249, 261, 345, 366, 572, 617 ], [ 32, 227, 250, 262, 346, 367, 573, 618 ], [ 33, 228, 251, 263, 347, 368, 574, 619 ], [ 34, 229, 252, 264, 348, 369, 575, 620 ], [ 35, 230, 253, 265, 349, 370, 576, 621 ], [ 36, 231, 254, 266, 350, 371, 577, 622 ], [ 37, 232, 255, 267, 351, 372, 578, 623 ], [ 38, 233, 256, 268, 352, 373, 579, 624 ], [ 39, 234, 257, 269, 353, 374, 580, 625 ], [ 40, 235, 258, 270, 354, 375, 581, 626 ], [ 41, 236, 259, 271, 355, 376, 582, 627 ], [ 42, 237, 260, 272, 356, 377, 583, 628 ], [ 43, 238, 261, 273, 357, 378, 584, 629 ], [ 44, 239, 262, 274, 358, 379, 585, 630 ], [ 45, 240, 263, 275, 359, 380, 586, 631 ], [ 46, 241, 264, 276, 360, 381, 587, 632 ], [ 47, 242, 265, 277, 361, 382, 588, 633 ], [ 48, 243, 266, 278, 362, 383, 589, 634 ], [ 49, 244, 267, 279, 363, 384, 590, 635 ], [ 50, 245, 268, 280, 364, 385, 591, 636 ], [ 51, 246, 269, 281, 365, 386, 592, 637 ], [ 52, 247, 270, 282, 366, 387, 593, 638 ], [ 53, 248, 271, 283, 367, 388, 594, 639 ], [ 54, 249, 272, 284, 368, 389, 595, 640 ], [ 55, 250, 273, 285, 369, 390, 596, 641 ], [ 56, 251, 274, 286, 370, 391, 597, 642 ], [ 57, 252, 275, 287, 371, 392, 598, 643 ], [ 58, 253, 276, 288, 372, 393, 599, 644 ], [ 59, 254, 277, 289, 373, 394, 600, 645 ], [ 60, 255, 278, 290, 374, 395, 601, 646 ], [ 61, 256, 279, 291, 375, 396, 602, 647 ], [ 62, 257, 280, 292, 376, 397, 603, 648 ], [ 63, 258, 281, 293, 377, 398, 604, 649 ], [ 64, 259, 282, 294, 378, 399, 605, 650 ], [ 65, 260, 283, 295, 379, 400, 606, 651 ], [ 66, 261, 284, 296, 380, 401, 607, 652 ], [ 67, 262, 285, 297, 381, 402, 608, 653 ], [ 68, 263, 286, 298, 327, 382, 403, 609 ], [ 69, 264, 287, 299, 328, 383, 404, 610 ], [ 70, 265, 288, 300, 329, 384, 405, 611 ], [ 71, 266, 289, 301, 330, 385, 406, 612 ], [ 72, 267, 290, 302, 331, 386, 407, 613 ], [ 73, 268, 291, 303, 332, 387, 408, 614 ], [ 74, 269, 292, 304, 333, 388, 409, 615 ], [ 75, 270, 293, 305, 334, 389, 410, 616 ], [ 76, 271, 294, 306, 335, 390, 411, 617 ], [ 77, 272, 295, 307, 336, 391, 412, 618 ], [ 78, 273, 296, 308, 337, 392, 413, 619 ], [ 79, 274, 297, 309, 338, 393, 414, 620 ], [ 80, 275, 298, 310, 339, 394, 415, 621 ], [ 81, 276, 299, 311, 340, 395, 416, 622 ], [ 82, 277, 300, 312, 341, 396, 417, 623 ], [ 83, 278, 301, 313, 342, 397, 418, 624 ], [ 84, 279, 302, 314, 343, 398, 419, 625 ], [ 85, 280, 303, 315, 344, 399, 420, 626 ], [ 86, 281, 304, 316, 345, 400, 421, 627 ], [ 87, 282, 305, 317, 346, 401, 422, 628 ], [ 88, 283, 306, 318, 347, 402, 423, 629 ], [ 89, 284, 307, 319, 348, 403, 424, 630 ], [ 90, 285, 308, 320, 349, 404, 425, 631 ], [ 91, 286, 309, 321, 350, 405, 426, 632 ], [ 92, 287, 310, 322, 351, 406, 427, 633 ], [ 93, 288, 311, 323, 352, 407, 428, 634 ], [ 94, 289, 312, 324, 353, 408, 429, 635 ], [ 95, 290, 313, 325, 354, 409, 430, 636 ], [ 96, 291, 314, 326, 355, 410, 431, 637 ], [ 0, 97, 292, 315, 356, 411, 432, 638 ], [ 1, 98, 293, 316, 357, 412, 433, 639 ], [ 2, 99, 294, 317, 358, 413, 434, 640 ], [ 3, 100, 295, 318, 359, 414, 435, 641 ], [ 4, 101, 296, 319, 360, 415, 436, 642 ], [ 5, 102, 297, 320, 361, 416, 437, 643 ], [ 6, 103, 298, 321, 362, 417, 438, 644 ], [ 7, 104, 299, 322, 363, 418, 439, 645 ], [ 8, 105, 300, 323, 364, 419, 440, 646 ], [ 9, 106, 301, 324, 365, 420, 441, 647 ], [ 10, 107, 302, 325, 366, 421, 442, 648 ], [ 11, 108, 303, 326, 367, 422, 443, 649 ], [ 0, 12, 109, 304, 368, 423, 444, 650 ], [ 1, 13, 110, 305, 369, 424, 445, 651 ], [ 2, 14, 111, 306, 370, 425, 446, 652 ], [ 3, 15, 112, 307, 371, 426, 447, 653 ], [ 4, 16, 113, 308, 327, 372, 427, 448 ], [ 5, 17, 114, 309, 328, 373, 428, 449 ], [ 6, 18, 115, 310, 329, 374, 429, 450 ], [ 7, 19, 116, 311, 330, 375, 430, 451 ], [ 8, 20, 117, 312, 331, 376, 431, 452 ], [ 9, 21, 118, 313, 332, 377, 432, 453 ], [ 10, 22, 119, 314, 333, 378, 433, 454 ], [ 11, 23, 120, 315, 334, 379, 434, 455 ], [ 12, 24, 121, 316, 335, 380, 435, 456 ], [ 13, 25, 122, 317, 336, 381, 436, 457 ], [ 14, 26, 123, 318, 337, 382, 437, 458 ], [ 15, 27, 124, 319, 338, 383, 438, 459 ], [ 16, 28, 125, 320, 339, 384, 439, 460 ], [ 17, 29, 126, 321, 340, 385, 440, 461 ], [ 18, 30, 127, 322, 341, 386, 441, 462 ], [ 19, 31, 128, 323, 342, 387, 442, 463 ], [ 20, 32, 129, 324, 343, 388, 443, 464 ], [ 21, 33, 130, 325, 344, 389, 444, 465 ], [ 22, 34, 131, 326, 345, 390, 445, 466 ], [ 0, 23, 35, 132, 346, 391, 446, 467 ], [ 1, 24, 36, 133, 347, 392, 447, 468 ], [ 2, 25, 37, 134, 348, 393, 448, 469 ], [ 3, 26, 38, 135, 349, 394, 449, 470 ], [ 4, 27, 39, 136, 350, 395, 450, 471 ], [ 5, 28, 40, 137, 351, 396, 451, 472 ], [ 6, 29, 41, 138, 352, 397, 452, 473 ], [ 7, 30, 42, 139, 353, 398, 453, 474 ], [ 8, 31, 43, 140, 354, 399, 454, 475 ], [ 9, 32, 44, 141, 355, 400, 455, 476 ], [ 10, 33, 45, 142, 356, 401, 456, 477 ], [ 11, 34, 46, 143, 357, 402, 457, 478 ], [ 12, 35, 47, 144, 358, 403, 458, 479 ], [ 13, 36, 48, 145, 359, 404, 459, 480 ], [ 14, 37, 49, 146, 360, 405, 460, 481 ], [ 15, 38, 50, 147, 361, 406, 461, 482 ], [ 16, 39, 51, 148, 362, 407, 462, 483 ], [ 17, 40, 52, 149, 363, 408, 463, 484 ], [ 18, 41, 53, 150, 364, 409, 464, 485 ], [ 19, 42, 54, 151, 365, 410, 465, 486 ], [ 20, 43, 55, 152, 366, 411, 466, 487 ], [ 21, 44, 56, 153, 367, 412, 467, 488 ], [ 22, 45, 57, 154, 368, 413, 468, 489 ], [ 23, 46, 58, 155, 369, 414, 469, 490 ], [ 24, 47, 59, 156, 370, 415, 470, 491 ], [ 25, 48, 60, 157, 371, 416, 471, 492 ], [ 26, 49, 61, 158, 372, 417, 472, 493 ], [ 27, 50, 62, 159, 373, 418, 473, 494 ], [ 28, 51, 63, 160, 374, 419, 474, 495 ], [ 29, 52, 64, 161, 375, 420, 475, 496 ], [ 30, 53, 65, 162, 376, 421, 476, 497 ], [ 31, 54, 66, 163, 377, 422, 477, 498 ], [ 32, 55, 67, 164, 378, 423, 478, 499 ], [ 33, 56, 68, 165, 379, 424, 479, 500 ], [ 34, 57, 69, 166, 380, 425, 480, 501 ], [ 35, 58, 70, 167, 381, 426, 481, 502 ], [ 36, 59, 71, 168, 382, 427, 482, 503 ], [ 37, 60, 72, 169, 383, 428, 483, 504 ], [ 38, 61, 73, 170, 384, 429, 484, 505 ], [ 39, 62, 74, 171, 385, 430, 485, 506 ], [ 40, 63, 75, 172, 386, 431, 486, 507 ], [ 41, 64, 76, 173, 387, 432, 487, 508 ], [ 42, 65, 77, 174, 388, 433, 488, 509 ], [ 43, 66, 78, 175, 389, 434, 489, 510 ], [ 44, 67, 79, 176, 390, 435, 490, 511 ], [ 45, 68, 80, 177, 391, 436, 491, 512 ], [ 46, 69, 81, 178, 392, 437, 492, 513 ], [ 47, 70, 82, 179, 393, 438, 493, 514 ], [ 48, 71, 83, 180, 394, 439, 494, 515 ], [ 49, 72, 84, 181, 395, 440, 495, 516 ], [ 50, 73, 85, 182, 396, 441, 496, 517 ], [ 51, 74, 86, 183, 397, 442, 497, 518 ], [ 52, 75, 87, 184, 398, 443, 498, 519 ], [ 53, 76, 88, 185, 399, 444, 499, 520 ], [ 54, 77, 89, 186, 400, 445, 500, 521 ], [ 55, 78, 90, 187, 401, 446, 501, 522 ], [ 56, 79, 91, 188, 402, 447, 502, 523 ], [ 57, 80, 92, 189, 403, 448, 503, 524 ], [ 58, 81, 93, 190, 404, 449, 504, 525 ], [ 59, 82, 94, 191, 405, 450, 505, 526 ], [ 60, 83, 95, 192, 406, 451, 506, 527 ], [ 61, 84, 96, 193, 407, 452, 507, 528 ], [ 62, 85, 97, 194, 408, 453, 508, 529 ], [ 63, 86, 98, 195, 409, 454, 509, 530 ], [ 64, 87, 99, 196, 410, 455, 510, 531 ], [ 65, 88, 100, 197, 411, 456, 511, 532 ], [ 66, 89, 101, 198, 412, 457, 512, 533 ], [ 67, 90, 102, 199, 413, 458, 513, 534 ], [ 68, 91, 103, 200, 414, 459, 514, 535 ], [ 69, 92, 104, 201, 415, 460, 515, 536 ], [ 70, 93, 105, 202, 416, 461, 516, 537 ], [ 71, 94, 106, 203, 417, 462, 517, 538 ], [ 72, 95, 107, 204, 418, 463, 518, 539 ], [ 73, 96, 108, 205, 419, 464, 519, 540 ], [ 74, 97, 109, 206, 420, 465, 520, 541 ], [ 75, 98, 110, 207, 421, 466, 521, 542 ], [ 76, 99, 111, 208, 422, 467, 522, 543 ], [ 77, 100, 112, 209, 423, 468, 523, 544 ], [ 78, 101, 113, 210, 424, 469, 524, 545 ], [ 79, 102, 114, 211, 425, 470, 525, 546 ], [ 80, 103, 115, 212, 426, 471, 526, 547 ], [ 81, 104, 116, 213, 427, 472, 527, 548 ], [ 82, 105, 117, 214, 428, 473, 528, 549 ], [ 83, 106, 118, 215, 429, 474, 529, 550 ], [ 84, 107, 119, 216, 430, 475, 530, 551 ], [ 85, 108, 120, 217, 431, 476, 531, 552 ], [ 86, 109, 121, 218, 432, 477, 532, 553 ], [ 87, 110, 122, 219, 433, 478, 533, 554 ], [ 88, 111, 123, 220, 434, 479, 534, 555 ], [ 89, 112, 124, 221, 435, 480, 535, 556 ], [ 90, 113, 125, 222, 436, 481, 536, 557 ], [ 91, 114, 126, 223, 437, 482, 537, 558 ], [ 92, 115, 127, 224, 438, 483, 538, 559 ], [ 93, 116, 128, 225, 439, 484, 539, 560 ], [ 94, 117, 129, 226, 440, 485, 540, 561 ], [ 95, 118, 130, 227, 441, 486, 541, 562 ], [ 96, 119, 131, 228, 442, 487, 542, 563 ], [ 97, 120, 132, 229, 443, 488, 543, 564 ], [ 98, 121, 133, 230, 444, 489, 544, 565 ], [ 99, 122, 134, 231, 445, 490, 545, 566 ], [ 100, 123, 135, 232, 446, 491, 546, 567 ], [ 101, 124, 136, 233, 447, 492, 547, 568 ], [ 102, 125, 137, 234, 448, 493, 548, 569 ], [ 103, 126, 138, 235, 449, 494, 549, 570 ], [ 104, 127, 139, 236, 450, 495, 550, 571 ], [ 105, 128, 140, 237, 451, 496, 551, 572 ], [ 106, 129, 141, 238, 452, 497, 552, 573 ], [ 107, 130, 142, 239, 453, 498, 553, 574 ], [ 108, 131, 143, 240, 454, 499, 554, 575 ], [ 109, 132, 144, 241, 455, 500, 555, 576 ], [ 110, 133, 145, 242, 456, 501, 556, 577 ], [ 111, 134, 146, 243, 457, 502, 557, 578 ], [ 112, 135, 147, 244, 458, 503, 558, 579 ], [ 113, 136, 148, 245, 459, 504, 559, 580 ], [ 114, 137, 149, 246, 460, 505, 560, 581 ], [ 115, 138, 150, 247, 461, 506, 561, 582 ], [ 116, 139, 151, 248, 462, 507, 562, 583 ], [ 117, 140, 152, 249, 463, 508, 563, 584 ], [ 118, 141, 153, 250, 464, 509, 564, 585 ], [ 119, 142, 154, 251, 465, 510, 565, 586 ], [ 120, 143, 155, 252, 466, 511, 566, 587 ], [ 121, 144, 156, 253, 467, 512, 567, 588 ], [ 122, 145, 157, 254, 468, 513, 568, 589 ], [ 123, 146, 158, 255, 469, 514, 569, 590 ], [ 124, 147, 159, 256, 470, 515, 570, 591 ], [ 125, 148, 160, 257, 471, 516, 571, 592 ], [ 126, 149, 161, 258, 472, 517, 572, 593 ], [ 127, 150, 162, 259, 473, 518, 573, 594 ], [ 128, 151, 163, 260, 474, 519, 574, 595 ], [ 129, 152, 164, 261, 475, 520, 575, 596 ], [ 130, 153, 165, 262, 476, 521, 576, 597 ], [ 131, 154, 166, 263, 477, 522, 577, 598 ], [ 132, 155, 167, 264, 478, 523, 578, 599 ], [ 133, 156, 168, 265, 479, 524, 579, 600 ], [ 134, 157, 169, 266, 480, 525, 580, 601 ], [ 135, 158, 170, 267, 481, 526, 581, 602 ], [ 136, 159, 171, 268, 482, 527, 582, 603 ], [ 137, 160, 172, 269, 483, 528, 583, 604 ], [ 138, 161, 173, 270, 484, 529, 584, 605 ], [ 139, 162, 174, 271, 485, 530, 585, 606 ], [ 140, 163, 175, 272, 486, 531, 586, 607 ], [ 141, 164, 176, 273, 487, 532, 587, 608 ], [ 142, 165, 177, 274, 488, 533, 588, 609 ], [ 143, 166, 178, 275, 489, 534, 589, 610 ] ], "Z": [ [ 43, 64, 119, 164, 378, 475, 487, 510 ], [ 44, 65, 120, 165, 379, 476, 488, 511 ], [ 45, 66, 121, 166, 380, 477, 489, 512 ], [ 46, 67, 122, 167, 381, 478, 490, 513 ], [ 47, 68, 123, 168, 382, 479, 491, 514 ], [ 48, 69, 124, 169, 383, 480, 492, 515 ], [ 49, 70, 125, 170, 384, 481, 493, 516 ], [ 50, 71, 126, 171, 385, 482, 494, 517 ], [ 51, 72, 127, 172, 386, 483, 495, 518 ], [ 52, 73, 128, 173, 387, 484, 496, 519 ], [ 53, 74, 129, 174, 388, 485, 497, 520 ], [ 54, 75, 130, 175, 389, 486, 498, 521 ], [ 55, 76, 131, 176, 390, 487, 499, 522 ], [ 56, 77, 132, 177, 391, 488, 500, 523 ], [ 57, 78, 133, 178, 392, 489, 501, 524 ], [ 58, 79, 134, 179, 393, 490, 502, 525 ], [ 59, 80, 135, 180, 394, 491, 503, 526 ], [ 60, 81, 136, 181, 395, 492, 504, 527 ], [ 61, 82, 137, 182, 396, 493, 505, 528 ], [ 62, 83, 138, 183, 397, 494, 506, 529 ], [ 63, 84, 139, 184, 398, 495, 507, 530 ], [ 64, 85, 140, 185, 399, 496, 508, 531 ], [ 65, 86, 141, 186, 400, 497, 509, 532 ], [ 66, 87, 142, 187, 401, 498, 510, 533 ], [ 67, 88, 143, 188, 402, 499, 511, 534 ], [ 68, 89, 144, 189, 403, 500, 512, 535 ], [ 69, 90, 145, 190, 404, 501, 513, 536 ], [ 70, 91, 146, 191, 405, 502, 514, 537 ], [ 71, 92, 147, 192, 406, 503, 515, 538 ], [ 72, 93, 148, 193, 407, 504, 516, 539 ], [ 73, 94, 149, 194, 408, 505, 517, 540 ], [ 74, 95, 150, 195, 409, 506, 518, 541 ], [ 75, 96, 151, 196, 410, 507, 519, 542 ], [ 76, 97, 152, 197, 411, 508, 520, 543 ], [ 77, 98, 153, 198, 412, 509, 521, 544 ], [ 78, 99, 154, 199, 413, 510, 522, 545 ], [ 79, 100, 155, 200, 414, 511, 523, 546 ], [ 80, 101, 156, 201, 415, 512, 524, 547 ], [ 81, 102, 157, 202, 416, 513, 525, 548 ], [ 82, 103, 158, 203, 417, 514, 526, 549 ], [ 83, 104, 159, 204, 418, 515, 527, 550 ], [ 84, 105, 160, 205, 419, 516, 528, 551 ], [ 85, 106, 161, 206, 420, 517, 529, 552 ], [ 86, 107, 162, 207, 421, 518, 530, 553 ], [ 87, 108, 163, 208, 422, 519, 531, 554 ], [ 88, 109, 164, 209, 423, 520, 532, 555 ], [ 89, 110, 165, 210, 424, 521, 533, 556 ], [ 90, 111, 166, 211, 425, 522, 534, 557 ], [ 91, 112, 167, 212, 426, 523, 535, 558 ], [ 92, 113, 168, 213, 427, 524, 536, 559 ], [ 93, 114, 169, 214, 428, 525, 537, 560 ], [ 94, 115, 170, 215, 429, 526, 538, 561 ], [ 95, 116, 171, 216, 430, 527, 539, 562 ], [ 96, 117, 172, 217, 431, 528, 540, 563 ], [ 97, 118, 173, 218, 432, 529, 541, 564 ], [ 98, 119, 174, 219, 433, 530, 542, 565 ], [ 99, 120, 175, 220, 434, 531, 543, 566 ], [ 100, 121, 176, 221, 435, 532, 544, 567 ], [ 101, 122, 177, 222, 436, 533, 545, 568 ], [ 102, 123, 178, 223, 437, 534, 546, 569 ], [ 103, 124, 179, 224, 438, 535, 547, 570 ], [ 104, 125, 180, 225, 439, 536, 548, 571 ], [ 105, 126, 181, 226, 440, 537, 549, 572 ], [ 106, 127, 182, 227, 441, 538, 550, 573 ], [ 107, 128, 183, 228, 442, 539, 551, 574 ], [ 108, 129, 184, 229, 443, 540, 552, 575 ], [ 109, 130, 185, 230, 444, 541, 553, 576 ], [ 110, 131, 186, 231, 445, 542, 554, 577 ], [ 111, 132, 187, 232, 446, 543, 555, 578 ], [ 112, 133, 188, 233, 447, 544, 556, 579 ], [ 113, 134, 189, 234, 448, 545, 557, 580 ], [ 114, 135, 190, 235, 449, 546, 558, 581 ], [ 115, 136, 191, 236, 450, 547, 559, 582 ], [ 116, 137, 192, 237, 451, 548, 560, 583 ], [ 117, 138, 193, 238, 452, 549, 561, 584 ], [ 118, 139, 194, 239, 453, 550, 562, 585 ], [ 119, 140, 195, 240, 454, 551, 563, 586 ], [ 120, 141, 196, 241, 455, 552, 564, 587 ], [ 121, 142, 197, 242, 456, 553, 565, 588 ], [ 122, 143, 198, 243, 457, 554, 566, 589 ], [ 123, 144, 199, 244, 458, 555, 567, 590 ], [ 124, 145, 200, 245, 459, 556, 568, 591 ], [ 125, 146, 201, 246, 460, 557, 569, 592 ], [ 126, 147, 202, 247, 461, 558, 570, 593 ], [ 127, 148, 203, 248, 462, 559, 571, 594 ], [ 128, 149, 204, 249, 463, 560, 572, 595 ], [ 129, 150, 205, 250, 464, 561, 573, 596 ], [ 130, 151, 206, 251, 465, 562, 574, 597 ], [ 131, 152, 207, 252, 466, 563, 575, 598 ], [ 132, 153, 208, 253, 467, 564, 576, 599 ], [ 133, 154, 209, 254, 468, 565, 577, 600 ], [ 134, 155, 210, 255, 469, 566, 578, 601 ], [ 135, 156, 211, 256, 470, 567, 579, 602 ], [ 136, 157, 212, 257, 471, 568, 580, 603 ], [ 137, 158, 213, 258, 472, 569, 581, 604 ], [ 138, 159, 214, 259, 473, 570, 582, 605 ], [ 139, 160, 215, 260, 474, 571, 583, 606 ], [ 140, 161, 216, 261, 475, 572, 584, 607 ], [ 141, 162, 217, 262, 476, 573, 585, 608 ], [ 142, 163, 218, 263, 477, 574, 586, 609 ], [ 143, 164, 219, 264, 478, 575, 587, 610 ], [ 144, 165, 220, 265, 479, 576, 588, 611 ], [ 145, 166, 221, 266, 480, 577, 589, 612 ], [ 146, 167, 222, 267, 481, 578, 590, 613 ], [ 147, 168, 223, 268, 482, 579, 591, 614 ], [ 148, 169, 224, 269, 483, 580, 592, 615 ], [ 149, 170, 225, 270, 484, 581, 593, 616 ], [ 150, 171, 226, 271, 485, 582, 594, 617 ], [ 151, 172, 227, 272, 486, 583, 595, 618 ], [ 152, 173, 228, 273, 487, 584, 596, 619 ], [ 153, 174, 229, 274, 488, 585, 597, 620 ], [ 154, 175, 230, 275, 489, 586, 598, 621 ], [ 155, 176, 231, 276, 490, 587, 599, 622 ], [ 156, 177, 232, 277, 491, 588, 600, 623 ], [ 157, 178, 233, 278, 492, 589, 601, 624 ], [ 158, 179, 234, 279, 493, 590, 602, 625 ], [ 159, 180, 235, 280, 494, 591, 603, 626 ], [ 160, 181, 236, 281, 495, 592, 604, 627 ], [ 161, 182, 237, 282, 496, 593, 605, 628 ], [ 162, 183, 238, 283, 497, 594, 606, 629 ], [ 163, 184, 239, 284, 498, 595, 607, 630 ], [ 164, 185, 240, 285, 499, 596, 608, 631 ], [ 165, 186, 241, 286, 500, 597, 609, 632 ], [ 166, 187, 242, 287, 501, 598, 610, 633 ], [ 167, 188, 243, 288, 502, 599, 611, 634 ], [ 168, 189, 244, 289, 503, 600, 612, 635 ], [ 169, 190, 245, 290, 504, 601, 613, 636 ], [ 170, 191, 246, 291, 505, 602, 614, 637 ], [ 171, 192, 247, 292, 506, 603, 615, 638 ], [ 172, 193, 248, 293, 507, 604, 616, 639 ], [ 173, 194, 249, 294, 508, 605, 617, 640 ], [ 174, 195, 250, 295, 509, 606, 618, 641 ], [ 175, 196, 251, 296, 510, 607, 619, 642 ], [ 176, 197, 252, 297, 511, 608, 620, 643 ], [ 177, 198, 253, 298, 512, 609, 621, 644 ], [ 178, 199, 254, 299, 513, 610, 622, 645 ], [ 179, 200, 255, 300, 514, 611, 623, 646 ], [ 180, 201, 256, 301, 515, 612, 624, 647 ], [ 181, 202, 257, 302, 516, 613, 625, 648 ], [ 182, 203, 258, 303, 517, 614, 626, 649 ], [ 183, 204, 259, 304, 518, 615, 627, 650 ], [ 184, 205, 260, 305, 519, 616, 628, 651 ], [ 185, 206, 261, 306, 520, 617, 629, 652 ], [ 186, 207, 262, 307, 521, 618, 630, 653 ], [ 187, 208, 263, 308, 327, 522, 619, 631 ], [ 188, 209, 264, 309, 328, 523, 620, 632 ], [ 189, 210, 265, 310, 329, 524, 621, 633 ], [ 190, 211, 266, 311, 330, 525, 622, 634 ], [ 191, 212, 267, 312, 331, 526, 623, 635 ], [ 192, 213, 268, 313, 332, 527, 624, 636 ], [ 193, 214, 269, 314, 333, 528, 625, 637 ], [ 194, 215, 270, 315, 334, 529, 626, 638 ], [ 195, 216, 271, 316, 335, 530, 627, 639 ], [ 196, 217, 272, 317, 336, 531, 628, 640 ], [ 197, 218, 273, 318, 337, 532, 629, 641 ], [ 198, 219, 274, 319, 338, 533, 630, 642 ], [ 199, 220, 275, 320, 339, 534, 631, 643 ], [ 200, 221, 276, 321, 340, 535, 632, 644 ], [ 201, 222, 277, 322, 341, 536, 633, 645 ], [ 202, 223, 278, 323, 342, 537, 634, 646 ], [ 203, 224, 279, 324, 343, 538, 635, 647 ], [ 204, 225, 280, 325, 344, 539, 636, 648 ], [ 205, 226, 281, 326, 345, 540, 637, 649 ], [ 0, 206, 227, 282, 346, 541, 638, 650 ], [ 1, 207, 228, 283, 347, 542, 639, 651 ], [ 2, 208, 229, 284, 348, 543, 640, 652 ], [ 3, 209, 230, 285, 349, 544, 641, 653 ], [ 4, 210, 231, 286, 327, 350, 545, 642 ], [ 5, 211, 232, 287, 328, 351, 546, 643 ], [ 6, 212, 233, 288, 329, 352, 547, 644 ], [ 7, 213, 234, 289, 330, 353, 548, 645 ], [ 8, 214, 235, 290, 331, 354, 549, 646 ], [ 9, 215, 236, 291, 332, 355, 550, 647 ], [ 10, 216, 237, 292, 333, 356, 551, 648 ], [ 11, 217, 238, 293, 334, 357, 552, 649 ], [ 12, 218, 239, 294, 335, 358, 553, 650 ], [ 13, 219, 240, 295, 336, 359, 554, 651 ], [ 14, 220, 241, 296, 337, 360, 555, 652 ], [ 15, 221, 242, 297, 338, 361, 556, 653 ], [ 16, 222, 243, 298, 327, 339, 362, 557 ], [ 17, 223, 244, 299, 328, 340, 363, 558 ], [ 18, 224, 245, 300, 329, 341, 364, 559 ], [ 19, 225, 246, 301, 330, 342, 365, 560 ], [ 20, 226, 247, 302, 331, 343, 366, 561 ], [ 21, 227, 248, 303, 332, 344, 367, 562 ], [ 22, 228, 249, 304, 333, 345, 368, 563 ], [ 23, 229, 250, 305, 334, 346, 369, 564 ], [ 24, 230, 251, 306, 335, 347, 370, 565 ], [ 25, 231, 252, 307, 336, 348, 371, 566 ], [ 26, 232, 253, 308, 337, 349, 372, 567 ], [ 27, 233, 254, 309, 338, 350, 373, 568 ], [ 28, 234, 255, 310, 339, 351, 374, 569 ], [ 29, 235, 256, 311, 340, 352, 375, 570 ], [ 30, 236, 257, 312, 341, 353, 376, 571 ], [ 31, 237, 258, 313, 342, 354, 377, 572 ], [ 32, 238, 259, 314, 343, 355, 378, 573 ], [ 33, 239, 260, 315, 344, 356, 379, 574 ], [ 34, 240, 261, 316, 345, 357, 380, 575 ], [ 35, 241, 262, 317, 346, 358, 381, 576 ], [ 36, 242, 263, 318, 347, 359, 382, 577 ], [ 37, 243, 264, 319, 348, 360, 383, 578 ], [ 38, 244, 265, 320, 349, 361, 384, 579 ], [ 39, 245, 266, 321, 350, 362, 385, 580 ], [ 40, 246, 267, 322, 351, 363, 386, 581 ], [ 41, 247, 268, 323, 352, 364, 387, 582 ], [ 42, 248, 269, 324, 353, 365, 388, 583 ], [ 43, 249, 270, 325, 354, 366, 389, 584 ], [ 44, 250, 271, 326, 355, 367, 390, 585 ], [ 0, 45, 251, 272, 356, 368, 391, 586 ], [ 1, 46, 252, 273, 357, 369, 392, 587 ], [ 2, 47, 253, 274, 358, 370, 393, 588 ], [ 3, 48, 254, 275, 359, 371, 394, 589 ], [ 4, 49, 255, 276, 360, 372, 395, 590 ], [ 5, 50, 256, 277, 361, 373, 396, 591 ], [ 6, 51, 257, 278, 362, 374, 397, 592 ], [ 7, 52, 258, 279, 363, 375, 398, 593 ], [ 8, 53, 259, 280, 364, 376, 399, 594 ], [ 9, 54, 260, 281, 365, 377, 400, 595 ], [ 10, 55, 261, 282, 366, 378, 401, 596 ], [ 11, 56, 262, 283, 367, 379, 402, 597 ], [ 12, 57, 263, 284, 368, 380, 403, 598 ], [ 13, 58, 264, 285, 369, 381, 404, 599 ], [ 14, 59, 265, 286, 370, 382, 405, 600 ], [ 15, 60, 266, 287, 371, 383, 406, 601 ], [ 16, 61, 267, 288, 372, 384, 407, 602 ], [ 17, 62, 268, 289, 373, 385, 408, 603 ], [ 18, 63, 269, 290, 374, 386, 409, 604 ], [ 19, 64, 270, 291, 375, 387, 410, 605 ], [ 20, 65, 271, 292, 376, 388, 411, 606 ], [ 21, 66, 272, 293, 377, 389, 412, 607 ], [ 22, 67, 273, 294, 378, 390, 413, 608 ], [ 23, 68, 274, 295, 379, 391, 414, 609 ], [ 24, 69, 275, 296, 380, 392, 415, 610 ], [ 25, 70, 276, 297, 381, 393, 416, 611 ], [ 26, 71, 277, 298, 382, 394, 417, 612 ], [ 27, 72, 278, 299, 383, 395, 418, 613 ], [ 28, 73, 279, 300, 384, 396, 419, 614 ], [ 29, 74, 280, 301, 385, 397, 420, 615 ], [ 30, 75, 281, 302, 386, 398, 421, 616 ], [ 31, 76, 282, 303, 387, 399, 422, 617 ], [ 32, 77, 283, 304, 388, 400, 423, 618 ], [ 33, 78, 284, 305, 389, 401, 424, 619 ], [ 34, 79, 285, 306, 390, 402, 425, 620 ], [ 35, 80, 286, 307, 391, 403, 426, 621 ], [ 36, 81, 287, 308, 392, 404, 427, 622 ], [ 37, 82, 288, 309, 393, 405, 428, 623 ], [ 38, 83, 289, 310, 394, 406, 429, 624 ], [ 39, 84, 290, 311, 395, 407, 430, 625 ], [ 40, 85, 291, 312, 396, 408, 431, 626 ], [ 41, 86, 292, 313, 397, 409, 432, 627 ], [ 42, 87, 293, 314, 398, 410, 433, 628 ], [ 43, 88, 294, 315, 399, 411, 434, 629 ], [ 44, 89, 295, 316, 400, 412, 435, 630 ], [ 45, 90, 296, 317, 401, 413, 436, 631 ], [ 46, 91, 297, 318, 402, 414, 437, 632 ], [ 47, 92, 298, 319, 403, 415, 438, 633 ], [ 48, 93, 299, 320, 404, 416, 439, 634 ], [ 49, 94, 300, 321, 405, 417, 440, 635 ], [ 50, 95, 301, 322, 406, 418, 441, 636 ], [ 51, 96, 302, 323, 407, 419, 442, 637 ], [ 52, 97, 303, 324, 408, 420, 443, 638 ], [ 53, 98, 304, 325, 409, 421, 444, 639 ], [ 54, 99, 305, 326, 410, 422, 445, 640 ], [ 0, 55, 100, 306, 411, 423, 446, 641 ], [ 1, 56, 101, 307, 412, 424, 447, 642 ], [ 2, 57, 102, 308, 413, 425, 448, 643 ], [ 3, 58, 103, 309, 414, 426, 449, 644 ], [ 4, 59, 104, 310, 415, 427, 450, 645 ], [ 5, 60, 105, 311, 416, 428, 451, 646 ], [ 6, 61, 106, 312, 417, 429, 452, 647 ], [ 7, 62, 107, 313, 418, 430, 453, 648 ], [ 8, 63, 108, 314, 419, 431, 454, 649 ], [ 9, 64, 109, 315, 420, 432, 455, 650 ], [ 10, 65, 110, 316, 421, 433, 456, 651 ], [ 11, 66, 111, 317, 422, 434, 457, 652 ], [ 12, 67, 112, 318, 423, 435, 458, 653 ], [ 13, 68, 113, 319, 327, 424, 436, 459 ], [ 14, 69, 114, 320, 328, 425, 437, 460 ], [ 15, 70, 115, 321, 329, 426, 438, 461 ], [ 16, 71, 116, 322, 330, 427, 439, 462 ], [ 17, 72, 117, 323, 331, 428, 440, 463 ], [ 18, 73, 118, 324, 332, 429, 441, 464 ], [ 19, 74, 119, 325, 333, 430, 442, 465 ], [ 20, 75, 120, 326, 334, 431, 443, 466 ], [ 0, 21, 76, 121, 335, 432, 444, 467 ], [ 1, 22, 77, 122, 336, 433, 445, 468 ], [ 2, 23, 78, 123, 337, 434, 446, 469 ], [ 3, 24, 79, 124, 338, 435, 447, 470 ], [ 4, 25, 80, 125, 339, 436, 448, 471 ], [ 5, 26, 81, 126, 340, 437, 449, 472 ], [ 6, 27, 82, 127, 341, 438, 450, 473 ], [ 7, 28, 83, 128, 342, 439, 451, 474 ], [ 8, 29, 84, 129, 343, 440, 452, 475 ], [ 9, 30, 85, 130, 344, 441, 453, 476 ], [ 10, 31, 86, 131, 345, 442, 454, 477 ], [ 11, 32, 87, 132, 346, 443, 455, 478 ], [ 12, 33, 88, 133, 347, 444, 456, 479 ], [ 13, 34, 89, 134, 348, 445, 457, 480 ], [ 14, 35, 90, 135, 349, 446, 458, 481 ], [ 15, 36, 91, 136, 350, 447, 459, 482 ], [ 16, 37, 92, 137, 351, 448, 460, 483 ], [ 17, 38, 93, 138, 352, 449, 461, 484 ], [ 18, 39, 94, 139, 353, 450, 462, 485 ], [ 19, 40, 95, 140, 354, 451, 463, 486 ], [ 20, 41, 96, 141, 355, 452, 464, 487 ], [ 21, 42, 97, 142, 356, 453, 465, 488 ], [ 22, 43, 98, 143, 357, 454, 466, 489 ], [ 23, 44, 99, 144, 358, 455, 467, 490 ], [ 24, 45, 100, 145, 359, 456, 468, 491 ], [ 25, 46, 101, 146, 360, 457, 469, 492 ], [ 26, 47, 102, 147, 361, 458, 470, 493 ], [ 27, 48, 103, 148, 362, 459, 471, 494 ], [ 28, 49, 104, 149, 363, 460, 472, 495 ], [ 29, 50, 105, 150, 364, 461, 473, 496 ], [ 30, 51, 106, 151, 365, 462, 474, 497 ], [ 31, 52, 107, 152, 366, 463, 475, 498 ], [ 32, 53, 108, 153, 367, 464, 476, 499 ], [ 33, 54, 109, 154, 368, 465, 477, 500 ], [ 34, 55, 110, 155, 369, 466, 478, 501 ], [ 35, 56, 111, 156, 370, 467, 479, 502 ], [ 36, 57, 112, 157, 371, 468, 480, 503 ], [ 37, 58, 113, 158, 372, 469, 481, 504 ], [ 38, 59, 114, 159, 373, 470, 482, 505 ], [ 39, 60, 115, 160, 374, 471, 483, 506 ], [ 40, 61, 116, 161, 375, 472, 484, 507 ], [ 41, 62, 117, 162, 376, 473, 485, 508 ], [ 42, 63, 118, 163, 377, 474, 486, 509 ] ] }, "distance": { "d": 47, "X": { "value": 47, "confidence": "upper_bound", "witness": [ 16, 35, 37, 47, 58, 68, 80, 89, 91, 92, 101, 112, 113, 134, 157, 190, 209, 223, 232, 254, 277, 320, 322, 328, 339, 349, 351, 360, 361, 372, 381, 393, 394, 406, 414, 435, 447, 502, 513, 546, 555, 556, 567, 568, 579, 601, 634 ] }, "Z": { "value": 47, "confidence": "upper_bound", "witness": [ 20, 53, 75, 86, 87, 98, 99, 108, 141, 152, 207, 219, 240, 248, 260, 261, 273, 282, 293, 294, 303, 305, 315, 326, 332, 334, 377, 400, 422, 431, 445, 464, 497, 520, 541, 542, 553, 562, 563, 565, 574, 586, 596, 607, 617, 619, 638 ] } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Cyclic generalized-bicycle code on the ring x^327 - 1 with a(x) = x^144 + x^167 + x^179 + x^276, b(x) = x^163 + x^208 + x^263 + x^284; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].", "origin": "submission", "novelty": "known_parameters", "model": "Claude Opus 5", "date": "2026-09-20", "notes": "Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed." }, "family": "generalized-bicycle" }