← back to the board
[[672,16,48]] d ≤
n
672
k
16
d
48
kd²/n
54.857
w
8
X/Z
1.25

Share this result

Distance

X/Z asymmetry 1.25 · d_X ≤ 48, d_Z ≤ 60 · 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 48 · witness weight 48 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (build/ris_gpu, NVIDIA A40) · found at 5×107 trials · survived 3×108 trials · 2026-09-26
witness operator (support, 48 qubits)
[0, 2, 4, 6, 8, 10, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 84, 86, 88, 90, 92, 94, 168, 170, 172, 174, 176, 178, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 252, 254, 256, 258, 260, 262]
d_Z 60 · witness weight 60 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (build/ris_gpu, NVIDIA A40) · found at 5×107 trials · survived 3×108 trials · 2026-09-26
witness operator (support, 60 qubits)
[0, 6, 7, 11, 18, 19, 30, 31, 33, 35, 36, 45, 47, 59, 68, 71, 74, 92, 97, 110, 116, 121, 128, 132, 133, 139, 168, 169, 173, 174, 180, 181, 192, 193, 195, 197, 207, 209, 210, 221, 230, 233, 248, 254, 271, 278, 284, 290, 295, 301, 306, 307, 336, 436, 443, 445, 510, 605, 610, 619]
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 4 · H_Z 4
trapping sets H_X (1,4)×672 (2,6)×9408 (3,6)×2016 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 672 (2,6): 9408 (3,6): 2016 (3,8): 191520 (3,10): 18816
trapping sets H_Z (1,4)×672 (2,6)×9408 (3,6)×2016 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 672 (2,6): 9408 (3,6): 2016 (3,8): 191520 (3,10): 18816

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group-algebra code (Lin and Pryadko, arXiv:2306.16400) on G = C28:C12(r=15) of order 336, Cayley table research/kit/group_algebra.metacyclic(28, 12, 15) with the identity at index 0 and elements indexed as that builder lists them: H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] with L(g)[g h, h] = 1 and R(g)[h g, h] = 1 (research/kit/group_algebra.py build_2bga(mul, a, b)); a = [0, 71, 77, 209], b = [0, 33, 119, 175] (element indices). n = 2|G| = 672, check weight 8.
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-09-26
notes Found by the fourth LER-objective search (two-block group-algebra codes over non-abelian groups with check weight 6, 7, or 8 at 420 < n <= 700 and k >= 8): circuit-level logical error rate at 3 rounds under the board's depolarizing recipe, interleaved schedule, decoded with CUDA-Q QEC nv-qldpc-decoder (BP+OSD-CS order 10). At p = 0.002, 100000 shots per basis: Z memory 2 failures, X memory 2 failures, against 16 copies of the distance-7 rotated surface code (1552 physical qubits, same builder and decoder) with 66 and 58 failures. Decoder-based d_circ estimate at 3 rounds: 48. Distance: RIS at 20,000 trials (gf2_fast) and a 300,000,000-trial verify/ris_gpu.py pass per side; upper bounds. A second, independent pass at 999,999,996 trials per side, with its own seeds, returned the same minimum weight, so two randomized searches of different budgets agree on the bound; the stored receipt is the 300,000,000-trial pass. Details in the accompanying note.
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

[[672,16,48]] weight-8 two-block group-algebra code on C28:C12(r=15)

Direction & hypothesis

Objective: at 3 syndrome rounds under the board's depolarizing recipe at p = 0.002, interleaved schedule, both memories, a logical error rate per round below that of k copies of the rotated surface code at equal or greater physical qubit count (data plus ancilla), with separated 95 percent Poisson intervals. The target board cell is weight-8 x unrestricted (no layout). This code comes from the non-abelian two-block group algebra, weight 6/7/8, 420 < n <= 700, k >= 8 family of the fourth LER-objective search, the ground the first three searches (two-block codes at n <= 420) did not cover; the search weighted its draws toward k >= 12, where the matched surface baseline keeps distance 7, following the third search's finding that every k >= 12 weight-7 code at 370 < n <= 420 beat its d = 7 baseline by 10 to 30x while the k = 8 codes lost to d = 9 baselines. The baseline's distance is set by the qubit budget (k16-d7: 16 copies of d = 7, 1552 qubits against the candidate's 1344), and the decoder is the same BP+OSD configuration for both.

What was searched

Stage 1 admitted 372 candidates from cyclic generalized bicycle, weight 6/7/8, 420 < n <= 700, k >= 8, 426 candidates from coprime bivariate bicycle, weight 6/7/8, 420 < n <= 700, k >= 8, 2958 candidates from non-abelian two-block group algebra, weight 6/7/8, 420 < n <= 700, k >= 8 (3,756 generator hits with the required k, connected, d >= 10 at 300 RIS trials, and no norm-lift or single-block logical below 10 for the cyclic draws; 0 repeats within the search, 0 already candidates of the first three searches, 0 exact board duplicates). Funnel: RIS at 2,000 trials (keep d >= 10; 80 of 80), RIS at 20,000 trials (80 kept), WL dedup against the board (0 dropped), 3-round circuit with the tier checks (75 built), GPU decode of 10,000 shots per basis at p = 0.002 against the matched surface baseline (25 of 25 beat it in both bases), the decoder-based d_circ estimate (6 kept, 1 more than 2 below d), then up to 100,000 shots per basis at p = 0.001 and 0.002 (fitted to a 90-minute GPU budget at the measured throughput) and a 300,000,000-trial ris_gpu pass per side.

Construction

Two-block group-algebra code (Lin and Pryadko, arXiv:2306.16400) on G = C28:C12(r=15) of order 336, Cayley table research/kit/group_algebra.metacyclic(28, 12, 15) with the identity at index 0 and elements indexed as that builder lists them: H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] with L(g)[g h, h] = 1 and R(g)[h g, h] = 1 (research/kit/group_algebra.py build_2bga(mul, a, b)); a = [0, 71, 77, 209], b = [0, 33, 119, 175] (element indices). n = 2|G| = 672, check weight 8.

Schedule: interleaved; two-block interleaved (A: 4 terms, B: 4 terms), 9 CX layers per round; terms by left/right regular terms recorded by the generator; X-check term slots [2, 7, 6, 1, 3, 5, 8, 4], Z-check term slots [6, 1, 2, 7, 4, 3, 0, 5] over terms A_0..A_3, B_0..B_3; RIS screen at 2 rounds: {'Z': 464, 'X': 455}

Evidence trail

RIS ladder for the submitted code (lightest logical found, both sides):

| RIS trials per side | seed | lightest logical found | |---|---|---| | 2,000 | 395440609 | 102 | | 20,000 | 1128999735 | 96 | | 200,000 (laptop, verify/gf2_fast) | 1609329609 | 90 | | 300,000,000 (GPU, verify/ris_gpu.py) | 746282076 | X 48, Z 60 | | 999,999,996 (GPU, verify/ris_gpu.py, second independent pass, own seeds) | c59c3de45403 | X 48, Z 60 |

Claim: d <= 48, a witness-backed upper bound.

Decoder-based circuit fault-distance estimate at 3 rounds (a stacked BP+OSD search on the committed DEM, GPU, 1 seeds; our decoder-based estimator, not part of this repo): 48 (per basis {'Z': 48, 'X': 136}); an upper bound on d_circ.

Logical error rate per round at 3 rounds (exact 95 percent Poisson intervals on the failure count; the surface baseline is 16 copies of the distance-7 rotated surface code, 1552 physical qubits, geometric interleaved schedule, same noise recipe and decoder):

| p | basis | candidate | surface baseline | ratio | separated | |---|---|---|---|---|---| | 0.002 | Z | 3.33e-05 [4.04e-06, 1.20e-04] (2/20000) | 1.10e-03 [8.52e-04, 1.40e-03] (66/20000) | 0.030 | yes | | 0.002 | X | 3.33e-05 [4.04e-06, 1.20e-04] (2/20000) | 9.69e-04 [7.35e-04, 1.25e-03] (58/20000) | 0.034 | yes | | 0.001 | Z | 0 [0, 6.15e-05] (0/20000) | 1.67e-05 [4.22e-07, 9.29e-05] (1/20000) | 0.000 | no | | 0.001 | X | 0 [0, 6.15e-05] (0/20000) | 3.33e-05 [4.04e-06, 1.20e-04] (2/20000) | 0.000 | no |

Stage-4 screen (10,000 shots per basis at p = 0.002): Z 1 vs 32, X 0 vs 31 failures.

Objective at p = 0.002: met (both bases separated: True).

Gate verdict (verify/validate_candidate.py, refute off): passed = True, labels: advances the weight-8 x unrestricted board; literature novelty UNVERIFIED. Duplicate check: exact None, WL None. Board cell ['weight-8', 'unrestricted']: board_advancing = True.

Dead ends

Of the candidates that reached the GPU screen, 0 did not beat their surface baseline in both bases at 10,000 shots; 1 failed the d_circ check (kept when the estimate is within 2 of d or at least 3 times the surface baseline's distance); 0 produced no deterministic schedule or failed a tier check; 0 fell below d = 10 in the RIS ladder.

Tools

Claude (Claude Code, model Fable 5.1) as the agent in an unattended search: generation and circuits on the laptop, GPU decoding on a RunPod NVIDIA A40 pod. Repo tooling: research/kit/bb.py, research/cyclic_gb.py, and research/kit/group_algebra.py (constructions), research/kit/css.py and verify/gf2_fast.cpp (k and the RIS distance screen), verify/qldpc_verify.py fingerprint and WL signature (dedup against the board), the schedule chain of PR 1859's interleaved two-block builder (research/circuit_autogen.py), a SAT coloring, and the board's sequential builder with verify/circuit_verify.py's tier checks, our decoder-based d_circ estimator (not part of this repo), a rotated-surface matched baseline built with the same interleaved builder (our own scripts, not part of this repo), CUDA-Q QEC nv-qldpc-decoder (BP min-sum 30 iterations, scale 0.625, OSD combination sweep order 10, the configuration validated against bposd-cs-10), verify/ris_gpu.py on the A40 for the deep rung, a norm-lift quotient bound and single-block kernel enumeration for the cyclic draws (our own structural bound script, not part of this repo), and verify/validate_candidate.py for the verdict.

Reproduction

import sys; sys.path.insert(0, "research/kit")
import group_algebra as ga
mul, _ = ga.metacyclic(28, 12, 15)   # Cayley table, identity at index 0
HX, HZ = ga.build_2bga(mul, [0, 71, 77, 209], [0, 33, 119, 175])   # [[672,16]]

Circuits: PR 1859's interleaved two-block builder (research/circuit_autogen.py) at 3 rounds, 9.0 CX layers per round, with the term slots listed under Construction. Decoding: strip the noise, reapply circuit_tools.apply_noise at p, derive the DEM, sample with the stim seed recorded in the receipts, decode with nv-qldpc-decoder as configured above; a failure is any logical observable decoded wrong.

Parity checks

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