← back to the board
[[830,146,8]] d ≤
n
830
k
146
d
8
kd²/n
11.258
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 8 · witness weight 8 (claimed upper_bound)
witness found by @dorakingx · gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly · found at 2×104 trials · survived 2×107 trials · 2026-10-13
witness operator (support, 8 qubits)
[3, 8, 9, 34, 79, 200, 248, 343]
d_Z 8 · witness weight 8 (claimed upper_bound)
witness found by @dorakingx · gf2_fast RIS in the packaging search; the ladder searched both sides jointly · found at 4000 trials · survived 2×107 trials · 2026-10-13
witness operator (support, 8 qubits)
[154, 269, 452, 454, 574, 729, 804, 818]
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 4–6 (mean 5.764) · H_Z 4–6 (mean 4.171)
qubit degrees H_X 2 · H_Z 2
trapping sets H_X (1,2)×830 (2,2)×3986 (3,2)×19148 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 830 (2,2): 3986 (3,2): 19148 (3,4): 5104
trapping sets H_Z (1,2)×830 (2,2)×2694 (3,2)×8730 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 830 (2,2): 2694 (3,2): 8730 (3,4): 2136

Construction & provenance

authors @dorakingx
provenance submitted through the challenge
novelty novelty not audited
construction Reduction of the board's codes/864-146-8.json ([[864,146,8]]) by 34 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 4: 3. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 8, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/864-146-8.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]... (full list implied by the coordinates in this file).
model Claude Claude Opus 5 (Claude Code) (claimed, not verified)
builds on arXiv:2504.08887
date 2026-10-13
notes Derived from codes/864-146-8.json, not an independent construction; the source's authors are @MathysRennela and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[864,146,8]] on (n, k, d, w), which therefore leaves the frontier of every cell the two share. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.
family topological (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

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

[[830,146,8]] — reduction of the board's [[864,146,8]]

Where the qubits came from

codes/864-146-8.json is @MathysRennela's construction; this is a reduction of it, following the precedent @mathysrennela set on this board of submitting a reduction of someone else's entry as a contribution in its own right. 34 qubits come out under the general form of the move below, and the accepted grafts were |S| = 4 three times, plus 31 qubits removed by the round-end cleanup.

The move

Let S be any element of the row space of H_X — an element of the stabilizer group, not necessarily one of the published generators — with support T, and let a ∈ T.

1. Replace one generator of the subset summing to S by S itself. The span is unchanged: that generator equals S plus the rest of the subset. 2. Add S into every other X row meeting a, so a survives only in S. 3. Apply the CNOT fan-out from a to T \ {a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b].

After step 2 only S meets a, so step 3 turns S into the weight-1 stabilizer X_a and leaves every other X row alone; and column a of H_Z becomes the XOR of its entries over T, which commutation forces to be 0. Qubit a is disentangled and is deleted: n → n-1, k unchanged, and the Z rows only lose an index, so their weights and support diameters cannot rise.

The weight of S selects the regime, entirely through the clearing step R ^= S:

  • |S| = 1 — nothing is added anywhere, so weight, radius and distance are all

    • preserved exactly and no distance search is needed. This is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4); research/local2d/boundary_engine.py fires only on a *literal* weight-1 generator ROW, and row-space membership is strictly weaker.

  • |S| = 2 — the row loses a and toggles one other index, so its weight changes by 0

    • or −2 and can never rise.

  • |S| ≥ 3 — the row can grow, so every touched row is checked against the code's weight

    • class and its locality radius, measured in the source's own layout.

Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern.

Verification

Fresh-seed RIS ladder: 8 at 20k → 200k → 1M → 5M → 20M trials per rung, independent seeds, both sides searched jointly. Nothing lighter than 8 appeared. Each graft was also screened and confirmed twice in the loop with independent seeds; those rungs are a filter, not the evidence. The distance is a witness-backed upper bound — on this project a [[682,10,38]] candidate survived three fresh seeds to five million trials and then fell at twenty million, so a flat ladder is not a proof.

verify/validate_candidate.py passes: board_advancing: true, dominated_by: [], no duplicate and no WL-equivalent entry, cell weight-6 × unrestricted.

Numbers

Max check weight 6 throughout. Interaction radius unchanged at 0, so the reduced code is no less local than the source; layers unchanged. Qubit positions are the source's — every surviving qubit keeps the coordinate it has in codes/864-146-8.json, and the reduction only deletes. kd²/n 10.815 → 11.258.

It dominates 864-146-8 on (n, k, d, w).

Parity checks

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