← back to the board
[[466,60,53]] d ≤
n
466
k
60
d
53
kd²/n
361.674
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 53, d_Z ≤ 53 · 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 53 · witness weight 53 (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, 53 qubits)
[4, 6, 16, 27, 40, 42, 49, 56, 61, 77, 83, 95, 110, 132, 136, 145, 146, 155, 176, 183, 184, 197, 206, 220, 225, 227, 235, 237, 245, 258, 264, 266, 267, 275, 291, 295, 301, 313, 325, 326, 329, 341, 364, 368, 378, 380, 386, 391, 395, 428, 438, 452, 458]
d_Z 53 · witness weight 53 (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, 53 qubits)
[8, 14, 28, 38, 71, 75, 80, 86, 88, 98, 102, 125, 137, 140, 141, 153, 165, 171, 175, 191, 199, 200, 202, 208, 221, 229, 231, 239, 241, 246, 260, 269, 282, 283, 290, 311, 320, 321, 330, 334, 356, 371, 383, 389, 405, 410, 417, 424, 426, 439, 450, 460, 462]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 16 · H_Z 16
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×466 (2,10)×466 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_X
(1,8): 466 (2,10): 466 (2,12): 2330 (2,14): 21902
trapping sets H_Z (1,8)×466 (2,10)×466 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)
full (size, syndrome weight): count census for H_Z
(1,8): 466 (2,10): 466 (2,12): 2330 (2,14): 21902

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 30, which fixes k = 2 deg g = 60 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 8 and weight 8 in the two blocks. Both weights are even, so x+1 divides the gcd; x+1 is x1 - 1, so the only block logical this forces has weight m and is far above the claim. 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 16, with a = [13, 22, 32, 39, 108, 144, 155, 177] and b = [14, 37, 129, 155, 167, 194, 203, 224].
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,60,53]]: cyclic generalized-bicycle code at m = 233, row weight 16

At row weight 16 or lighter, the best distance on the board with n <= 466 and k >= 60 is 31, at [[390,82,31]]. This entry reaches 53. Allowing any row weight the best in the same range is 57, at [[466,60,57]] and row weight 20, which is two 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 board's entries at [[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 defend nothing below row weight 18, and the bar at [[466,60]] falls from 56 at row weight 18 to 31 at row weight 16.

The lever is the weight target, since the reachable row weight is 2(target + 1): the default target of 12 produces the row weights 18 and 20 already filed, and a target of 7 asks for 16 or lighter. Searching the board for cells whose bar drops by 15 or more across four weight steps found nine, all 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 coarse set. The divisor here has degree 30, which is 29 + 1 and so carries the size-1 coset at the origin, fixing k = 60. deg g / m of 0.129 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 8 in both blocks, so row weight 16, and screened at 66. Both weights are even, so (x + 1) divides the common gcd by design rather than by accident; since x + 1 is x^1 - 1, the only block logical that forces has weight 233, far above the claim.

Evidence trail

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

A probe at 600,000 trials over 4 seeds read 56. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier's own refutation pass reaches, fell to 53, and a 24-seed gate at 2,000,000 trials per seed then settled at the same 53, with per-seed readings from 53 to 60 and one of the 24 seeds reaching the minimum. Two instruments at different depths agreeing on 53 is better evidence than the thin minimum alone would suggest, though 53 should still be read as an upper bound.

The single-block logicals form the cyclic code of dimension 30 whose zeros are the 203 residues the divisor omits. The longest run of consecutive residues among them is 28, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 29 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 Z witness of weight 53 is the operator the gate found; the X 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 is 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, so the distance lost nearly cancels the bar gained and the cell was dropped without a probe. The lighter draw has to hold its distance, which here it did, screening 66 against merged entries at 52 to 57.

Lower targets at design points without a cliff also failed. At m = 195 [[390,54]] a row weight 12 draw 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 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 gains nothing.

One further cliff cell at this modulus was unreachable. [[466,64]] would need degree 32, which at m = 233 is not a sum of coset sizes, and the analogous cell at m = 257 needed degree 32 there, where the draws come back with both weights even, (x + 1) joins the gcd and k lands at 66 rather than 64. Thirty instrumented draws were rejected on that parity condition before the cell was abandoned.

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 = {13, 22, 32, 39, 108, 144, 155, 177} and b = {14, 37, 129, 155, 167, 194, 203, 224} 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 30. The submitted codes/466-60-53.json carries both matrices row by row and both distance witnesses.

Parity checks

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