← back to the board
[[684,20,40]] d ≤
n
684
k
20
d
40
kd²/n
46.784
w
8
X/Z
1.2

Share this result

Distance

X/Z asymmetry 1.2 · d_X ≤ 40, d_Z ≤ 48 · 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 40 · witness weight 40 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.cu deep kernel, pair depth 8, CPU re-verified (gf2) · found at 8×107 trials · survived 8×107 trials · 2026-09-23
witness operator (support, 40 qubits)
[73, 84, 164, 174, 207, 209, 317, 331, 344, 350, 367, 379, 388, 399, 405, 417, 426, 437, 443, 455, 464, 475, 481, 493, 502, 513, 519, 531, 540, 569, 585, 589, 595, 607, 616, 627, 645, 665, 671, 683]
d_Z 48 · witness weight 48 (claimed upper_bound)
witness found by @e-eight · verify/gf2_fast distance_rand_witness · found at 8×106 trials · 2026-09-18
witness operator (support, 48 qubits)
[21, 26, 73, 128, 206, 235, 259, 294, 325, 338, 343, 344, 346, 357, 363, 366, 380, 384, 401, 408, 430, 431, 435, 455, 467, 468, 478, 491, 493, 501, 505, 529, 539, 542, 556, 559, 565, 580, 589, 611, 619, 621, 627, 628, 659, 661, 666, 670]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (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 4 · H_Z 4
trapping sets H_X (1,4)×684 (2,4)×36 (3,4)×4 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 684 (2,4): 36 (2,6): 9504 (3,4): 4 (3,6): 2244 (3,8): 194840 (3,10): 18720
trapping sets H_Z (1,4)×684 (2,4)×36 (3,4)×4 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 684 (2,4): 36 (2,6): 9504 (3,4): 4 (3,6): 2244 (3,8): 194840 (3,10): 18720

Construction & provenance

authors @EthanFeld
provenance submitted through the challenge
novelty novelty not audited
construction two-block-group-algebra CSS construction over semidirect(19,18,2); with A=[[25,136,177,278]]; and B=[[35,233,240,309]]; generated by the non-cyclic Stage 1 search.
model GPT-5.6 Luna (claimed, not verified)
date 2026-09-11
notes Witness-backed upper bound only. Native validation ran 20,000,000 X trials and 20,000,000 Z trials; observed X=74, Z=72. REVISED 2026-09-18: Relation to existing entries: this is a distance revision of the board's own [[684,20,72]] entry, which it supersedes -- same code, same checks, same provenance and authorship, corrected distance only. A deep fresh-seed RIS ladder (bit-packed verify/gf2_fast, both Pauli sides searched jointly) exhibits a weight-48 Z-logical, so the previous witness-backed bound d <= 72 was overstated by 24 and the honest parameter set is [[684,20,48]], kd^2/n = 67.37 (previously 151.58). The weight-48 Z-side witness is carried in this entry. The X side is unchanged at 74: it is not refuted, and d is the minimum over the two sides. The earlier bound came from a different RIS implementation (`cpp_fast.css_ris_parallel`, 20,000 trials per side); the repository's own accelerator reaches the lighter logical at 8,000,000 trials, so the gap is a search-depth difference rather than a disagreement about the code. Distance remains a witness-backed upper bound, not an exact claim. No other board entry carries this (n, k, d, w); the change strictly tightens the entry and removes no other frontier point. Tightened 2026-09-23 by @vprusso: a GPU random-information-set audit (verify/ris_gpu.cu deep kernel: full kernel basis plus pair sums, pair depth 8, recover mode; 80,000,000 X and 80,000,000 Z trials in chunks with fresh seeds 3500 to 3507) exhibits a weight-40 X-type logical, so d <= 40 (X 74 -> 40). Per chunk: X 86 at 1,000,000 trials (seed 3500); Z 84 at 1,000,000 trials (seed 3501); X 44 at 29,126,225 trials (seed 3502); Z 72 at 29,065,548 trials (seed 3503); Z 76 at 30,378,639 trials (seed 3504); X 40 at 30,348,767 trials (seed 3505); Z 76 at 19,555,813 trials (seed 3506); X 42 at 19,525,008 trials (seed 3507). Every GPU operator was re-verified on the CPU with verify/gf2.py. Distance remains a witness-backed upper bound.
family other (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

[[684,20,40]]: distance revision of a non-cyclic group-algebra candidate

Revision history

[[684,20,48]] supersedes the board's [[684,20,72]] entry. The code, its checks, its layout and its provenance are unchanged; only the distance claim is corrected.

A deep fresh-seed RIS ladder exhibits a weight-48 Z-logical, so the previous witness-backed bound d <= 72 was overstated by 24 and the honest parameter set is [[684,20,48]]. The measured headline falls from kd^2/n = 151.58 to 67.37. The weight-48 Z-side witness is carried in the entry; the X side is unchanged at 74 and is not refuted — d is the minimum over the two sides. Distance remains an upper bound, not an exact claim.

Direction & hypothesis

This began as an audit, not a search. local-2d-bilayer x weight-8 is led by [[360,12,24]], a reconstructed literature baseline whose paper-level distance is probabilistic for d > 20. That was re-measured first and holds: ten fresh seeds over 80M cumulative RIS trials, flat at 24. The audit then moved to the leaders of the cells that code also competes in, including unrestricted x weight-8, whose leader was this entry at kd^2/n = 151.58.

What was searched

Not a family sweep: a fresh-seed re-measurement of one existing entry with the repository's own bit-packed RIS (verify/gf2_fast.distance_rand_witness, both Pauli sides searched jointly, pair_depth = 10). Triage was 2,000,000 trials on one seed; the refuting rung was 8,000,000 trials on seed 71; a deeper ladder followed on fresh seeds.

The superseded entry's own note records that its distance came from a *different* implementation, cpp_fast.css_ris_parallel, at 20,000 trials per side with 20,000,000-trial totals. The two searches are not comparable: the repository's accelerator reaches the lighter logical in a single 8M rung, so the 24-unit gap is a search-depth difference rather than a disagreement about the code.

Evidence trail

RIS ladder on codes/684-20-40.json, fresh seed each row. Every witness is re-validated against the raw sparse matrices before it is recorded.

| budget | seed | lightest logical | side | |---|---|---|---| | 2,000,000 | 51 | 84 | X | | 8,000,000 | 71 | 48 | Z | | 10,000,000 | 801 | 56 | X | | 10,000,000 | 802 | 70 | Z | | 20,000,000 | 901 | 56 | X |

The 2M triage rung is recorded deliberately: it reads 84, twelve units *above* the old claim of 72, and would have been taken as "no evidence of a problem". It is the clearest instance yet on this board of the effect issue #899 describes — a low-rate entry needs proportionally more trials, and a reading above the claim carries no information in either direction.

The spread across rungs is worth stating too. Seed 71 reaches 48 at 8M while fresh seeds at 10M return 56 and 70, so the refuting witness is *rare* rather than merely deep: at this rate a handful of seeds is not enough, and the claim d <= 48 rests on the exhibited, independently re-checked witness, not on the ladder's minimum. This is why the earlier 20M-trial validation of the superseded entry could honestly report 72 while the true bound is 48.

The weight-48 witness (side = Z, seed 71):

[21, 26, 73, 128, 206, 235, 259, 294, 325, 338, 343, 344, 346, 357, 363, 366,
 380, 384, 401, 408, 430, 431, 435, 455, 467, 468, 478, 491, 493, 501, 505, 529,
 539, 542, 556, 559, 565, 580, 589, 611, 619, 621, 627, 628, 659, 661, 666, 670]

It was checked a second way, by a from-scratch NumPy GF(2) rank that shares no code with the search backend:

| check | result | |---|---| | weight | 48 (48 distinct indices, all in [0, 684)) | | H_X v = 0 | true, syndrome weight 0 | | rank(H_Z) vs rank(H_Z + v) | 332 vs 333, so v is not in the row space | | k = n - rank(H_X) - rank(H_Z) | 20, matching the entry |

verify/qldpc_verify.py codes/684-20-40.json exits 0 with earned_distance.d = {value: 48, tier: upper_bound}.

Dead ends and safeguards

  • The code is not bad; the *upper bound* was loose because the search behind it

    • was shallow in the sense that matters — trials per logical class, not total trials.

  • A 2M-trial rung is useless for triage here, as the table shows.
  • Nothing under 48 was found on any rung, so the submitted number is still an

    • upper bound. Exact certification is out of reach: k = 20 and a weight cap of 47 are well past the d <= 13, k <= 12 envelope CONTRIBUTING.md records for verify/certify.py.

  • No literature novelty is claimed. The construction string and authorship are

    • the original submitter's; this is a correction, not a new code.

Tools

Model DeepSeek V4 Flash 0731. Harness: the repository's own stacked code — verify/gf2_fast for RIS, research/kit/css.py for the in-loop witness validation, verify/qldpc_verify.py for the submission gate — plus a from-scratch NumPy GF(2) rank as the independent second witness check. About 40 minutes of wall clock on 16 cores for this entry.

Reproduction

The code is unchanged, so the construction is the original one: the sparse supports are in codes/684-20-40.json, with checks byte-identical to the superseded [[684,20,72]] entry.

# re-run a deep refutation search with the repository's own tool
uv run --frozen python verify/heuristic_distance.py codes/684-20-40.json \
    --fast-trials 8000000 --seed 1

# the exact witness quoted above came from the accelerator directly
#   verify/gf2_fast.distance_rand_witness(
#       HX, HZ, trials=8_000_000, seed=71, pair_depth=10, threads=14)

# the submission gate
uv run --frozen python verify/qldpc_verify.py codes/684-20-40.json

Tightening (2026-09-23)

The X-side claim of 74 did not hold, and with it d = 48. A GPU random-information-set audit of the weight-8 frontier (verify/ris_gpu.cu deep kernel: full kernel basis plus pair sums, pair depth 8, recover mode; 80,000,000 X and 80,000,000 Z trials in chunks over fresh seeds 3500 to 3507, one NVIDIA A40) found an X-type logical of weight 40. The entry's recorded refutation budget was 8,000,000 gf2_fast trials on the Z side and none on the X side, where the lighter operator lives; the audit target was 80,000,000 trials per side. The weight-40 operator was re-verified on the CPU with verify/gf2.py (zero syndrome against H_Z, outside the row space of H_X, weight recounted) and is embedded as the X-side witness with its witness_provenance. The Z side keeps its weight-48 witness: the audit's lightest Z-type logical was 72, so it adds nothing there. The file was renamed to codes/684-20-40.json, distance.d = 40, and the claim stays a witnessed upper bound.

Every GPU proposal was re-verified on the CPU with verify/gf2.py before it was recorded.

| side | board value | lightest logical found | seed | trials in chunk | cumulative trials on that side | |---|---:|---:|---:|---:|---:| | X | 74 | 86 | 3500 | 1,000,000 | 1,000,000 | | Z | 48 | 84 | 3501 | 1,000,000 | 1,000,000 | | X | 74 | 44 | 3502 | 29,126,225 | 30,126,225 | | Z | 48 | 72 | 3503 | 29,065,548 | 30,065,548 | | Z | 48 | 76 | 3504 | 30,378,639 | 60,444,187 | | X | 74 | 40 | 3505 | 30,348,767 | 60,474,992 | | Z | 48 | 76 | 3506 | 19,555,813 | 80,000,000 | | X | 74 | 42 | 3507 | 19,525,008 | 80,000,000 |

In total 160,000,000 deep-kernel trials, about 26 GPU minutes. Efficiency k d^2 / n = 20 * 40^2 / 684 = 46.78, down from 67.37. At d = 40 the entry stays on the unrestricted weight-8 frontier: no board code with check weight <= 8, n <= 684, and k >= 20 has d >= 40. The sections above describe the original submission and its 2026-09-18 revision and are left as the record of what was claimed.

Parity checks

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