← back to the board
[[466,58,50]] d ≤
n
466
k
58
d
50
kd²/n
311.159
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 50, d_Z ≤ 50 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 50 · witness weight 50 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16
witness operator (support, 50 qubits)
[7, 16, 25, 34, 35, 40, 43, 46, 95, 97, 103, 105, 108, 125, 145, 150, 162, 164, 173, 178, 187, 192, 198, 205, 209, 230, 232, 233, 241, 262, 280, 283, 297, 303, 314, 316, 319, 322, 328, 331, 334, 336, 367, 372, 378, 380, 401, 410, 424, 458]
d_Z 50 · witness weight 50 (claimed upper_bound)
witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16
witness operator (support, 50 qubits)
[0, 8, 42, 56, 65, 86, 88, 94, 99, 130, 132, 135, 138, 144, 147, 150, 152, 163, 169, 183, 186, 204, 225, 234, 236, 257, 261, 268, 274, 279, 288, 293, 302, 304, 316, 321, 341, 358, 361, 363, 369, 371, 420, 423, 426, 431, 432, 441, 450, 459]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 14 · H_Z 14
qubit degrees H_X 7 · H_Z 7
trapping sets H_X (1,7)×466 (2,10)×2097 (3,11)×466 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,7): 466 (2,10): 2097 (2,12): 17009 (3,11): 466 (3,13): 24698 (3,15): 243718 (3,17): 938058 (3,19): 43338
trapping sets H_Z (1,7)×466 (2,10)×2097 (3,11)×466 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,7): 466 (2,10): 2097 (2,12): 17009 (3,11): 466 (3,13): 24698 (3,15): 243718 (3,17): 938058 (3,19): 43338

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=233, with ord_2(m)=29, so x233 - 1 factors over GF(2) into 9 cyclotomic cosets, 1 of size 1, 8 of size 29. The divisor g is assembled from coset minimal polynomials to degree 29, which fixes k = 2 deg g = 58 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 7 and weight 7 in the two blocks. At least one weight is odd, so x+1 does not divide the gcd. m is prime, so the quotient fold has no proper divisor to act on; an orbit fold over every equal-orbit partition of the qubits returns nothing lighter than 176. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 466 qubits at uniform row weight 14, with a = [7, 20, 86, 139, 153, 195, 198] and b = [19, 87, 98, 148, 166, 187, 196].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-16
family generalized bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

--- author: "@vprusso" ---

[[466,58,50]]: cyclic generalized-bicycle code at m = 233, row weight 14

At row weight 14 or lighter, the best distance on the board with n <= 466 and k >= 58 is 26, at [[390,68,26]] and row weight 13. This entry reaches 50. Allowing any row weight the best in the same range is 57, at [[466,60,57]] and row weight 20, which is six weight steps heavier.

Direction & hypothesis

This cell was reached by looking for a threshold cliff rather than by sweeping a new modulus. m = 233 had already been swept at the default information-set weight target, which produced the entries now on the board at [[466,58]] row weight 16 and 18 and [[466,60]] row weight 18 and 20. Domination requires a dominator's row weight to be lighter than or equal to the candidate's, so those entries defend nothing below row weight 16, and the board's bar at [[466,58]] falls from 52 at row weight 16 to 26 at row weight 14. A lighter draw there can lose a great deal of distance and still advance.

The lever is the information-set weight target, since the reachable row weight is 2(target + 1): the default target of 12 produces the row weights 16 to 20 already filed, and a target of 7 asks for 14. Searching the board for cells whose bar drops by 15 or more across four weight steps found nine, all of them occupied by entries from this same construction, and this is one of two that proved reachable and in the usable degree band.

What was searched

m = 233 is prime with ord_2(233) = 29, so x^233 - 1 factors over GF(2) into nine cyclotomic cosets: one of size 1 and eight of size 29. Reachable divisor degrees are therefore 29j and 29j + 1, a very coarse set. The divisor here has degree 29, fixing k = 58, and deg g / m of 0.124 sits mid-band for this family, whose candidates all fall between 0.117 and 0.152.

The sweep ran at 20,000 information-set trials per draw at weight target 7. This draw came back with weight 7 in both blocks, so row weight 14, and screened at 66. The polynomial weights are both odd, so (x + 1) does not divide the common gcd.

Evidence trail

deg gcd(a, b, x^233 - 1) = 29, and the same degree on each side alone, so the leak between the two single-block kernels and k is 0.

The three instruments disagreed and the claim is the minimum. A probe at 600,000 trials over 4 seeds read 58. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, fell to 52. A 24-seed gate at 2,000,000 trials per seed then settled at 50, two below the deep run, with per-seed readings from 50 to 58 and one of the 24 seeds reaching the minimum. The thin minimum is the reason to read 50 as an upper bound that may fall further; the margin over the weight-14 bar is wide enough that a correction would adjust the claim rather than remove the entry.

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

The claim is a witness-backed upper bound, not certified. The X witness of weight 50 is the operator the gate found; the Z witness is that operator carried across by the construction's own symmetry, since H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] means swapping the blocks and negating the index inside each maps one side's logicals onto the other's. It was validated against the opposite check matrix and the logical basis before being written, and both witnesses commute with the opposite check matrix and lie outside its row space.

Dead ends

A cliff is necessary but not sufficient, and m = 205 shows the failure mode. At [[410,48]] the bar falls from 30 at row weight 12 to 16 at row weight 10, a clean cliff, and degree 24 is reachable and in band. Swept at low targets it produced row weight 10 draws screening only 22 and 24, against the 30 the row weight 12 entry already holds. The distance lost nearly cancels the bar gained, leaving nothing after a typical fall, so that cell was dropped without a probe. The lighter draw has to hold its distance, which here it did: 66 at screen against merged entries at 52 to 57.

Lower targets at design points without a cliff were also measured and failed. At m = 195 [[390,54]] a row weight 12 draw screened 40 and probed to 24 against a bar of 16, pricing at +8 where the row weight 18 draw prices at +10. At m = 215 [[430,56]] a row weight 14 draw screened 54 and probed to 30 against a bar of 26, pricing at +4 where the row weight 16 draw prices at +15. At m = 171 [[342,40]] and [[342,42]] the bar is 24 at every weight from 20 down to 16, so a lighter draw there gains nothing at all.

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 five core-hours for the gate, two for the 8,000,000-trial run, and a few minutes each for the screen and the fold.

Reproduction

m = 233, n = 2m = 466. With a = {7, 20, 86, 139, 153, 195, 198} and b = {19, 87, 98, 148, 166, 187, 196} 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^233 - 1), of degree 29. The submitted codes/466-58-50.json carries both matrices row by row and both distance witnesses.

Parity checks

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