← back to the board
[[514,32,70]] d ≤
n
514
k
32
d
70
kd²/n
305.058
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 70, d_Z ≤ 70 · 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 70 · witness weight 70 (claimed upper_bound)
witness operator (support, 70 qubits)
[1, 9, 20, 29, 32, 49, 52, 59, 61, 66, 76, 77, 80, 89, 91, 96, 98, 100, 107, 109, 131, 135, 141, 163, 166, 171, 179, 202, 209, 211, 234, 235, 237, 246, 250, 251, 256, 259, 265, 283, 288, 289, 295, 302, 304, 306, 307, 308, 316, 332, 335, 340, 345, 350, 380, 393, 394, 396, 402, 428, 436, 444, 451, 459, 464, 466, 471, 474, 497, 509]
d_Z 70 · witness weight 70 (claimed upper_bound)
witness operator (support, 70 qubits)
[21, 24, 38, 41, 44, 46, 50, 55, 56, 61, 82, 83, 84, 100, 103, 116, 121, 127, 135, 151, 152, 153, 155, 157, 159, 171, 173, 179, 186, 187, 200, 201, 218, 219, 226, 255, 258, 263, 268, 270, 271, 284, 299, 309, 313, 314, 315, 316, 319, 321, 326, 329, 345, 352, 360, 361, 383, 391, 397, 401, 421, 439, 454, 464, 471, 479, 483, 484, 490, 492]
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 7–9 (mean 8.0) · H_Z 7–9 (mean 8.0)
trapping sets H_X (1,7)×257 (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,7): 257 (1,9): 257 (2,10): 257 (2,12): 7196 (2,14): 14135 (2,16): 5140
trapping sets H_Z (1,7)×257 (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,7): 257 (1,9): 257 (2,10): 257 (2,12): 7196 (2,14): 14135 (2,16): 5140

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code on the ring x257 - 1 with H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T]. Both a and b lie in the ideal generated by a divisor of x257 - 1 of degree 16, which fixes k = 2 deg gcd(a, b, x257 - 1) = 32.
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-13
notes m = 257 is prime with ord_2(m) = 16, so x^257 - 1 factors as (x + 1) times sixteen distinct degree-16 minimal polynomials, and the only proper divisor of m is 1, which makes every quotient fold vacuous. The divisor is one of those degree-16 factors, chosen among the sixteen to maximise the longest run of consecutive residues it leaves out. The single-block logicals form the cyclic code of dimension 16 whose zeros are the 241 residues the divisor leaves out, and the Bose-Chaudhuri-Hocquenghem bound on that run puts the lightest single-block logical well above this claim; a direct circulant search at 12 seeds of 600,000 trials finds nothing below 84. Draws with two even weights are rejected, since (x + 1) divides a binary polynomial exactly when its weight is even and would add the root-1 coset to the common gcd. The distance is a witness-backed upper bound from a 24-seed gate at 2,000,000 information-set trials per seed; the orbit fold over every equal-orbit partition of the qubits returns nothing lighter.
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,32,70]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 257

At row weight 16 or lighter, the best distance on the board with n <= 514 and k >= 32 is 31, at [[390,82,31]] and row weight 16. This entry reaches 70. Allowing any row weight, the board's best in the same n and k range is 64, at [[514,64,64]] and row weight 20.

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. Degree 16 sits where both are weak here.

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 1 coset of total degree 16, 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.

Draws with two even weights are rejected: (x + 1) divides a binary polynomial exactly when its weight is even, so two even weights would add the root-1 coset to the common gcd and land the draw one degree above the target. Here a has weight 7 and b has weight 9.

Evidence trail

deg gcd(a, x^257 - 1) = 16, deg gcd(b, x^257 - 1) = 16 and deg gcd(a, b, x^257 - 1) = 16, 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 70. The per-seed spread: 4 seeds found 70, 6 seeds found 72, 12 seeds found 74, 2 seeds found 76. The single-block logicals form the cyclic code of dimension 16 whose zeros are the 241 residues the divisor leaves out; the longest run of consecutive residues among them is 89, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 90 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 84. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim.

The claim is a witness-backed upper bound, not certified. Both witnesses are in the submitted JSON, weigh 70, commute with the opposite check matrix and lie outside its row space.

Dead ends

  • [[514,32,68]] from the same front is lighter at row weight 14 and settled at 68 on its own 24-seed gate, so neither settles the other.
  • [[514,32,62]] from the same front is lighter at row weight 12 and stops at 62, so neither settles the other.
  • [[514,32,46]] from the same front is lighter at row weight 10 and stops at 46, so neither settles the other.
  • Target degree 17, the 16j+1 point at this modulus, has its longest unpicked run fall from 89 to 64 because the root-1 coset splits the long run. That is the degree an even-weight draw lands on by accident, which is why such draws are rejected at degrees that do not carry the coset by design.
  • The front was ranked by a 20,000-trial screen, which ordered it backwards: this member read 84 at triage, the highest of the four, and gated no better than the weight-14 member two steps down.

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