← back to the board
[[430,56,46]] d ≤
n
430
k
56
d
46
kd²/n
275.572
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 46, d_Z ≤ 46 · 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 46 · witness weight 46 (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, 46 qubits)
[0, 16, 22, 23, 33, 34, 94, 96, 99, 133, 137, 141, 142, 157, 164, 171, 174, 188, 191, 199, 210, 211, 213, 220, 221, 224, 233, 257, 271, 272, 278, 308, 315, 325, 339, 342, 358, 359, 363, 364, 365, 377, 382, 394, 404, 421]
d_Z 46 · witness weight 46 (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, 46 qubits)
[9, 26, 36, 48, 53, 65, 66, 67, 71, 72, 88, 91, 105, 115, 122, 152, 158, 159, 173, 197, 206, 209, 210, 215, 217, 219, 220, 231, 239, 242, 256, 259, 266, 273, 288, 289, 293, 297, 331, 334, 336, 396, 397, 407, 408, 414]
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)×215 (2,10)×215 (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): 215 (1,9): 215 (2,10): 215 (2,12): 5805 (2,14): 11180 (2,16): 6020
trapping sets H_Z (1,7)×215 (2,10)×215 (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): 215 (1,9): 215 (2,10): 215 (2,12): 5805 (2,14): 11180 (2,16): 6020

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=215 = 5 x 43, with ord_2(m)=28, so x215 - 1 factors over GF(2) into 11 cyclotomic cosets, 1 of size 1, 1 of size 4, 3 of size 14, 6 of size 28. The divisor g is assembled from coset minimal polynomials to degree 28, which fixes k = 2 deg g = 56 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 9 and weight 7 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=5 and t=43; a fold over every equal-orbit partition of the qubits returns nothing lighter than 65, clear of the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 430 qubits at uniform row weight 16, with a = [24, 43, 71, 76, 86, 107, 136, 154, 165] and b = [36, 43, 132, 182, 183, 209, 211].
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" ---

[[430,56,46]]: cyclic generalized-bicycle code at m = 215, row weight 16

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

Direction & hypothesis

m = 215 had never been swept for this construction, and n = 430 holds a single board entry, [[430,22,5]] at row weight 4. 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 by building a divisor g of chosen degree from cyclotomic coset minimal polynomials and drawing a and b as low-weight codewords of its ideal.

The successes in this family cluster at prime moduli because every proper divisor t of a composite m gives a quotient-fold ceiling, so a composite modulus has to clear one fold per divisor. 215 = 5 x 43 has two, which is few enough to check directly rather than treat as a reason to skip the modulus.

What was searched

m = 215 with ord_2(215) = 28, so x^215 - 1 factors over GF(2) into 11 cyclotomic cosets, one of size 1, one of size 4, three of size 14 and six of size 28. Reachable divisor degrees are the subset sums of those sizes, which at this modulus is a coarse set. The divisor used here has degree 28, which fixes k = 56.

Degrees were selected on three conditions rather than as fractions of m: the degree must be a sum of coset sizes, or the divisor does not exist 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, since the information-set draw returns two even weights most of the time; and the chosen exponents must not share a 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 resulting codes fall below distance 4.

The sweep ran at 20,000 information-set trials per draw. At this (n, k) the lightest draw was row weight 16, and that is the one submitted; a heavier draw at the same (n, k) only matters if it reaches a strictly greater distance.

The polynomial weights are 9 and 7, so (x + 1) does not divide the common gcd.

Evidence trail

deg gcd(a, x^215 - 1) = deg gcd(b, x^215 - 1) = deg gcd(a, b, x^215 - 1) = 28, 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 46. The spread is wide and the minimum is thin: the per-seed readings run from 46 to 54 and only one of the 24 seeds reached 46. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, fell to 50 with a validated witness, which is above the gate's reading, so the gate is the binding instrument and the claim is 46.

The single-block logicals form the cyclic code of dimension 28 whose zeros are the 187 residues the divisor omits. The longest run of consecutive residues among them is 38, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 39 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 52. The quotient fold acts at t = 5 and t = 43; a fold over every equal-orbit partition of the qubits returns nothing lighter than 65, so no fold binds.

The claim is a witness-backed upper bound, not certified. The Z witness of weight 46 is the operator the gate found. The X 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

The 20,000-trial screen overstates this family. This draw screened at 56, probed to 52 at 600,000 trials over 4 seeds, and the gate took it to 46, so the screen was 10 above the claim and the probe 6 above it.

A heavier draw at the neighbouring dimension is worth recording as a near miss. At [[430,58]] and row weight 24 a draw screened at 61 and probed to 54, and its 8,000,000-trial run then fell to 46. That leaves it dominated by a row weight 20 draw at the same (n, k) reading 52, which is lighter and higher, so the heavier one is not submitted.

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 cleared its single-block screen, and an orbit fold then capped it at 57 through an x^89-invariant partition, leaving +3 against the board. [[534,70]] at row weight 14 carried a recorded distance of 54 that came from a structural bound rather than a search, and a 2,400,000-trial probe read 68, so the bound caps the code below anything a witness can certify.

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

Reproduction

m = 215, n = 2m = 430. With a = {24, 43, 71, 76, 86, 107, 136, 154, 165} and b = {36, 43, 132, 182, 183, 209, 211} 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^215 - 1), of degree 28. The submitted codes/430-56-46.json carries both matrices row by row and both distance witnesses.

Parity checks

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