← back to the board
[[514,34,59]] d ≤
n
514
k
34
d
59
kd²/n
230.261
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 59, d_Z ≤ 59 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 59 · witness weight 59 (claimed upper_bound)
witness found by @vprusso · verify/gf2_fast.distance_rand_witness RIS, pair_depth 8 · found at 2×106 trials · 2026-10-16
witness operator (support, 59 qubits)
[1, 3, 12, 17, 22, 26, 29, 36, 49, 50, 59, 69, 70, 75, 80, 87, 106, 110, 112, 122, 125, 150, 151, 156, 165, 176, 179, 180, 182, 190, 192, 206, 210, 215, 221, 226, 244, 270, 288, 295, 327, 342, 346, 348, 349, 377, 382, 384, 414, 431, 437, 451, 452, 461, 464, 486, 492, 494, 503]
d_Z 59 · witness weight 59 (claimed upper_bound)
witness found by @vprusso · block-swap mirror of the X witness, revalidated · found at 2×106 trials · 2026-10-16
witness operator (support, 59 qubits)
[11, 20, 22, 28, 50, 53, 62, 63, 77, 83, 100, 130, 132, 137, 165, 166, 168, 172, 187, 219, 226, 244, 270, 288, 293, 299, 304, 308, 322, 324, 332, 334, 335, 338, 349, 358, 363, 364, 389, 392, 402, 404, 408, 427, 434, 439, 444, 445, 455, 464, 465, 478, 485, 488, 492, 497, 502, 511, 513]
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 12 · H_Z 12
qubit degrees H_X 6 · H_Z 6
trapping sets H_X (1,6)×514 (2,8)×514 (3,10)×3855 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 514 (2,8): 514 (2,10): 15934 (3,10): 3855 (3,12): 60909 (3,14): 756094 (3,16): 46774
trapping sets H_Z (1,6)×514 (2,8)×514 (3,10)×3855 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 514 (2,8): 514 (2,10): 15934 (3,10): 3855 (3,12): 60909 (3,14): 756094 (3,16): 46774

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=257, a prime with ord_2(m)=16, so the nontrivial cyclotomic cosets of 2 all have size 16. The divisor g is the minimal polynomial of a cyclotomic coset of size 16, times x+1, of degree 17, which fixes k = 2 deg g = 34 by construction. The pair (a,b) was then drawn from the ideal (g) by information-set decoding over sparse supports, keeping weights 6 and 6. Both weights are even, so x+1 divides the gcd; m is prime, so the only block logical this forces has weight m and is far above the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 514 qubits at uniform row weight 12, with a = [16, 35, 126, 179, 222, 254] and b = [39, 56, 132, 156, 208, 236].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-15
notes Distance is an upper bound from the lighter of two witnesses, weight 62 on X and 62 on Z, both carried in this file. A 24-seed randomized information-set search at 2,000,000 trials per seed spread 64 to 71, with the minimum reached by exactly one seed. A single run of 8,000,000 trials, matching the verifier's own depth, reads 65. A search restricted to logicals supported inside one circulant block, which a general search is blind to, found nothing below 72. Folding onto the x^t-invariant subspaces leaves a lightest surviving logical of weight 226. The design point is deg g / m = 0.066. Revised to 59 on 2026-10-17: a 2,000,000-trial information-set search found a weight-59 X logical against the claimed 62, and its block-swap mirror gives a Z logical of the same weight; both are carried here.
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" ---

[[514,34,59]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 257

Revision record

Filed at 62 and revised down to 59 on 2026-10-17. A 2,000,000-trial information-set search at pair_depth 8 found a weight-59 X logical; its block-swap-and-index-negation mirror gives a Z logical of the same weight, and both were rechecked against the opposite check matrix and their own row space before being carried here.

This is the second correction to this entry, which is itself the record worth keeping. It was submitted at 64, the board's refutation gate found 62, and a later audit of my own merged entries found 59. Three readings of one matrix, each lower than the last, and every local instrument listed below reads above all three. At row weight 12 or lighter the best distance on the board with n <= 514 and k >= 34 is still 32, so at 59 the entry advances by 27 and the claim is corrected rather than withdrawn.

Everything below is the original note, with the distance claim superseded by the record above.

Original note, with the file paths updated

At row weight 12 or lighter, the best distance on the board with n <= 514 and k >= 34 is 32, at [[434,40,32]] and row weight 10. This entry reaches 59. Allowing any row weight, the board's best in the same n and k range is 64, at [[514,64,64]] and row weight 18.

This is a refiling. The same matrix was submitted at a claimed distance of 64 and the board's refutation gate found a weight-62 logical against it; that logical was the witness carried here until the revision above replaced it, with its block-swap-and-index-negation mirror on the other side, both rechecked against the opposite check matrix. Every search run locally reads above it, which is the point worth recording: two independent draws in this cell both gated to 64 and both 8,000,000-trial runs read 65 and 66, and the gate's single pass still found 2 lower.

Direction & hypothesis

For a cyclic generalized-bicycle code on x^m - 1, k = 2 deg gcd(a, b, x^m - 1), so the dimension follows from a polynomial gcd and can be set rather than waited for: build a divisor g of chosen degree and draw a and b as low-weight codewords of its ideal. Two mechanisms cap this family from opposite ends. A proper divisor t of m gives a quotient-fold ceiling of (m/t) d_t, which binds at low dimension, and the single-block cyclic code of dimension deg g carries a light logical inside one circulant block at high dimension. Here m is prime, so the quotient fold has no proper divisor to act on and is vacuous; only the single-block ceiling binds, and degree 17 sits below where it bites.

What was searched

m = 257 with ord_2(257) = 16, so the cyclotomic cosets of x^257 - 1 over GF(2) number 17 and the reachable divisor degrees are the subset sums of their sizes. The divisor used here is 2 cosets of total degree 17, chosen among the reachable picks at that degree to maximise the longest run of consecutive residues it leaves out. a and b are drawn from its ideal by Prange information-set decoding, and each draw is read at 20,000 trials and then priced against the quotient-lift, single-block and orbit-fold bounds before it is kept.

The divisor carries the root-1 coset, so both polynomial weights are even by construction and (x + 1) divides the common gcd by design rather than by accident. Here a has weight 6 and b has weight 6.

Evidence trail

deg gcd(a, x^257 - 1) = 17, deg gcd(b, x^257 - 1) = 17 and deg gcd(a, b, x^257 - 1) = 17, so the leak between the single-block kernels and k is 0.

A 24-seed gate at 2,000,000 information-set trials per seed settled at 64, above the claim: see below. The per-seed spread: 1 seed found 64, 1 seed found 66, 3 seeds found 67, 5 seeds found 68, 5 seeds found 69, 8 seeds found 70, 1 seed found 71. The single-block logicals form the cyclic code of dimension 17 whose zeros are the 240 residues the divisor leaves out; the longest run of consecutive residues among them is 63, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 64 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 72. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier itself reaches, reads 65.

The claim is a witness-backed upper bound, not certified. Both witnesses are in the submitted JSON, commute with the opposite check matrix and lie outside its row space; each weighs 59, and the claim is the lighter of the two.

Dead ends

  • [[514,64,64]] from the same front reaches 64, 2 more, but at row weight 18 against 12 here, so neither settles the other.
  • [[514,66,63]] from the same front reaches 63, 1 more, but at row weight 18 against 12 here, so neither settles the other.

The screen that queued this draw read 72 and the gate settled at 62, which is why every candidate from this front is gated rather than filed off the sweep.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches come from the repository's verify/gf2_fast extension; divisor assembly, coset selection and the information-set draws are session tooling outside this repository, described above in enough detail to rewrite.

Reproduction

m = 257, n = 2m = 514. With a = {16, 35, 126, 179, 222, 254} and b = {39, 56, 132, 156, 208, 236} 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/514-34-59.json carries both matrices row by row and both distance witnesses.

Parity checks

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