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