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