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