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