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