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