← back to the board
[[482,50,60]] d ≤
n
482
k
50
d
60
kd²/n
373.444
w
20
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 60, d_Z ≤ 60 · w_X = 20, w_Z = 20 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 60 · witness weight 60 (claimed upper_bound)
witness operator (support, 60 qubits)
[12, 23, 27, 28, 29, 56, 60, 65, 66, 68, 81, 82, 88, 95, 109, 154, 160, 170, 172, 175, 183, 193, 194, 197, 202, 203, 212, 224, 241, 245, 248, 253, 255, 256, 262, 275, 297, 298, 321, 329, 336, 344, 347, 349, 351, 352, 353, 361, 363, 373, 375, 376, 388, 393, 398, 400, 401, 408, 452, 456]
d_Z 60 · witness weight 60 (claimed upper_bound)
witness operator (support, 60 qubits)
[5, 13, 19, 20, 22, 30, 31, 43, 44, 46, 51, 60, 62, 66, 69, 89, 101, 121, 127, 134, 144, 153, 162, 169, 171, 174, 184, 190, 199, 204, 209, 223, 224, 229, 235, 238, 258, 269, 290, 296, 300, 303, 305, 322, 330, 336, 353, 365, 385, 386, 394, 395, 404, 415, 422, 428, 446, 465, 466, 468]
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 20 · H_Z 20
qubit degrees H_X 10 · H_Z 10
trapping sets H_X (1,10)×482 (2,12)×241 (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): 482 (2,12): 241 (2,14): 482 (2,16): 5302 (2,18): 32776
trapping sets H_Z (1,10)×482 (2,12)×241 (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): 482 (2,12): 241 (2,14): 482 (2,16): 5302 (2,18): 32776

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code on the ring x241 - 1 with H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T]. Both a and b lie in the ideal generated by a divisor of x241 - 1 whose degree fixes k = 2 deg gcd(a, b, x241 - 1).
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-14
notes m = 241 is prime with ord_2(m) = 24, so the only proper divisor of m is 1 and every quotient fold is vacuous: the ceiling (m/t) d_t that binds a composite modulus does not exist here. That leaves two mechanisms. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim. The single-block logicals of H_X form the cyclic code of dimension deg g whose zeros are the residues the divisor leaves out, and the coset subset is chosen among those reachable at the target degree to maximise the longest run of consecutive residues among them, which is what the Bose-Chaudhuri-Hocquenghem bound reads; a direct search confined to one circulant block at 12 seeds of 600,000 trials confirms it. The distance is a witness-backed upper bound from a 24-seed gate at 2,000,000 information-set trials per seed.
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" ---

[[482,50,60]]: cyclic generalized-bicycle code from a designed divisor ideal at m = 241

At row weight 20 or lighter, the best distance on the board with n <= 482 and k >= 50 is 31, at [[390,82,31]] and row weight 16. This entry reaches 60. 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.

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

What was searched

m = 241 with ord_2(241) = 24, so the cyclotomic cosets of x^241 - 1 over GF(2) number 11 and the reachable divisor degrees are the subset sums of their sizes. The divisor used here is 2 cosets of total degree 25, 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 10 and b has weight 10.

Evidence trail

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

A 24-seed gate at 2,000,000 information-set trials per seed settled at 60. The per-seed spread: 3 seeds found 60, 1 seed found 62, 4 seeds found 63, 4 seeds found 64, 7 seeds found 65, 4 seeds found 66, 1 seed found 67. The single-block logicals form the cyclic code of dimension 25 whose zeros are the 216 residues the divisor leaves out; the longest run of consecutive residues among them is 48, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 49 or above, and a direct search confined to one circulant block at 12 seeds of 600,000 trials independently finds nothing below 71. The orbit fold over every equal-orbit partition of the qubits returns nothing lighter than the claim.

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

Dead ends

  • Nothing else from this front survived its gate.
  • m = 241 came from ranking every reachable design point by the longest unpicked run of its coset pick, not from row yield. It is one of ten primes under the blocklength cap with a workable ord_2, and at a prime modulus every quotient fold is vacuous.
  • Two checks were added to the pipeline after three codes filed earlier the same night were refuted or found duplicate, and this code passed both before filing. Its check-matrix signature matches no entry in codes/, which is how [[514,130,51]] was caught as an existing board code only after a 48-million-trial gate. And a single information-set run of 8,000,000 trials, matching the depth the refutation gate uses, reads 63 against this claim of 60; twenty-four independent seeds of 2,000,000 each had bottomed at 60. One long run finds operators that many short ones miss, which is how [[674,84,94]] and [[514,98,57]] were refuted after passing their 24-seed gates.

The triage reading for this pair was 65, against a gated 60. Every member of this front moved the same way, which is why all of them were gated rather than filed off the sweep.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches come from the repository's verify/gf2_fast extension; divisor assembly, coset selection and the information-set draws are session tooling outside this repository, described above in enough detail to rewrite.

Reproduction

m = 241, n = 2m = 482. With a = {16, 54, 60, 61, 64, 86, 135, 136, 161, 225} and b = {43, 45, 60, 66, 71, 104, 108, 120, 124, 179} 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/482-50-60.json carries both matrices row by row and both distance witnesses.

Parity checks

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