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