← back to the board
[[430,58,48]] d ≤
n
430
k
58
d
48
kd²/n
310.772
w
20
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 48, d_Z ≤ 48 · 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 48 · witness weight 48 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16
witness operator (support, 48 qubits)
[7, 13, 14, 15, 23, 24, 34, 41, 68, 79, 82, 86, 90, 113, 118, 124, 164, 171, 176, 186, 203, 205, 207, 229, 247, 249, 257, 258, 266, 272, 274, 284, 295, 300, 318, 320, 360, 363, 374, 382, 391, 398, 404, 405, 406, 413, 414, 421]
d_Z 48 · witness weight 48 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16
witness operator (support, 48 qubits)
[9, 16, 17, 24, 25, 26, 32, 39, 48, 56, 67, 70, 110, 112, 130, 135, 146, 156, 158, 164, 172, 173, 181, 183, 201, 223, 225, 227, 244, 254, 259, 266, 306, 312, 317, 340, 344, 348, 351, 362, 389, 396, 406, 407, 415, 416, 417, 423]
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 10 · H_Z 10
trapping sets H_X (1,10)×430 (2,14)×430 (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,10): 430 (2,14): 430 (2,16): 5375 (2,18): 28810
trapping sets H_Z (1,10)×430 (2,14)×430 (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,10): 430 (2,14): 430 (2,16): 5375 (2,18): 28810

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 29, which fixes k = 2 deg g = 58 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 10 and weight 10 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=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 20, with a = [31, 50, 73, 125, 136, 145, 162, 169, 176, 179] and b = [3, 11, 16, 18, 33, 41, 64, 124, 139, 160].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-16
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,58,48]]: cyclic generalized-bicycle code at m = 215, row weight 20

At row weight 20 or lighter, the best distance on the board with n <= 430 and k >= 58 is 31, at [[390,82,31]] and row weight 16. This entry reaches 48. 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 held 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: build a divisor g of chosen degree out of cyclotomic coset minimal polynomials and draw a and b as low-weight codewords of its ideal. Degree 29 at m = 215 is deg g / m of 0.135, mid-band for this family, whose candidates all sat between 0.117 and 0.152; degrees above roughly 0.17 return distance 4 or 5 at any modulus.

What was searched

m = 215 = 5 x 43 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 is a coarse set at this modulus. The divisor here has degree 29, fixing k = 58.

Degrees were filtered before cores were spent: the degree must be a sum of coset sizes or no divisor exists, the chosen cosets must include the size-1 coset at the origin or almost every draw is lost to a parity rejection, and the chosen exponents must not share a factor with m or the divisor sits inside x^q - 1 for a proper divisor q and the codes fall below distance 4.

The sweep ran at 20,000 information-set trials per draw. This draw screened at 60 and a probe at 600,000 trials over 4 seeds read 52. Both polynomial weights are 10, so (x + 1) divides the common gcd; since x + 1 is x^1 - 1, the only block logical that forces has weight 215, far above the claim.

Evidence trail

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

A 24-seed gate at 2,000,000 information-set trials per seed settled at 48, with per-seed readings from 48 to 54 and one of the 24 seeds reaching the minimum. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, read 53, above the gate, so the gate is the binding instrument and the claim is 48. The thin minimum is the reason to read 48 as an upper bound that may fall further; the margin over the weight-20 bar is wide enough that a correction would adjust the claim rather than remove the entry.

The single-block logicals form the cyclic code of dimension 29 whose zeros are the 186 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 neither fold binds.

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

Dead ends

A row weight 24 draw at this exact dimension screened 61, probed to 54 and then fell to 46 under its 8,000,000-trial run. That is dominated by this entry outright, on equal n and k, lighter weight and higher distance, so it is not submitted. The ordering of those two was not knowable from the probes alone: at probe depth the weight-24 draw read 54 against this one's 52, and only the deep runs reversed it.

A row weight 14 draw at the neighbouring [[430,56]] screened 54 and probed to 30. At row weight 14 the board's bar for that (n, k) falls to 26 from 31, but the distance fell much further than the bar did, so it prices at +4. Lighter draws in this family pay only where a strong entry already occupies the heavier weight and the bar collapses underneath it, which is not the case there.

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 four 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 = 215, n = 2m = 430. With a = {31, 50, 73, 125, 136, 145, 162, 169, 176, 179} and b = {3, 11, 16, 18, 33, 41, 64, 124, 139, 160} 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 29. The submitted codes/430-58-48.json carries both matrices row by row and both distance witnesses.

Parity checks

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