← back to the board
[[996,166,36]] d ≤
n
996
k
166
d
36
kd²/n
216.0
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 36, d_Z ≤ 36 · 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 36 · witness weight 36 (claimed upper_bound)
witness found by @jacksongquera · own Stern ISD (C++, p=2, l=16); method in notes/996-166-36.md · found at 4.6×106 trials · survived 5.5×107 trials · 2026-10-23
witness operator (support, 36 qubits)
[8, 19, 21, 27, 31, 38, 127, 134, 135, 144, 146, 162, 166, 203, 249, 322, 348, 353, 360, 397, 409, 414, 419, 424, 436, 441, 442, 479, 523, 529, 534, 581, 586, 597, 653, 658]
d_Z 36 · witness weight 36 (claimed upper_bound)
witness found by @jacksongquera · own Stern ISD (C++, p=2, l=16); method in notes/996-166-36.md · found at 4.7×106 trials · survived 5.5×107 trials · 2026-10-23
witness operator (support, 36 qubits)
[5, 9, 22, 36, 52, 69, 113, 122, 130, 140, 149, 160, 171, 183, 188, 193, 199, 245, 278, 283, 291, 295, 300, 328, 347, 384, 439, 466, 530, 535, 552, 599, 604, 616, 621, 626]
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)×664 (2,4)×3984 (3,5)×32868 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 664 (1,4): 332 (2,4): 3984 (2,5): 5976 (2,6): 1660 (3,5): 32868 (3,6): 87648 (3,7): 65072 (3,8): 22908 (3,9): 6972 (3,10): 996
trapping sets H_Z (1,3)×664 (2,4)×3984 (3,5)×32868 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 664 (1,4): 332 (2,4): 3984 (2,5): 5976 (2,6): 1660 (3,5): 32868 (3,6): 87648 (3,7): 65072 (3,8): 22908 (3,9): 6972 (3,10): 996

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 an irregular base template, cyclic lift P=83 (Z_83), n=996, k=166. Template (PR #4045's 5x12 'pair-complement-2', same on both sides): 12 block columns in 6 pairs; each block row contains all pairs but two, the left-out pairs forming a triangle on pairs 0,1,2 and a path 4-3-5; block columns per row [[4..11],[2,3,6..11],[0,1,6..11],[0..5,10,11],[0..5,8,9]]. Pairing of the X-row/Z-row overlaps: the pairing filed with PR #4045 (codes/996-166-32.json there, provenance.construction), unchanged. H[i*P + r, c*P + ((r + s_ic) mod P)] = 1 with exponents ('-' = empty cell): S_X = [[-, -, -, -, 13, 12, 47, 33, 4, 17, 23, 82], [-, -, 70, 33, -, -, 36, 5, 51, 19, 34, 65], [16, 46, -, -, -, -, 1, 34, 69, 76, 69, 75], [57, 45, 48, 77, 20, 30, -, -, -, -, 55, 20], [49, 74, 57, 59, 76, 76, -, -, 18, 30, -, -]], S_Z = [[-, -, -, -, 68, 67, 77, 63, 9, 22, 9, 68], [-, -, 38, 1, -, -, 58, 27, 43, 11, 62, 10], [58, 5, -, -, -, -, 75, 25, 32, 39, 15, 21], [73, 61, 54, 0, 63, 73, -, -, -, -, 1, 49], [30, 55, 58, 60, 3, 3, -, -, 78, 7, -, -]]. The exponent draw was selected so that the block-level Tanner graph has no 4-cycles and only the 6-cycles the pairing forces (12 block hexagons per side), then screened with a Stern ISD.
model Claude Claude Opus 5.5 (Claude Code) (claimed, not verified)
builds on arXiv:2607.14091, arXiv:2609.30069, arXiv:1301.1493, https://github.com/unitaryfoundation/qldpc-challenge/pull/4035, https://github.com/unitaryfoundation/qldpc-challenge/pull/4045, https://github.com/unitaryfoundation/qldpc-challenge/pull/4055
date 2026-10-23
notes The gate flags a shared Weisfeiler-Leman signature with codes/996-166-32.json; the board's other lift of this template, codes/996-166-34.json, shares it too (every lift of the 5x12 template at P = 83 has the same colour refinement). This code is equivalent to neither under any qubit permutation, with or without an X/Z swap. The board's decider, research/audits/permutation_audit.py, returns inequivalent for both pairs (and for the two board entries against each other) once its light-vector enumeration budget is raised from the default 1e9 to 2e9 row sums (each row space needs 1,241,929,417; about 140 s per pair): its Brouwer-Zimmermann enumeration finds that the row-space vectors of weight <= 8 are exactly the 415 checks on every side, and their hypergraphs are not isomorphic in either orientation. An independent run of the same argument agrees: (1) a Brouwer-Zimmermann enumeration (K.-H. Zimmermann, Tech. Rep. 3-96, TU Hamburg-Harburg, 1996, after A. E. Brouwer) over two disjoint information sets, all sums of at most 4 systematic rows on each, lists every vector of weight <= 9 in each of the six row spaces, and each list is exactly that side's 415 weight-8 checks; (2) a weight-preserving permutation therefore carries checks onto checks (J. S. Leon, IEEE Trans. Inf. Theory 28 (1982) 496-511), so equivalence is isomorphism of the typed Tanner graphs; (3) their nauty canonical forms (B. D. McKay and A. Piperno, J. Symbolic Comput. 60 (2014) 94-112, arXiv:1301.1493), computed as in research/provenance/iso_common.py, differ in both orientations, and their 6-cycle counts differ: 996 per side here, 1826 in codes/996-166-32.json and 1992 in codes/996-166-34.json (83 times the 12, 22 and 24 zero-sum block hexagons). The method is the one in notes/996-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

[[996,166,36]] irregular pair-partition CPM code, hexagon-floor exponents

Direction & hypothesis

Cell: CSS, unrestricted, weight 8, extended tier (700 < n <= 1000 needs w <= 8 and d <= 40). The board holds two lifts of @MicheldeMessieres's irregular 5x12 "pair-complement-2" template at P = 83: codes/996-166-32.json (PR #4045, kd^2/n 170.7) and codes/996-166-34.json (PR #4055, 192.7). Each pairing of the template's X-row/Z-row overlaps forces some zero-sum block 6-cycles (block hexagons) in every lift; PR #4045's pairing forces 12 per side and its filed draw has 22, with weight-32 logicals both inside the eight degree-3 block columns and spread over 10-12 block columns. Hypothesis: the excess hexagons, not the template or the pairing, set that entry's 32, so a draw of the same pairing with only the forced 12 per side reads higher. This code: PR #4045's template and pairing unchanged, a new exponent draw at that floor; 166 * 36^2 / 996 = 216.0 as an upper bound (d <= 36).

What was searched

The pairing equations leave a 27-dimensional space of exponent points over Z_83, 6-dimensional modulo the block row and column shifts that give equivalent codes. Random points were kept when the block Tanner graph has no 4-cycles and no hexagons beyond the forced 12 per side (about 2% of 4-cycle-free points); the first of 24 such draws (seed 7) is this code. Screen: full-length Stern for 4, 30 and 200 s per side (lightest 66, 52, 38), then Stern restricted to each of the 495 subcodes on eight block columns (6,000 iterations each), which found weight-36 logicals on both sides inside block columns 0-7, the degree-3 columns: the filed witnesses. Ceiling of this pairing: in 8,966 draws with 12-14 hexagons per side, a short Stern run on block columns 0-7 found a word of weight <= 36 in every one (5,426 read exactly 36), which we attribute to 6 block 8-cycles the pairing forces there, so we expect no lift of it to exceed 36.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 26,309 (4 s per side; 26,309 X / 31,447 Z) | 66 | | 196,729 (30 s per side; 212,691 X / 196,729 Z) | 52 | | 1,418,935 (200 s per side; 1,418,935 X / 1,532,955 Z) | 38 | | 4,408,671 (round 1, 2 runs per side; 4,408,671 X / 4,446,024 Z) | 36 | | 4,023,934 (round 2, 2 runs per side; 4,404,268 X / 4,023,934 Z) | 36 | | 4,134,660 (round 3, 2 runs per side; 4,134,660 X / 4,173,661 Z) | 38 | | 3,562,325 (round 4, 2 runs per side; 3,712,503 X / 3,562,325 Z) | 36 | | 6,800,006 (round 5, 2 runs per side; 6,800,006 X / 7,100,006 Z) | 38 | | 8,340,006 (round 6, 2 runs per side; 8,340,006 X / 8,340,006 Z) | 36 | | 10,830,006 (round 7, 2 runs per side; 10,830,006 X / 10,830,006 Z) | 36 | | 10,830,006 (round 8, 2 runs per side; 10,830,006 X / 10,830,006 Z) | 36 |

3 fresh-seed rung(s) agree at the best bound, the deepest of them at 10,830,006 trials per side. The submitted witness reproduces it: X: d <= 36 (upper_bound), Z: d <= 36 (upper_bound).

Matched-depth peer audit (research/audits/leader_audit.py pair): inconclusive at 2,000,000 RIS trials (seed 51, pair depth 64): this code claim 36, read 54 (inconclusive); codes/996-166-32.json claim 32, read 32 (holds); codes/996-166-34.json claim 34, read 64 (inconclusive). Own full-length Stern at matched depth, two fresh-seed runs per side: codes/996-166-32.json reads 32 in 5,030,502 X and 5,033,025 Z iterations (15 weight-32 X finds and 14 Z, nothing lighter); codes/996-166-34.json reads 34 in 10,000,012 X iterations (finds of weight <= 34: 3 of weight 34; Z is the same search by its X<->Z symmetry); this code reads 36 within about 10M per side and nothing lighter in 55.1M.

Rungs are full-length Stern ISD iterations (p = 2, l = 16, an uncommitted C++ implementation with a stabilizer filter; not RIS trials), and a rung's budget is the smaller of its two sides' counts. From round 1 each rung is one round of two independent runs per side on fresh seeds, read as the lightest logical of its four runs; every find was re-checked against the opposite checks and its own row space. The restricted search that found the filed witnesses (What was searched) is not in the table. Cumulative full-length depth: 55,118,061 iterations (X) and 55,067,099 (Z), with nothing lighter than 36 (4 weight-36 X finds and 8 Z, some inside block columns 0-7, the rest spread over 11-12 block columns). Every logical of this family has even weight (block rows 0-2 of each side sum to the all-ones vector), so the next value below 36 is 34. The code is X<->Z symmetric: swapping the two columns of each block-column pair and negating the row index mod 83 (plus a per-pair shift) carries the X row space onto the Z row space, verified with research/provenance/iso_common.py, so d_X = d_Z and the X and Z runs are two searches of one problem. Not a relabelling of either board lift: research/audits/permutation_audit.py, with its enumeration budget raised to 2e9 row sums, returns inequivalent for both pairs (provenance.notes has the argument). The claim is a witness-backed upper bound, d <= 36; no lower bound is claimed.

Dead ends

  • Our own pairing "A" (from an exact DFS/large-neighbourhood search over

    • 4-cycle-free pairings; no forced block 8-cycles in columns 0-7) lifts the degree-3 ceiling to 40, but its deepest draw has spread weight-34 logicals from about 10M iterations on (d <= 34 at about 28M X / 24.5M Z), so the full code did not gain.

  • Block-restricted searches cannot bound d at this length: a pairing-A draw

    • read 40 on every 8- and 9-block subcode and on the degree-3 subcode, and full-length Stern then found a weight-36 logical spread over all 12 block columns; our local stagings at 40 and 38 were refuted that way.

  • Short full-length runs are too shallow: 120 s per side read 44 (X) and 40

    • (Z) on a code that later read 34.

  • PR #4035's 4x10 template: floor draws at P = 97 read 24-31; its degree-3

    • subcode has rate 1/2 and random exponents there already read 26-34, so we expect no pairing of it to reach 37.

Tools

Model: Claude Opus 5.5 (Claude Code) (stage-only campaign for @jacksongquera, 2026-10-23/24). Repo tooling: research/kit/submit.py, research/kit/coordination.py, research/provenance/iso_common.py, research/audits/permutation_audit.py, research/audits/leader_audit.py, verify/validate_candidate.py. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py. Compute: about 68 core-hours of full-length Stern on this code (32 runs of 4 threads); the screens and the pairing search were not metered.

Reproduction

P = 83, n = 12P = 996. H_X[i*P + r, c*P + ((r + s_ic) mod P)] = 1 for block row i in 0..4, block column c in 0..11 and r in Z_83, over the occupied cells, and the same for H_Z with S_Z. Template (PR #4045, codes/996-166-32.json), the same on both sides: block columns per row [[4..11], [2,3,6..11], [0,1,6..11], [0..5,10,11], [0..5,8,9]], column pairs {0,1}, ..., {10,11}. Exponents ('-' = empty cell): S_X = [[-, -, -, -, 13, 12, 47, 33, 4, 17, 23, 82], [-, -, 70, 33, -, -, 36, 5, 51, 19, 34, 65], [16, 46, -, -, -, -, 1, 34, 69, 76, 69, 75], [57, 45, 48, 77, 20, 30, -, -, -, -, 55, 20], [49, 74, 57, 59, 76, 76, -, -, 18, 30, -, -]], S_Z = [[-, -, -, -, 68, 67, 77, 63, 9, 22, 9, 68], [-, -, 38, 1, -, -, 58, 27, 43, 11, 62, 10], [58, 5, -, -, -, -, 75, 25, 32, 39, 15, 21], [73, 61, 54, 0, 63, 73, -, -, -, -, 1, 49], [30, 55, 58, 60, 3, 3, -, -, 78, 7, -, -]]. rank H_X = rank H_Z = 415, so k = 996 - 830 = 166; every check has weight 8; the block Tanner graph has no 4-cycles and 12 zero-sum hexagons per side.

Parity checks

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