← back to the board
[[342,40,34]] d ≤
n
342
k
40
d
34
kd²/n
135.205
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 34, d_Z ≤ 34 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 34 · witness weight 34 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-15
witness operator (support, 34 qubits)
[2, 14, 27, 33, 35, 52, 53, 55, 56, 59, 60, 69, 100, 109, 130, 132, 136, 151, 163, 173, 217, 228, 237, 239, 242, 248, 265, 280, 283, 288, 295, 314, 317, 323]
d_Z 34 · witness weight 34 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-15
witness operator (support, 34 qubits)
[21, 27, 28, 38, 49, 51, 69, 75, 85, 89, 92, 96, 100, 106, 109, 125, 138, 177, 184, 193, 195, 212, 238, 244, 260, 266, 267, 280, 293, 308, 311, 323, 327, 329]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 16 · H_Z 16
qubit degrees H_X 7–9 (mean 8.0) · H_Z 7–9 (mean 8.0)
trapping sets H_X (1,7)×171 (2,10)×342 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_X
(1,7): 171 (1,9): 171 (2,10): 342 (2,12): 4446 (2,14): 8208 (2,16): 5130
trapping sets H_Z (1,7)×171 (2,10)×342 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_Z
(1,7): 171 (1,9): 171 (2,10): 342 (2,12): 4446 (2,14): 8208 (2,16): 5130

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=171 = 3 x 3 x 19, with ord_2(m)=18, so x171 - 1 factors over GF(2) into 12 cyclotomic cosets, 1 of size 1, 1 of size 2, 1 of size 6, 9 of size 18. The divisor g is assembled from coset minimal polynomials to degree 20, which fixes k = 2 deg g = 40 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 7 and weight 9 in the two blocks. At least one weight is odd, so x+1 does not divide the gcd. m is composite, so the quotient fold acts at t=3, t=9, t=19 and t=57; a fold over every equal-orbit partition of the qubits returns nothing lighter than 48, clear of the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 342 qubits at uniform row weight 16, with a = [81, 87, 99, 107, 110, 133, 140] and b = [16, 49, 55, 91, 98, 143, 146, 151, 162].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-15
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

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

--- author: "@vprusso" ---

[[342,40,34]]: cyclic generalized-bicycle code at m = 171, row weight 16

At row weight 16 or lighter, the best distance on the board with n <= 342 and k >= 40 is 24, at [[254,44,24]] and row weight 16. This entry reaches 34, and since that same entry is also the best at any row weight in the range, it clears the unrestricted comparison too.

Direction & hypothesis

m = 171 had never been swept for this construction, and n = 342 held three board entries, at k = 6, k = 46 and k = 76, with distances 39, 3 and 4. Nothing sat at this dimension.

For a cyclic generalized bicycle on x^m - 1 the dimension is k = 2 deg gcd(a, b, x^m - 1), so it can be set in advance: build a divisor g of chosen degree out of cyclotomic coset minimal polynomials and draw a and b as low-weight codewords of its ideal. Degree 20 at m = 171 is deg g / m of 0.117, at the bottom of the band this family produces anything in; degrees above roughly 0.17 return distance 4 or 5 at any modulus.

What was searched

m = 171 = 3^2 x 19 with ord_2(171) = 18, so x^171 - 1 factors over GF(2) into 12 cyclotomic cosets: one of size 1, one of size 2, one of size 6 and nine of size 18. Reachable divisor degrees are the subset sums of those sizes, and the divisor here has degree 20, fixing k = 40.

Degrees were filtered before cores were spent: the degree must be a sum of coset sizes or no divisor exists, and the chosen exponents must not share a factor with m or the divisor sits inside x^q - 1 for a proper divisor q and the codes fall below distance 4.

The sweep ran at 20,000 information-set trials per draw. This design point produced draws across row weights 14 through 24. Those are separate board cells rather than competitors, because domination needs the dominator to be no heavier and at least as far, so a lighter draw at a lower distance does not displace a heavier one at a higher distance. The polynomial weights here are 7 and 9, so (x + 1) does not divide the common gcd.

Evidence trail

deg gcd(a, b, x^171 - 1) = 20, and the same degree on each side alone, so the leak between the two single-block kernels and k is 0.

A 24-seed gate at 2,000,000 information-set trials per seed settled at 34. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, read 36, above the gate, so the gate is the binding instrument and the claim is 34.

The single-block logicals form the cyclic code of dimension 20 whose zeros are the 151 residues the divisor omits. The longest run of consecutive residues among them is 25, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 26 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 38. The quotient fold acts at t = 3, 9, 19 and 57; a fold over every equal-orbit partition of the qubits returns nothing lighter than 48, so none of the four folds binds.

The claim is a witness-backed upper bound, not certified. The Z witness of weight 34 is the operator the gate found; the X witness is that operator carried across by the construction's own symmetry, since H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] means swapping the blocks and negating the index inside each maps one side's logicals onto the other's. It was validated against the opposite check matrix and the logical basis before being written, and both witnesses commute with the opposite check matrix and lie outside its row space.

Dead ends

A row weight 20 draw at this dimension reached 36 under both its gate and a 24-seed spread, and a row weight 16 draw at the neighbouring [[342,42]] reached the same 36. Neither dominates this entry and this entry dominates neither of them, since each is lighter or heavier without being at least as far.

The board's bar at [[342,40]] is 24 at row weight 20, 24 at weight 16 and 22 at weight 14, so dropping weight steps buys almost nothing here while the distance falls 36 to 34 to 32. At [[342,42]] the bar is 24 at every weight from 20 down to 16, so a lighter draw there is pure loss. Lighter is not automatically better in this family; it pays only where a strong entry already occupies the heavier weight and the bar collapses underneath it.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings, witness validation and the single-block searches come from this repository's verify/gf2_fast extension. Divisor assembly, coset selection, the information-set draws, the orbit fold and the witness mirror are session tooling outside this repository, described above in enough detail to rewrite. Roughly two core-hours for the gate, five for the 8,000,000-trial run on a slower host, and a few minutes each for the screen and the fold.

Reproduction

m = 171, n = 2m = 342. With a = {81, 87, 99, 107, 110, 133, 140} and b = {16, 49, 55, 91, 98, 143, 146, 151, 162} as exponent sets,

H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T]

where circ(s)[i, (i + e) mod m] = 1 for each e in s. The divisor is recovered as gcd(a, b, x^171 - 1), of degree 20. The submitted codes/342-40-34.json carries both matrices row by row and both distance witnesses.

Parity checks

X-checks 171 (max weight 16) · Z-checks 171 (max weight 16)
H_X (171 checks, sparse supports)
[81, 87, 99, 107, 110, 133, 140, 187, 220, 226, 262, 269, 314, 317, 322, 333] [82, 88, 100, 108, 111, 134, 141, 188, 221, 227, 263, 270, 315, 318, 323, 334] [83, 89, 101, 109, 112, 135, 142, 189, 222, 228, 264, 271, 316, 319, 324, 335] [84, 90, 102, 110, 113, 136, 143, 190, 223, 229, 265, 272, 317, 320, 325, 336] [85, 91, 103, 111, 114, 137, 144, 191, 224, 230, 266, 273, 318, 321, 326, 337] [86, 92, 104, 112, 115, 138, 145, 192, 225, 231, 267, 274, 319, 322, 327, 338] [87, 93, 105, 113, 116, 139, 146, 193, 226, 232, 268, 275, 320, 323, 328, 339] [88, 94, 106, 114, 117, 140, 147, 194, 227, 233, 269, 276, 321, 324, 329, 340] [89, 95, 107, 115, 118, 141, 148, 195, 228, 234, 270, 277, 322, 325, 330, 341] [90, 96, 108, 116, 119, 142, 149, 171, 196, 229, 235, 271, 278, 323, 326, 331] [91, 97, 109, 117, 120, 143, 150, 172, 197, 230, 236, 272, 279, 324, 327, 332] [92, 98, 110, 118, 121, 144, 151, 173, 198, 231, 237, 273, 280, 325, 328, 333] [93, 99, 111, 119, 122, 145, 152, 174, 199, 232, 238, 274, 281, 326, 329, 334] [94, 100, 112, 120, 123, 146, 153, 175, 200, 233, 239, 275, 282, 327, 330, 335] [95, 101, 113, 121, 124, 147, 154, 176, 201, 234, 240, 276, 283, 328, 331, 336] [96, 102, 114, 122, 125, 148, 155, 177, 202, 235, 241, 277, 284, 329, 332, 337] [97, 103, 115, 123, 126, 149, 156, 178, 203, 236, 242, 278, 285, 330, 333, 338] [98, 104, 116, 124, 127, 150, 157, 179, 204, 237, 243, 279, 286, 331, 334, 339] [99, 105, 117, 125, 128, 151, 158, 180, 205, 238, 244, 280, 287, 332, 335, 340] [100, 106, 118, 126, 129, 152, 159, 181, 206, 239, 245, 281, 288, 333, 336, 341] [101, 107, 119, 127, 130, 153, 160, 171, 182, 207, 240, 246, 282, 289, 334, 337] [102, 108, 120, 128, 131, 154, 161, 172, 183, 208, 241, 247, 283, 290, 335, 338] [103, 109, 121, 129, 132, 155, 162, 173, 184, 209, 242, 248, 284, 291, 336, 339] [104, 110, 122, 130, 133, 156, 163, 174, 185, 210, 243, 249, 285, 292, 337, 340] [105, 111, 123, 131, 134, 157, 164, 175, 186, 211, 244, 250, 286, 293, 338, 341] [106, 112, 124, 132, 135, 158, 165, 171, 176, 187, 212, 245, 251, 287, 294, 339] [107, 113, 125, 133, 136, 159, 166, 172, 177, 188, 213, 246, 252, 288, 295, 340] [108, 114, 126, 134, 137, 160, 167, 173, 178, 189, 214, 247, 253, 289, 296, 341] [109, 115, 127, 135, 138, 161, 168, 171, 174, 179, 190, 215, 248, 254, 290, 297] [110, 116, 128, 136, 139, 162, 169, 172, 175, 180, 191, 216, 249, 255, 291, 298] [111, 117, 129, 137, 140, 163, 170, 173, 176, 181, 192, 217, 250, 256, 292, 299] [0, 112, 118, 130, 138, 141, 164, 174, 177, 182, 193, 218, 251, 257, 293, 300] [1, 113, 119, 131, 139, 142, 165, 175, 178, 183, 194, 219, 252, 258, 294, 301] [2, 114, 120, 132, 140, 143, 166, 176, 179, 184, 195, 220, 253, 259, 295, 302] [3, 115, 121, 133, 141, 144, 167, 177, 180, 185, 196, 221, 254, 260, 296, 303] [4, 116, 122, 134, 142, 145, 168, 178, 181, 186, 197, 222, 255, 261, 297, 304] [5, 117, 123, 135, 143, 146, 169, 179, 182, 187, 198, 223, 256, 262, 298, 305] [6, 118, 124, 136, 144, 147, 170, 180, 183, 188, 199, 224, 257, 263, 299, 306] [0, 7, 119, 125, 137, 145, 148, 181, 184, 189, 200, 225, 258, 264, 300, 307] [1, 8, 120, 126, 138, 146, 149, 182, 185, 190, 201, 226, 259, 265, 301, 308] [2, 9, 121, 127, 139, 147, 150, 183, 186, 191, 202, 227, 260, 266, 302, 309] [3, 10, 122, 128, 140, 148, 151, 184, 187, 192, 203, 228, 261, 267, 303, 310] [4, 11, 123, 129, 141, 149, 152, 185, 188, 193, 204, 229, 262, 268, 304, 311] [5, 12, 124, 130, 142, 150, 153, 186, 189, 194, 205, 230, 263, 269, 305, 312] [6, 13, 125, 131, 143, 151, 154, 187, 190, 195, 206, 231, 264, 270, 306, 313] [7, 14, 126, 132, 144, 152, 155, 188, 191, 196, 207, 232, 265, 271, 307, 314] [8, 15, 127, 133, 145, 153, 156, 189, 192, 197, 208, 233, 266, 272, 308, 315] [9, 16, 128, 134, 146, 154, 157, 190, 193, 198, 209, 234, 267, 273, 309, 316] [10, 17, 129, 135, 147, 155, 158, 191, 194, 199, 210, 235, 268, 274, 310, 317] [11, 18, 130, 136, 148, 156, 159, 192, 195, 200, 211, 236, 269, 275, 311, 318] [12, 19, 131, 137, 149, 157, 160, 193, 196, 201, 212, 237, 270, 276, 312, 319] [13, 20, 132, 138, 150, 158, 161, 194, 197, 202, 213, 238, 271, 277, 313, 320] [14, 21, 133, 139, 151, 159, 162, 195, 198, 203, 214, 239, 272, 278, 314, 321] [15, 22, 134, 140, 152, 160, 163, 196, 199, 204, 215, 240, 273, 279, 315, 322] [16, 23, 135, 141, 153, 161, 164, 197, 200, 205, 216, 241, 274, 280, 316, 323] [17, 24, 136, 142, 154, 162, 165, 198, 201, 206, 217, 242, 275, 281, 317, 324] [18, 25, 137, 143, 155, 163, 166, 199, 202, 207, 218, 243, 276, 282, 318, 325] [19, 26, 138, 144, 156, 164, 167, 200, 203, 208, 219, 244, 277, 283, 319, 326] [20, 27, 139, 145, 157, 165, 168, 201, 204, 209, 220, 245, 278, 284, 320, 327] [21, 28, 140, 146, 158, 166, 169, 202, 205, 210, 221, 246, 279, 285, 321, 328] [22, 29, 141, 147, 159, 167, 170, 203, 206, 211, 222, 247, 280, 286, 322, 329] [0, 23, 30, 142, 148, 160, 168, 204, 207, 212, 223, 248, 281, 287, 323, 330] [1, 24, 31, 143, 149, 161, 169, 205, 208, 213, 224, 249, 282, 288, 324, 331] [2, 25, 32, 144, 150, 162, 170, 206, 209, 214, 225, 250, 283, 289, 325, 332] [0, 3, 26, 33, 145, 151, 163, 207, 210, 215, 226, 251, 284, 290, 326, 333] [1, 4, 27, 34, 146, 152, 164, 208, 211, 216, 227, 252, 285, 291, 327, 334] [2, 5, 28, 35, 147, 153, 165, 209, 212, 217, 228, 253, 286, 292, 328, 335] [3, 6, 29, 36, 148, 154, 166, 210, 213, 218, 229, 254, 287, 293, 329, 336] [4, 7, 30, 37, 149, 155, 167, 211, 214, 219, 230, 255, 288, 294, 330, 337] [5, 8, 31, 38, 150, 156, 168, 212, 215, 220, 231, 256, 289, 295, 331, 338] [6, 9, 32, 39, 151, 157, 169, 213, 216, 221, 232, 257, 290, 296, 332, 339] [7, 10, 33, 40, 152, 158, 170, 214, 217, 222, 233, 258, 291, 297, 333, 340] [0, 8, 11, 34, 41, 153, 159, 215, 218, 223, 234, 259, 292, 298, 334, 341] [1, 9, 12, 35, 42, 154, 160, 171, 216, 219, 224, 235, 260, 293, 299, 335] [2, 10, 13, 36, 43, 155, 161, 172, 217, 220, 225, 236, 261, 294, 300, 336] [3, 11, 14, 37, 44, 156, 162, 173, 218, 221, 226, 237, 262, 295, 301, 337] [4, 12, 15, 38, 45, 157, 163, 174, 219, 222, 227, 238, 263, 296, 302, 338] [5, 13, 16, 39, 46, 158, 164, 175, 220, 223, 228, 239, 264, 297, 303, 339] [6, 14, 17, 40, 47, 159, 165, 176, 221, 224, 229, 240, 265, 298, 304, 340] [7, 15, 18, 41, 48, 160, 166, 177, 222, 225, 230, 241, 266, 299, 305, 341] [8, 16, 19, 42, 49, 161, 167, 171, 178, 223, 226, 231, 242, 267, 300, 306] [9, 17, 20, 43, 50, 162, 168, 172, 179, 224, 227, 232, 243, 268, 301, 307] [10, 18, 21, 44, 51, 163, 169, 173, 180, 225, 228, 233, 244, 269, 302, 308] [11, 19, 22, 45, 52, 164, 170, 174, 181, 226, 229, 234, 245, 270, 303, 309] [0, 12, 20, 23, 46, 53, 165, 175, 182, 227, 230, 235, 246, 271, 304, 310] [1, 13, 21, 24, 47, 54, 166, 176, 183, 228, 231, 236, 247, 272, 305, 311] [2, 14, 22, 25, 48, 55, 167, 177, 184, 229, 232, 237, 248, 273, 306, 312] [3, 15, 23, 26, 49, 56, 168, 178, 185, 230, 233, 238, 249, 274, 307, 313] [4, 16, 24, 27, 50, 57, 169, 179, 186, 231, 234, 239, 250, 275, 308, 314] [5, 17, 25, 28, 51, 58, 170, 180, 187, 232, 235, 240, 251, 276, 309, 315] [0, 6, 18, 26, 29, 52, 59, 181, 188, 233, 236, 241, 252, 277, 310, 316] [1, 7, 19, 27, 30, 53, 60, 182, 189, 234, 237, 242, 253, 278, 311, 317] [2, 8, 20, 28, 31, 54, 61, 183, 190, 235, 238, 243, 254, 279, 312, 318] [3, 9, 21, 29, 32, 55, 62, 184, 191, 236, 239, 244, 255, 280, 313, 319] [4, 10, 22, 30, 33, 56, 63, 185, 192, 237, 240, 245, 256, 281, 314, 320] [5, 11, 23, 31, 34, 57, 64, 186, 193, 238, 241, 246, 257, 282, 315, 321] [6, 12, 24, 32, 35, 58, 65, 187, 194, 239, 242, 247, 258, 283, 316, 322] [7, 13, 25, 33, 36, 59, 66, 188, 195, 240, 243, 248, 259, 284, 317, 323] [8, 14, 26, 34, 37, 60, 67, 189, 196, 241, 244, 249, 260, 285, 318, 324] [9, 15, 27, 35, 38, 61, 68, 190, 197, 242, 245, 250, 261, 286, 319, 325] [10, 16, 28, 36, 39, 62, 69, 191, 198, 243, 246, 251, 262, 287, 320, 326] [11, 17, 29, 37, 40, 63, 70, 192, 199, 244, 247, 252, 263, 288, 321, 327] [12, 18, 30, 38, 41, 64, 71, 193, 200, 245, 248, 253, 264, 289, 322, 328] [13, 19, 31, 39, 42, 65, 72, 194, 201, 246, 249, 254, 265, 290, 323, 329] [14, 20, 32, 40, 43, 66, 73, 195, 202, 247, 250, 255, 266, 291, 324, 330] [15, 21, 33, 41, 44, 67, 74, 196, 203, 248, 251, 256, 267, 292, 325, 331] [16, 22, 34, 42, 45, 68, 75, 197, 204, 249, 252, 257, 268, 293, 326, 332] [17, 23, 35, 43, 46, 69, 76, 198, 205, 250, 253, 258, 269, 294, 327, 333] [18, 24, 36, 44, 47, 70, 77, 199, 206, 251, 254, 259, 270, 295, 328, 334] [19, 25, 37, 45, 48, 71, 78, 200, 207, 252, 255, 260, 271, 296, 329, 335] [20, 26, 38, 46, 49, 72, 79, 201, 208, 253, 256, 261, 272, 297, 330, 336] [21, 27, 39, 47, 50, 73, 80, 202, 209, 254, 257, 262, 273, 298, 331, 337] [22, 28, 40, 48, 51, 74, 81, 203, 210, 255, 258, 263, 274, 299, 332, 338] [23, 29, 41, 49, 52, 75, 82, 204, 211, 256, 259, 264, 275, 300, 333, 339] [24, 30, 42, 50, 53, 76, 83, 205, 212, 257, 260, 265, 276, 301, 334, 340] [25, 31, 43, 51, 54, 77, 84, 206, 213, 258, 261, 266, 277, 302, 335, 341] [26, 32, 44, 52, 55, 78, 85, 171, 207, 214, 259, 262, 267, 278, 303, 336] [27, 33, 45, 53, 56, 79, 86, 172, 208, 215, 260, 263, 268, 279, 304, 337] [28, 34, 46, 54, 57, 80, 87, 173, 209, 216, 261, 264, 269, 280, 305, 338] [29, 35, 47, 55, 58, 81, 88, 174, 210, 217, 262, 265, 270, 281, 306, 339] [30, 36, 48, 56, 59, 82, 89, 175, 211, 218, 263, 266, 271, 282, 307, 340] [31, 37, 49, 57, 60, 83, 90, 176, 212, 219, 264, 267, 272, 283, 308, 341] [32, 38, 50, 58, 61, 84, 91, 171, 177, 213, 220, 265, 268, 273, 284, 309] [33, 39, 51, 59, 62, 85, 92, 172, 178, 214, 221, 266, 269, 274, 285, 310] [34, 40, 52, 60, 63, 86, 93, 173, 179, 215, 222, 267, 270, 275, 286, 311] [35, 41, 53, 61, 64, 87, 94, 174, 180, 216, 223, 268, 271, 276, 287, 312] [36, 42, 54, 62, 65, 88, 95, 175, 181, 217, 224, 269, 272, 277, 288, 313] [37, 43, 55, 63, 66, 89, 96, 176, 182, 218, 225, 270, 273, 278, 289, 314] [38, 44, 56, 64, 67, 90, 97, 177, 183, 219, 226, 271, 274, 279, 290, 315] [39, 45, 57, 65, 68, 91, 98, 178, 184, 220, 227, 272, 275, 280, 291, 316] [40, 46, 58, 66, 69, 92, 99, 179, 185, 221, 228, 273, 276, 281, 292, 317] [41, 47, 59, 67, 70, 93, 100, 180, 186, 222, 229, 274, 277, 282, 293, 318] [42, 48, 60, 68, 71, 94, 101, 181, 187, 223, 230, 275, 278, 283, 294, 319] [43, 49, 61, 69, 72, 95, 102, 182, 188, 224, 231, 276, 279, 284, 295, 320] [44, 50, 62, 70, 73, 96, 103, 183, 189, 225, 232, 277, 280, 285, 296, 321] [45, 51, 63, 71, 74, 97, 104, 184, 190, 226, 233, 278, 281, 286, 297, 322] [46, 52, 64, 72, 75, 98, 105, 185, 191, 227, 234, 279, 282, 287, 298, 323] [47, 53, 65, 73, 76, 99, 106, 186, 192, 228, 235, 280, 283, 288, 299, 324] [48, 54, 66, 74, 77, 100, 107, 187, 193, 229, 236, 281, 284, 289, 300, 325] [49, 55, 67, 75, 78, 101, 108, 188, 194, 230, 237, 282, 285, 290, 301, 326] [50, 56, 68, 76, 79, 102, 109, 189, 195, 231, 238, 283, 286, 291, 302, 327] [51, 57, 69, 77, 80, 103, 110, 190, 196, 232, 239, 284, 287, 292, 303, 328] [52, 58, 70, 78, 81, 104, 111, 191, 197, 233, 240, 285, 288, 293, 304, 329] [53, 59, 71, 79, 82, 105, 112, 192, 198, 234, 241, 286, 289, 294, 305, 330] [54, 60, 72, 80, 83, 106, 113, 193, 199, 235, 242, 287, 290, 295, 306, 331] [55, 61, 73, 81, 84, 107, 114, 194, 200, 236, 243, 288, 291, 296, 307, 332] [56, 62, 74, 82, 85, 108, 115, 195, 201, 237, 244, 289, 292, 297, 308, 333] [57, 63, 75, 83, 86, 109, 116, 196, 202, 238, 245, 290, 293, 298, 309, 334] [58, 64, 76, 84, 87, 110, 117, 197, 203, 239, 246, 291, 294, 299, 310, 335] [59, 65, 77, 85, 88, 111, 118, 198, 204, 240, 247, 292, 295, 300, 311, 336] [60, 66, 78, 86, 89, 112, 119, 199, 205, 241, 248, 293, 296, 301, 312, 337] [61, 67, 79, 87, 90, 113, 120, 200, 206, 242, 249, 294, 297, 302, 313, 338] [62, 68, 80, 88, 91, 114, 121, 201, 207, 243, 250, 295, 298, 303, 314, 339] [63, 69, 81, 89, 92, 115, 122, 202, 208, 244, 251, 296, 299, 304, 315, 340] [64, 70, 82, 90, 93, 116, 123, 203, 209, 245, 252, 297, 300, 305, 316, 341] [65, 71, 83, 91, 94, 117, 124, 171, 204, 210, 246, 253, 298, 301, 306, 317] [66, 72, 84, 92, 95, 118, 125, 172, 205, 211, 247, 254, 299, 302, 307, 318] [67, 73, 85, 93, 96, 119, 126, 173, 206, 212, 248, 255, 300, 303, 308, 319] [68, 74, 86, 94, 97, 120, 127, 174, 207, 213, 249, 256, 301, 304, 309, 320] [69, 75, 87, 95, 98, 121, 128, 175, 208, 214, 250, 257, 302, 305, 310, 321] [70, 76, 88, 96, 99, 122, 129, 176, 209, 215, 251, 258, 303, 306, 311, 322] [71, 77, 89, 97, 100, 123, 130, 177, 210, 216, 252, 259, 304, 307, 312, 323] [72, 78, 90, 98, 101, 124, 131, 178, 211, 217, 253, 260, 305, 308, 313, 324] [73, 79, 91, 99, 102, 125, 132, 179, 212, 218, 254, 261, 306, 309, 314, 325] [74, 80, 92, 100, 103, 126, 133, 180, 213, 219, 255, 262, 307, 310, 315, 326] [75, 81, 93, 101, 104, 127, 134, 181, 214, 220, 256, 263, 308, 311, 316, 327] [76, 82, 94, 102, 105, 128, 135, 182, 215, 221, 257, 264, 309, 312, 317, 328] [77, 83, 95, 103, 106, 129, 136, 183, 216, 222, 258, 265, 310, 313, 318, 329] [78, 84, 96, 104, 107, 130, 137, 184, 217, 223, 259, 266, 311, 314, 319, 330] [79, 85, 97, 105, 108, 131, 138, 185, 218, 224, 260, 267, 312, 315, 320, 331] [80, 86, 98, 106, 109, 132, 139, 186, 219, 225, 261, 268, 313, 316, 321, 332]
H_Z (171 checks, sparse supports)
[9, 20, 25, 28, 73, 80, 116, 122, 155, 202, 209, 232, 235, 243, 255, 261] [10, 21, 26, 29, 74, 81, 117, 123, 156, 203, 210, 233, 236, 244, 256, 262] [11, 22, 27, 30, 75, 82, 118, 124, 157, 204, 211, 234, 237, 245, 257, 263] [12, 23, 28, 31, 76, 83, 119, 125, 158, 205, 212, 235, 238, 246, 258, 264] [13, 24, 29, 32, 77, 84, 120, 126, 159, 206, 213, 236, 239, 247, 259, 265] [14, 25, 30, 33, 78, 85, 121, 127, 160, 207, 214, 237, 240, 248, 260, 266] [15, 26, 31, 34, 79, 86, 122, 128, 161, 208, 215, 238, 241, 249, 261, 267] [16, 27, 32, 35, 80, 87, 123, 129, 162, 209, 216, 239, 242, 250, 262, 268] [17, 28, 33, 36, 81, 88, 124, 130, 163, 210, 217, 240, 243, 251, 263, 269] [18, 29, 34, 37, 82, 89, 125, 131, 164, 211, 218, 241, 244, 252, 264, 270] [19, 30, 35, 38, 83, 90, 126, 132, 165, 212, 219, 242, 245, 253, 265, 271] [20, 31, 36, 39, 84, 91, 127, 133, 166, 213, 220, 243, 246, 254, 266, 272] [21, 32, 37, 40, 85, 92, 128, 134, 167, 214, 221, 244, 247, 255, 267, 273] [22, 33, 38, 41, 86, 93, 129, 135, 168, 215, 222, 245, 248, 256, 268, 274] [23, 34, 39, 42, 87, 94, 130, 136, 169, 216, 223, 246, 249, 257, 269, 275] [24, 35, 40, 43, 88, 95, 131, 137, 170, 217, 224, 247, 250, 258, 270, 276] [0, 25, 36, 41, 44, 89, 96, 132, 138, 218, 225, 248, 251, 259, 271, 277] [1, 26, 37, 42, 45, 90, 97, 133, 139, 219, 226, 249, 252, 260, 272, 278] [2, 27, 38, 43, 46, 91, 98, 134, 140, 220, 227, 250, 253, 261, 273, 279] [3, 28, 39, 44, 47, 92, 99, 135, 141, 221, 228, 251, 254, 262, 274, 280] [4, 29, 40, 45, 48, 93, 100, 136, 142, 222, 229, 252, 255, 263, 275, 281] [5, 30, 41, 46, 49, 94, 101, 137, 143, 223, 230, 253, 256, 264, 276, 282] [6, 31, 42, 47, 50, 95, 102, 138, 144, 224, 231, 254, 257, 265, 277, 283] [7, 32, 43, 48, 51, 96, 103, 139, 145, 225, 232, 255, 258, 266, 278, 284] [8, 33, 44, 49, 52, 97, 104, 140, 146, 226, 233, 256, 259, 267, 279, 285] [9, 34, 45, 50, 53, 98, 105, 141, 147, 227, 234, 257, 260, 268, 280, 286] [10, 35, 46, 51, 54, 99, 106, 142, 148, 228, 235, 258, 261, 269, 281, 287] [11, 36, 47, 52, 55, 100, 107, 143, 149, 229, 236, 259, 262, 270, 282, 288] [12, 37, 48, 53, 56, 101, 108, 144, 150, 230, 237, 260, 263, 271, 283, 289] [13, 38, 49, 54, 57, 102, 109, 145, 151, 231, 238, 261, 264, 272, 284, 290] [14, 39, 50, 55, 58, 103, 110, 146, 152, 232, 239, 262, 265, 273, 285, 291] [15, 40, 51, 56, 59, 104, 111, 147, 153, 233, 240, 263, 266, 274, 286, 292] [16, 41, 52, 57, 60, 105, 112, 148, 154, 234, 241, 264, 267, 275, 287, 293] [17, 42, 53, 58, 61, 106, 113, 149, 155, 235, 242, 265, 268, 276, 288, 294] [18, 43, 54, 59, 62, 107, 114, 150, 156, 236, 243, 266, 269, 277, 289, 295] [19, 44, 55, 60, 63, 108, 115, 151, 157, 237, 244, 267, 270, 278, 290, 296] [20, 45, 56, 61, 64, 109, 116, 152, 158, 238, 245, 268, 271, 279, 291, 297] [21, 46, 57, 62, 65, 110, 117, 153, 159, 239, 246, 269, 272, 280, 292, 298] [22, 47, 58, 63, 66, 111, 118, 154, 160, 240, 247, 270, 273, 281, 293, 299] [23, 48, 59, 64, 67, 112, 119, 155, 161, 241, 248, 271, 274, 282, 294, 300] [24, 49, 60, 65, 68, 113, 120, 156, 162, 242, 249, 272, 275, 283, 295, 301] [25, 50, 61, 66, 69, 114, 121, 157, 163, 243, 250, 273, 276, 284, 296, 302] [26, 51, 62, 67, 70, 115, 122, 158, 164, 244, 251, 274, 277, 285, 297, 303] [27, 52, 63, 68, 71, 116, 123, 159, 165, 245, 252, 275, 278, 286, 298, 304] [28, 53, 64, 69, 72, 117, 124, 160, 166, 246, 253, 276, 279, 287, 299, 305] [29, 54, 65, 70, 73, 118, 125, 161, 167, 247, 254, 277, 280, 288, 300, 306] [30, 55, 66, 71, 74, 119, 126, 162, 168, 248, 255, 278, 281, 289, 301, 307] [31, 56, 67, 72, 75, 120, 127, 163, 169, 249, 256, 279, 282, 290, 302, 308] [32, 57, 68, 73, 76, 121, 128, 164, 170, 250, 257, 280, 283, 291, 303, 309] [0, 33, 58, 69, 74, 77, 122, 129, 165, 251, 258, 281, 284, 292, 304, 310] [1, 34, 59, 70, 75, 78, 123, 130, 166, 252, 259, 282, 285, 293, 305, 311] [2, 35, 60, 71, 76, 79, 124, 131, 167, 253, 260, 283, 286, 294, 306, 312] [3, 36, 61, 72, 77, 80, 125, 132, 168, 254, 261, 284, 287, 295, 307, 313] [4, 37, 62, 73, 78, 81, 126, 133, 169, 255, 262, 285, 288, 296, 308, 314] [5, 38, 63, 74, 79, 82, 127, 134, 170, 256, 263, 286, 289, 297, 309, 315] [0, 6, 39, 64, 75, 80, 83, 128, 135, 257, 264, 287, 290, 298, 310, 316] [1, 7, 40, 65, 76, 81, 84, 129, 136, 258, 265, 288, 291, 299, 311, 317] [2, 8, 41, 66, 77, 82, 85, 130, 137, 259, 266, 289, 292, 300, 312, 318] [3, 9, 42, 67, 78, 83, 86, 131, 138, 260, 267, 290, 293, 301, 313, 319] [4, 10, 43, 68, 79, 84, 87, 132, 139, 261, 268, 291, 294, 302, 314, 320] [5, 11, 44, 69, 80, 85, 88, 133, 140, 262, 269, 292, 295, 303, 315, 321] [6, 12, 45, 70, 81, 86, 89, 134, 141, 263, 270, 293, 296, 304, 316, 322] [7, 13, 46, 71, 82, 87, 90, 135, 142, 264, 271, 294, 297, 305, 317, 323] [8, 14, 47, 72, 83, 88, 91, 136, 143, 265, 272, 295, 298, 306, 318, 324] [9, 15, 48, 73, 84, 89, 92, 137, 144, 266, 273, 296, 299, 307, 319, 325] [10, 16, 49, 74, 85, 90, 93, 138, 145, 267, 274, 297, 300, 308, 320, 326] [11, 17, 50, 75, 86, 91, 94, 139, 146, 268, 275, 298, 301, 309, 321, 327] [12, 18, 51, 76, 87, 92, 95, 140, 147, 269, 276, 299, 302, 310, 322, 328] [13, 19, 52, 77, 88, 93, 96, 141, 148, 270, 277, 300, 303, 311, 323, 329] [14, 20, 53, 78, 89, 94, 97, 142, 149, 271, 278, 301, 304, 312, 324, 330] [15, 21, 54, 79, 90, 95, 98, 143, 150, 272, 279, 302, 305, 313, 325, 331] [16, 22, 55, 80, 91, 96, 99, 144, 151, 273, 280, 303, 306, 314, 326, 332] [17, 23, 56, 81, 92, 97, 100, 145, 152, 274, 281, 304, 307, 315, 327, 333] [18, 24, 57, 82, 93, 98, 101, 146, 153, 275, 282, 305, 308, 316, 328, 334] [19, 25, 58, 83, 94, 99, 102, 147, 154, 276, 283, 306, 309, 317, 329, 335] [20, 26, 59, 84, 95, 100, 103, 148, 155, 277, 284, 307, 310, 318, 330, 336] [21, 27, 60, 85, 96, 101, 104, 149, 156, 278, 285, 308, 311, 319, 331, 337] [22, 28, 61, 86, 97, 102, 105, 150, 157, 279, 286, 309, 312, 320, 332, 338] [23, 29, 62, 87, 98, 103, 106, 151, 158, 280, 287, 310, 313, 321, 333, 339] [24, 30, 63, 88, 99, 104, 107, 152, 159, 281, 288, 311, 314, 322, 334, 340] [25, 31, 64, 89, 100, 105, 108, 153, 160, 282, 289, 312, 315, 323, 335, 341] [26, 32, 65, 90, 101, 106, 109, 154, 161, 171, 283, 290, 313, 316, 324, 336] [27, 33, 66, 91, 102, 107, 110, 155, 162, 172, 284, 291, 314, 317, 325, 337] [28, 34, 67, 92, 103, 108, 111, 156, 163, 173, 285, 292, 315, 318, 326, 338] [29, 35, 68, 93, 104, 109, 112, 157, 164, 174, 286, 293, 316, 319, 327, 339] [30, 36, 69, 94, 105, 110, 113, 158, 165, 175, 287, 294, 317, 320, 328, 340] [31, 37, 70, 95, 106, 111, 114, 159, 166, 176, 288, 295, 318, 321, 329, 341] [32, 38, 71, 96, 107, 112, 115, 160, 167, 171, 177, 289, 296, 319, 322, 330] [33, 39, 72, 97, 108, 113, 116, 161, 168, 172, 178, 290, 297, 320, 323, 331] [34, 40, 73, 98, 109, 114, 117, 162, 169, 173, 179, 291, 298, 321, 324, 332] [35, 41, 74, 99, 110, 115, 118, 163, 170, 174, 180, 292, 299, 322, 325, 333] [0, 36, 42, 75, 100, 111, 116, 119, 164, 175, 181, 293, 300, 323, 326, 334] [1, 37, 43, 76, 101, 112, 117, 120, 165, 176, 182, 294, 301, 324, 327, 335] [2, 38, 44, 77, 102, 113, 118, 121, 166, 177, 183, 295, 302, 325, 328, 336] [3, 39, 45, 78, 103, 114, 119, 122, 167, 178, 184, 296, 303, 326, 329, 337] [4, 40, 46, 79, 104, 115, 120, 123, 168, 179, 185, 297, 304, 327, 330, 338] [5, 41, 47, 80, 105, 116, 121, 124, 169, 180, 186, 298, 305, 328, 331, 339] [6, 42, 48, 81, 106, 117, 122, 125, 170, 181, 187, 299, 306, 329, 332, 340] [0, 7, 43, 49, 82, 107, 118, 123, 126, 182, 188, 300, 307, 330, 333, 341] [1, 8, 44, 50, 83, 108, 119, 124, 127, 171, 183, 189, 301, 308, 331, 334] [2, 9, 45, 51, 84, 109, 120, 125, 128, 172, 184, 190, 302, 309, 332, 335] [3, 10, 46, 52, 85, 110, 121, 126, 129, 173, 185, 191, 303, 310, 333, 336] [4, 11, 47, 53, 86, 111, 122, 127, 130, 174, 186, 192, 304, 311, 334, 337] [5, 12, 48, 54, 87, 112, 123, 128, 131, 175, 187, 193, 305, 312, 335, 338] [6, 13, 49, 55, 88, 113, 124, 129, 132, 176, 188, 194, 306, 313, 336, 339] [7, 14, 50, 56, 89, 114, 125, 130, 133, 177, 189, 195, 307, 314, 337, 340] [8, 15, 51, 57, 90, 115, 126, 131, 134, 178, 190, 196, 308, 315, 338, 341] [9, 16, 52, 58, 91, 116, 127, 132, 135, 171, 179, 191, 197, 309, 316, 339] [10, 17, 53, 59, 92, 117, 128, 133, 136, 172, 180, 192, 198, 310, 317, 340] [11, 18, 54, 60, 93, 118, 129, 134, 137, 173, 181, 193, 199, 311, 318, 341] [12, 19, 55, 61, 94, 119, 130, 135, 138, 171, 174, 182, 194, 200, 312, 319] [13, 20, 56, 62, 95, 120, 131, 136, 139, 172, 175, 183, 195, 201, 313, 320] [14, 21, 57, 63, 96, 121, 132, 137, 140, 173, 176, 184, 196, 202, 314, 321] [15, 22, 58, 64, 97, 122, 133, 138, 141, 174, 177, 185, 197, 203, 315, 322] [16, 23, 59, 65, 98, 123, 134, 139, 142, 175, 178, 186, 198, 204, 316, 323] [17, 24, 60, 66, 99, 124, 135, 140, 143, 176, 179, 187, 199, 205, 317, 324] [18, 25, 61, 67, 100, 125, 136, 141, 144, 177, 180, 188, 200, 206, 318, 325] [19, 26, 62, 68, 101, 126, 137, 142, 145, 178, 181, 189, 201, 207, 319, 326] [20, 27, 63, 69, 102, 127, 138, 143, 146, 179, 182, 190, 202, 208, 320, 327] [21, 28, 64, 70, 103, 128, 139, 144, 147, 180, 183, 191, 203, 209, 321, 328] [22, 29, 65, 71, 104, 129, 140, 145, 148, 181, 184, 192, 204, 210, 322, 329] [23, 30, 66, 72, 105, 130, 141, 146, 149, 182, 185, 193, 205, 211, 323, 330] [24, 31, 67, 73, 106, 131, 142, 147, 150, 183, 186, 194, 206, 212, 324, 331] [25, 32, 68, 74, 107, 132, 143, 148, 151, 184, 187, 195, 207, 213, 325, 332] [26, 33, 69, 75, 108, 133, 144, 149, 152, 185, 188, 196, 208, 214, 326, 333] [27, 34, 70, 76, 109, 134, 145, 150, 153, 186, 189, 197, 209, 215, 327, 334] [28, 35, 71, 77, 110, 135, 146, 151, 154, 187, 190, 198, 210, 216, 328, 335] [29, 36, 72, 78, 111, 136, 147, 152, 155, 188, 191, 199, 211, 217, 329, 336] [30, 37, 73, 79, 112, 137, 148, 153, 156, 189, 192, 200, 212, 218, 330, 337] [31, 38, 74, 80, 113, 138, 149, 154, 157, 190, 193, 201, 213, 219, 331, 338] [32, 39, 75, 81, 114, 139, 150, 155, 158, 191, 194, 202, 214, 220, 332, 339] [33, 40, 76, 82, 115, 140, 151, 156, 159, 192, 195, 203, 215, 221, 333, 340] [34, 41, 77, 83, 116, 141, 152, 157, 160, 193, 196, 204, 216, 222, 334, 341] [35, 42, 78, 84, 117, 142, 153, 158, 161, 171, 194, 197, 205, 217, 223, 335] [36, 43, 79, 85, 118, 143, 154, 159, 162, 172, 195, 198, 206, 218, 224, 336] [37, 44, 80, 86, 119, 144, 155, 160, 163, 173, 196, 199, 207, 219, 225, 337] [38, 45, 81, 87, 120, 145, 156, 161, 164, 174, 197, 200, 208, 220, 226, 338] [39, 46, 82, 88, 121, 146, 157, 162, 165, 175, 198, 201, 209, 221, 227, 339] [40, 47, 83, 89, 122, 147, 158, 163, 166, 176, 199, 202, 210, 222, 228, 340] [41, 48, 84, 90, 123, 148, 159, 164, 167, 177, 200, 203, 211, 223, 229, 341] [42, 49, 85, 91, 124, 149, 160, 165, 168, 171, 178, 201, 204, 212, 224, 230] [43, 50, 86, 92, 125, 150, 161, 166, 169, 172, 179, 202, 205, 213, 225, 231] [44, 51, 87, 93, 126, 151, 162, 167, 170, 173, 180, 203, 206, 214, 226, 232] [0, 45, 52, 88, 94, 127, 152, 163, 168, 174, 181, 204, 207, 215, 227, 233] [1, 46, 53, 89, 95, 128, 153, 164, 169, 175, 182, 205, 208, 216, 228, 234] [2, 47, 54, 90, 96, 129, 154, 165, 170, 176, 183, 206, 209, 217, 229, 235] [0, 3, 48, 55, 91, 97, 130, 155, 166, 177, 184, 207, 210, 218, 230, 236] [1, 4, 49, 56, 92, 98, 131, 156, 167, 178, 185, 208, 211, 219, 231, 237] [2, 5, 50, 57, 93, 99, 132, 157, 168, 179, 186, 209, 212, 220, 232, 238] [3, 6, 51, 58, 94, 100, 133, 158, 169, 180, 187, 210, 213, 221, 233, 239] [4, 7, 52, 59, 95, 101, 134, 159, 170, 181, 188, 211, 214, 222, 234, 240] [0, 5, 8, 53, 60, 96, 102, 135, 160, 182, 189, 212, 215, 223, 235, 241] [1, 6, 9, 54, 61, 97, 103, 136, 161, 183, 190, 213, 216, 224, 236, 242] [2, 7, 10, 55, 62, 98, 104, 137, 162, 184, 191, 214, 217, 225, 237, 243] [3, 8, 11, 56, 63, 99, 105, 138, 163, 185, 192, 215, 218, 226, 238, 244] [4, 9, 12, 57, 64, 100, 106, 139, 164, 186, 193, 216, 219, 227, 239, 245] [5, 10, 13, 58, 65, 101, 107, 140, 165, 187, 194, 217, 220, 228, 240, 246] [6, 11, 14, 59, 66, 102, 108, 141, 166, 188, 195, 218, 221, 229, 241, 247] [7, 12, 15, 60, 67, 103, 109, 142, 167, 189, 196, 219, 222, 230, 242, 248] [8, 13, 16, 61, 68, 104, 110, 143, 168, 190, 197, 220, 223, 231, 243, 249] [9, 14, 17, 62, 69, 105, 111, 144, 169, 191, 198, 221, 224, 232, 244, 250] [10, 15, 18, 63, 70, 106, 112, 145, 170, 192, 199, 222, 225, 233, 245, 251] [0, 11, 16, 19, 64, 71, 107, 113, 146, 193, 200, 223, 226, 234, 246, 252] [1, 12, 17, 20, 65, 72, 108, 114, 147, 194, 201, 224, 227, 235, 247, 253] [2, 13, 18, 21, 66, 73, 109, 115, 148, 195, 202, 225, 228, 236, 248, 254] [3, 14, 19, 22, 67, 74, 110, 116, 149, 196, 203, 226, 229, 237, 249, 255] [4, 15, 20, 23, 68, 75, 111, 117, 150, 197, 204, 227, 230, 238, 250, 256] [5, 16, 21, 24, 69, 76, 112, 118, 151, 198, 205, 228, 231, 239, 251, 257] [6, 17, 22, 25, 70, 77, 113, 119, 152, 199, 206, 229, 232, 240, 252, 258] [7, 18, 23, 26, 71, 78, 114, 120, 153, 200, 207, 230, 233, 241, 253, 259] [8, 19, 24, 27, 72, 79, 115, 121, 154, 201, 208, 231, 234, 242, 254, 260]
Code ID 342-40-34 · download JSON · raw on GitHub