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