[[972,166,34]] · QEC Challenge

← back to the board

[[972,166,34]] d ≤

972

166

kd²/n

197.424

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 34, d_Z ≤ 34 · 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 34 · witness weight 34 (claimed upper_bound)

witness found by @jacksongquera · Stern ISD p=2, multithreaded C++ (uncommitted; see the note) · found at 10⁶ trials · survived 7.1×10⁶ trials · 2026-10-24

witness operator (support, 34 qubits)

[22, 36, 47, 60, 66, 110, 128, 169, 177, 202, 236, 313, 315, 319, 349, 360, 361, 365, 372, 374, 387, 451, 477, 520, 578, 615, 653, 691, 711, 822, 857, 892, 901, 926]

d_Z 34 · witness weight 34 (claimed upper_bound)

witness found by @jacksongquera · Stern ISD p=2, multithreaded C++ (uncommitted; see the note) · found at 10⁶ trials · survived 7.1×10⁶ trials · 2026-10-24

witness operator (support, 34 qubits)

[19, 25, 26, 56, 68, 75, 91, 108, 151, 183, 193, 205, 208, 253, 261, 302, 324, 326, 329, 334, 337, 369, 485, 527, 587, 618, 736, 793, 801, 814, 872, 890, 893, 963]

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 6 · H_Z 6 (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 3–4 (mean 3.333) · H_Z 3–4 (mean 3.333)

trapping sets H_X (1,3)×648 (2,4)×3888 (3,5)×31590 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_X

(1,3): 648 (1,4): 324 (2,4): 3888 (2,5): 5832 (2,6): 1620 (3,5): 31590 (3,6): 85536 (3,7): 64962 (3,8): 22356 (3,9): 6804 (3,10): 972

trapping sets H_Z (1,3)×648 (2,4)×3888 (3,5)×31590 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for H_Z

(1,3): 648 (1,4): 324 (2,4): 3888 (2,5): 5832 (2,6): 1620 (3,5): 31590 (3,6): 85536 (3,7): 64962 (3,8): 22356 (3,9): 6804 (3,10): 972

Construction & provenance

authors @jacksongquera

provenance submitted through the challenge

novelty novelty not audited

construction Irregular pair-partition CPM CSS code (the pair-partition commutation rule of Okada-Kasai, arXiv:2607.14091) on PR #4045's irregular 5x12 'pair-complement-2' base template, the same on X and Z: block columns per block row [[4,5,6,7,8,9,10,11],[2,3,6,7,8,9,10,11],[0,1,6,7,8,9,10,11],[0,1,2,3,4,5,10,11],[0,1,2,3,4,5,8,9]], design rate 1/6. A new pairing, found by large-neighbourhood search from PR #4045's pairing: its square complex (rows, columns, one square per pair) is non-positively curved (every block row's link is triangle-free), it leaves 6 free exponent directions and forces 6 block hexagons per side, the minimum found over about 500 4-cycle-free pairings of this template. Pairing (X-row,Z-row -> column pairs): {"0,2":[[6,8],[7,10],[9,11]],"1,0":[[6,8],[7,10],[9,11]],"1,1":[[2,3],[6,7],[8,9],[10,11]],"1,2":[[6,11],[7,9],[8,10]],"1,3":[[2,10],[3,11]],"2,2":[[0,1],[6,7],[8,9],[10,11]],"2,4":[[0,9],[1,8]],"3,0":[[4,10],[5,11]],"3,2":[[0,10],[1,11]],"3,3":[[0,1],[2,3],[4,5],[10,11]],"3,4":[[0,5],[1,2],[3,4]],"4,0":[[4,9],[5,8]],"4,3":[[0,3],[1,4],[2,5]],"4,4":[[0,1],[2,3],[4,5],[8,9]],"0,0":[[4,5],[6,7],[8,9],[10,11]],"2,0":[[6,11],[7,9],[8,10]],"2,1":[[6,8],[7,10],[9,11]],"0,1":[[6,11],[7,9],[8,10]],"2,3":[[0,10],[1,11]],"4,1":[[2,9],[3,8]],"0,3":[[4,10],[5,11]],"4,2":[[0,9],[1,8]],"1,4":[[2,9],[3,8]],"3,1":[[2,10],[3,11]],"0,4":[[4,9],[5,8]]}. Composite lift P = 81 = 3⁴ with a rank-deficient cocycle class: exponents are an integer cocycle (a Z-basis of the integer solution lattice of the pair-partition equations) reduced mod 81, with the class mod 3 fixed so that H_X and H_Z both lose rank on the Phi_3 component of F_2[x]/(x⁸¹ - 1); this adds 4 logical qubits, k = 2P + 4 = 166 at n = 972. Exploratory quotient searches reported logical weights 6 for Z_9 and 14 for Z_27, with checked periodic lifts of weights 54 and 42. These are reported heuristic upper bounds, not exact quotient distances. Exponents drawn with no block 4-cycle (also none closing after 3 turns) and only the 6 forced block hexagons per side. H[i*P + r, c*P + ((r + s_ic) mod P)] = 1. Lift G = Z_81; block exponents: S_X = [[-, -, -, -, 49, 3, 4, 9, 11, 43, 51, 51], [-, -, 61, 49, -, -, 53, 10, 40, 22, 11, 9], [49, 51, -, -, -, -, 26, 43, 35, 57, 54, 32], [52, 65, 76, 55, 40, 64, -, -, -, -, 39, 28], [41, 77, 12, 75, 67, 65, -, -, 10, 79, -, -]], S_Z = [[-, -, -, -, 1, 36, 75, 80, 62, 13, 0, 0], [-, -, 31, 19, -, -, 26, 64, 35, 17, 75, 73], [21, 23, -, -, -, -, 30, 47, 37, 59, 8, 67], [48, 61, 22, 1, 51, 75, -, -, -, -, 53, 42], [13, 49, 60, 42, 27, 25, -, -, 33, 21, -, -]].

model Claude Opus 5.5 (Claude Code) (claimed, not verified)

builds on arXiv:2607.14091, arXiv:2609.30069, https://github.com/unitaryfoundation/qldpc-challenge/pull/4045

date 2026-10-24

notes Distance is a witness-backed upper bound: d_X <= 34 and d_Z <= 34. Full-length Stern ISD (p = 2 per half) found no pure-X or pure-Z logical of weight <= 32 in 7,127,445 X and 7,126,916 Z iterations across three runs. Pure-X and pure-Z logicals have even weight. The independent round-1 X minimum was 36; its previously known upper bound stayed 34. Four draws were screened with a budget of up to 1,000,001 iterations per side; two stopped on weight-14 X logicals after two iterations, before Z. No cross-run distinct-witness total is claimed. The trusted gate found no exact fingerprint or WL-signature match on the checked board; literature novelty is unverified. See notes/972-166-34.md.

family pair-partition CPM (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

[[972,166,34]] — irregular pair-partition CPM code at the composite lift P = 81, with a rank-deficient cocycle class giving k = 2P + 4

Direction & hypothesis

Cell: CSS, unrestricted, weight 8, extended tier (n <= 1000 with w <= 8 and d <= 40). The comparison entry is codes/996-166-32.json, introduced by @MicheldeMessieres in PR #4045. It uses the pair-partition (PP) method of Okada and Kasai (arXiv:2607.14091) on an irregular 5 x 12 template at P = 83, with n = 12P and k = 2P. Its reported distance gives an upper-bound score kd^2/n = 170.667. The full-row-rank design rate is 1/6; rank deficiency offers a way to increase k at fixed n.

Hypothesis: a composite lift can increase k at fixed n, with distance screened separately. Over F_2, x^81 - 1 has the factor x^2 + x + 1 (Phi_3). If H_X and H_Z both lose rank on that component, each side's F_2 rank drops by 2 and k rises by 4. Whether they do depends only on the exponents mod 3, so it can be designed. The extra logical classes have periodic representatives from the Z_3 quotient, whose weights multiply by 27 when lifted. This does not bound the weights of all representatives of those classes from below. For this code, k = 166 and the reported d <= 34 give the upper-bound score 166 * 34^2 / 972 = 197.424.

Technique (not ours): the PP commutation rule and CPM lift are Okada and Kasai's (arXiv:2607.14091); the design-rate count is from Lee, Okada, Maskara, Kasai and Zhou (arXiv:2609.30069); the 5 x 12 template is the one introduced by @MicheldeMessieres in codes/996-166-32.json (notes/996-166-32.md). Ours: the pairing used here, the integer-lattice exponents, and the rank-deficient class at a composite lift.

What was searched

Pairings: a large-neighbourhood search with exact forced-4-cycle pruning

around the pairing of codes/996-166-32.json found about 500 4-cycle-free pairings of the template. The one used here forces the fewest block hexagons found (6 per side; that entry's pairing forces 12), leaves 6 free exponent directions, and every block row's link is triangle-free (its square complex of rows, columns and one square per pair is nonpositively curved).

Exponents: the integer solution lattice of the paired-difference

equations, from a column Hermite reduction (27 basis vectors: 21 gauge and 6 free), reduced mod 81. Integer solutions satisfy the equations before reduction; a solution found only mod a prime need not satisfy them mod 81.

Rank-deficient classes: coefficient vectors mod 3 were sampled and the

Z_3 quotient code (n = 36) built for each. A sampled class with k = 10 instead of 6, from rank loss on Phi_3 on both sides, was fixed and the higher digits drawn at random.

Filter: no block 4-cycle closes (voltage 0 mod 81, nor 0 mod 27, which

closes after 3 turns), and only the 6 forced block hexagons per side.

Four filtered draws were screened by full-length Stern with a budget

of up to 1,000,001 iterations per side. Draws 0 and 3 completed both sides. Draws 1 and 2 found weight-14 X logicals after two iterations and stopped before the Z screen.

Matched control at small size, on another 4-cycle-free pairing of the

same template at P = 39 (n = 468), 10 draws each and 120k iterations per side: the deficient class (k = 82) read 18 on five draws and 20 on five; an ordinary class (k = 78) read 18 on all ten. This sample showed no reduction in the lightest weights found. The draws' hexagon counts also differed, so this does not isolate the effect of rank deficiency or establish that it preserves true distance.

Evidence trail

Full-length Stern information-set decoding, both sides, each rung a fresh seed:

| rung (seeds X / Z) | X iterations | Z iterations | lightest X | lightest Z | |---|---|---|---|---| | screen (81102433 / 81102434) | 1,000,001 | 1,000,001 | 34 | 34 | | round 1 (8111 / 8112) | 3,048,292 | 3,066,137 | 36 | 34 | | round 2 (8121 / 8122) | 3,079,152 | 3,060,778 | 34 | 34 | | cumulative | 7,127,445 | 7,126,916 | 34 | 34 |

The round-1 X run found 36; the previously known X upper bound stayed 34. Per-run decoder histograms reported one weight-34 Z support in round 1, then four X and two Z in round 2. These counts are not deduplicated across runs. The stored minimum support from each run was checked; the other histogram entries were retained as counts.

No pure-X or pure-Z logical of weight <= 32 was found in those runs. Pure-X and pure-Z logicals have even weight: block rows 0, 1 and 2 of each side sum to the all-ones vector. Restricted searches on block columns 0-7, the degree-3 columns, reported weight 40 on both sides; columns 0-5 reported 48. Exploratory quotient searches reported logical weights 6 for Z_9 (n = 108) and 14 for Z_27 (n = 324), with checked periodic lifts of weights 54 and 42. These are reported heuristic upper bounds, not exact quotient distances or exclusions of lighter folded logicals. Rank H_X = rank H_Z = 403 (two below full), k = 972 - 806 = 166.

Claim: d_X <= 34 and d_Z <= 34, from stored weight-34 logicals. No lower bound of 34 is established. For scale, the same search found weight-32 logicals in codes/996-166-32.json within about 0.6M iterations. This calibration does not exclude a sparse or harder-to-detect layer of lighter logicals in this code. The trusted gate finds no exact fingerprint or WL-signature match on the checked board and labels the point board-advancing. Compared with @MicheldeMessieres's newer public entry codes/996-166-34.json, this code uses 24 fewer physical qubits at the same k = 166, reported d = 34 and w = 8. The scores computed from those distance upper bounds are 197.424 and 192.667. Literature novelty is unverified.

Near misses: draws 1 and 2 of the same class have weight-14 X logicals on block columns 0-5 only (the pairs of the template's omitted-edge triangle), found instantly; a second deficient class read 30 on both of its draws. A restricted search on columns 0-5 exposes the collapse in seconds and should be the first filter at a composite lift.

Dead ends

Non-abelian two-level lifts of the (3,8) cube design: few non-abelian

quotients appeared among those tested for the square complex's fundamental group. Tested covers gained at most 2 cocycle dimensions. At n = 496, 30 twisted and 30 abelian draws read mean 11.6 and 11.5.

A rate-1/7 6 x 14 template from the Fano plane (rows are complements of 6

lines, k = 2P + 6): all 32,768 symmetric natural-plus-cross pairings were enumerated exactly; the best class (6 free directions, 12 forced hexagons per side) read 28 at P = 71.

5 x 12 templates whose base matrix has F_2 dependencies (left-out graph

C4 + K2, k = 2P + 4; three quads, k = 2P + 6): at least 16 and 48 forced hexagons per side; at matched n = 492, C4 + K2 read 16 against 22 for the pairing used here.

Rank loss on large cyclotomic factors: none in 300 draws each for the

5 x 12 designs at P = 73 and 77 or for a 4 x 10 design at P = 73 to 99.

Z_3 x Z_27 lifts with a class that loses rank on two of the four F_4

components of the Z_3 x Z_3 quotient (k = 170): the one draw screened read 30.

Sampled random pair-complement pairings had 0 or 1 free exponent

directions, motivating the structured pairing search.

Tools

Model: Claude Opus 5.5 (Claude Code), in a stage-only research session for @jacksongquera. Repo tooling: verify/gf2_fast.cpp (GF(2) ranks), research/kit/submit.py and research/kit/coordination.py (staging and the gate), verify/validate_candidate.py, research/does_it_advance.py. The search is an uncommitted multithreaded Stern decoder (p = 2 per half, collision window l = 16, 16 random pivot swaps per iteration, logicals told from stabilizers by their syndromes against the other side's logicals). This describes the search method; the original uncommitted implementation is not an executable reproduction artifact. Compute: about 9 CPU-hours for this code's screen and rounds, about 40 for the session, on a machine shared with another campaign.

Reproduction

P = 81, n = 972. For block row i (0..4), block column c (0..11) and r in 0..80, H[i*81 + r, c*81 + ((r + s_ic) mod 81)] = 1 ('-' = empty cell):

S_X = [[-,-,-,-,49,3,4,9,11,43,51,51], [-,-,61,49,-,-,53,10,40,22,11,9],
       [49,51,-,-,-,-,26,43,35,57,54,32], [52,65,76,55,40,64,-,-,-,-,39,28],
       [41,77,12,75,67,65,-,-,10,79,-,-]]
S_Z = [[-,-,-,-,1,36,75,80,62,13,0,0], [-,-,31,19,-,-,26,64,35,17,75,73],
       [21,23,-,-,-,-,30,47,37,59,8,67], [48,61,22,1,51,75,-,-,-,-,53,42],
       [13,49,60,42,27,25,-,-,33,21,-,-]]

The template and the pairing are written out in this entry's provenance.construction; for every pair (a, b) of the pairing of X row i with Z row j, s^X_ia - s^Z_ja - s^X_ib + s^Z_jb = 0 (mod 81).

These arrays reconstruct the submitted matrices exactly. The JSON stores the full check supports and weight-34 witnesses, which the trusted verifier checks directly. Reconstructing this code does not replay the original search, and no kit-constructor recipe is claimed.

Parity checks

X-checks 405 (max weight 8) · Z-checks 405 (max weight 8)

H_X (405 checks, sparse supports)

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

H_Z (405 checks, sparse supports)

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

Code ID 972-166-34 · download JSON · raw on GitHub