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