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