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