← back to the board
[[672,14,56]] d ≤
n
672
k
14
d
56
kd²/n
65.333
w
8
X/Z
1.5

Share this result

Distance

X/Z asymmetry 1.5 · d_X ≤ 56, d_Z ≤ 84 · 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 56 · witness weight 56 (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, 56 qubits)
[28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 113, 115, 117, 119, 121, 123, 125, 127, 129, 131, 133, 135, 137, 139, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 281, 283, 285, 287, 289, 291, 293, 295, 297, 299, 301, 303, 305, 307]
d_Z 84 · witness weight 84 (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, 84 qubits)
[0, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 100, 104, 108, 112, 116, 120, 124, 128, 132, 136, 140, 144, 148, 152, 156, 160, 164, 168, 172, 176, 180, 184, 188, 192, 196, 200, 204, 208, 212, 216, 220, 224, 228, 232, 236, 240, 244, 248, 252, 256, 260, 264, 268, 272, 276, 280, 284, 288, 292, 296, 300, 304, 308, 312, 316, 320, 324, 328, 332]
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)×1120 (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): 1120 (3,8): 194208 (3,10): 18816
trapping sets H_Z (1,4)×672 (2,6)×9408 (3,6)×1120 (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): 1120 (3,8): 194208 (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 = C12:C28(r=11) of order 336, Cayley table research/kit/group_algebra.metacyclic(12, 28, 11) 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, 183, 208, 303], b = [0, 89, 225, 310] (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 1 failures, X memory 0 failures, against 14 copies of the distance-7 rotated surface code (1358 physical qubits, same builder and decoder) with 43 and 58 failures. Decoder-based d_circ estimate at 3 rounds: 56. Distance: RIS at 20,000 trials (gf2_fast) and a 300,000,000-trial verify/ris_gpu.py pass per side; upper bounds. 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,14,56]] weight-8 two-block group-algebra code on C12:C28(r=11)

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 (k14-d7: 14 copies of d = 7, 1358 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 (19 of 19 beat it in both bases), the decoder-based d_circ estimate (5 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 = C12:C28(r=11) of order 336, Cayley table research/kit/group_algebra.metacyclic(12, 28, 11) 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, 183, 208, 303], b = [0, 89, 225, 310] (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': 464}

Evidence trail

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

| RIS trials per side | seed | lightest logical found | |---|---|---| | 2,000 | 1173796324 | 100 | | 20,000 | 1903056018 | 96 | | 200,000 (laptop, verify/gf2_fast) | 710753430 | 92 | | 400,000 (laptop, verify/gf2_fast) | 300, 301 | 90 | | 300,000,000 (GPU, verify/ris_gpu.py) | 1605195543 | X 56, Z 84 |

Claim: d <= 56, 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): 56 (per basis {'Z': 56, 'X': 139}); 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 14 copies of the distance-7 rotated surface code, 1358 physical qubits, geometric interleaved schedule, same noise recipe and decoder):

| p | basis | candidate | surface baseline | ratio | separated | |---|---|---|---|---|---| | 0.002 | Z | 1.75e-05 [4.44e-07, 9.78e-05] (1/19000) | 7.56e-04 [5.47e-04, 1.02e-03] (43/19000) | 0.023 | yes | | 0.002 | X | 0 [0, 6.47e-05] (0/19000) | 1.02e-03 [7.74e-04, 1.32e-03] (58/19000) | 0.000 | yes | | 0.001 | Z | 0 [0, 6.47e-05] (0/19000) | 8.77e-05 [2.85e-05, 2.05e-04] (5/19000) | 0.000 | no | | 0.001 | X | 0 [0, 6.47e-05] (0/19000) | 1.05e-04 [3.86e-05, 2.29e-04] (6/19000) | 0.000 | no |

Stage-4 screen (10,000 shots per basis at p = 0.002): Z 0 vs 33, X 1 vs 27 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(12, 28, 11)   # Cayley table, identity at index 0
HX, HZ = ga.build_2bga(mul, [0, 183, 208, 303], [0, 89, 225, 310])   # [[672,14]]

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