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