{ "schema_version": "0.1", "name": "[[780,4,20]]", "code_type": "CSS", "n": 780, "k": 4, "checks": { "X": [ [ 34, 56, 189, 460, 766 ], [ 35, 57, 190, 461, 767 ], [ 36, 58, 191, 462, 768 ], [ 37, 59, 192, 463, 769 ], [ 38, 60, 193, 464, 770 ], [ 39, 61, 194, 465, 771 ], [ 40, 62, 195, 466, 772 ], [ 41, 63, 196, 467, 773 ], [ 42, 64, 197, 468, 774 ], [ 43, 65, 198, 469, 775 ], [ 44, 66, 199, 470, 776 ], [ 45, 67, 200, 471, 777 ], [ 46, 68, 201, 472, 778 ], [ 47, 69, 202, 473, 779 ], [ 48, 70, 203, 390, 474 ], [ 49, 71, 204, 391, 475 ], [ 50, 72, 205, 392, 476 ], [ 51, 73, 206, 393, 477 ], [ 52, 74, 207, 394, 478 ], [ 53, 75, 208, 395, 479 ], [ 54, 76, 209, 396, 480 ], [ 55, 77, 210, 397, 481 ], [ 56, 78, 211, 398, 482 ], [ 57, 79, 212, 399, 483 ], [ 58, 80, 213, 400, 484 ], [ 59, 81, 214, 401, 485 ], [ 60, 82, 215, 402, 486 ], [ 61, 83, 216, 403, 487 ], [ 62, 84, 217, 404, 488 ], [ 63, 85, 218, 405, 489 ], [ 64, 86, 219, 406, 490 ], [ 65, 87, 220, 407, 491 ], [ 66, 88, 221, 408, 492 ], [ 67, 89, 222, 409, 493 ], [ 68, 90, 223, 410, 494 ], [ 69, 91, 224, 411, 495 ], [ 70, 92, 225, 412, 496 ], [ 71, 93, 226, 413, 497 ], [ 72, 94, 227, 414, 498 ], [ 73, 95, 228, 415, 499 ], [ 74, 96, 229, 416, 500 ], [ 75, 97, 230, 417, 501 ], [ 76, 98, 231, 418, 502 ], [ 77, 99, 232, 419, 503 ], [ 78, 100, 233, 420, 504 ], [ 79, 101, 234, 421, 505 ], [ 80, 102, 235, 422, 506 ], [ 81, 103, 236, 423, 507 ], [ 82, 104, 237, 424, 508 ], [ 83, 105, 238, 425, 509 ], [ 84, 106, 239, 426, 510 ], [ 85, 107, 240, 427, 511 ], [ 86, 108, 241, 428, 512 ], [ 87, 109, 242, 429, 513 ], [ 88, 110, 243, 430, 514 ], [ 89, 111, 244, 431, 515 ], [ 90, 112, 245, 432, 516 ], [ 91, 113, 246, 433, 517 ], [ 92, 114, 247, 434, 518 ], [ 93, 115, 248, 435, 519 ], [ 94, 116, 249, 436, 520 ], [ 95, 117, 250, 437, 521 ], [ 96, 118, 251, 438, 522 ], [ 97, 119, 252, 439, 523 ], [ 98, 120, 253, 440, 524 ], [ 99, 121, 254, 441, 525 ], [ 100, 122, 255, 442, 526 ], [ 101, 123, 256, 443, 527 ], [ 102, 124, 257, 444, 528 ], [ 103, 125, 258, 445, 529 ], [ 104, 126, 259, 446, 530 ], [ 105, 127, 260, 447, 531 ], [ 106, 128, 261, 448, 532 ], [ 107, 129, 262, 449, 533 ], [ 108, 130, 263, 450, 534 ], [ 109, 131, 264, 451, 535 ], [ 110, 132, 265, 452, 536 ], [ 111, 133, 266, 453, 537 ], [ 112, 134, 267, 454, 538 ], [ 113, 135, 268, 455, 539 ], [ 114, 136, 269, 456, 540 ], [ 115, 137, 270, 457, 541 ], [ 116, 138, 271, 458, 542 ], [ 117, 139, 272, 459, 543 ], [ 118, 140, 273, 460, 544 ], [ 119, 141, 274, 461, 545 ], [ 120, 142, 275, 462, 546 ], [ 121, 143, 276, 463, 547 ], [ 122, 144, 277, 464, 548 ], [ 123, 145, 278, 465, 549 ], [ 124, 146, 279, 466, 550 ], [ 125, 147, 280, 467, 551 ], [ 126, 148, 281, 468, 552 ], [ 127, 149, 282, 469, 553 ], [ 128, 150, 283, 470, 554 ], [ 129, 151, 284, 471, 555 ], [ 130, 152, 285, 472, 556 ], [ 131, 153, 286, 473, 557 ], [ 132, 154, 287, 474, 558 ], [ 133, 155, 288, 475, 559 ], [ 134, 156, 289, 476, 560 ], [ 135, 157, 290, 477, 561 ], [ 136, 158, 291, 478, 562 ], [ 137, 159, 292, 479, 563 ], [ 138, 160, 293, 480, 564 ], [ 139, 161, 294, 481, 565 ], [ 140, 162, 295, 482, 566 ], [ 141, 163, 296, 483, 567 ], [ 142, 164, 297, 484, 568 ], [ 143, 165, 298, 485, 569 ], [ 144, 166, 299, 486, 570 ], [ 145, 167, 300, 487, 571 ], [ 146, 168, 301, 488, 572 ], [ 147, 169, 302, 489, 573 ], [ 148, 170, 303, 490, 574 ], [ 149, 171, 304, 491, 575 ], [ 150, 172, 305, 492, 576 ], [ 151, 173, 306, 493, 577 ], [ 152, 174, 307, 494, 578 ], [ 153, 175, 308, 495, 579 ], [ 154, 176, 309, 496, 580 ], [ 155, 177, 310, 497, 581 ], [ 156, 178, 311, 498, 582 ], [ 157, 179, 312, 499, 583 ], [ 158, 180, 313, 500, 584 ], [ 159, 181, 314, 501, 585 ], [ 160, 182, 315, 502, 586 ], [ 161, 183, 316, 503, 587 ], [ 162, 184, 317, 504, 588 ], [ 163, 185, 318, 505, 589 ], [ 164, 186, 319, 506, 590 ], [ 165, 187, 320, 507, 591 ], [ 166, 188, 321, 508, 592 ], [ 167, 189, 322, 509, 593 ], [ 168, 190, 323, 510, 594 ], [ 169, 191, 324, 511, 595 ], [ 170, 192, 325, 512, 596 ], [ 171, 193, 326, 513, 597 ], [ 172, 194, 327, 514, 598 ], [ 173, 195, 328, 515, 599 ], [ 174, 196, 329, 516, 600 ], [ 175, 197, 330, 517, 601 ], [ 176, 198, 331, 518, 602 ], [ 177, 199, 332, 519, 603 ], [ 178, 200, 333, 520, 604 ], [ 179, 201, 334, 521, 605 ], [ 180, 202, 335, 522, 606 ], [ 181, 203, 336, 523, 607 ], [ 182, 204, 337, 524, 608 ], [ 183, 205, 338, 525, 609 ], [ 184, 206, 339, 526, 610 ], [ 185, 207, 340, 527, 611 ], [ 186, 208, 341, 528, 612 ], [ 187, 209, 342, 529, 613 ], [ 188, 210, 343, 530, 614 ], [ 189, 211, 344, 531, 615 ], [ 190, 212, 345, 532, 616 ], [ 191, 213, 346, 533, 617 ], [ 192, 214, 347, 534, 618 ], [ 193, 215, 348, 535, 619 ], [ 194, 216, 349, 536, 620 ], [ 195, 217, 350, 537, 621 ], [ 196, 218, 351, 538, 622 ], [ 197, 219, 352, 539, 623 ], [ 198, 220, 353, 540, 624 ], [ 199, 221, 354, 541, 625 ], [ 200, 222, 355, 542, 626 ], [ 201, 223, 356, 543, 627 ], [ 202, 224, 357, 544, 628 ], [ 203, 225, 358, 545, 629 ], [ 204, 226, 359, 546, 630 ], [ 205, 227, 360, 547, 631 ], [ 206, 228, 361, 548, 632 ], [ 207, 229, 362, 549, 633 ], [ 208, 230, 363, 550, 634 ], [ 209, 231, 364, 551, 635 ], [ 210, 232, 365, 552, 636 ], [ 211, 233, 366, 553, 637 ], [ 212, 234, 367, 554, 638 ], [ 213, 235, 368, 555, 639 ], [ 214, 236, 369, 556, 640 ], [ 215, 237, 370, 557, 641 ], [ 216, 238, 371, 558, 642 ], [ 217, 239, 372, 559, 643 ], [ 218, 240, 373, 560, 644 ], [ 219, 241, 374, 561, 645 ], [ 220, 242, 375, 562, 646 ], [ 221, 243, 376, 563, 647 ], [ 222, 244, 377, 564, 648 ], [ 223, 245, 378, 565, 649 ], [ 224, 246, 379, 566, 650 ], [ 225, 247, 380, 567, 651 ], [ 226, 248, 381, 568, 652 ], [ 227, 249, 382, 569, 653 ], [ 228, 250, 383, 570, 654 ], [ 229, 251, 384, 571, 655 ], [ 230, 252, 385, 572, 656 ], [ 231, 253, 386, 573, 657 ], [ 232, 254, 387, 574, 658 ], [ 233, 255, 388, 575, 659 ], [ 234, 256, 389, 576, 660 ], [ 0, 235, 257, 577, 661 ], [ 1, 236, 258, 578, 662 ], [ 2, 237, 259, 579, 663 ], [ 3, 238, 260, 580, 664 ], [ 4, 239, 261, 581, 665 ], [ 5, 240, 262, 582, 666 ], [ 6, 241, 263, 583, 667 ], [ 7, 242, 264, 584, 668 ], [ 8, 243, 265, 585, 669 ], [ 9, 244, 266, 586, 670 ], [ 10, 245, 267, 587, 671 ], [ 11, 246, 268, 588, 672 ], [ 12, 247, 269, 589, 673 ], [ 13, 248, 270, 590, 674 ], [ 14, 249, 271, 591, 675 ], [ 15, 250, 272, 592, 676 ], [ 16, 251, 273, 593, 677 ], [ 17, 252, 274, 594, 678 ], [ 18, 253, 275, 595, 679 ], [ 19, 254, 276, 596, 680 ], [ 20, 255, 277, 597, 681 ], [ 21, 256, 278, 598, 682 ], [ 22, 257, 279, 599, 683 ], [ 23, 258, 280, 600, 684 ], [ 24, 259, 281, 601, 685 ], [ 25, 260, 282, 602, 686 ], [ 26, 261, 283, 603, 687 ], [ 27, 262, 284, 604, 688 ], [ 28, 263, 285, 605, 689 ], [ 29, 264, 286, 606, 690 ], [ 30, 265, 287, 607, 691 ], [ 31, 266, 288, 608, 692 ], [ 32, 267, 289, 609, 693 ], [ 33, 268, 290, 610, 694 ], [ 34, 269, 291, 611, 695 ], [ 35, 270, 292, 612, 696 ], [ 36, 271, 293, 613, 697 ], [ 37, 272, 294, 614, 698 ], [ 38, 273, 295, 615, 699 ], [ 39, 274, 296, 616, 700 ], [ 40, 275, 297, 617, 701 ], [ 41, 276, 298, 618, 702 ], [ 42, 277, 299, 619, 703 ], [ 43, 278, 300, 620, 704 ], [ 44, 279, 301, 621, 705 ], [ 45, 280, 302, 622, 706 ], [ 46, 281, 303, 623, 707 ], [ 47, 282, 304, 624, 708 ], [ 48, 283, 305, 625, 709 ], [ 49, 284, 306, 626, 710 ], [ 50, 285, 307, 627, 711 ], [ 51, 286, 308, 628, 712 ], [ 52, 287, 309, 629, 713 ], [ 53, 288, 310, 630, 714 ], [ 54, 289, 311, 631, 715 ], [ 55, 290, 312, 632, 716 ], [ 56, 291, 313, 633, 717 ], [ 57, 292, 314, 634, 718 ], [ 58, 293, 315, 635, 719 ], [ 59, 294, 316, 636, 720 ], [ 60, 295, 317, 637, 721 ], [ 61, 296, 318, 638, 722 ], [ 62, 297, 319, 639, 723 ], [ 63, 298, 320, 640, 724 ], [ 64, 299, 321, 641, 725 ], [ 65, 300, 322, 642, 726 ], [ 66, 301, 323, 643, 727 ], [ 67, 302, 324, 644, 728 ], [ 68, 303, 325, 645, 729 ], [ 69, 304, 326, 646, 730 ], [ 70, 305, 327, 647, 731 ], [ 71, 306, 328, 648, 732 ], [ 72, 307, 329, 649, 733 ], [ 73, 308, 330, 650, 734 ], [ 74, 309, 331, 651, 735 ], [ 75, 310, 332, 652, 736 ], [ 76, 311, 333, 653, 737 ], [ 77, 312, 334, 654, 738 ], [ 78, 313, 335, 655, 739 ], [ 79, 314, 336, 656, 740 ], [ 80, 315, 337, 657, 741 ], [ 81, 316, 338, 658, 742 ], [ 82, 317, 339, 659, 743 ], [ 83, 318, 340, 660, 744 ], [ 84, 319, 341, 661, 745 ], [ 85, 320, 342, 662, 746 ], [ 86, 321, 343, 663, 747 ], [ 87, 322, 344, 664, 748 ], [ 88, 323, 345, 665, 749 ], [ 89, 324, 346, 666, 750 ], [ 90, 325, 347, 667, 751 ], [ 91, 326, 348, 668, 752 ], [ 92, 327, 349, 669, 753 ], [ 93, 328, 350, 670, 754 ], [ 94, 329, 351, 671, 755 ], [ 95, 330, 352, 672, 756 ], [ 96, 331, 353, 673, 757 ], [ 97, 332, 354, 674, 758 ], [ 98, 333, 355, 675, 759 ], [ 99, 334, 356, 676, 760 ], [ 100, 335, 357, 677, 761 ], [ 101, 336, 358, 678, 762 ], [ 102, 337, 359, 679, 763 ], [ 103, 338, 360, 680, 764 ], [ 104, 339, 361, 681, 765 ], [ 105, 340, 362, 682, 766 ], [ 106, 341, 363, 683, 767 ], [ 107, 342, 364, 684, 768 ], [ 108, 343, 365, 685, 769 ], [ 109, 344, 366, 686, 770 ], [ 110, 345, 367, 687, 771 ], [ 111, 346, 368, 688, 772 ], [ 112, 347, 369, 689, 773 ], [ 113, 348, 370, 690, 774 ], [ 114, 349, 371, 691, 775 ], [ 115, 350, 372, 692, 776 ], [ 116, 351, 373, 693, 777 ], [ 117, 352, 374, 694, 778 ], [ 118, 353, 375, 695, 779 ], [ 119, 354, 376, 390, 696 ], [ 120, 355, 377, 391, 697 ], [ 121, 356, 378, 392, 698 ], [ 122, 357, 379, 393, 699 ], [ 123, 358, 380, 394, 700 ], [ 124, 359, 381, 395, 701 ], [ 125, 360, 382, 396, 702 ], [ 126, 361, 383, 397, 703 ], [ 127, 362, 384, 398, 704 ], [ 128, 363, 385, 399, 705 ], [ 129, 364, 386, 400, 706 ], [ 130, 365, 387, 401, 707 ], [ 131, 366, 388, 402, 708 ], [ 132, 367, 389, 403, 709 ], [ 0, 133, 368, 404, 710 ], [ 1, 134, 369, 405, 711 ], [ 2, 135, 370, 406, 712 ], [ 3, 136, 371, 407, 713 ], [ 4, 137, 372, 408, 714 ], [ 5, 138, 373, 409, 715 ], [ 6, 139, 374, 410, 716 ], [ 7, 140, 375, 411, 717 ], [ 8, 141, 376, 412, 718 ], [ 9, 142, 377, 413, 719 ], [ 10, 143, 378, 414, 720 ], [ 11, 144, 379, 415, 721 ], [ 12, 145, 380, 416, 722 ], [ 13, 146, 381, 417, 723 ], [ 14, 147, 382, 418, 724 ], [ 15, 148, 383, 419, 725 ], [ 16, 149, 384, 420, 726 ], [ 17, 150, 385, 421, 727 ], [ 18, 151, 386, 422, 728 ], [ 19, 152, 387, 423, 729 ], [ 20, 153, 388, 424, 730 ], [ 21, 154, 389, 425, 731 ], [ 0, 22, 155, 426, 732 ], [ 1, 23, 156, 427, 733 ], [ 2, 24, 157, 428, 734 ], [ 3, 25, 158, 429, 735 ], [ 4, 26, 159, 430, 736 ], [ 5, 27, 160, 431, 737 ], [ 6, 28, 161, 432, 738 ], [ 7, 29, 162, 433, 739 ], [ 8, 30, 163, 434, 740 ], [ 9, 31, 164, 435, 741 ], [ 10, 32, 165, 436, 742 ], [ 11, 33, 166, 437, 743 ], [ 12, 34, 167, 438, 744 ], [ 13, 35, 168, 439, 745 ], [ 14, 36, 169, 440, 746 ], [ 15, 37, 170, 441, 747 ], [ 16, 38, 171, 442, 748 ], [ 17, 39, 172, 443, 749 ], [ 18, 40, 173, 444, 750 ], [ 19, 41, 174, 445, 751 ], [ 20, 42, 175, 446, 752 ], [ 21, 43, 176, 447, 753 ], [ 22, 44, 177, 448, 754 ], [ 23, 45, 178, 449, 755 ], [ 24, 46, 179, 450, 756 ], [ 25, 47, 180, 451, 757 ], [ 26, 48, 181, 452, 758 ], [ 27, 49, 182, 453, 759 ], [ 28, 50, 183, 454, 760 ], [ 29, 51, 184, 455, 761 ], [ 30, 52, 185, 456, 762 ], [ 31, 53, 186, 457, 763 ], [ 32, 54, 187, 458, 764 ], [ 33, 55, 188, 459, 765 ] ], "Z": [ [ 14, 320, 591, 724, 746 ], [ 15, 321, 592, 725, 747 ], [ 16, 322, 593, 726, 748 ], [ 17, 323, 594, 727, 749 ], [ 18, 324, 595, 728, 750 ], [ 19, 325, 596, 729, 751 ], [ 20, 326, 597, 730, 752 ], [ 21, 327, 598, 731, 753 ], [ 22, 328, 599, 732, 754 ], [ 23, 329, 600, 733, 755 ], [ 24, 330, 601, 734, 756 ], [ 25, 331, 602, 735, 757 ], [ 26, 332, 603, 736, 758 ], [ 27, 333, 604, 737, 759 ], [ 28, 334, 605, 738, 760 ], [ 29, 335, 606, 739, 761 ], [ 30, 336, 607, 740, 762 ], [ 31, 337, 608, 741, 763 ], [ 32, 338, 609, 742, 764 ], [ 33, 339, 610, 743, 765 ], [ 34, 340, 611, 744, 766 ], [ 35, 341, 612, 745, 767 ], [ 36, 342, 613, 746, 768 ], [ 37, 343, 614, 747, 769 ], [ 38, 344, 615, 748, 770 ], [ 39, 345, 616, 749, 771 ], [ 40, 346, 617, 750, 772 ], [ 41, 347, 618, 751, 773 ], [ 42, 348, 619, 752, 774 ], [ 43, 349, 620, 753, 775 ], [ 44, 350, 621, 754, 776 ], [ 45, 351, 622, 755, 777 ], [ 46, 352, 623, 756, 778 ], [ 47, 353, 624, 757, 779 ], [ 48, 354, 390, 625, 758 ], [ 49, 355, 391, 626, 759 ], [ 50, 356, 392, 627, 760 ], [ 51, 357, 393, 628, 761 ], [ 52, 358, 394, 629, 762 ], [ 53, 359, 395, 630, 763 ], [ 54, 360, 396, 631, 764 ], [ 55, 361, 397, 632, 765 ], [ 56, 362, 398, 633, 766 ], [ 57, 363, 399, 634, 767 ], [ 58, 364, 400, 635, 768 ], [ 59, 365, 401, 636, 769 ], [ 60, 366, 402, 637, 770 ], [ 61, 367, 403, 638, 771 ], [ 62, 368, 404, 639, 772 ], [ 63, 369, 405, 640, 773 ], [ 64, 370, 406, 641, 774 ], [ 65, 371, 407, 642, 775 ], [ 66, 372, 408, 643, 776 ], [ 67, 373, 409, 644, 777 ], [ 68, 374, 410, 645, 778 ], [ 69, 375, 411, 646, 779 ], [ 70, 376, 390, 412, 647 ], [ 71, 377, 391, 413, 648 ], [ 72, 378, 392, 414, 649 ], [ 73, 379, 393, 415, 650 ], [ 74, 380, 394, 416, 651 ], [ 75, 381, 395, 417, 652 ], [ 76, 382, 396, 418, 653 ], [ 77, 383, 397, 419, 654 ], [ 78, 384, 398, 420, 655 ], [ 79, 385, 399, 421, 656 ], [ 80, 386, 400, 422, 657 ], [ 81, 387, 401, 423, 658 ], [ 82, 388, 402, 424, 659 ], [ 83, 389, 403, 425, 660 ], [ 0, 84, 404, 426, 661 ], [ 1, 85, 405, 427, 662 ], [ 2, 86, 406, 428, 663 ], [ 3, 87, 407, 429, 664 ], [ 4, 88, 408, 430, 665 ], [ 5, 89, 409, 431, 666 ], [ 6, 90, 410, 432, 667 ], [ 7, 91, 411, 433, 668 ], [ 8, 92, 412, 434, 669 ], [ 9, 93, 413, 435, 670 ], [ 10, 94, 414, 436, 671 ], [ 11, 95, 415, 437, 672 ], [ 12, 96, 416, 438, 673 ], [ 13, 97, 417, 439, 674 ], [ 14, 98, 418, 440, 675 ], [ 15, 99, 419, 441, 676 ], [ 16, 100, 420, 442, 677 ], [ 17, 101, 421, 443, 678 ], [ 18, 102, 422, 444, 679 ], [ 19, 103, 423, 445, 680 ], [ 20, 104, 424, 446, 681 ], [ 21, 105, 425, 447, 682 ], [ 22, 106, 426, 448, 683 ], [ 23, 107, 427, 449, 684 ], [ 24, 108, 428, 450, 685 ], [ 25, 109, 429, 451, 686 ], [ 26, 110, 430, 452, 687 ], [ 27, 111, 431, 453, 688 ], [ 28, 112, 432, 454, 689 ], [ 29, 113, 433, 455, 690 ], [ 30, 114, 434, 456, 691 ], [ 31, 115, 435, 457, 692 ], [ 32, 116, 436, 458, 693 ], [ 33, 117, 437, 459, 694 ], [ 34, 118, 438, 460, 695 ], [ 35, 119, 439, 461, 696 ], [ 36, 120, 440, 462, 697 ], [ 37, 121, 441, 463, 698 ], [ 38, 122, 442, 464, 699 ], [ 39, 123, 443, 465, 700 ], [ 40, 124, 444, 466, 701 ], [ 41, 125, 445, 467, 702 ], [ 42, 126, 446, 468, 703 ], [ 43, 127, 447, 469, 704 ], [ 44, 128, 448, 470, 705 ], [ 45, 129, 449, 471, 706 ], [ 46, 130, 450, 472, 707 ], [ 47, 131, 451, 473, 708 ], [ 48, 132, 452, 474, 709 ], [ 49, 133, 453, 475, 710 ], [ 50, 134, 454, 476, 711 ], [ 51, 135, 455, 477, 712 ], [ 52, 136, 456, 478, 713 ], [ 53, 137, 457, 479, 714 ], [ 54, 138, 458, 480, 715 ], [ 55, 139, 459, 481, 716 ], [ 56, 140, 460, 482, 717 ], [ 57, 141, 461, 483, 718 ], [ 58, 142, 462, 484, 719 ], [ 59, 143, 463, 485, 720 ], [ 60, 144, 464, 486, 721 ], [ 61, 145, 465, 487, 722 ], [ 62, 146, 466, 488, 723 ], [ 63, 147, 467, 489, 724 ], [ 64, 148, 468, 490, 725 ], [ 65, 149, 469, 491, 726 ], [ 66, 150, 470, 492, 727 ], [ 67, 151, 471, 493, 728 ], [ 68, 152, 472, 494, 729 ], [ 69, 153, 473, 495, 730 ], [ 70, 154, 474, 496, 731 ], [ 71, 155, 475, 497, 732 ], [ 72, 156, 476, 498, 733 ], [ 73, 157, 477, 499, 734 ], [ 74, 158, 478, 500, 735 ], [ 75, 159, 479, 501, 736 ], [ 76, 160, 480, 502, 737 ], [ 77, 161, 481, 503, 738 ], [ 78, 162, 482, 504, 739 ], [ 79, 163, 483, 505, 740 ], [ 80, 164, 484, 506, 741 ], [ 81, 165, 485, 507, 742 ], [ 82, 166, 486, 508, 743 ], [ 83, 167, 487, 509, 744 ], [ 84, 168, 488, 510, 745 ], [ 85, 169, 489, 511, 746 ], [ 86, 170, 490, 512, 747 ], [ 87, 171, 491, 513, 748 ], [ 88, 172, 492, 514, 749 ], [ 89, 173, 493, 515, 750 ], [ 90, 174, 494, 516, 751 ], [ 91, 175, 495, 517, 752 ], [ 92, 176, 496, 518, 753 ], [ 93, 177, 497, 519, 754 ], [ 94, 178, 498, 520, 755 ], [ 95, 179, 499, 521, 756 ], [ 96, 180, 500, 522, 757 ], [ 97, 181, 501, 523, 758 ], [ 98, 182, 502, 524, 759 ], [ 99, 183, 503, 525, 760 ], [ 100, 184, 504, 526, 761 ], [ 101, 185, 505, 527, 762 ], [ 102, 186, 506, 528, 763 ], [ 103, 187, 507, 529, 764 ], [ 104, 188, 508, 530, 765 ], [ 105, 189, 509, 531, 766 ], [ 106, 190, 510, 532, 767 ], [ 107, 191, 511, 533, 768 ], [ 108, 192, 512, 534, 769 ], [ 109, 193, 513, 535, 770 ], [ 110, 194, 514, 536, 771 ], [ 111, 195, 515, 537, 772 ], [ 112, 196, 516, 538, 773 ], [ 113, 197, 517, 539, 774 ], [ 114, 198, 518, 540, 775 ], [ 115, 199, 519, 541, 776 ], [ 116, 200, 520, 542, 777 ], [ 117, 201, 521, 543, 778 ], [ 118, 202, 522, 544, 779 ], [ 119, 203, 390, 523, 545 ], [ 120, 204, 391, 524, 546 ], [ 121, 205, 392, 525, 547 ], [ 122, 206, 393, 526, 548 ], [ 123, 207, 394, 527, 549 ], [ 124, 208, 395, 528, 550 ], [ 125, 209, 396, 529, 551 ], [ 126, 210, 397, 530, 552 ], [ 127, 211, 398, 531, 553 ], [ 128, 212, 399, 532, 554 ], [ 129, 213, 400, 533, 555 ], [ 130, 214, 401, 534, 556 ], [ 131, 215, 402, 535, 557 ], [ 132, 216, 403, 536, 558 ], [ 133, 217, 404, 537, 559 ], [ 134, 218, 405, 538, 560 ], [ 135, 219, 406, 539, 561 ], [ 136, 220, 407, 540, 562 ], [ 137, 221, 408, 541, 563 ], [ 138, 222, 409, 542, 564 ], [ 139, 223, 410, 543, 565 ], [ 140, 224, 411, 544, 566 ], [ 141, 225, 412, 545, 567 ], [ 142, 226, 413, 546, 568 ], [ 143, 227, 414, 547, 569 ], [ 144, 228, 415, 548, 570 ], [ 145, 229, 416, 549, 571 ], [ 146, 230, 417, 550, 572 ], [ 147, 231, 418, 551, 573 ], [ 148, 232, 419, 552, 574 ], [ 149, 233, 420, 553, 575 ], [ 150, 234, 421, 554, 576 ], [ 151, 235, 422, 555, 577 ], [ 152, 236, 423, 556, 578 ], [ 153, 237, 424, 557, 579 ], [ 154, 238, 425, 558, 580 ], [ 155, 239, 426, 559, 581 ], [ 156, 240, 427, 560, 582 ], [ 157, 241, 428, 561, 583 ], [ 158, 242, 429, 562, 584 ], [ 159, 243, 430, 563, 585 ], [ 160, 244, 431, 564, 586 ], [ 161, 245, 432, 565, 587 ], [ 162, 246, 433, 566, 588 ], [ 163, 247, 434, 567, 589 ], [ 164, 248, 435, 568, 590 ], [ 165, 249, 436, 569, 591 ], [ 166, 250, 437, 570, 592 ], [ 167, 251, 438, 571, 593 ], [ 168, 252, 439, 572, 594 ], [ 169, 253, 440, 573, 595 ], [ 170, 254, 441, 574, 596 ], [ 171, 255, 442, 575, 597 ], [ 172, 256, 443, 576, 598 ], [ 173, 257, 444, 577, 599 ], [ 174, 258, 445, 578, 600 ], [ 175, 259, 446, 579, 601 ], [ 176, 260, 447, 580, 602 ], [ 177, 261, 448, 581, 603 ], [ 178, 262, 449, 582, 604 ], [ 179, 263, 450, 583, 605 ], [ 180, 264, 451, 584, 606 ], [ 181, 265, 452, 585, 607 ], [ 182, 266, 453, 586, 608 ], [ 183, 267, 454, 587, 609 ], [ 184, 268, 455, 588, 610 ], [ 185, 269, 456, 589, 611 ], [ 186, 270, 457, 590, 612 ], [ 187, 271, 458, 591, 613 ], [ 188, 272, 459, 592, 614 ], [ 189, 273, 460, 593, 615 ], [ 190, 274, 461, 594, 616 ], [ 191, 275, 462, 595, 617 ], [ 192, 276, 463, 596, 618 ], [ 193, 277, 464, 597, 619 ], [ 194, 278, 465, 598, 620 ], [ 195, 279, 466, 599, 621 ], [ 196, 280, 467, 600, 622 ], [ 197, 281, 468, 601, 623 ], [ 198, 282, 469, 602, 624 ], [ 199, 283, 470, 603, 625 ], [ 200, 284, 471, 604, 626 ], [ 201, 285, 472, 605, 627 ], [ 202, 286, 473, 606, 628 ], [ 203, 287, 474, 607, 629 ], [ 204, 288, 475, 608, 630 ], [ 205, 289, 476, 609, 631 ], [ 206, 290, 477, 610, 632 ], [ 207, 291, 478, 611, 633 ], [ 208, 292, 479, 612, 634 ], [ 209, 293, 480, 613, 635 ], [ 210, 294, 481, 614, 636 ], [ 211, 295, 482, 615, 637 ], [ 212, 296, 483, 616, 638 ], [ 213, 297, 484, 617, 639 ], [ 214, 298, 485, 618, 640 ], [ 215, 299, 486, 619, 641 ], [ 216, 300, 487, 620, 642 ], [ 217, 301, 488, 621, 643 ], [ 218, 302, 489, 622, 644 ], [ 219, 303, 490, 623, 645 ], [ 220, 304, 491, 624, 646 ], [ 221, 305, 492, 625, 647 ], [ 222, 306, 493, 626, 648 ], [ 223, 307, 494, 627, 649 ], [ 224, 308, 495, 628, 650 ], [ 225, 309, 496, 629, 651 ], [ 226, 310, 497, 630, 652 ], [ 227, 311, 498, 631, 653 ], [ 228, 312, 499, 632, 654 ], [ 229, 313, 500, 633, 655 ], [ 230, 314, 501, 634, 656 ], [ 231, 315, 502, 635, 657 ], [ 232, 316, 503, 636, 658 ], [ 233, 317, 504, 637, 659 ], [ 234, 318, 505, 638, 660 ], [ 235, 319, 506, 639, 661 ], [ 236, 320, 507, 640, 662 ], [ 237, 321, 508, 641, 663 ], [ 238, 322, 509, 642, 664 ], [ 239, 323, 510, 643, 665 ], [ 240, 324, 511, 644, 666 ], [ 241, 325, 512, 645, 667 ], [ 242, 326, 513, 646, 668 ], [ 243, 327, 514, 647, 669 ], [ 244, 328, 515, 648, 670 ], [ 245, 329, 516, 649, 671 ], [ 246, 330, 517, 650, 672 ], [ 247, 331, 518, 651, 673 ], [ 248, 332, 519, 652, 674 ], [ 249, 333, 520, 653, 675 ], [ 250, 334, 521, 654, 676 ], [ 251, 335, 522, 655, 677 ], [ 252, 336, 523, 656, 678 ], [ 253, 337, 524, 657, 679 ], [ 254, 338, 525, 658, 680 ], [ 255, 339, 526, 659, 681 ], [ 256, 340, 527, 660, 682 ], [ 257, 341, 528, 661, 683 ], [ 258, 342, 529, 662, 684 ], [ 259, 343, 530, 663, 685 ], [ 260, 344, 531, 664, 686 ], [ 261, 345, 532, 665, 687 ], [ 262, 346, 533, 666, 688 ], [ 263, 347, 534, 667, 689 ], [ 264, 348, 535, 668, 690 ], [ 265, 349, 536, 669, 691 ], [ 266, 350, 537, 670, 692 ], [ 267, 351, 538, 671, 693 ], [ 268, 352, 539, 672, 694 ], [ 269, 353, 540, 673, 695 ], [ 270, 354, 541, 674, 696 ], [ 271, 355, 542, 675, 697 ], [ 272, 356, 543, 676, 698 ], [ 273, 357, 544, 677, 699 ], [ 274, 358, 545, 678, 700 ], [ 275, 359, 546, 679, 701 ], [ 276, 360, 547, 680, 702 ], [ 277, 361, 548, 681, 703 ], [ 278, 362, 549, 682, 704 ], [ 279, 363, 550, 683, 705 ], [ 280, 364, 551, 684, 706 ], [ 281, 365, 552, 685, 707 ], [ 282, 366, 553, 686, 708 ], [ 283, 367, 554, 687, 709 ], [ 284, 368, 555, 688, 710 ], [ 285, 369, 556, 689, 711 ], [ 286, 370, 557, 690, 712 ], [ 287, 371, 558, 691, 713 ], [ 288, 372, 559, 692, 714 ], [ 289, 373, 560, 693, 715 ], [ 290, 374, 561, 694, 716 ], [ 291, 375, 562, 695, 717 ], [ 292, 376, 563, 696, 718 ], [ 293, 377, 564, 697, 719 ], [ 294, 378, 565, 698, 720 ], [ 295, 379, 566, 699, 721 ], [ 296, 380, 567, 700, 722 ], [ 297, 381, 568, 701, 723 ], [ 298, 382, 569, 702, 724 ], [ 299, 383, 570, 703, 725 ], [ 300, 384, 571, 704, 726 ], [ 301, 385, 572, 705, 727 ], [ 302, 386, 573, 706, 728 ], [ 303, 387, 574, 707, 729 ], [ 304, 388, 575, 708, 730 ], [ 305, 389, 576, 709, 731 ], [ 0, 306, 577, 710, 732 ], [ 1, 307, 578, 711, 733 ], [ 2, 308, 579, 712, 734 ], [ 3, 309, 580, 713, 735 ], [ 4, 310, 581, 714, 736 ], [ 5, 311, 582, 715, 737 ], [ 6, 312, 583, 716, 738 ], [ 7, 313, 584, 717, 739 ], [ 8, 314, 585, 718, 740 ], [ 9, 315, 586, 719, 741 ], [ 10, 316, 587, 720, 742 ], [ 11, 317, 588, 721, 743 ], [ 12, 318, 589, 722, 744 ], [ 13, 319, 590, 723, 745 ] ] }, "distance": { "d": 20, "X": { "value": 20, "confidence": "upper_bound", "witness": [ 9, 102, 111, 173, 204, 297, 306, 368, 413, 444, 453, 506, 515, 546, 608, 639, 648, 701, 710, 741 ] }, "Z": { "value": 20, "confidence": "upper_bound", "witness": [ 39, 70, 79, 132, 141, 172, 234, 265, 274, 327, 336, 367, 412, 474, 483, 576, 607, 669, 678, 771 ] } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Cyclic generalized-bicycle code on the ring x^390 - 1 with a(x) = x^34 + x^56 + x^189, b(x) = x^70 + x^376; 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" }