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