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