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