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