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