← back to the board
[[446,76,48]] d ≤
n
446
k
76
d
48
kd²/n
392.61
w
22
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 48, d_Z ≤ 48 · w_X = 22, w_Z = 22 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 48 · witness weight 48 (claimed upper_bound)
witness operator (support, 48 qubits)
[6, 14, 21, 22, 35, 36, 37, 47, 75, 81, 101, 113, 137, 142, 150, 175, 177, 178, 191, 217, 220, 224, 225, 229, 240, 242, 256, 262, 264, 265, 274, 279, 285, 290, 313, 316, 317, 320, 333, 347, 353, 354, 361, 383, 397, 403, 427, 428]
d_Z 48 · witness weight 48 (claimed upper_bound)
witness operator (support, 48 qubits)
[18, 19, 43, 49, 63, 85, 92, 93, 99, 113, 126, 129, 130, 133, 156, 161, 167, 172, 181, 182, 184, 190, 204, 206, 217, 221, 222, 226, 229, 255, 268, 269, 271, 296, 304, 309, 333, 345, 365, 371, 399, 409, 410, 411, 424, 425, 432, 440]
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 22 · H_Z 22
qubit degrees H_X 10–12 (mean 11.0) · H_Z 10–12 (mean 11.0)
trapping sets H_X (1,10)×223 (2,16)×1784 (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,10): 223 (1,12): 223 (2,16): 1784 (2,18): 11596 (2,20): 20293 (2,22): 9143
trapping sets H_Z (1,10)×223 (2,16)×1784 (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,10): 223 (1,12): 223 (2,16): 1784 (2,18): 11596 (2,20): 20293 (2,22): 9143

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle at m=223, a prime with ord_2(m)=37, so the nontrivial cyclotomic cosets of 2 all have size 37. The divisor g is one such coset's minimal polynomial times x+1, of degree 38, which fixes k = 2 deg g = 76 by construction. The pair (a,b) was then drawn from the ideal (g) by information-set decoding over sparse supports, keeping weights 12 and 10. Both weights are even, so x+1 divides the gcd; m is prime, so the only block logical this forces has weight m and is far above the claim. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 446 qubits at uniform row weight 22, with a = [23, 26, 37, 95, 96, 116, 118, 151, 179, 189, 220, 222] and b = [13, 39, 139, 163, 195, 198, 202, 210, 211, 218].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-15
notes Distance is an upper bound from a weight-48 logical carried on both sides of this file. The X witness is the one the board's own refutation gate produced against this code's earlier weight-50 claim, at 8,000,000 information-set trials under seed 896171740; the Z witness is its block-swap-and-index-negation mirror, checked against both check matrices and the Z logical basis before being written. A 24-seed randomized information-set search at 2,000,000 trials per seed bottomed at 50, reached by 3 of the 24 seeds, so the spread sits above this claim rather than confirming it and the witness is the binding read. A search restricted to logicals supported inside one circulant block, which a general search is blind to, found nothing below 50 at 12 seeds of 600,000. Folding onto the x^t-invariant subspaces leaves a lightest surviving logical of weight 142 at t=223. The design point is deg g / m = 0.170.
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" ---

[[446,76,48]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 223

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

This is a refiling. The same code was submitted at a claimed distance of 50 and the board's refutation gate found a weight-48 logical against it. That logical is the witness carried here, so the entry is the same matrix with the gate's own measurement as its claim.

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

What was searched

m = 223 with ord_2(223) = 37, so the cyclotomic cosets of x^223 - 1 over GF(2) number 7 and the reachable divisor degrees are the subset sums of their sizes. The divisor used here is the minimal polynomial of a size-37 coset times x + 1, of total degree 38, 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.

The divisor carries the root-1 coset, so both polynomial weights are even by construction and (x + 1) divides the common gcd by design rather than by accident. Here a has weight 12 and b has weight 10. Because 223 is prime, its only proper divisor is 1, so the block logical this forces has weight 223 and sits far above anything the code claims.

Evidence trail

deg gcd(a, x^223 - 1) = 38, deg gcd(b, x^223 - 1) = 38 and deg gcd(a, b, x^223 - 1) = 38, so the leak between the single-block kernels and k is 0.

The claim comes from the witness, and every search run locally reads above it. A 24-seed gate at 2,000,000 information-set trials per seed settled at 50, with the per-seed spread 3 seeds at 50, 11 at 52, 8 at 53, 1 at 54 and 1 at 55. A single uninterrupted run of 8,000,000 trials, matching the depth the verifier reaches, also read 50. A search confined to one circulant block at 12 seeds of 600,000 trials finds nothing below 50; the single-block logicals form the cyclic code of dimension 38 whose zeros are the 185 residues the divisor leaves out, and the longest run of consecutive residues among them is 27, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest of them at 28 or above. Folding onto the x^t-invariant subspaces leaves a lightest surviving logical of weight 142 at t = 223.

The weight-48 logical came from the board's own refutation pass at 8,000,000 trials under seed 896171740. Its mirror under the block swap and index negation that carries H_X logicals onto H_Z ones gives the Z witness at the same weight; both were checked against the opposite check matrix and the opposite logical basis before being written.

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

Dead ends

Four independent local searches at this design point all read 50 and one external run at the same nominal depth read 48. The 24 seeds, the 8,000,000-trial single run and the single-block screen are not interchangeable instruments, and here all three agreed on a value that was wrong by 2. Anyone gating in this family should treat a local plateau as a plateau and not as a bound, and should expect the verifier to find a couple of units more at the same trial budget.

A row-weight-24 draw at the same (m, k) settled at 49 and is beaten on both axes, so only the weight-22 draw earns a slug.

The sweeps that produced this draw were spending about ten minutes per draw on field setup at this modulus, a linear exponentiation where square-and-multiply belongs. After that was fixed the same point produced 180 rows in 25 minutes and a better front, so this entry comes from a thin sample and the cell is worth revisiting.

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 = 223, n = 2m = 446. With a = {23, 26, 37, 95, 96, 116, 118, 151, 179, 189, 220, 222} and b = {13, 39, 139, 163, 195, 198, 202, 210, 211, 218} 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/446-76-48.json carries both matrices row by row and both distance witnesses.

Parity checks

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