← back to the board
[[434,52,48]] d ≤
n
434
k
52
d
48
kd²/n
276.055
w
18
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 48, d_Z ≤ 48 · w_X = 18, w_Z = 18 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 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-15
witness operator (support, 48 qubits)
[4, 12, 37, 42, 46, 59, 65, 74, 76, 103, 107, 118, 122, 124, 128, 136, 138, 139, 156, 165, 171, 188, 193, 196, 217, 223, 228, 234, 237, 245, 263, 266, 273, 278, 281, 299, 303, 305, 312, 324, 332, 350, 368, 380, 383, 385, 388, 402]
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-15
witness operator (support, 48 qubits)
[0, 32, 46, 49, 51, 54, 66, 84, 102, 110, 122, 129, 131, 135, 153, 156, 161, 168, 171, 189, 197, 200, 206, 211, 238, 241, 246, 263, 269, 278, 295, 296, 298, 306, 310, 312, 316, 327, 331, 358, 360, 369, 375, 388, 392, 397, 422, 430]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 18 · H_Z 18
qubit degrees H_X 9 · H_Z 9
trapping sets H_X (1,9)×434 (2,12)×434 (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,9): 434 (2,12): 434 (2,14): 2604 (2,16): 26691
trapping sets H_Z (1,9)×434 (2,12)×434 (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,9): 434 (2,12): 434 (2,14): 2604 (2,16): 26691

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=217 = 7 x 31, with ord_2(m)=15, so x217 - 1 factors over GF(2) into 21 cyclotomic cosets, 1 of size 1, 2 of size 3, 6 of size 5, 12 of size 15. The divisor g is assembled from coset minimal polynomials to degree 26, which fixes k = 2 deg g = 52 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 9 and weight 9 in the two blocks. At least one weight is odd, so x+1 does not divide the gcd. m is composite, so the quotient fold acts at t=7 and t=31; a fold over every equal-orbit partition of the qubits returns nothing lighter than 62, clear of the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 434 qubits at uniform row weight 18, with a = [4, 51, 60, 123, 141, 146, 154, 185, 208] and b = [33, 69, 104, 133, 158, 184, 199, 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" ---

[[434,52,48]]: cyclic generalized-bicycle code at m = 217, row weight 18

At row weight 18 or lighter, the best distance on the board with n <= 434 and k >= 52 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 = 217 had never been swept for this construction. Of the generalized-bicycle entries on the board, the successes cluster at prime moduli, and the reason is structural: for a cyclic generalized bicycle on x^m - 1, every proper divisor t of m gives a quotient-fold ceiling, so a composite modulus carries one potential cap per divisor while a prime carries none. That makes composite moduli cheap to dismiss and therefore under-measured. 217 = 7 x 31 has only two proper divisors, so there are only two folds to clear, and the board at n = 434 holds 7 entries, none at this dimension.

The dimension is designed rather than observed: k = 2 deg gcd(a, b, x^m - 1), so a divisor g of chosen degree is built from cyclotomic coset minimal polynomials and a and b are drawn as low-weight codewords of its ideal.

What was searched

m = 217 with ord_2(217) = 15, so x^217 - 1 factors over GF(2) into 21 cyclotomic cosets, one of size 1, two of size 3, six of size 5 and twelve of size 15. Reachable divisor degrees are the subset sums of those sizes. The divisor used here has degree 26, which fixes k = 52.

Degrees were not picked as fractions of m. A target degree that is not a sum of coset sizes is unreachable and is skipped in silence, and a degree whose chosen cosets exclude the size-1 coset at the origin loses nearly every draw to a parity rejection, because the information-set draw returns two even weights most of the time. Degrees of the form one plus a sum of the other coset sizes are the productive ones, and those are what was swept.

The sweep ran at 20,000 information-set trials per draw. At this (n, k) it produced draws at row weights 18, 20 and 22; a probe at 600,000 trials over 4 seeds read exactly 48 on all three. The row weight 18 draw is the one submitted, because at equal distance the lighter row weight dominates the heavier ones outright.

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

Evidence trail

deg gcd(a, x^217 - 1) = deg gcd(b, x^217 - 1) = deg gcd(a, b, x^217 - 1) = 26, 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 48. The spread is wide and the minimum is thin: the per-seed readings run from 48 to 56, and only one of the 24 seeds reached 48. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, held at 54 and did not find the lighter operator, so the gate is the binding instrument here and the claim is 48.

Worth recording for anyone reading the spread: three independent draws at this (n, k) had each probed to exactly 48 at 600,000 trials, and the gate then held 54 for its first ten seeds before seed eleven found 48. Neither the agreement across draws nor the plateau inside the gate was evidence about the floor.

The single-block logicals form the cyclic code of dimension 26 whose zeros are the 191 residues the divisor omits. The longest run of consecutive residues among them is 30, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 31 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 54. The quotient fold acts at t = 7 and t = 31; a fold over every equal-orbit partition of the qubits returns nothing lighter than 62, so no 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 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, so nothing was filed off a sweep. This draw screened at 58 and settled at 48.

Two cells measured in the same session at other moduli show what the cheap instruments miss. At m = 267, [[534,68]] at row weight 20 screened at 79, probed to 69 with a witness and cleared its single-block screen, and then an orbit fold capped it at 57 through an x^89-invariant partition, which leaves +3 against the board and closes the cell. At m = 267, [[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.

At m = 189, m = 243 and m = 343 every reachable divisor degree in the productive band has all its exponents sharing a factor with m, which puts the divisor inside x^q - 1 for a proper divisor q and collapses the code below distance 4. Those three moduli have no usable design point at all despite looking open on the board.

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 = 217, n = 2m = 434. With a = {4, 51, 60, 123, 141, 146, 154, 185, 208} and b = {33, 69, 104, 133, 158, 184, 199, 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^217 - 1), of degree 26. The submitted codes/434-52-48.json carries both matrices row by row and both distance witnesses.

Parity checks

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