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