← back to the board
[[342,42,34]] d ≤
n
342
k
42
d
34
kd²/n
141.965
w
20
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 34, d_Z ≤ 34 · w_X = 20, w_Z = 20 (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)
[3, 6, 15, 18, 21, 26, 28, 45, 69, 76, 81, 114, 121, 143, 144, 145, 147, 149, 150, 151, 159, 166, 220, 223, 224, 237, 243, 261, 269, 280, 300, 304, 321, 333]
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)
[9, 21, 38, 42, 62, 73, 81, 99, 105, 118, 119, 122, 176, 183, 191, 192, 193, 195, 197, 198, 199, 221, 228, 261, 266, 273, 297, 314, 316, 321, 324, 327, 336, 339]
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 20 · H_Z 20
qubit degrees H_X 8–12 (mean 10.0) · H_Z 8–12 (mean 10.0)
trapping sets H_X (1,8)×171 (2,12)×684 (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,8): 171 (1,12): 171 (2,12): 684 (2,14): 3591 (2,16): 4275 (2,18): 7866 (2,20): 1710 (2,22): 6327
trapping sets H_Z (1,8)×171 (2,12)×684 (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,8): 171 (1,12): 171 (2,12): 684 (2,14): 3591 (2,16): 4275 (2,18): 7866 (2,20): 1710 (2,22): 6327

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 21, which fixes k = 2 deg g = 42 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 12 and weight 8 in the two blocks. Both weights are even, so x+1 divides the gcd; x+1 is x1 - 1, so the only block logical this forces has weight m and is far above the claim. 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 20, with a = [1, 17, 21, 41, 74, 88, 120, 127, 139, 150, 165, 167] and b = [11, 34, 60, 102, 133, 135, 141, 158].
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,42,34]]: cyclic generalized-bicycle code at m = 171, row weight 20

Revision record

Filed as [[342,42,36]] and revised down to 34 by the verifier's own refutation pass, which found a weight-34 X logical that none of the local instruments reached. The numbers on both sides of that are worth keeping, because they say how far a local search can be trusted here: a 24-seed gate at 2,000,000 trials per seed (48,000,000 trials) settled at 36, a single uninterrupted run of 8,000,000 trials read 38, and a 12-seed single-block circulant screen at 600,000 trials found nothing below 38. CI's single RIS-fast pass found 34.

The submitted witnesses are now CI's operator and its mirror. At row weight 20 or lighter the best distance on the board with n <= 342 and k >= 42 remains 24, at [[254,44,24]], so the entry still advances by 10 and the revision corrects the claim rather than removing it.

Everything below is the original note, with the distance claim superseded by the record above.

Original note, with the file paths updated

Direction & hypothesis

m = 171 had never been swept for this construction, and n = 342 holds 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 from cyclotomic coset minimal polynomials and draw a and b as low-weight codewords of its ideal. The reason composite moduli are under-measured in this family is that each proper divisor t of m gives a quotient-fold ceiling, so 171 = 3^2 x 19 has four folds to clear (t = 3, 9, 19 and 57) where a prime modulus has none. Four is still a short list to check directly.

What was searched

m = 171 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. The divisor used here has degree 21, which fixes k = 42.

Degrees were selected on three conditions rather than as fractions of m. The degree must be a sum of coset sizes, or no such divisor exists and the sweep skips it in silence. The chosen cosets must include the size-1 coset at the origin, or nearly every draw is lost to a parity rejection, because the information-set draw returns two even weights most of the time. And the chosen exponents must not share a common factor with m, or the divisor sits inside x^q - 1 for a proper divisor q, the ideal fills with weight-2 elements, 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, 16, 18, 20 and 22; probes at 600,000 trials over 4 seeds read 34 at weight 14, 38 at weight 16 and 39 at weight 20. Those are separate board cells rather than competitors, because domination needs the dominator to be lighter or equal in weight and at least equal in distance, so a lighter draw at a lower distance does not displace a heavier one at a higher distance.

The polynomial weights are 12 and 8, so (x + 1) divides the common gcd. Since x + 1 is x^1 - 1, the only block logical that forces has weight 171, far above the claim.

Evidence trail

deg gcd(a, x^171 - 1) = deg gcd(b, x^171 - 1) = deg gcd(a, b, x^171 - 1) = 21, so the leak between the two single-block kernels and k is 0 on both sides.

A 24-seed gate at 2,000,000 information-set trials per seed reached 36. The minimum is thin: the per-seed readings run from 36 to 40 and only one of the 24 seeds reached 36. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, read 38, above the gate, so the gate is the binding instrument and the claim is 36.

The single-block logicals form the cyclic code of dimension 21 whose zeros are the 150 residues the divisor omits. The longest run of consecutive residues among them is 24, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 25 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 no fold binds.

The claim is a witness-backed upper bound, not certified. The X witness of weight 36 is the operator the gate found. The Z witness is that operator carried across by the construction's own symmetry rather than a second search: H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T], so swapping the two 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 in the submitted JSON commute with the opposite check matrix and lie outside its row space.

Dead ends

A row weight 20 draw at the neighbouring dimension [[342,40]] is the clearest near miss. Its gate completed at 24 of 24 seeds reading 36 and its deep run read 38, the same values this entry reached, but a row weight 16 draw at that dimension probed to 38, which dominates it on lighter weight and higher distance, so the weight-20 draw at k = 40 is not submitted. The two differ only in k, which is why this one survives and that one does not.

The 20,000-trial screen overstates this family. This draw screened at 46 and settled at 36, a fall of 10.

At m = 189, m = 243 and m = 343 every reachable divisor degree in the productive band has all its exponents sharing a factor with m, so no usable design point exists at those moduli despite the board looking open there. At m = 267 two cells died for reasons the sweep could not see: [[534,68]] at row weight 20 probed to 69 with a witness and then an orbit fold capped it at 57 through an x^89-invariant partition, and [[534,70]] at row weight 14 carried a recorded distance that came from a structural bound rather than a search, with a 2,400,000-trial probe reading 68 against a bound of 54.

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, one for the 8,000,000-trial run, and a few minutes each for the screen and the fold.

Reproduction

m = 171, n = 2m = 342. With a = {1, 17, 21, 41, 74, 88, 120, 127, 139, 150, 165, 167} and b = {11, 34, 60, 102, 133, 135, 141, 158} 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 21. The submitted codes/342-42-34.json carries both matrices row by row and both distance witnesses.

Parity checks

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