← back to the board
[[434,62,13]] d =
n
434
k
62
d
13
kd²/n
24.1429
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X = 13, d_Z = 13 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 13 · witness weight 13 (claimed exact)
witness operator (support, 13 qubits)
[2, 44, 58, 120, 126, 199, 236, 237, 311, 312, 326, 342, 399]
d_Z 13 · witness weight 13 (claimed exact)
witness operator (support, 13 qubits)
[1, 49, 94, 111, 124, 125, 141, 214, 235, 248, 341, 358, 384]
certificate exact, d = 13 · exhaustive search, two independent implementations (exactA, exactB; sources github.com/TimoKellerMath/quantum-error-correction @ aaa18674c9a1, two-block-and-amplified-codes/src, sha256 2d1f0d1a55d9..., e793e5b34eb6...; records github.com/TimoKellerMath/quantum-error-correction @ 2a15e549f6f4, pair-partition-and-two-block-codes/434-62-13/records) · level solver: a solver verdict, no artifact a third party can check without re-running the encoding
X: no nontrivial X-logical of weight <= 12 (W = 12): exactA 25003 nodes, 0.03 s; exactB 28822 nodes, 0.03 s (on a laptop; a rerun on byte-identical copies reproduced the node counts); dist-m4ri 0.16.1 and tropidist b03ec2d4077f, run without symmetry, also give d_X = 13; Z: no nontrivial Z-logical of weight <= 12 (W = 12): exactA 32523 nodes, 0.03 s; exactB 40114 nodes, 0.04 s (on a laptop; a rerun on byte-identical copies reproduced the node counts); dist-m4ri 0.16.1 and tropidist b03ec2d4077f, run without symmetry, also give d_Z = 13

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 6 · H_Z 6
qubit degrees H_X 2–3 (mean 2.571) · H_Z 2–3 (mean 2.571)
trapping sets H_X (1,2)×186 (2,2)×217 (3,2)×341 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,2): 186 (1,3): 248 (2,2): 217 (2,3): 1426 (2,4): 1147 (3,2): 341 (3,3): 4557 (3,4): 11222 (3,5): 7440 (3,6): 2077 (3,7): 837
trapping sets H_Z (1,2)×186 (2,2)×217 (3,2)×341 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,2): 186 (1,3): 248 (2,2): 217 (2,3): 1426 (2,4): 1147 (3,2): 341 (3,3): 4557 (3,4): 11222 (3,5): 7440 (3,6): 2077 (3,7): 837

Construction & provenance

authors @TimoKellerMath
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Pair-partition CPM CSS code (the pair-partition rule and girth rule of Okada-Kasai, arXiv:2607.14091) on a sparse 6x14 template of check weight 6, cyclic lift P = 31 (Z_31), n = 14P = 434, k = 2P = 62, design rate 1/7. Template: 6 block rows per type on 14 block columns, every block row of weight 6, every block column of degree 2 or 3 on each side (8 of degree 3, 6 of degree 2; the degree-2 columns of a side form a connected unicyclic graph on its rows). Block columns per block row: X = [[0,1,2,3,5,10], [0,2,4,5,9,11], [1,2,6,7,8,9], [3,6,7,10,11,13], [4,5,6,7,12,13], [8,9,10,11,12,13]], Z = [[0,1,4,6,12,13], [0,2,3,5,9,13], [0,6,8,10,11,13], [1,3,4,7,8,9], [2,4,5,6,11,12], [2,7,8,9,10,12]]. Qubit u*P + s is position s in Z_31 of block column u; X-check (i,r), r in Z_31, acts on the qubits u*P + ((r + e_iu) mod P), u in X_i, Z-check (j,r) on u*P + ((r + f_ju) mod P), u in Z_j; checks in the order i*P + r. Exponents (u:e per block row): X0: 0:0 1:0 2:0 3:0 5:0 10:0; X1: 0:0 2:30 4:0 5:24 9:0 11:0; X2: 1:0 2:13 6:0 7:0 8:3 9:13; X3: 3:0 6:16 7:6 10:19 11:30 13:16; X4: 4:16 5:0 6:27 7:3 12:27 13:16; X5: 8:22 9:7 10:0 11:22 12:17 13:17; Z0: 0:0 1:0 4:0 6:0 12:0 13:0; Z1: 0:0 2:0 3:25 5:25 9:0 13:10; Z2: 0:0 6:28 8:0 10:0 11:0 13:17; Z3: 1:0 3:0 4:19 7:6 8:3 9:19; Z4: 2:0 4:7 5:0 6:18 11:1 12:27; Z5: 2:0 7:18 8:22 9:1 10:0 12:11. Every overlap of an X-row and a Z-row of the template has 0, 2 or 4 block columns and splits into pairs {u,v} with e_iu - f_ju = e_iv - f_jv, so H_X H_Z^T = 0; the pairing satisfies the girth rule (no pair in two cells of one row or one column of the pairing array), and no two checks of one type share two qubits. rank H_X = rank H_Z = 6P = 186; every check has weight 6; qubit (X, Z)-degrees (2,2) on 62, (2,3) on 124, (3,2) on 124 and (3,3) on 124 qubits. The pairing square complex (template rows and columns, one square per pair) has first Betti number 3 and torsion-free H_1; the exponents are a class of H1 with values in Z_31.
model Claude Claude Opus 5.5 (claimed, not verified)
builds on arXiv:2607.14091, https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_20260714.html, arXiv:2609.30069, arXiv:2609.35601, arXiv:2610.19451, arXiv:quant-ph/0701020, arXiv:0901.4129, arXiv:1611.07164, arXiv:2611.08247
date 2026-11-11
notes Exact distance: d_X = d_Z = 13. Two independently written exhaustive searches (exactA, exactB), anchored at the translations of Z_31, find no nontrivial logical of weight <= 12 on either side (records and the certificate certs/434-62-13.json); dist-m4ri 0.16.1 and tropidist b03ec2d4077f, run without symmetry, give the same value on both sides. Definitions, records and a rebuild script: github.com/TimoKellerMath/quantum-error-correction @ 2a15e549f6f4, pair-partition-and-two-block-codes/434-62-13/ and pair-partition-and-two-block-codes/src/rebuild.py. Novelty claim: new parameters only. No entry of board commit 82a52ee51 has n = 434 and k = 62, no published code with these parameters is known to us (literature search of 2026-11-11: see the note), at that commit no CSS entry dominates or equals it in (n, k, d, w), and it dominates 36 entries (see the note). Construction and attribution: a CPM lift of a sparse 6x14 template (check weight 6, column degrees 2 and 3) whose X/Z row overlaps are made even by pair partitions with the girth rule of Okada and Kasai (arXiv:2607.14091); their codes and Kasai's catalogue use all-one JxL templates with check weight L >= 8, as do arXiv:2609.30069 and arXiv:2609.35601. Relation to the board (export 82a52ee51): CPM lifts whose X/Z row overlaps split into pairs of equal exponent difference are common on the board at check weights 4 to 8, among them two-block and bicycle codes, the [[6N,2N+2,6]] family of arXiv:2610.19451 (all-one 2x6 template, d = 6) and irregular templates such as 260-58-6 and the 14x28 lifts 280-20-8 to 700-50-8 at check weight 6; entries tagged pair-partition-cpm occur only at check weight >= 7 (e.g. 990-198-17, 994-142-40, 972-166-34). In the layouts tested (consecutive or interleaved blocks of the stored qubit order), no entry of check weight 6 is a lift of a template with column degrees 2 and 3 (computed). No entry has these n and k; checked, not equivalent to an existing entry.
family pair-partition CPM (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[434,62,13]]: weight-6 pair-partition code on a sparse 6 x 14 template, lift P = 31

Direction & hypothesis

Cell: CSS, check weight at most 6, unrestricted locality (no layout submitted). Pair-partition (PP) CPM codes hold the largest kd^2/n of the board at check weights 7 and 8 (990-198-17, 994-142-40). We asked whether the PP rule gives good codes at check weight 6 on sparse templates whose block columns have degree 2 or 3: six rows of weight 6 on 14 columns (8 of degree 3 and 6 of degree 2, since 36 = 8 x 3 + 6 x 2) give design rate 1 - 12/14 = 1/7. Hypothesis: a large distance needs a pairing with at least 3 free exponent directions, i.e. first Betti number b_1 >= 3 of the pairing square complex X (template rows and columns, one square per pair), whose classes in H^1(X; Z_P) are the lifts; the five PP leaders at weights 7 and 8 that we examined have b_1 = 3 to 6, and the smaller weight-6 shapes admit no such pairing (Dead ends), so we searched 6 x 14.

Attribution. The code is a CPM lift of a sparse 6 x 14 template (check weight 6, column degrees 2 and 3) whose X/Z row overlaps are made even by pair partitions with the girth rule of Okada and Kasai (arXiv:2607.14091); their codes and Kasai's catalogue (44 codes) use all-one J x L templates with check weight L >= 8, as do the follow-ups arXiv:2609.30069 (Lee, Okada, Maskara, Kasai, Zhou: the design-rate count; its App. A applies the bounds of MacKay-Davey and of Smarandache-Vontobel, arXiv:0901.4129, whose cofactor words give our structural bounds; its outlook names irregular templates) and arXiv:2609.35601. Quasi-cyclic CSS codes from circulant permutation matrices go back to Hagiwara and Imai (arXiv:quant-ph/0701020). Relation to the board (export 82a52ee51): CPM lifts whose X/Z row overlaps split into pairs of equal exponent difference are common on the board at check weights 4 to 8, among them two-block and bicycle codes, the [[6N,2N+2,6]] family of arXiv:2610.19451 (all-one 2 x 6 template, d = 6) and irregular templates such as 260-58-6 and the 14 x 28 lifts 280-20-8 to 700-50-8 at check weight 6; entries tagged pair-partition-cpm occur only at check weight >= 7 (e.g. 990-198-17, 994-142-40, 972-166-34). In the layouts tested (consecutive or interleaved blocks of the stored qubit order), no entry of check weight 6 is a lift of a template with column degrees 2 and 3 (computed). 990-198-17 (MicheldeMessieres) enumerates one-side templates with columns of degree 2 or 3 (J = 3, 4 exhaustively, J = 5 sampled), ranks them by its generalization of App. A of arXiv:2609.30069 to sparse templates, records that its pairings with 5 free dimensions carry a forced weight-5 logical through the two degree-2 columns, and finds no weight-6 template with J <= 4 that reaches its target; 994-142-40 uses 6 x 14 templates of rate 1/7 and asks for at least 3 free exponent directions, and notes/972-166-34.md (jacksongquera) has the pairing square complex and its free directions. Ours: the 6 x 14 census at check weight 6, the template, pairing, cocycle class and lift of this code, and its exact distance.

What was searched

Template census (6,14,6): one side's templates (6 rows of weight 6 on 14 block columns, every column of degree 2 or 3, the 6 degree-2 columns a connected unicyclic graph on the rows) up to permutations, 19756 classes; X/Z pairs with even overlaps admitting pairings under the girth rule, 4755087 labelled pairs; 12954 pair classes with a pairing of b_1 >= 3, of which a seeded sample of 600 was processed (4056 pairing orbits). 3835 orbits were dropped because a cofactor word of weight below 16 is a logical in every lift whose P is prime to the torsion of H_1(X; Z) (3208 of them have torsion-free H_1; the other lifts of the remaining 627 were not examined); 221 were kept. Lifts of the kept orbits: for P = 5 to 71 (n = 14P <= 994) the classes of H^1(X; Z_P) giving connected lifts, up to units (a seeded sample of 24 per P where there were more than 40): 356432 lifts, 18616 with structural upper bound >= 16 (cofactor words and lifted cycles), 5665 of them screened by a Stern information-set search with 3000 iterations per side (at most 3 per pairing and P), and 83 again with 6e4 iterations per side. The 33167 control lifts of 56 orbits with b_1 = 1 and 2 never reached structural bound 16. About 60 CPU-hours with 32 workers on our compute server, 55 of them for the template census. This code has the smallest n among the 5665 screened lifts whose upper bound is 13.

Evidence trail

  • Construction: provenance.construction (template, P = 31, exponents); rank H_X = rank H_Z = 186, k = 62; every check of weight 6; qubit (X, Z)-degrees (2,2) on 62, (2,3) on 124, (3,2) on 124 and (3,3) on 124 qubits; no two checks of one type share two qubits. The pairing has b_1 = 3 with torsion-free H_1. Rebuilt from the definition by several independently written scripts, with identical results.
  • Symmetry (computed with Magma): the words of weight 6 of rowsp H_X and of rowsp H_Z are exactly the checks, and the permutation automorphism group of the code is Z_31 (the translations), D_31 with the X/Z exchange.
  • Upper bound: a Stern information-set search with 3000 iterations per side found words of weight 13 on both sides (414 hits and 144 distinct words on side Z, 373 and 122 on side X) and nothing lighter; the entry carries one witness per side.
  • Lower bound: exactA (pattern classes of the 6 check orbits under Z_31, 186 jobs) and exactB (one anchor per qubit orbit, earlier orbits excluded, 14 runs) find no nontrivial logical of weight <= 12 on either side (W = 12; the all-one vector lies in neither row space, so every weight <= 12 was searched): exactA 32523 / 25003 nodes, exactB 40114 / 28822 nodes (sides Z / X), 0.13 CPU-s in all, single-threaded on a laptop; a rerun on byte-identical copies reproduced every node count.
  • Third-party exact tools, single-threaded and without symmetry: dist-m4ri 0.16.1 at commit 4cc9c126e314 (connected clusters; Dumer, Kovalev, Pryadko, arXiv:1611.07164) finds no logical below 13 and enumerates 248 logicals of weight 13 per side (2.13 s and 1.61 s for sides Z and X); tropidist b03ec2d4077f (Cheng, Guo, Pan, arXiv:2611.08247) returns exact 13 on both sides (2.1 s and 0.8 s).
  • Final claim: d_X = d_Z = 13 exactly (computed; Theorem 5 of the package README, with the completeness proofs of both programs), kd^2/n = 24.14; certs/434-62-13.json records exactA and exactB at level solver.
  • Board placement (the cell and Pareto rules of the board's site/build.py, re-implemented, at 82a52ee51): on the frontier of the unrestricted cells weight-6 (1085 members), weight-8 and any, with no dominator and no tie; the largest d of a CSS entry with n <= 434, k >= 62 and check weight <= 6 is 6. It dominates 36 entries, 27 of them in the weight-6 cell and the others in the weight-8 and any cells. Among them are 463-34-12, 500-36-12, 464-32-12 and 600-45-8 (exact, check weight 7; better on n, k, d and w); 570-38-9 and 600-40-9 (exact, check weight 6; better on n, k and d). One of them is our own 463-34-12 (check weight 7).
  • Novelty claim, new parameters only: no published code and no board entry has these parameters, and the code dominates the entries stated above. Literature search of 2026-11-11: arXiv with the papers above and their follow-ups, Kasai's catalogue, our catalogue of the code tables of 76 papers, the board at 82a52ee51 with notes and open pull requests, web searches for the parameters; not checked: QECdb, Google Scholar full text, journal-only papers.

Dead ends

  • Smaller weight-6 shapes: 4 x 9 and 5 x 11 templates (degree-2 columns forming a forest) admit no girth-rule pairing with b_1 >= 3 (computed, exhaustive). On 4 x 9 every lift of prime order 11 <= P <= 113 that we checked has a cofactor logical of weight <= 15; the best 5 x 11 lift with b_1 = 2 screened at n = 660, k = 64, d <= 13.
  • No screened lift has an upper bound above 15, so our target d >= 16 at n <= 1000 was not met; the 12951 structural survivors that were not screened belong to pairings whose screened lifts all have upper bounds <= 15.
  • More free directions did not help beyond 4: the 6 kept pairings with b_1 = 5 have structural bounds <= 14 at every P; of the pairings with a screened lift, 5 of 9 with b_1 = 4 reached 15, and 1 of 29 with b_1 = 3.
  • A cycle of length l of degree-2 X-columns with holonomy h lifts to a word of weight l ord(h) in ker H_X (likewise for Z); unless it is a stabilizer it is a logical, so d <= l ord(h). In the best template (742-106-15) both cycles have zero holonomy and lift to checks of the other type, so large holonomy is not necessary.

Tools

Claude Opus 5.5 (Claude Code); Python (standard library) for the template census, the pairings, Smith forms and cocycle classes; a C program for the lifts, ranks, structural bounds and the Stern search; exactA and exactB, our two independently written exhaustive programs with completeness proofs (sources and notes at github.com/TimoKellerMath/quantum-error-correction @ aaa18674c9a1, two-block-and-amplified-codes/src/; they refine the complete searches of Dumer, Kovalev and Pryadko and of Okada and Kasai); Magma for the automorphism groups; dist-m4ri and tropidist as third-party checks.

Reproduction

In pair-partition-and-two-block-codes/ of github.com/TimoKellerMath/quantum-error-correction @ 2a15e549f6f4: python3 src/rebuild.py rebuilds H_X and H_Z of this code from 434-62-13/definition.json (template rows, P, exponents, pairing) and checks the matrices, k, the witnesses and the records of both exact searches in 434-62-13/records/ (make rerun reruns the searches); the third-party runs are in 434-62-13/third_tools/; python3 src/rebuild.py --entry FILE, with FILE this entry, checks it against the package. By hand: the lift rule, template and exponents of provenance.construction.

Parity checks

X-checks 186 (max weight 6) · Z-checks 186 (max weight 6)
H_X (186 checks, sparse supports)
[0, 31, 62, 93, 155, 310] [1, 32, 63, 94, 156, 311] [2, 33, 64, 95, 157, 312] [3, 34, 65, 96, 158, 313] [4, 35, 66, 97, 159, 314] [5, 36, 67, 98, 160, 315] [6, 37, 68, 99, 161, 316] [7, 38, 69, 100, 162, 317] [8, 39, 70, 101, 163, 318] [9, 40, 71, 102, 164, 319] [10, 41, 72, 103, 165, 320] [11, 42, 73, 104, 166, 321] [12, 43, 74, 105, 167, 322] [13, 44, 75, 106, 168, 323] [14, 45, 76, 107, 169, 324] [15, 46, 77, 108, 170, 325] [16, 47, 78, 109, 171, 326] [17, 48, 79, 110, 172, 327] [18, 49, 80, 111, 173, 328] [19, 50, 81, 112, 174, 329] [20, 51, 82, 113, 175, 330] [21, 52, 83, 114, 176, 331] [22, 53, 84, 115, 177, 332] [23, 54, 85, 116, 178, 333] [24, 55, 86, 117, 179, 334] [25, 56, 87, 118, 180, 335] [26, 57, 88, 119, 181, 336] [27, 58, 89, 120, 182, 337] [28, 59, 90, 121, 183, 338] [29, 60, 91, 122, 184, 339] [30, 61, 92, 123, 185, 340] [0, 92, 124, 179, 279, 341] [1, 62, 125, 180, 280, 342] [2, 63, 126, 181, 281, 343] [3, 64, 127, 182, 282, 344] [4, 65, 128, 183, 283, 345] [5, 66, 129, 184, 284, 346] [6, 67, 130, 185, 285, 347] [7, 68, 131, 155, 286, 348] [8, 69, 132, 156, 287, 349] [9, 70, 133, 157, 288, 350] [10, 71, 134, 158, 289, 351] [11, 72, 135, 159, 290, 352] [12, 73, 136, 160, 291, 353] [13, 74, 137, 161, 292, 354] [14, 75, 138, 162, 293, 355] [15, 76, 139, 163, 294, 356] [16, 77, 140, 164, 295, 357] [17, 78, 141, 165, 296, 358] [18, 79, 142, 166, 297, 359] [19, 80, 143, 167, 298, 360] [20, 81, 144, 168, 299, 361] [21, 82, 145, 169, 300, 362] [22, 83, 146, 170, 301, 363] [23, 84, 147, 171, 302, 364] [24, 85, 148, 172, 303, 365] [25, 86, 149, 173, 304, 366] [26, 87, 150, 174, 305, 367] [27, 88, 151, 175, 306, 368] [28, 89, 152, 176, 307, 369] [29, 90, 153, 177, 308, 370] [30, 91, 154, 178, 309, 371] [31, 75, 186, 217, 251, 292] [32, 76, 187, 218, 252, 293] [33, 77, 188, 219, 253, 294] [34, 78, 189, 220, 254, 295] [35, 79, 190, 221, 255, 296] [36, 80, 191, 222, 256, 297] [37, 81, 192, 223, 257, 298] [38, 82, 193, 224, 258, 299] [39, 83, 194, 225, 259, 300] [40, 84, 195, 226, 260, 301] [41, 85, 196, 227, 261, 302] [42, 86, 197, 228, 262, 303] [43, 87, 198, 229, 263, 304] [44, 88, 199, 230, 264, 305] [45, 89, 200, 231, 265, 306] [46, 90, 201, 232, 266, 307] [47, 91, 202, 233, 267, 308] [48, 92, 203, 234, 268, 309] [49, 62, 204, 235, 269, 279] [50, 63, 205, 236, 270, 280] [51, 64, 206, 237, 271, 281] [52, 65, 207, 238, 272, 282] [53, 66, 208, 239, 273, 283] [54, 67, 209, 240, 274, 284] [55, 68, 210, 241, 275, 285] [56, 69, 211, 242, 276, 286] [57, 70, 212, 243, 277, 287] [58, 71, 213, 244, 278, 288] [59, 72, 214, 245, 248, 289] [60, 73, 215, 246, 249, 290] [61, 74, 216, 247, 250, 291] [93, 202, 223, 329, 371, 419] [94, 203, 224, 330, 341, 420] [95, 204, 225, 331, 342, 421] [96, 205, 226, 332, 343, 422] [97, 206, 227, 333, 344, 423] [98, 207, 228, 334, 345, 424] [99, 208, 229, 335, 346, 425] [100, 209, 230, 336, 347, 426] [101, 210, 231, 337, 348, 427] [102, 211, 232, 338, 349, 428] [103, 212, 233, 339, 350, 429] [104, 213, 234, 340, 351, 430] [105, 214, 235, 310, 352, 431] [106, 215, 236, 311, 353, 432] [107, 216, 237, 312, 354, 433] [108, 186, 238, 313, 355, 403] [109, 187, 239, 314, 356, 404] [110, 188, 240, 315, 357, 405] [111, 189, 241, 316, 358, 406] [112, 190, 242, 317, 359, 407] [113, 191, 243, 318, 360, 408] [114, 192, 244, 319, 361, 409] [115, 193, 245, 320, 362, 410] [116, 194, 246, 321, 363, 411] [117, 195, 247, 322, 364, 412] [118, 196, 217, 323, 365, 413] [119, 197, 218, 324, 366, 414] [120, 198, 219, 325, 367, 415] [121, 199, 220, 326, 368, 416] [122, 200, 221, 327, 369, 417] [123, 201, 222, 328, 370, 418] [140, 155, 213, 220, 399, 419] [141, 156, 214, 221, 400, 420] [142, 157, 215, 222, 401, 421] [143, 158, 216, 223, 402, 422] [144, 159, 186, 224, 372, 423] [145, 160, 187, 225, 373, 424] [146, 161, 188, 226, 374, 425] [147, 162, 189, 227, 375, 426] [148, 163, 190, 228, 376, 427] [149, 164, 191, 229, 377, 428] [150, 165, 192, 230, 378, 429] [151, 166, 193, 231, 379, 430] [152, 167, 194, 232, 380, 431] [153, 168, 195, 233, 381, 432] [154, 169, 196, 234, 382, 433] [124, 170, 197, 235, 383, 403] [125, 171, 198, 236, 384, 404] [126, 172, 199, 237, 385, 405] [127, 173, 200, 238, 386, 406] [128, 174, 201, 239, 387, 407] [129, 175, 202, 240, 388, 408] [130, 176, 203, 241, 389, 409] [131, 177, 204, 242, 390, 410] [132, 178, 205, 243, 391, 411] [133, 179, 206, 244, 392, 412] [134, 180, 207, 245, 393, 413] [135, 181, 208, 246, 394, 414] [136, 182, 209, 247, 395, 415] [137, 183, 210, 217, 396, 416] [138, 184, 211, 218, 397, 417] [139, 185, 212, 219, 398, 418] [270, 286, 310, 363, 389, 420] [271, 287, 311, 364, 390, 421] [272, 288, 312, 365, 391, 422] [273, 289, 313, 366, 392, 423] [274, 290, 314, 367, 393, 424] [275, 291, 315, 368, 394, 425] [276, 292, 316, 369, 395, 426] [277, 293, 317, 370, 396, 427] [278, 294, 318, 371, 397, 428] [248, 295, 319, 341, 398, 429] [249, 296, 320, 342, 399, 430] [250, 297, 321, 343, 400, 431] [251, 298, 322, 344, 401, 432] [252, 299, 323, 345, 402, 433] [253, 300, 324, 346, 372, 403] [254, 301, 325, 347, 373, 404] [255, 302, 326, 348, 374, 405] [256, 303, 327, 349, 375, 406] [257, 304, 328, 350, 376, 407] [258, 305, 329, 351, 377, 408] [259, 306, 330, 352, 378, 409] [260, 307, 331, 353, 379, 410] [261, 308, 332, 354, 380, 411] [262, 309, 333, 355, 381, 412] [263, 279, 334, 356, 382, 413] [264, 280, 335, 357, 383, 414] [265, 281, 336, 358, 384, 415] [266, 282, 337, 359, 385, 416] [267, 283, 338, 360, 386, 417] [268, 284, 339, 361, 387, 418] [269, 285, 340, 362, 388, 419]
H_Z (186 checks, sparse supports)
[0, 31, 124, 186, 372, 403] [1, 32, 125, 187, 373, 404] [2, 33, 126, 188, 374, 405] [3, 34, 127, 189, 375, 406] [4, 35, 128, 190, 376, 407] [5, 36, 129, 191, 377, 408] [6, 37, 130, 192, 378, 409] [7, 38, 131, 193, 379, 410] [8, 39, 132, 194, 380, 411] [9, 40, 133, 195, 381, 412] [10, 41, 134, 196, 382, 413] [11, 42, 135, 197, 383, 414] [12, 43, 136, 198, 384, 415] [13, 44, 137, 199, 385, 416] [14, 45, 138, 200, 386, 417] [15, 46, 139, 201, 387, 418] [16, 47, 140, 202, 388, 419] [17, 48, 141, 203, 389, 420] [18, 49, 142, 204, 390, 421] [19, 50, 143, 205, 391, 422] [20, 51, 144, 206, 392, 423] [21, 52, 145, 207, 393, 424] [22, 53, 146, 208, 394, 425] [23, 54, 147, 209, 395, 426] [24, 55, 148, 210, 396, 427] [25, 56, 149, 211, 397, 428] [26, 57, 150, 212, 398, 429] [27, 58, 151, 213, 399, 430] [28, 59, 152, 214, 400, 431] [29, 60, 153, 215, 401, 432] [30, 61, 154, 216, 402, 433] [0, 62, 118, 180, 279, 413] [1, 63, 119, 181, 280, 414] [2, 64, 120, 182, 281, 415] [3, 65, 121, 183, 282, 416] [4, 66, 122, 184, 283, 417] [5, 67, 123, 185, 284, 418] [6, 68, 93, 155, 285, 419] [7, 69, 94, 156, 286, 420] [8, 70, 95, 157, 287, 421] [9, 71, 96, 158, 288, 422] [10, 72, 97, 159, 289, 423] [11, 73, 98, 160, 290, 424] [12, 74, 99, 161, 291, 425] [13, 75, 100, 162, 292, 426] [14, 76, 101, 163, 293, 427] [15, 77, 102, 164, 294, 428] [16, 78, 103, 165, 295, 429] [17, 79, 104, 166, 296, 430] [18, 80, 105, 167, 297, 431] [19, 81, 106, 168, 298, 432] [20, 82, 107, 169, 299, 433] [21, 83, 108, 170, 300, 403] [22, 84, 109, 171, 301, 404] [23, 85, 110, 172, 302, 405] [24, 86, 111, 173, 303, 406] [25, 87, 112, 174, 304, 407] [26, 88, 113, 175, 305, 408] [27, 89, 114, 176, 306, 409] [28, 90, 115, 177, 307, 410] [29, 91, 116, 178, 308, 411] [30, 92, 117, 179, 309, 412] [0, 214, 248, 310, 341, 420] [1, 215, 249, 311, 342, 421] [2, 216, 250, 312, 343, 422] [3, 186, 251, 313, 344, 423] [4, 187, 252, 314, 345, 424] [5, 188, 253, 315, 346, 425] [6, 189, 254, 316, 347, 426] [7, 190, 255, 317, 348, 427] [8, 191, 256, 318, 349, 428] [9, 192, 257, 319, 350, 429] [10, 193, 258, 320, 351, 430] [11, 194, 259, 321, 352, 431] [12, 195, 260, 322, 353, 432] [13, 196, 261, 323, 354, 433] [14, 197, 262, 324, 355, 403] [15, 198, 263, 325, 356, 404] [16, 199, 264, 326, 357, 405] [17, 200, 265, 327, 358, 406] [18, 201, 266, 328, 359, 407] [19, 202, 267, 329, 360, 408] [20, 203, 268, 330, 361, 409] [21, 204, 269, 331, 362, 410] [22, 205, 270, 332, 363, 411] [23, 206, 271, 333, 364, 412] [24, 207, 272, 334, 365, 413] [25, 208, 273, 335, 366, 414] [26, 209, 274, 336, 367, 415] [27, 210, 275, 337, 368, 416] [28, 211, 276, 338, 369, 417] [29, 212, 277, 339, 370, 418] [30, 213, 278, 340, 371, 419] [31, 93, 143, 223, 251, 298] [32, 94, 144, 224, 252, 299] [33, 95, 145, 225, 253, 300] [34, 96, 146, 226, 254, 301] [35, 97, 147, 227, 255, 302] [36, 98, 148, 228, 256, 303] [37, 99, 149, 229, 257, 304] [38, 100, 150, 230, 258, 305] [39, 101, 151, 231, 259, 306] [40, 102, 152, 232, 260, 307] [41, 103, 153, 233, 261, 308] [42, 104, 154, 234, 262, 309] [43, 105, 124, 235, 263, 279] [44, 106, 125, 236, 264, 280] [45, 107, 126, 237, 265, 281] [46, 108, 127, 238, 266, 282] [47, 109, 128, 239, 267, 283] [48, 110, 129, 240, 268, 284] [49, 111, 130, 241, 269, 285] [50, 112, 131, 242, 270, 286] [51, 113, 132, 243, 271, 287] [52, 114, 133, 244, 272, 288] [53, 115, 134, 245, 273, 289] [54, 116, 135, 246, 274, 290] [55, 117, 136, 247, 275, 291] [56, 118, 137, 217, 276, 292] [57, 119, 138, 218, 277, 293] [58, 120, 139, 219, 278, 294] [59, 121, 140, 220, 248, 295] [60, 122, 141, 221, 249, 296] [61, 123, 142, 222, 250, 297] [62, 131, 155, 204, 342, 399] [63, 132, 156, 205, 343, 400] [64, 133, 157, 206, 344, 401] [65, 134, 158, 207, 345, 402] [66, 135, 159, 208, 346, 372] [67, 136, 160, 209, 347, 373] [68, 137, 161, 210, 348, 374] [69, 138, 162, 211, 349, 375] [70, 139, 163, 212, 350, 376] [71, 140, 164, 213, 351, 377] [72, 141, 165, 214, 352, 378] [73, 142, 166, 215, 353, 379] [74, 143, 167, 216, 354, 380] [75, 144, 168, 186, 355, 381] [76, 145, 169, 187, 356, 382] [77, 146, 170, 188, 357, 383] [78, 147, 171, 189, 358, 384] [79, 148, 172, 190, 359, 385] [80, 149, 173, 191, 360, 386] [81, 150, 174, 192, 361, 387] [82, 151, 175, 193, 362, 388] [83, 152, 176, 194, 363, 389] [84, 153, 177, 195, 364, 390] [85, 154, 178, 196, 365, 391] [86, 124, 179, 197, 366, 392] [87, 125, 180, 198, 367, 393] [88, 126, 181, 199, 368, 394] [89, 127, 182, 200, 369, 395] [90, 128, 183, 201, 370, 396] [91, 129, 184, 202, 371, 397] [92, 130, 185, 203, 341, 398] [62, 235, 270, 280, 310, 383] [63, 236, 271, 281, 311, 384] [64, 237, 272, 282, 312, 385] [65, 238, 273, 283, 313, 386] [66, 239, 274, 284, 314, 387] [67, 240, 275, 285, 315, 388] [68, 241, 276, 286, 316, 389] [69, 242, 277, 287, 317, 390] [70, 243, 278, 288, 318, 391] [71, 244, 248, 289, 319, 392] [72, 245, 249, 290, 320, 393] [73, 246, 250, 291, 321, 394] [74, 247, 251, 292, 322, 395] [75, 217, 252, 293, 323, 396] [76, 218, 253, 294, 324, 397] [77, 219, 254, 295, 325, 398] [78, 220, 255, 296, 326, 399] [79, 221, 256, 297, 327, 400] [80, 222, 257, 298, 328, 401] [81, 223, 258, 299, 329, 402] [82, 224, 259, 300, 330, 372] [83, 225, 260, 301, 331, 373] [84, 226, 261, 302, 332, 374] [85, 227, 262, 303, 333, 375] [86, 228, 263, 304, 334, 376] [87, 229, 264, 305, 335, 377] [88, 230, 265, 306, 336, 378] [89, 231, 266, 307, 337, 379] [90, 232, 267, 308, 338, 380] [91, 233, 268, 309, 339, 381] [92, 234, 269, 279, 340, 382]
Code ID 434-62-13 · download JSON · raw on GitHub