← back to the board
[[390,54,41]] d ≤
n
390
k
54
d
41
kd²/n
232.754
w
18
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 41, d_Z ≤ 41 · w_X = 18, w_Z = 18 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 41 · witness weight 41 (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, 41 qubits)
[3, 12, 14, 17, 19, 27, 29, 42, 44, 68, 71, 72, 75, 86, 111, 118, 140, 142, 145, 157, 158, 165, 180, 206, 222, 223, 230, 245, 247, 255, 257, 274, 275, 277, 287, 303, 321, 325, 354, 361, 375]
d_Z 41 · witness weight 41 (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, 41 qubits)
[15, 29, 36, 65, 69, 87, 103, 113, 115, 116, 133, 135, 143, 145, 160, 167, 168, 184, 210, 225, 232, 233, 245, 248, 250, 272, 279, 304, 315, 318, 319, 322, 346, 348, 361, 363, 371, 373, 376, 378, 387]
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 18 · H_Z 18
qubit degrees H_X 8–10 (mean 9.0) · H_Z 8–10 (mean 9.0)
trapping sets H_X (1,8)×195 (2,12)×390 (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): 195 (1,10): 195 (2,12): 390 (2,14): 6825 (2,16): 13455 (2,18): 4680
trapping sets H_Z (1,8)×195 (2,12)×390 (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): 195 (1,10): 195 (2,12): 390 (2,14): 6825 (2,16): 13455 (2,18): 4680

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=195 = 3 x 5 x 13, with ord_2(m)=12, so x195 - 1 factors over GF(2) into 20 cyclotomic cosets, 1 of size 1, 1 of size 2, 3 of size 4, 15 of size 12. The divisor g is assembled from coset minimal polynomials to degree 27, which fixes k = 2 deg g = 54 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 10 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=5, t=13, t=15, t=39 and t=65; a fold over every equal-orbit partition of the qubits returns nothing lighter than 50, clear of the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 390 qubits at uniform row weight 18, with a = [5, 35, 47, 68, 97, 124, 133, 151, 177, 186] and b = [76, 81, 101, 112, 150, 151, 160, 185].
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" ---

[[390,54,41]]: cyclic generalized-bicycle code at m = 195, row weight 18

At row weight 18 or lighter, the best distance on the board with n <= 390 and k >= 54 is 31, at [[390,82,31]] and row weight 16. This entry reaches 41. Allowing any row weight the best in the same range is 38, at [[390,82,38]] and row weight 32.

Direction & hypothesis

m = 195 had never been swept for this construction. n = 390 holds 19 board entries, none at this dimension and row weight.

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 degree is constrained more tightly than the reachability condition suggests. Every candidate this construction produced in the same session sits at deg g / m between 0.117 and 0.152; above roughly 0.17 the family returns distance 4 or 5 at any modulus, and m = 195 has reachable clean degrees on both sides of that line. Degree 27 is 0.138, in the middle of the usable band.

What was searched

m = 195 = 3 x 5 x 13 with ord_2(195) = 12, so x^195 - 1 factors over GF(2) into 20 cyclotomic cosets: one of size 1, one of size 2, three of size 4 and fifteen of size 12. Reachable divisor degrees are the subset sums of those sizes. The divisor used here has degree 27, which fixes k = 54.

Degrees were filtered on three conditions before cores were spent. 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 almost 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 of m, 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 draw screened at 50 and was selected as the lightest rung at its dimension; a probe at 600,000 trials over 4 seeds read 46.

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

Evidence trail

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

A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, read 41. A 24-seed gate at 2,000,000 trials per seed then settled at the same 41, with per-seed readings from 41 to 47 and two of the 24 seeds reaching the minimum. Two instruments at different depths agreeing on 41 is the strongest evidence this construction has produced in this session; elsewhere the gate and the deep run have disagreed by 2 to 5 in both directions.

The single-block logicals form the cyclic code of dimension 27 whose zeros are the 168 residues the divisor omits. The longest run of consecutive residues among them is 46, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 47 or above, which is above the claim, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 46. The claim is therefore a general logical rather than a block one. The quotient fold acts at t = 3, 5, 13, 15, 39 and 65; a fold over every equal-orbit partition of the qubits returns nothing lighter than 50, so none of the six folds binds.

The claim is a witness-backed upper bound, not certified. The X witness of weight 41 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 lighter draw at this exact dimension did not pay. The same design point re-swept at a lower information-set weight target produced a row weight 12 draw screening 40, which probed to 24. At row weight 12 the board's bar for this (n, k) is 16 rather than 31, but the distance fell further than the bar did, so the lighter draw prices at +8 against this entry's +10. The threshold gap between row weight 18 and row weight 14 at this cell is only 5, which is why there was no room: a lighter draw pays only where a strong entry already occupies the heavier weight and the bar collapses underneath it.

At [[390,62]] row weight 12 the recorded distance of 39 came from a structural bound rather than a search, and re-running the screen's own search returns 43, so no witness that light exists and the cell is finished.

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 three 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 = 195, n = 2m = 390. With a = {5, 35, 47, 68, 97, 124, 133, 151, 177, 186} and b = {76, 81, 101, 112, 150, 151, 160, 185} 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^195 - 1), of degree 27. The submitted codes/390-54-41.json carries both matrices row by row and both distance witnesses.

Parity checks

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