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