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