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