← back to the board
[[514,32,62]] d ≤
n
514
k
32
d
62
kd²/n
239.315
w
12
X/Z
1.03

Share this result

Distance

X/Z asymmetry 1.03 · d_X ≤ 64, d_Z ≤ 62 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 64 · witness weight 64 (claimed upper_bound)
witness operator (support, 64 qubits)
[5, 7, 13, 17, 41, 56, 61, 68, 72, 74, 76, 91, 106, 127, 131, 143, 149, 155, 158, 160, 161, 162, 171, 179, 186, 194, 196, 202, 208, 222, 226, 243, 251, 253, 256, 257, 263, 272, 279, 284, 295, 296, 301, 302, 304, 318, 349, 355, 356, 359, 372, 379, 381, 387, 405, 420, 425, 437, 457, 459, 461, 469, 471, 511]
d_Z 62 · witness weight 62 (claimed upper_bound)
witness operator (support, 62 qubits)
[1, 7, 13, 23, 35, 45, 46, 53, 68, 77, 86, 87, 94, 100, 105, 124, 126, 130, 135, 139, 142, 159, 161, 167, 172, 184, 190, 194, 196, 199, 209, 215, 224, 236, 237, 238, 275, 278, 284, 287, 293, 306, 307, 356, 363, 370, 376, 378, 380, 384, 395, 401, 410, 447, 450, 453, 470, 478, 485, 493, 498, 499]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 12 · H_Z 12
qubit degrees H_X 5–7 (mean 6.0) · H_Z 5–7 (mean 6.0)
trapping sets H_X (1,5)×257 (2,8)×3084 (3,9)×4369 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 257 (1,7): 257 (2,8): 3084 (2,10): 8481 (2,12): 4369 (3,9): 4369 (3,11): 56797 (3,13): 278331 (3,15): 345665 (3,17): 124388 (3,19): 4883
trapping sets H_Z (1,5)×257 (2,8)×3084 (3,9)×4369 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 257 (1,7): 257 (2,8): 3084 (2,10): 8481 (2,12): 4369 (3,9): 4369 (3,11): 56797 (3,13): 278331 (3,15): 345665 (3,17): 124388 (3,19): 4883

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 80. 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,62]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 257

At row weight 12 or lighter, the best distance on the board with n <= 514 and k >= 32 is 30, at [[390,32,30]] and row weight 10. This entry reaches 62. 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 5 and b has weight 7.

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 62. The per-seed spread: 2 seeds found 62, 1 seed found 64, 5 seeds found 66, 7 seeds found 68, 7 seeds found 70, 2 seeds found 72. 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 80. 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 62, commute with the opposite check matrix and lie outside its row space.

Dead ends

  • [[514,32,70]] from the same front reaches 70, 8 more, but at row weight 16 against 12 here, 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.
  • The weight-14 member of the same front is still gating; at 20 of 24 seeds it reads 68, below the weight-16 member and above this one, so it is a fourth corner rather than a replacement for any of these.
  • 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: the heaviest member read best at triage and gated no better than the next one down.

The triage reading for this pair was 80, against a gated 62. 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 = {46, 153, 199, 247, 248} and b = {36, 42, 108, 196, 198, 236, 242} 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-62.json carries both matrices row by row and both distance witnesses.

Parity checks

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