← back to the board
[[922,18,31]] d ≤
n
922
k
18
d
31
kd²/n
18.761
w
8
X/Z
1
g
0.0579
r
4.2426
layers
2
swaps
3192

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 31, d_Z ≤ 31 · 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 31 · witness weight 31 (claimed upper_bound)
witness found by @dorakingx · gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly · found at 2×107 trials · survived 2×107 trials · 2026-09-17
witness operator (support, 31 qubits)
[30, 42, 341, 364, 383, 408, 425, 427, 448, 450, 470, 481, 482, 497, 526, 543, 560, 589, 606, 626, 629, 632, 652, 675, 692, 718, 737, 757, 760, 803, 823]
d_Z 31 · witness weight 31 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-25
witness operator (support, 31 qubits)
[109, 172, 192, 212, 218, 232, 235, 252, 258, 264, 275, 281, 287, 312, 315, 318, 321, 324, 327, 330, 332, 353, 661, 686, 711, 729, 750, 752, 773, 794, 815]
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 4 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 2–8 (mean 7.042) · H_Z 2–8 (mean 7.027)
qubit degrees H_X 1–6 (mean 3.613) · H_Z 1–4 (mean 3.43)
trapping sets H_X (1,1)×62 (2,0)×3 (3,0)×54 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 62 (1,2): 115 (1,3): 69 (1,4): 563 (1,5): 98 (1,6): 15 (2,0): 3 (2,1): 146 (2,2): 186 (2,3): 497 (2,4): 861 (2,5): 715 (2,6): 6580 (2,7): 863 (2,8): 406 (2,9): 180 (2,10): 13 (3,0): 54 (3,1): 181 (3,2): 611 (3,3): 2254 (3,4): 3784 (3,5): 7984 (3,6): 17661 (3,7): 14263 (3,8): 106914 (3,9): 16404 (3,10): 18916 (3,11): 4970 (3,12): 2814 (3,13): 605 (3,14): 63
trapping sets H_Z (1,1)×66 (2,0)×19 (3,0)×19 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 66 (1,2): 131 (1,3): 66 (1,4): 659 (2,0): 19 (2,1): 142 (2,2): 282 (2,3): 466 (2,4): 940 (2,5): 738 (2,6): 7667 (3,0): 19 (3,1): 261 (3,2): 855 (3,3): 2116 (3,4): 4460 (3,5): 8357 (3,6): 20026 (3,7): 13995 (3,8): 126567 (3,9): 1217 (3,10): 13894
witness diameter X 23.3238 · Z 23.7065 (Euclidean support diameter of the stored distance witnesses in the layout; an upper bound on the exhibited logicals’ spread, not a minimum over all logicals)

Verified 2D layout

as measured by the verifier: every check drawn over the submitted coordinates; the interaction radius is the longest dashed pair
r = 4.243
X checkZ checkqubit site (462)2 qubits stacked (2 layers)dashed: the pair setting the interaction radiushover a check to isolate its qubits; click to pin — repeated clicks cycle through overlapping checks; click empty space to release
routing cost 3192 nearest-neighbor SWAPs per round in total, at most 5 for one check (heuristic: MST lower bound on the layout, with one lattice step = the minimum qubit spacing 1; not a rank)

Construction & provenance

authors @dorakingx
provenance submitted through the challenge
novelty novelty not audited
construction Reduction of the board's codes/924-18-31.json ([[924,18,31]]) by 2 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| = 7: 1, |S| = 8: 1. 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 31, 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/924-18-31.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-09-17
notes Derived from codes/924-18-31.json, not an independent construction; the source's authors are @e-eight and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[924,18,31]] on (n, k, d, w), which therefore leaves the frontier of every cell the two share. The measured interaction radius is unchanged at 4.24264, so the reduced code is no less local than the source. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.
family tile (a tag, not a ranking)
locality 2D-local bilayer (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

[[922,18,31]]: distance revision of the board's [[922,18,31]] entry

Revision history

The entry keeps its parameters [[922,18,31]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4102) exhibits a weight-31 Z logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 31 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 31 | 36 | 36 | 300,000,000 | | Z | 4101 | 32 | 32 | 32 | 300,000,000 | | X | 4102 | 31 | 36 | 36 | 300,000,000 | | Z | 4102 | 32 | 31 | 31 | 300,000,000 |

Original note, with the file paths updated

[[922,18,31]] — reduction of the board's [[924,18,31]]

Where the qubits came from

codes/924-18-31.json is @e-eight'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. 2 qubits come out under the general form of the move below, and the accepted grafts were |S| = 7 once, |S| = 8 once.

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: 31 at 20k → 200k → 1M → 5M → 20M trials per rung, independent seeds, both sides searched jointly. Nothing lighter than 31 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-8 × local-2d-bilayer.

Numbers

Max check weight 8 throughout. Interaction radius unchanged at 4.24264, 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/924-18-31.json, and the reduction only deletes. kd²/n 18.721 → 18.761.

It dominates 924-18-31 on (n, k, d, w).

Parity checks

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