← back to the board
[[430,56,42]] d ≤
n
430
k
56
d
42
kd²/n
229.73
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 42, d_Z ≤ 42 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 42 · witness weight 42 (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, 42 qubits)
[10, 11, 23, 25, 34, 52, 61, 93, 99, 103, 111, 115, 132, 135, 146, 150, 170, 172, 187, 205, 207, 228, 254, 256, 279, 288, 300, 304, 323, 330, 333, 356, 358, 365, 369, 383, 403, 406, 407, 408, 409, 427]
d_Z 42 · witness weight 42 (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, 42 qubits)
[3, 21, 22, 23, 24, 27, 47, 61, 65, 72, 74, 97, 100, 107, 126, 130, 142, 151, 174, 176, 202, 223, 225, 243, 258, 260, 280, 284, 295, 298, 315, 319, 327, 331, 337, 369, 378, 396, 405, 407, 419, 420]
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 14 · H_Z 14
qubit degrees H_X 7 · H_Z 7
trapping sets H_X (1,7)×430 (2,10)×1075 (3,11)×430 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,7): 430 (2,10): 1075 (2,12): 17415 (3,11): 430 (3,13): 10750 (3,15): 175870 (3,17): 1023185 (3,19): 54395
trapping sets H_Z (1,7)×430 (2,10)×1075 (3,11)×430 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,7): 430 (2,10): 1075 (2,12): 17415 (3,11): 430 (3,13): 10750 (3,15): 175870 (3,17): 1023185 (3,19): 54395

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=215 = 5 x 43, with ord_2(m)=28, so x215 - 1 factors over GF(2) into 11 cyclotomic cosets, 1 of size 1, 1 of size 4, 3 of size 14, 6 of size 28. The divisor g is assembled from coset minimal polynomials to degree 28, which fixes k = 2 deg g = 56 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 7 and weight 7 in the two blocks. At least one weight is odd, so x+1 does not divide the gcd. m is composite, so the quotient fold acts at t=5 and t=43; a fold over every equal-orbit partition of the qubits returns nothing lighter than 128, 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 14, with a = [6, 86, 101, 107, 111, 150, 151] and b = [10, 13, 17, 88, 175, 191, 192].
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,56,42]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 215

At row weight 14 or lighter, the best distance on the board with n <= 430 and k >= 56 is 26, at [[390,68,26]] and row weight 13. This entry reaches 42. Allowing any row weight, the board's best in the same n and k range is 38, at [[390,82,38]] and row weight 32, so the entry also clears the unrestricted comparison.

Direction & hypothesis

For a cyclic generalized-bicycle code on x^m - 1, k = 2 deg gcd(a, b, x^m - 1), so the dimension is set by a polynomial gcd rather than waited for: assemble a divisor g of a chosen degree from cyclotomic coset minimal polynomials and draw a and b as low-weight members of its ideal.

At a composite modulus the choice of cosets matters more than the degree. If the exponents of the picked cosets share a factor q > 1 with m, then every root of g is an (m/q)-th root of unity, g divides x^q - 1, the ideal contains weight-2 elements, and the draws come back at row weight 4 with no useful distance. m = 215 = 5 x 43 has cosets of sizes 1, 4, 14 and 28, and the exponents of the size-4 coset share the factor 43 while those of the three size-14 cosets share the factor 5. Only the six size-28 cosets have exponents coprime to m on their own, so every usable degree in the productive band is one of them plus optionally the size-4 coset and the size-1 coset at the origin: 28, 29, 32 and 33, giving k of 56, 58, 64 and 66. This entry takes degree 28, which fixes k = 56.

What was searched

m = 215 with ord_2(215) = 28, so x^215 - 1 factors over GF(2) into 11 cyclotomic cosets: 1 of size 1, 1 of size 4, 3 of size 14 and 6 of size 28. The divisor is the single size-28 coset of 1, whose exponents are coprime to m; it was chosen among the coprime picks at that degree to maximise the longest run of consecutive residues it leaves out.

a and b are drawn from the ideal by Prange information-set decoding at a weight target of 6 per block, which is what asks for the row-weight-14 rows the board is open at. Each draw is read at 20,000 information-set trials and priced against the quotient-lift, single-block and orbit-fold bounds before it is kept. Both block weights came back at 7, and since (x + 1) divides a binary polynomial exactly when its weight is even, at least one odd weight keeps the root-1 coset out of the common gcd and holds the degree at the target.

Evidence trail

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

The readings fell monotonically with depth, which is why none of the shallower ones is the claim:

| instrument | trials | reading | |---|---|---| | screen | 20,000, 1 seed | 58 | | probe | 250,000, 3 seeds | 52 | | single long run | 8,000,000, 1 seed | 44 on Z | | 24-seed gate | 2,000,000 per seed | 42 on Z |

The 8,000,000-trial run matches the depth the verifier's own refutation pass reaches. The 24-seed gate at 48,000,000 trials in total settled at 42, and the spread is worth stating plainly: 1 seed found 42, 1 found 44, 3 found 46, 9 found 48, 9 found 50 and 1 found 52, so the claim rests on a single seed and should be read as an upper bound that may still fall.

The single-block logicals form the cyclic code of dimension 28 whose zeros are the 187 residues the divisor leaves out. The longest run of consecutive residues among them is 39, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 40 or above, which is only two below the claim and is why that channel was searched directly rather than left to the bound: a search confined to one circulant block at 12 seeds of 600,000 trials finds nothing below 58, well clear of the claim. An orbit fold over every equal-orbit partition of the qubits returns nothing lighter than 128, and the quotient fold acts only at t = 5 and t = 43, both far above the claim.

The claim is 42 as a witness-backed upper bound, not an exact distance. Both witnesses are carried in the submitted file; the Z witness is the one the gate found and the X witness is its mirror under 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 carries one side's logicals onto the other's. Both were validated against the opposite check matrix and against their own row space before being written.

Dead ends

  • [[430,56,46]] from the same modulus and degree sits at row weight 16 and reaches 46. Neither settles the other: domination needs the dominator's weight to be lighter or equal, so the weight-16 entry cannot defend weight 14, and this one reaches 42 against that one's 46 so it cannot displace it either. They are two cells.
  • [[430,58,48]] from the same modulus at degree 29 and row weight 20 is heavier on every axis that matters here and does not reach this cell.
  • Degree 28 is reachable two ways at this modulus and only one of them works. One size-28 coset has exponents coprime to m and is the divisor used here (the coset of 1); two size-14 cosets also sum to 28 but their exponents are all multiples of 5, which puts g inside x^43 - 1 and collapses the draws to row weight 4. Degrees 14 and 15 are built only from size-14 cosets and are unusable for the same reason. Degrees 18 and 19 (a size-14 coset together with the size-4 one) are coprime to m and sound, but at k = 36 and k = 38 they sit below the band where this family is productive.
  • A weight target of 4 or 5 at this design point does not reach row weight 10 or 12. The information-set routine returns whatever it has when it cannot meet the target, so the lighter targets silently return the same weight-14 rows rather than failing.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches use the repository's verify/gf2_fast extension. Divisor assembly, coset selection, the information-set draws and the orbit fold are session tooling outside this repository, described above in enough detail to rewrite. Roughly 3 core-hours for the gate, 1 for the long run and under 1 for the screens and folds.

Reproduction

m = 215, n = 2m = 430. With a = {6, 86, 101, 107, 111, 150, 151} and b = {10, 13, 17, 88, 175, 191, 192} 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 submitted codes/430-56-42.json carries both matrices row by row and both distance witnesses.

Parity checks

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