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