← back to the board
[[682,82,35]] d ≤
n
682
k
82
d
35
kd²/n
147.287
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 35, d_Z ≤ 35 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 35 · witness weight 35 (claimed upper_bound)
witness found by @FarLab and @MathysRennela and @MicheldeMessieres · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 5×104 trials · 2026-10-09
witness operator (support, 35 qubits)
[2, 4, 17, 41, 68, 94, 95, 96, 97, 103, 118, 126, 128, 131, 132, 158, 159, 163, 165, 180, 182, 184, 190, 219, 246, 255, 256, 270, 271, 283, 285, 287, 302, 320, 435]
d_Z 35 · witness weight 35 (claimed upper_bound)
witness found by @FarLab and @MathysRennela and @MicheldeMessieres · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 5×104 trials · 2026-10-09
witness operator (support, 35 qubits)
[0, 341, 367, 394, 418, 431, 433, 456, 474, 489, 491, 493, 505, 506, 520, 521, 530, 557, 586, 592, 594, 596, 611, 613, 617, 618, 644, 645, 648, 650, 658, 673, 679, 680, 681]
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 12 · H_Z 12
qubit degrees H_X 6 · H_Z 6
trapping sets H_X (1,6)×682 (2,10)×22506 (3,12)×33759 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 682 (2,10): 22506 (3,12): 33759 (3,14): 1136553 (3,16): 75020
trapping sets H_Z (1,6)×682 (2,10)×22506 (3,12)×33759 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 682 (2,10): 22506 (3,12): 33759 (3,14): 1136553 (3,16): 75020

Construction & provenance

authors @vaibhav-baj
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code over Z_341: H_X=[circ(a)|circ(b)], H_Z=[circ(b)^T|circ(a)^T], with a={0,11,4,128,74,322} (weight 6, invariant under j->32j mod 341: fixed points 0, 11 and pair-orbits {4,128}, {74,322}) and b=a(x8)={0,1,32,88,189,251}, a shifted Frobenius image with the same zero set. Shared divisor (x+1) times four full-order decics of x341-1 (degree 41), so k=82; both check weights 12. Found by exhaustive enumeration of all 987,350 symmetric weight-6 words with exact zero sets in GF(1024) (433 equivalence classes), RIS-screened and laddered to 10,000,000 trials per side.
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-10-07
notes Distance over-claim independently reported by @MathysRennela and @MicheldeMessieres on 2026-10-08 (see issue #2899); corrected to d <= 55 with a witness from the maintainers' orbit-restricted search. Tightened to d <= 35 on 2026-10-09 by @FarLab with the orbit-fold search of PR #2902 (50,000 trials per folded code) while landing correction PR #2934, whose merge had not reached main (issue #2949).
family generalized bicycle (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

[[682,82,35]] — weight-12 Frobenius-paired cyclic generalized bicycle on Z_341

Direction & hypothesis

Target: the weight ≤ 12 headline, the best kd²/n among codes with check weight at most 12. The leader was codes/674-44-95.json ([[674,44,95]], w = 12, kd²/n = 589.17): a cyclic generalized bicycle over Z_337 whose two weight-6 polynomials share a degree-22 divisor of x^337 − 1. Its note lists the moduli it swept (127, 251, 257, 331, 337); 341 was not among them.

Z_341 is the best-factored modulus near the n ≤ 700 cap: ord_341(2) = 10, so x^341 − 1 splits into x + 1, six quintics (order 31) and 31 decics (30 of full order 341, one of order 11). The construction behind codes/682-172-52-b.json (w = 28) carries over to weight 6 + 6. Take a word a invariant under j → 32 j (mod 341). Its Fourier values a(ζ^s) then lie in GF(32) instead of GF(1024), so a full-order decic divides a with probability 2⁻⁵ instead of 2⁻¹⁰, and the Frobenius images a(x⁴), a(x⁸) have the same zero set. So (a, a(x⁸)) shares the whole divisor gcd(a, x^341 − 1) for free and k = 2 deg gcd. The hypothesis was that weight-6 symmetric words with a large zero set exist, and that the distance of the w = 28 family survives at w = 12.

What was searched

All of it, not a sample. Weight-6 words invariant under j → 32 j are a fixed point 0 (fixed points are the multiples of 11) plus either three more fixed points and one pair-orbit {j, 32j}, or one fixed point and two pair-orbits. Words with no fixed point are divisible by x^31 − 1 and degenerate. That is 987,350 words with one fixed point pinned at 0 (rotation by 11·Z_341 preserves the family).

1. Zero sets, exactly, by evaluating a at one root per cyclotomic coset in GF(1024). Kept: degree ≥ 21, with every vanishing factor either x + 1 or a full-order decic. Words vanishing on a quintic or on the order-11 decic have periodic low-weight logicals and were dropped. Left: 193,950 words — degree 21 (k = 42) 148,050; degree 31 (k = 62) 36,600; degree 41 (k = 82) 8,700; degree 51 (k = 102) 600. 2. Equivalence: a multiplier j → μj (μ a unit) and re-pinning another fixed point at 0 give permutation-equivalent codes. Canonical forms leave 433 classes: 321 / 86 / 24 / 2 by degree. 3. Screen: both Frobenius partners b = a(x⁴), a(x⁸) for both degree-51 classes, all 24 degree-41 classes and the first part of the degree-31 list, at 4,000 RIS trials per code (gf2_fast accelerator, pair depth 8). The screen was stopped there to spend the budget on the ladder. 92 codes cleared the distance needed to beat 589.17 (d ≥ 71 at k = 82, d ≥ 63 at k = 102, d ≥ 81 at k = 62); 23 of the 24 degree-41 classes passed. 4. Ladder: the top five by screen bound at 1,000,000 trials each, then the two best at 10,000,000+ trials.

Evidence trail

Submitted word (weight 6: fixed points 0, 11; pair-orbits {4, 128}, {74, 322}):

a = [0, 11, 4, 128, 74, 322]
b = [0, 1, 32, 88, 189, 251]   (= {8j mod 341 : j in a})

Shared divisor (x + 1) · four full-order decics, degree 41, k = 82, check weights 12 and 12, Tanner graph connected, one stabilizer block.

| Stage | Budget (trials/side) | Lightest logical | |---|---:|---:| | structural cap (single-block words of C_g, gf2_fast.circulant_gb_witness) | 400,000 | 112 | | RIS screen | 4,000 | 103 | | RIS | 250,000 | 94 | | RIS | 1,000,000 | 92 | | RIS, fresh seeds (1M chunks) | 11,000,000 | 90 (Z-type, found at 2,000,000) | | qldpc submit (2,000 python RIS + 2,000,000 accelerator trials, fresh seed) + verifier | 2,000,000 | 86 (Z-type); X-type 100 |

The bound moved 103 → 94 → 92 → 90 → 86 as the search deepened and seeds changed: the submission tool's own 2,000,000-trial pass found a weight-86 Z logical that 11,000,000 trials of the ladder had missed, so the ladder's seeds were unlucky and the bound is still soft. The lightest logicals are two-block words, not words of the constituent code (cap 112). The claim is a witness-backed upper bound d ≤ 86; the exact distance is open and a deeper sweep may well lower it further. Score at the bound: 82 · 86² / 682 = 889.3. To beat the previous record this code needs d ≥ 71.

Siblings laddered at the same depth:

| Code | 4k | 250k | 1M | 10M | |---|---:|---:|---:|---:| | this entry, k = 82 | 103 | 94 | 92 | 90 (11M); 86 by the submit tool at 2M | | k = 102, a = [0,11,4,128,78,109], b = a(x⁸) | 92 | 86 | 86 | 79 (11M) | | k = 102, same a, b = a(x⁴) | 89 | — | 86 | 80 | | k = 82, a = [0,11,33,132,18,235], b = a(x⁸) | 104 | 94 | 91 | — | | k = 82, a = [0,11,5,160,53,332], b = a(x⁸) | 104 | 88 | 88 | — | | k = 82, a = [0,11,20,299,21,331], b = a(x⁸) | 103 | 26 | 26 | — |

The last row is the warning: a 4,000-trial screen bound of 103 hid a weight-26 two-block logical that 250,000 trials found at once. Nothing below the screen depth should be read as a distance.

Dead ends

  • Weight 4 + 4 (w = 8) and 3 + 3 (w = 6) with the same symmetric pairing:

    • exhaustive (9 classes at weight 4, one at weight 3), every code has d ≤ 17 at k ≥ 20. Far below what the w ≤ 8 (123.14) and w ≤ 6 (30.48) headlines need, so this family does not reach those cells.

  • Unrestricted (non-symmetric) weight-4 words on Z_341, all 6.5 million

    • enumerated: the words with zero-set degree ≥ 16 are the multiples of 11·Z_341 and pairs of them give d ≤ 11.

  • Weight-4 multiples of a degree-22 divisor on Z_337: none exist

    • (exhaustive), so the leader's construction has no w = 8 version there.

  • Random sampling of the same family before the enumeration (one seed,

    • 30 min) surfaced only a k = 42 word, [[682,42,≤101]] (628): the high-degree classes are too rare to hit by sampling and were found only by enumerating.

Tools

Model: Claude Opus 5.5 and Claude Fable 5.1 (Claude Code); human author @vaibhav-baj. NumPy for the enumeration, zero sets and canonical forms; the gf2_fast C++ accelerator (verify/gf2_fast.cpp, built locally with MinGW-w64) for k, the structural cap, the screen and the ladder; verify/validate_candidate.py as the gate. Compute: about 30 CPU-hours on a 14-core laptop (screen ≈ 4 h × 4 threads, ladders ≈ 2.5 h × 4–6 threads each), no GPU.

Reproduction

Let C(S) be the 341 × 341 binary circulant whose row i has ones at columns (i + s) mod 341 for s ∈ S. With a and b above, H_X = [C(a) | C(b)] and H_Z = [C(b)ᵀ | C(a)ᵀ]. Equivalently b = {8j mod 341 : j ∈ a}. The enumeration is: all 6-subsets of Z_341 containing 0 that are unions of multiples of 11 and orbits {j, 32j}, zero sets by evaluation at one representative per cyclotomic coset of 2 in GF(2^10).

Correction (2026-10-08)

The claimed distance above was an over-claim: an orbit-restricted search found a nontrivial Z-logical of weight 55, so d <= 55. The over-claim was independently reported by @MicheldeMessieres (issue #2899); this correction applies the maintainers' own verified witness (codes/682-82-35.json, also in the issue's witness gist). The entry was renamed from slug 682-82-86; the narrative above documents the original search.

That correction (PR #2934) merged into a branch that had already been merged, so it never reached main (issue #2949). Landing it here, the orbit-fold search now in the verifier (verify/heuristic_distance.py, PR #2902; 50,000 trials per folded code, two seeds) finds lighter logicals still (X: 55 -> 35; Z: 55 -> 35), so the entry is filed at d <= 35 with those witnesses, renamed from slug 682-82-55. All values remain upper bounds.

Parity checks

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