← back to the board
[[780,318,6]] d ≤
n
780
k
318
d
6
kd²/n
14.677
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 6, d_Z ≤ 6 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[0, 12, 66, 94, 144, 181]
d_Z 6 · witness weight 6 (claimed upper_bound)
witness operator (support, 6 qubits)
[0, 4, 6, 272, 305, 521]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 8 · H_Z 8 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8 · H_Z 8
qubit degrees H_X 1–6 (mean 2.369) · H_Z 1–6 (mean 2.369)
trapping sets H_X (1,1)×18 (2,1)×90 (3,1)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 18 (1,2): 684 (1,3): 1 (1,5): 3 (1,6): 74 (2,1): 90 (2,2): 3375 (2,3): 18 (2,5): 126 (2,6): 2628 (2,7): 3 (2,9): 15 (2,10): 213 (3,1): 450 (3,2): 16650 (3,3): 378 (3,4): 4467 (3,5): 2781 (3,6): 51867 (3,7): 567 (3,8): 6498 (3,9): 1152 (3,10): 15138 (3,11): 126 (3,12): 1260 (3,13): 105 (3,14): 1020
trapping sets H_Z (1,1)×18 (2,1)×90 (3,1)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 18 (1,2): 684 (1,3): 1 (1,5): 3 (1,6): 74 (2,1): 90 (2,2): 3375 (2,3): 18 (2,5): 126 (2,6): 2628 (2,7): 3 (2,9): 15 (2,10): 213 (3,1): 450 (3,2): 16650 (3,3): 378 (3,4): 4467 (3,5): 2781 (3,6): 51867 (3,7): 567 (3,8): 6486 (3,9): 1176 (3,10): 15126 (3,11): 126 (3,12): 1260 (3,13): 105 (3,14): 1020

Construction & provenance

authors @hirobumii
provenance submitted through the challenge
novelty novelty not audited
construction G=S3 x C13, GroupNames78,3. Reconstruct the first literal permutation generating set on39 points from https://people.maths.bris.ac.uk/~matyd/GroupNames/73/S3xC13.html (source SHA256 680d5f4ffd46681063d209bc2fa8538d254c6b8f6015b3559f4c95433986f453). One-based cycle generators are [[[1,2,3,4,5,6,7,8,9,10,11,12,13],[14,15,16,17,18,19,20,21,22,23,24,25,26],[27,28,29,30,31,32,33,34,35,36,37,38,39]],[[1,39,15],[2,27,16],[3,28,17],[4,29,18],[5,30,19],[6,31,20],[7,32,21],[8,33,22],[9,34,23],[10,35,24],[11,36,25],[12,37,26],[13,38,14]],[[14,38],[15,39],[16,27],[17,28],[18,29],[19,30],[20,31],[21,32],[22,33],[23,34],[24,35],[25,36],[26,37]]]. Convert to permutations, close from identity by appending products x*g in listed generator order, and index in first-discovery order; composition (x*g)[i]=x[g[i]]. L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. A=[I+L6,I+L26,I+L33]; B=[I+R12,I+R38,I+R45], binary sums. Nine VV(k,j) blocks index3*k+j precede oneCC block, each size78. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows,231 per sector.
model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)
builds on https://arxiv.org/abs/2111.03654, https://arxiv.org/abs/2607.28795
date 2026-10-17
notes Displayed presentation: maximum check weight 8, maximum qubit degree 12, 462 checks and total incidence 3696.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[780,318,6]] - CSS sparse stabilizer code

Direction & hypothesis

Study sparse finite instances of the construction below and their dimension–distance tradeoff.

What was searched

G=S3 x C13, GroupNames78,3. Reconstruct the first literal permutation generating set on39 points from https://people.maths.bris.ac.uk/~matyd/GroupNames/73/S3xC13.html (source SHA256 680d5f4ffd46681063d209bc2fa8538d254c6b8f6015b3559f4c95433986f453). One-based cycle generators are [[[1,2,3,4,5,6,7,8,9,10,11,12,13],[14,15,16,17,18,19,20,21,22,23,24,25,26],[27,28,29,30,31,32,33,34,35,36,37,38,39]],[[1,39,15],[2,27,16],[3,28,17],[4,29,18],[5,30,19],[6,31,20],[7,32,21],[8,33,22],[9,34,23],[10,35,24],[11,36,25],[12,37,26],[13,38,14]],[[14,38],[15,39],[16,27],[17,28],[18,29],[19,30],[20,31],[21,32],[22,33],[23,34],[24,35],[25,36],[26,37]]]. Convert to permutations, close from identity by appending products x*g in listed generator order, and index in first-discovery order; composition (x*g)[i]=x[g[i]]. L_g[t,u]=1 iff u=g*t; R_h[t,u]=1 iff u=t*h. A=[I+L6,I+L26,I+L33]; B=[I+R12,I+R38,I+R45], binary sums. Nine VV(k,j) blocks index3*k+j precede oneCC block, each size78. X(j) has A(k) onVV(k,j) and B(j) onCC. Z(k) has B(j)^T onVV(k,j) and A(k)^T onCC. Keep first independent original rows,231 per sector.

The displayed presentation has maximum check weight 8, maximum qubit degree 12, 462 checks and total incidence 3696.

Evidence trail

The JSON contains weight-6 logical witnesses. Distance confidence: X: upper_bound, Z: upper_bound.

Tools

Recorded workflow configuration: GPT-6 Astra + GPT-6.1 Sol. Official tooling: verify/qldpc_verify.py.

Reproduction

Read codes/780-318-6.json. Allocate zero binary matrices H_X and H_Z with 780 columns. For each row list in checks.X or checks.Z, set the listed zero-based columns to 1, preserving row order. This reconstructs the displayed presentation exactly.

Construction references:

  • https://arxiv.org/abs/2111.03654
  • https://arxiv.org/abs/2607.28795

Local validation: the official verify/validate_candidate.py passed, including independent-seed distance refutation.

Parity checks

X-checks 231 (max weight 8) · Z-checks 231 (max weight 8)
H_X (231 checks, sparse supports)
[0, 6, 234, 260, 468, 501, 702, 714] [1, 12, 235, 266, 469, 507, 703, 720] [2, 15, 236, 252, 470, 500, 704, 722] [1, 3, 237, 251, 471, 499, 705, 706] [4, 18, 238, 272, 472, 513, 706, 726] [5, 21, 239, 258, 473, 506, 707, 728] [4, 6, 240, 257, 474, 505, 708, 712] [7, 14, 241, 261, 475, 492, 709, 723] [8, 13, 242, 244, 476, 491, 710, 713] [5, 9, 243, 259, 477, 484, 711, 721] [10, 24, 244, 278, 478, 519, 712, 732] [11, 27, 245, 264, 479, 512, 713, 734] [10, 12, 246, 263, 480, 511, 714, 718] [13, 20, 247, 267, 481, 498, 715, 729] [14, 19, 248, 250, 482, 497, 716, 719] [11, 15, 249, 265, 483, 490, 717, 727] [16, 30, 250, 284, 484, 525, 718, 738] [17, 33, 251, 270, 485, 518, 719, 740] [16, 18, 252, 269, 486, 517, 720, 724] [19, 26, 253, 273, 487, 504, 721, 735] [20, 25, 254, 256, 488, 503, 722, 725] [17, 21, 255, 271, 489, 496, 723, 733] [22, 36, 256, 290, 490, 531, 724, 744] [23, 39, 257, 276, 491, 524, 725, 746] [22, 24, 258, 275, 492, 523, 726, 730] [25, 32, 259, 279, 493, 510, 727, 741] [26, 31, 260, 262, 494, 509, 728, 731] [23, 27, 261, 277, 495, 502, 729, 739] [28, 42, 262, 296, 496, 537, 730, 750] [29, 45, 263, 282, 497, 530, 731, 752] [28, 30, 264, 281, 498, 529, 732, 736] [31, 38, 265, 285, 499, 516, 733, 747] [32, 37, 266, 268, 500, 515, 734, 737] [29, 33, 267, 283, 501, 508, 735, 745] [34, 48, 268, 302, 502, 542, 736, 756] [35, 51, 269, 288, 503, 536, 737, 758] [34, 36, 270, 287, 504, 535, 738, 742] [37, 44, 271, 291, 505, 522, 739, 753] [38, 43, 272, 274, 506, 521, 740, 743] [35, 39, 273, 289, 507, 514, 741, 751] [40, 54, 274, 307, 508, 545, 742, 762] [41, 57, 275, 294, 509, 541, 743, 764] [40, 42, 276, 293, 510, 540, 744, 748] [43, 50, 277, 297, 511, 528, 745, 759] [44, 49, 278, 280, 512, 527, 746, 749] [41, 45, 279, 295, 513, 520, 747, 757] [46, 60, 280, 310, 477, 514, 748, 768] [47, 63, 281, 300, 515, 544, 749, 770] [46, 48, 282, 299, 516, 543, 750, 754] [49, 56, 283, 303, 517, 534, 751, 765] [50, 55, 284, 286, 518, 533, 752, 755] [47, 51, 285, 301, 519, 526, 753, 763] [52, 66, 242, 286, 483, 520, 754, 773] [53, 69, 287, 305, 476, 521, 755, 775] [52, 54, 288, 304, 475, 522, 756, 760] [55, 62, 289, 308, 523, 539, 757, 771] [56, 61, 290, 292, 524, 538, 758, 761] [53, 57, 291, 306, 525, 532, 759, 769] [58, 71, 248, 292, 489, 526, 705, 760] [59, 74, 237, 293, 482, 527, 761, 778] [58, 60, 236, 294, 481, 528, 762, 766] [61, 68, 295, 311, 471, 529, 763, 776] [62, 67, 296, 298, 470, 530, 764, 767] [59, 63, 297, 309, 468, 531, 765, 774] [3, 64, 254, 298, 495, 532, 708, 766] [65, 77, 240, 299, 488, 533, 710, 767] [64, 66, 239, 300, 487, 534, 702, 768] [67, 73, 243, 301, 474, 535, 769, 779] [68, 72, 234, 302, 473, 536, 770, 772] [65, 69, 241, 303, 469, 537, 771, 777] [9, 70, 246, 304, 494, 538, 716, 772] [0, 71, 245, 305, 493, 539, 703, 773] [72, 76, 249, 306, 480, 540, 711, 774] [73, 75, 235, 307, 479, 541, 704, 775] [70, 74, 247, 308, 472, 542, 709, 776] [8, 75, 255, 309, 486, 543, 717, 777] [7, 76, 238, 310, 485, 544, 707, 778] [78, 84, 312, 338, 546, 579, 702, 740] [79, 90, 313, 344, 547, 585, 703, 746] [80, 93, 314, 330, 548, 578, 704, 741] [79, 81, 315, 329, 549, 577, 705, 739] [82, 96, 316, 350, 550, 591, 706, 752] [83, 99, 317, 336, 551, 584, 707, 747] [82, 84, 318, 335, 552, 583, 708, 745] [85, 92, 319, 339, 553, 570, 709, 732] [86, 91, 320, 322, 554, 569, 710, 724] [83, 87, 321, 337, 555, 562, 711, 731] [88, 102, 322, 356, 556, 597, 712, 758] [89, 105, 323, 342, 557, 590, 713, 753] [88, 90, 324, 341, 558, 589, 714, 751] [91, 98, 325, 345, 559, 576, 715, 738] [92, 97, 326, 328, 560, 575, 716, 730] [89, 93, 327, 343, 561, 568, 717, 737] [94, 108, 328, 362, 562, 603, 718, 764] [95, 111, 329, 348, 563, 596, 719, 759] [94, 96, 330, 347, 564, 595, 720, 757] [97, 104, 331, 351, 565, 582, 721, 744] [98, 103, 332, 334, 566, 581, 722, 736] [95, 99, 333, 349, 567, 574, 723, 743] [100, 114, 334, 368, 568, 609, 724, 770] [101, 117, 335, 354, 569, 602, 725, 765] [100, 102, 336, 353, 570, 601, 726, 763] [103, 110, 337, 357, 571, 588, 727, 750] [104, 109, 338, 340, 572, 587, 728, 742] [101, 105, 339, 355, 573, 580, 729, 749] [106, 120, 340, 374, 574, 615, 730, 775] [107, 123, 341, 360, 575, 608, 731, 771] [106, 108, 342, 359, 576, 607, 732, 769] [109, 116, 343, 363, 577, 594, 733, 756] [110, 115, 344, 346, 578, 593, 734, 748] [107, 111, 345, 361, 579, 586, 735, 755] [112, 126, 346, 380, 580, 620, 736, 778] [113, 129, 347, 366, 581, 614, 737, 776] [112, 114, 348, 365, 582, 613, 738, 774] [115, 122, 349, 369, 583, 600, 739, 762] [116, 121, 350, 352, 584, 599, 740, 754] [113, 117, 351, 367, 585, 592, 741, 761] [118, 132, 352, 385, 586, 623, 710, 742] [119, 135, 353, 372, 587, 619, 743, 779] [118, 120, 354, 371, 588, 618, 744, 777] [121, 128, 355, 375, 589, 606, 745, 768] [122, 127, 356, 358, 590, 605, 746, 760] [119, 123, 357, 373, 591, 598, 747, 767] [124, 138, 358, 388, 555, 592, 716, 748] [125, 141, 359, 378, 593, 622, 711, 749] [124, 126, 360, 377, 594, 621, 709, 750] [127, 134, 361, 381, 595, 612, 751, 773] [128, 133, 362, 364, 596, 611, 752, 766] [125, 129, 363, 379, 597, 604, 753, 772] [130, 144, 320, 364, 561, 598, 722, 754] [131, 147, 365, 383, 554, 599, 717, 755] [130, 132, 366, 382, 553, 600, 715, 756] [133, 140, 367, 386, 601, 617, 705, 757] [134, 139, 368, 370, 602, 616, 702, 758] [131, 135, 369, 384, 603, 610, 704, 759] [136, 149, 326, 370, 567, 604, 728, 760] [137, 152, 315, 371, 560, 605, 723, 761] [136, 138, 314, 372, 559, 606, 721, 762] [139, 146, 373, 389, 549, 607, 708, 763] [140, 145, 374, 376, 548, 608, 703, 764] [137, 141, 375, 387, 546, 609, 707, 765] [81, 142, 332, 376, 573, 610, 734, 766] [143, 155, 318, 377, 566, 611, 729, 767] [142, 144, 317, 378, 565, 612, 727, 768] [145, 151, 321, 379, 552, 613, 714, 769] [146, 150, 312, 380, 551, 614, 706, 770] [143, 147, 319, 381, 547, 615, 713, 771] [87, 148, 324, 382, 572, 616, 735, 772] [78, 149, 323, 383, 571, 617, 733, 773] [150, 154, 327, 384, 558, 618, 720, 774] [151, 153, 313, 385, 557, 619, 712, 775] [148, 152, 325, 386, 550, 620, 719, 776] [86, 153, 333, 387, 564, 621, 726, 777] [85, 154, 316, 388, 563, 622, 718, 778] [156, 162, 390, 416, 624, 657, 702, 747] [157, 168, 391, 422, 625, 663, 703, 753] [158, 171, 392, 408, 626, 656, 704, 738] [157, 159, 393, 407, 627, 655, 705, 737] [160, 174, 394, 428, 628, 669, 706, 759] [161, 177, 395, 414, 629, 662, 707, 744] [160, 162, 396, 413, 630, 661, 708, 743] [163, 170, 397, 417, 631, 648, 709, 746] [164, 169, 398, 400, 632, 647, 710, 745] [161, 165, 399, 415, 633, 640, 711, 730] [166, 180, 400, 434, 634, 675, 712, 765] [167, 183, 401, 420, 635, 668, 713, 750] [166, 168, 402, 419, 636, 667, 714, 749] [169, 176, 403, 423, 637, 654, 715, 752] [170, 175, 404, 406, 638, 653, 716, 751] [167, 171, 405, 421, 639, 646, 717, 736] [172, 186, 406, 440, 640, 681, 718, 771] [173, 189, 407, 426, 641, 674, 719, 756] [172, 174, 408, 425, 642, 673, 720, 755] [175, 182, 409, 429, 643, 660, 721, 758] [176, 181, 410, 412, 644, 659, 722, 757] [173, 177, 411, 427, 645, 652, 723, 742] [178, 192, 412, 446, 646, 687, 724, 776] [179, 195, 413, 432, 647, 680, 725, 762] [178, 180, 414, 431, 648, 679, 726, 761] [181, 188, 415, 435, 649, 666, 727, 764] [182, 187, 416, 418, 650, 665, 728, 763] [179, 183, 417, 433, 651, 658, 729, 748] [184, 198, 418, 452, 652, 693, 730, 779] [185, 201, 419, 438, 653, 686, 731, 768] [184, 186, 420, 437, 654, 685, 732, 767] [187, 194, 421, 441, 655, 672, 733, 770] [188, 193, 422, 424, 656, 671, 734, 769] [185, 189, 423, 439, 657, 664, 735, 754] [190, 204, 424, 458, 658, 698, 711, 736] [191, 207, 425, 444, 659, 692, 737, 773] [190, 192, 426, 443, 660, 691, 738, 772] [193, 200, 427, 447, 661, 678, 739, 775] [194, 199, 428, 430, 662, 677, 740, 774] [191, 195, 429, 445, 663, 670, 741, 760] [196, 210, 430, 463, 664, 701, 717, 742] [197, 213, 431, 450, 665, 697, 705, 743] [196, 198, 432, 449, 666, 696, 704, 744] [199, 206, 433, 453, 667, 684, 745, 778] [200, 205, 434, 436, 668, 683, 746, 777] [197, 201, 435, 451, 669, 676, 747, 766] [202, 216, 436, 466, 633, 670, 723, 748] [203, 219, 437, 456, 671, 700, 708, 749] [202, 204, 438, 455, 672, 699, 707, 750] [205, 212, 439, 459, 673, 690, 710, 751] [206, 211, 440, 442, 674, 689, 709, 752] [203, 207, 441, 457, 675, 682, 702, 753] [208, 222, 398, 442, 639, 676, 729, 754] [209, 225, 443, 461, 632, 677, 714, 755] [208, 210, 444, 460, 631, 678, 713, 756] [211, 218, 445, 464, 679, 695, 716, 757] [212, 217, 446, 448, 680, 694, 715, 758] [209, 213, 447, 462, 681, 688, 703, 759] [214, 227, 404, 448, 645, 682, 735, 760] [215, 230, 393, 449, 638, 683, 720, 761] [214, 216, 392, 450, 637, 684, 719, 762] [217, 224, 451, 467, 627, 685, 722, 763] [218, 223, 452, 454, 626, 686, 721, 764] [215, 219, 453, 465, 624, 687, 706, 765] [159, 220, 410, 454, 651, 688, 741, 766] [221, 233, 396, 455, 644, 689, 726, 767] [220, 222, 395, 456, 643, 690, 725, 768] [223, 229, 399, 457, 630, 691, 728, 769] [224, 228, 390, 458, 629, 692, 727, 770] [221, 225, 397, 459, 625, 693, 712, 771] [165, 226, 402, 460, 650, 694, 732, 772] [156, 227, 401, 461, 649, 695, 731, 773] [228, 232, 405, 462, 636, 696, 734, 774] [229, 231, 391, 463, 635, 697, 733, 775] [226, 230, 403, 464, 628, 698, 718, 776] [164, 231, 411, 465, 642, 699, 740, 777] [163, 232, 394, 466, 641, 700, 739, 778]
H_Z (231 checks, sparse supports)
[0, 66, 78, 134, 156, 207, 702, 773] [1, 71, 79, 140, 157, 213, 703, 705] [2, 73, 80, 135, 158, 198, 704, 779] [3, 58, 81, 133, 159, 197, 705, 766] [3, 4, 82, 146, 160, 219, 706, 708] [5, 76, 83, 141, 161, 204, 707, 711] [6, 64, 84, 139, 162, 203, 702, 708] [7, 74, 85, 126, 163, 206, 709, 778] [8, 65, 86, 118, 164, 205, 710, 777] [9, 72, 87, 125, 165, 190, 711, 772] [6, 10, 88, 151, 166, 225, 712, 714] [8, 11, 89, 147, 167, 210, 713, 717] [0, 12, 90, 145, 168, 209, 703, 714] [13, 77, 91, 132, 169, 212, 710, 715] [14, 70, 92, 124, 170, 211, 709, 716] [15, 75, 93, 131, 171, 196, 704, 717] [12, 16, 94, 154, 172, 230, 718, 720] [14, 17, 95, 152, 173, 216, 719, 723] [1, 18, 96, 150, 174, 215, 706, 720] [9, 19, 97, 138, 175, 218, 716, 721] [2, 20, 98, 130, 176, 217, 715, 722] [7, 21, 99, 137, 177, 202, 707, 723] [18, 22, 86, 100, 178, 233, 724, 726] [20, 23, 101, 155, 179, 222, 725, 729] [4, 24, 102, 153, 180, 221, 712, 726] [15, 25, 103, 144, 181, 224, 722, 727] [5, 26, 104, 136, 182, 223, 721, 728] [13, 27, 105, 143, 183, 208, 713, 729] [24, 28, 92, 106, 165, 184, 730, 732] [26, 29, 87, 107, 185, 227, 731, 735] [10, 30, 85, 108, 186, 226, 718, 732] [21, 31, 109, 149, 187, 229, 728, 733] [11, 32, 110, 142, 188, 228, 727, 734] [19, 33, 111, 148, 189, 214, 719, 735] [30, 34, 98, 112, 171, 190, 736, 738] [32, 35, 93, 113, 159, 191, 737, 741] [16, 36, 91, 114, 158, 192, 724, 738] [27, 37, 81, 115, 193, 232, 734, 739] [17, 38, 78, 116, 194, 231, 733, 740] [25, 39, 80, 117, 195, 220, 725, 741] [36, 40, 104, 118, 177, 196, 742, 744] [38, 41, 99, 119, 162, 197, 743, 747] [22, 42, 97, 120, 161, 198, 730, 744] [33, 43, 84, 121, 164, 199, 740, 745] [23, 44, 79, 122, 163, 200, 739, 746] [31, 45, 83, 123, 156, 201, 731, 747] [42, 46, 110, 124, 183, 202, 748, 750] [44, 47, 105, 125, 168, 203, 749, 753] [28, 48, 103, 126, 167, 204, 736, 750] [39, 49, 90, 127, 170, 205, 746, 751] [29, 50, 82, 128, 169, 206, 745, 752] [37, 51, 89, 129, 157, 207, 737, 753] [48, 52, 116, 130, 189, 208, 754, 756] [50, 53, 111, 131, 174, 209, 755, 759] [34, 54, 109, 132, 173, 210, 742, 756] [45, 55, 96, 133, 176, 211, 752, 757] [35, 56, 88, 134, 175, 212, 751, 758] [43, 57, 95, 135, 160, 213, 743, 759] [54, 58, 122, 136, 195, 214, 760, 762] [56, 59, 117, 137, 180, 215, 761, 765] [40, 60, 115, 138, 179, 216, 748, 762] [51, 61, 102, 139, 182, 217, 758, 763] [41, 62, 94, 140, 181, 218, 757, 764] [49, 63, 101, 141, 166, 219, 749, 765] [60, 64, 128, 142, 201, 220, 766, 768] [62, 65, 123, 143, 186, 221, 767, 771] [46, 66, 121, 144, 185, 222, 754, 768] [57, 67, 108, 145, 188, 223, 764, 769] [47, 68, 100, 146, 187, 224, 763, 770] [55, 69, 107, 147, 172, 225, 755, 771] [68, 70, 129, 148, 192, 226, 772, 776] [52, 71, 127, 149, 191, 227, 760, 773] [63, 72, 114, 150, 194, 228, 770, 774] [53, 73, 106, 151, 193, 229, 769, 775] [61, 74, 113, 152, 178, 230, 761, 776] [69, 75, 120, 153, 200, 231, 775, 777] [59, 76, 112, 154, 199, 232, 774, 778] [234, 300, 312, 368, 390, 441, 702, 770] [235, 305, 313, 374, 391, 447, 703, 775] [236, 307, 314, 369, 392, 432, 704, 762] [237, 292, 315, 367, 393, 431, 705, 761] [237, 238, 316, 380, 394, 453, 706, 778] [239, 310, 317, 375, 395, 438, 707, 768] [240, 298, 318, 373, 396, 437, 708, 767] [241, 308, 319, 360, 397, 440, 709, 771] [242, 299, 320, 352, 398, 439, 710, 754] [243, 306, 321, 359, 399, 424, 711, 769] [240, 244, 322, 385, 400, 459, 710, 712] [242, 245, 323, 381, 401, 444, 713, 773] [234, 246, 324, 379, 402, 443, 714, 772] [247, 311, 325, 366, 403, 446, 715, 776] [248, 304, 326, 358, 404, 445, 716, 760] [249, 309, 327, 365, 405, 430, 717, 774] [246, 250, 328, 388, 406, 464, 716, 718] [248, 251, 329, 386, 407, 450, 705, 719] [235, 252, 330, 384, 408, 449, 704, 720] [243, 253, 331, 372, 409, 452, 721, 779] [236, 254, 332, 364, 410, 451, 722, 766] [241, 255, 333, 371, 411, 436, 723, 777] [252, 256, 320, 334, 412, 467, 722, 724] [254, 257, 335, 389, 413, 456, 708, 725] [238, 258, 336, 387, 414, 455, 707, 726] [249, 259, 337, 378, 415, 458, 711, 727] [239, 260, 338, 370, 416, 457, 702, 728] [247, 261, 339, 377, 417, 442, 709, 729] [258, 262, 326, 340, 399, 418, 728, 730] [260, 263, 321, 341, 419, 461, 714, 731] [244, 264, 319, 342, 420, 460, 713, 732] [255, 265, 343, 383, 421, 463, 717, 733] [245, 266, 344, 376, 422, 462, 703, 734] [253, 267, 345, 382, 423, 448, 715, 735] [264, 268, 332, 346, 405, 424, 734, 736] [266, 269, 327, 347, 393, 425, 720, 737] [250, 270, 325, 348, 392, 426, 719, 738] [261, 271, 315, 349, 427, 466, 723, 739] [251, 272, 312, 350, 428, 465, 706, 740] [259, 273, 314, 351, 429, 454, 721, 741] [270, 274, 338, 352, 411, 430, 740, 742] [272, 275, 333, 353, 396, 431, 726, 743] [256, 276, 331, 354, 395, 432, 725, 744] [267, 277, 318, 355, 398, 433, 729, 745] [257, 278, 313, 356, 397, 434, 712, 746] [265, 279, 317, 357, 390, 435, 727, 747] [276, 280, 344, 358, 417, 436, 746, 748] [278, 281, 339, 359, 402, 437, 732, 749] [262, 282, 337, 360, 401, 438, 731, 750] [273, 283, 324, 361, 404, 439, 735, 751] [263, 284, 316, 362, 403, 440, 718, 752] [271, 285, 323, 363, 391, 441, 733, 753] [282, 286, 350, 364, 423, 442, 752, 754] [284, 287, 345, 365, 408, 443, 738, 755] [268, 288, 343, 366, 407, 444, 737, 756] [279, 289, 330, 367, 410, 445, 741, 757] [269, 290, 322, 368, 409, 446, 724, 758] [277, 291, 329, 369, 394, 447, 739, 759] [288, 292, 356, 370, 429, 448, 758, 760] [290, 293, 351, 371, 414, 449, 744, 761] [274, 294, 349, 372, 413, 450, 743, 762] [285, 295, 336, 373, 416, 451, 747, 763] [275, 296, 328, 374, 415, 452, 730, 764] [283, 297, 335, 375, 400, 453, 745, 765] [294, 298, 362, 376, 435, 454, 764, 766] [296, 299, 357, 377, 420, 455, 750, 767] [280, 300, 355, 378, 419, 456, 749, 768] [291, 301, 342, 379, 422, 457, 753, 769] [281, 302, 334, 380, 421, 458, 736, 770] [289, 303, 341, 381, 406, 459, 751, 771] [302, 304, 363, 382, 426, 460, 756, 772] [286, 305, 361, 383, 425, 461, 755, 773] [297, 306, 348, 384, 428, 462, 759, 774] [287, 307, 340, 385, 427, 463, 742, 775] [295, 308, 347, 386, 412, 464, 757, 776] [303, 309, 354, 387, 434, 465, 765, 777] [293, 310, 346, 388, 433, 466, 748, 778] [468, 534, 546, 602, 624, 675, 702, 765] [469, 539, 547, 608, 625, 681, 703, 771] [470, 541, 548, 603, 626, 666, 704, 764] [471, 526, 549, 601, 627, 665, 705, 763] [471, 472, 550, 614, 628, 687, 706, 776] [473, 544, 551, 609, 629, 672, 707, 770] [474, 532, 552, 607, 630, 671, 708, 769] [475, 542, 553, 594, 631, 674, 709, 756] [476, 533, 554, 586, 632, 673, 710, 755] [477, 540, 555, 593, 633, 658, 711, 748] [474, 478, 556, 619, 634, 693, 712, 779] [476, 479, 557, 615, 635, 678, 713, 775] [468, 480, 558, 613, 636, 677, 714, 774] [481, 545, 559, 600, 637, 680, 715, 762] [482, 538, 560, 592, 638, 679, 716, 761] [483, 543, 561, 599, 639, 664, 717, 754] [480, 484, 562, 622, 640, 698, 711, 718] [482, 485, 563, 620, 641, 684, 719, 778] [469, 486, 564, 618, 642, 683, 720, 777] [477, 487, 565, 606, 643, 686, 721, 768] [470, 488, 566, 598, 644, 685, 722, 767] [475, 489, 567, 605, 645, 670, 723, 760] [486, 490, 554, 568, 646, 701, 717, 724] [488, 491, 569, 623, 647, 690, 710, 725] [472, 492, 570, 621, 648, 689, 709, 726] [483, 493, 571, 612, 649, 692, 727, 773] [473, 494, 572, 604, 650, 691, 728, 772] [481, 495, 573, 611, 651, 676, 729, 766] [492, 496, 560, 574, 633, 652, 723, 730] [494, 497, 555, 575, 653, 695, 716, 731] [478, 498, 553, 576, 654, 694, 715, 732] [489, 499, 577, 617, 655, 697, 705, 733] [479, 500, 578, 610, 656, 696, 704, 734] [487, 501, 579, 616, 657, 682, 702, 735] [498, 502, 566, 580, 639, 658, 729, 736] [500, 503, 561, 581, 627, 659, 722, 737] [484, 504, 559, 582, 626, 660, 721, 738] [495, 505, 549, 583, 661, 700, 708, 739] [485, 506, 546, 584, 662, 699, 707, 740] [493, 507, 548, 585, 663, 688, 703, 741] [504, 508, 572, 586, 645, 664, 735, 742] [506, 509, 567, 587, 630, 665, 728, 743] [490, 510, 565, 588, 629, 666, 727, 744] [501, 511, 552, 589, 632, 667, 714, 745] [491, 512, 547, 590, 631, 668, 713, 746] [499, 513, 551, 591, 624, 669, 706, 747] [510, 514, 578, 592, 651, 670, 741, 748] [512, 515, 573, 593, 636, 671, 734, 749] [496, 516, 571, 594, 635, 672, 733, 750] [507, 517, 558, 595, 638, 673, 720, 751] [497, 518, 550, 596, 637, 674, 719, 752] [505, 519, 557, 597, 625, 675, 712, 753] [516, 520, 584, 598, 657, 676, 747, 754] [518, 521, 579, 599, 642, 677, 740, 755] [502, 522, 577, 600, 641, 678, 739, 756] [513, 523, 564, 601, 644, 679, 726, 757] [503, 524, 556, 602, 643, 680, 725, 758] [511, 525, 563, 603, 628, 681, 718, 759] [522, 526, 590, 604, 663, 682, 753, 760] [524, 527, 585, 605, 648, 683, 746, 761] [508, 528, 583, 606, 647, 684, 745, 762] [519, 529, 570, 607, 650, 685, 732, 763] [509, 530, 562, 608, 649, 686, 731, 764] [517, 531, 569, 609, 634, 687, 724, 765] [528, 532, 596, 610, 669, 688, 759, 766] [530, 533, 591, 611, 654, 689, 752, 767] [514, 534, 589, 612, 653, 690, 751, 768] [525, 535, 576, 613, 656, 691, 738, 769] [515, 536, 568, 614, 655, 692, 737, 770] [523, 537, 575, 615, 640, 693, 730, 771] [536, 538, 597, 616, 660, 694, 758, 772] [520, 539, 595, 617, 659, 695, 757, 773] [531, 540, 582, 618, 662, 696, 744, 774] [521, 541, 574, 619, 661, 697, 743, 775] [529, 542, 581, 620, 646, 698, 736, 776] [537, 543, 588, 621, 668, 699, 750, 777] [527, 544, 580, 622, 667, 700, 749, 778]
Code ID 780-318-6 · download JSON · raw on GitHub