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