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