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