← back to the board
[[514,66,59]] d ≤
n
514
k
66
d
59
kd²/n
446.977
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 59, d_Z ≤ 59 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 59 · witness weight 59 (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, 59 qubits)
[18, 33, 35, 41, 48, 57, 67, 68, 79, 91, 96, 104, 122, 124, 153, 156, 179, 193, 217, 241, 243, 246, 254, 256, 274, 277, 302, 305, 310, 322, 324, 352, 365, 367, 375, 385, 399, 403, 407, 410, 414, 415, 418, 427, 441, 445, 446, 447, 467, 474, 477, 481, 486, 490, 491, 492, 501, 505, 512]
d_Z 59 · witness weight 59 (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, 59 qubits)
[2, 9, 13, 22, 23, 24, 28, 33, 37, 40, 47, 67, 68, 69, 73, 87, 96, 99, 100, 104, 107, 111, 115, 129, 139, 147, 149, 162, 190, 192, 204, 209, 212, 237, 240, 258, 260, 268, 271, 273, 297, 321, 335, 358, 361, 390, 392, 410, 418, 423, 435, 446, 447, 457, 466, 473, 479, 481, 496]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

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

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 and the reachable divisor degrees are the subset sums of the coset sizes. The divisor g is a product of the minimal polynomials of 2 cyclotomic cosets of size 16 times x+1, of degree 33, which fixes k = 2 deg g = 66 by construction. The pair (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 8 in each block, which is what gives row weight 16 rather than the 18 of codes/514-66-63.json. 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 16, with a = [8, 59, 123, 129, 153, 180, 189, 218] and b = [32, 56, 78, 92, 170, 184, 206, 230].
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" ---

[[514,66,59]]: cyclic generalized-bicycle code at m = 257, row weight 16

At row weight 16 or lighter, the best distance on the board with n <= 514 and k >= 66 is 31, at [[390,82,31]]. This entry reaches 59 at row weight 16. Allowing any row weight the best in the same range is 63, at codes/514-66-63.json and row weight 18, which is the same construction at the same modulus and dimension two weight steps heavier.

Direction & hypothesis

The cell was picked for a reason that has nothing to do with distance. Domination requires a dominator's row weight to be lighter than or equal to the candidate's, so an entry at row weight 18 does not defend the same (n, k) at row weight 16, whatever its distance. codes/514-66-63.json was filed at weight 18 and m = 257 was then treated as finished, but the weight ladder below 18 had never been swept at this dimension. At weight 16 or lighter the cell is defended only to 31.

For a cyclic generalized-bicycle code on x^m - 1 the dimension is k = 2 deg gcd(a, b, x^m - 1), so it can be set in advance: build a divisor g of chosen degree from cyclotomic coset minimal polynomials and draw a and b as low-weight codewords of its ideal. Reaching row weight 16 rather than 18 is a matter of the information-set draw returning weight 8 in both blocks instead of 8 and 10, which is rare rather than unreachable.

What was searched

m = 257 with ord_2(257) = 16, so x^257 - 1 factors over GF(2) into 17 cyclotomic cosets, one of size 1 and sixteen of size 16, and the reachable divisor degrees are the subset sums of those sizes. The divisor here has degree 33, two cosets of size 16 together with the size-1 coset at the origin, which fixes k = 66.

The draws came from a sweep of this design point at 20,000 information-set trials per draw. Of 10,448 draws recorded at this modulus, exactly one returned weight 8 in both blocks; every other draw at this dimension landed at row weight 18 or heavier. That one draw is the code submitted here.

Both polynomial weights are 8, so (x + 1) divides the common gcd. m is prime, so the only block logical that forces has weight 257, far above the claim.

Evidence trail

deg gcd(a, x^257 - 1) = deg gcd(b, x^257 - 1) = deg gcd(a, b, x^257 - 1) = 33, 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 59. The spread is wide and the minimum is thin: the per-seed readings run from 59 to 67 and only one of the 24 seeds reached 59. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, held at 64 and did not find the lighter operator. The claim is the minimum over the instruments, so it is 59 rather than 64, and the thin spread is the reason to read it as an upper bound that may still fall.

The single-block logicals form the cyclic code of dimension 33 whose zeros are the 224 residues the divisor omits. The longest run of consecutive residues among them is 51, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 52 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 70. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than 178, so no fold binds here; m is prime, so the quotient fold has no proper divisor to act on.

The claim is a witness-backed upper bound, not certified. The X witness of weight 59 is the operator the gate found. The Z 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. The carried operator was validated against H_X and the Z logical basis before it was 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 here was filed off a sweep. This draw screened at 70 and settled at 59, a fall of 11. Its weight-18 sibling at the same modulus and dimension screened at 73 and gated to 63.

Two other design points measured in the same session illustrate what the cheap instruments miss. At m = 267, [[534,68]] at row weight 20 screened at 79, probed to 69 with a witness, cleared its single-block screen and would have been filed, and then fold2 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 and that cell is finished too.

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

Reproduction

m = 257, n = 2m = 514. With a = {8, 59, 123, 129, 153, 180, 189, 218} and b = {32, 56, 78, 92, 170, 184, 206, 230} 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^257 - 1), of degree 33. The submitted codes/514-66-59.json carries both matrices row by row and both distance witnesses.

Parity checks

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