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