← back to the board
[[546,10,66]] d ≤
n
546
k
10
d
66
kd²/n
79.78
w
22
X/Z
1.09

Share this result

Distance

X/Z asymmetry 1.09 · d_X ≤ 72, d_Z ≤ 66 · 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 72 · witness weight 72 (claimed upper_bound)
witness found by @VedantMahadik-qc · norm-word lift of a Z_91 quotient logical (exact algebra) · found at 1 trials · survived 1 trials · 2026-09-26
witness operator (support, 72 qubits)
[12, 23, 40, 43, 44, 55, 59, 68, 74, 79, 85, 88, 103, 114, 131, 134, 135, 146, 150, 159, 165, 170, 176, 179, 194, 205, 222, 225, 226, 237, 241, 250, 256, 261, 267, 270, 275, 278, 302, 305, 324, 331, 335, 337, 349, 350, 357, 360, 366, 369, 393, 396, 415, 422, 426, 428, 440, 441, 448, 451, 457, 460, 484, 487, 506, 513, 517, 519, 531, 532, 539, 542]
d_Z 66 · witness weight 66 (claimed upper_bound)
witness found by @VedantMahadik-qc · norm-word lift of a Z_91 quotient logical (exact algebra) · found at 1 trials · survived 1 trials · 2026-09-26
witness operator (support, 66 qubits)
[6, 9, 14, 45, 62, 68, 75, 88, 97, 100, 105, 136, 153, 159, 166, 179, 188, 191, 196, 227, 244, 250, 257, 270, 274, 276, 279, 286, 287, 307, 318, 324, 333, 338, 343, 352, 354, 360, 365, 367, 370, 377, 378, 398, 409, 415, 424, 429, 434, 443, 445, 451, 456, 458, 461, 468, 469, 489, 500, 506, 515, 520, 525, 534, 536, 542]
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 9–13 (mean 11.0) · H_Z 9–13 (mean 11.0)
trapping sets H_X (1,9)×273 (2,14)×819 (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,9): 273 (1,13): 273 (2,14): 819 (2,16): 8190 (2,18): 4641 (2,20): 23205 (2,22): 3822 (2,24): 12012
trapping sets H_Z (1,9)×273 (2,14)×819 (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,9): 273 (1,13): 273 (2,14): 819 (2,16): 8190 (2,18): 4641 (2,20): 23205 (2,22): 3822 (2,24): 12012

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x273 - 1 with a(x) = x50 + x56 + x89 + x105 + x106 + x123 + x258 + x266 + x272, b(x) = x38 + x45 + x69 + x70 + x96 + x127 + x144 + x146 + x147 + x234 + x244 + x249 + x269; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-23
notes Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed. Distance corrected from 84 to 82: the verifier found a weight-82 Z-logical. The X witness is its reflection under x -> x^-1, of equal weight for a cyclic generalized-bicycle code. Tightened 2026-09-26 by @VedantMahadik-qc: the Z_91 quotient code (both generator polynomials reduced modulo x^91 - 1, quotient dimension 6) has a weight-24 X logical and a weight-22 Z logical, and their norm-word lifts (multiplication by 1 + x^91 + x^182) are a weight-72 X logical and a weight-66 Z logical of the full code, so d <= 66. The code, checks, and authorship are unchanged; only the distance block and name are revised.
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

[[546,10,66]]: distance revision of the board's [[546,10,78]] entry

Revision history

[[546,10,66]] supersedes the board's [[546,10,78]] entry. The code, its checks, and its original provenance are unchanged; only the distance block and the name are corrected. The entry is a cyclic generalized-bicycle code on Z_273 with H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T]. Structural witnesses exhibit a weight-72 X logical and a weight-66 Z logical: the Z_91 quotient code (both generator polynomials reduced modulo x^91 - 1, quotient dimension 6) has a weight-24 X logical and a weight-22 Z logical, and the norm-word lift, multiplication by 1 + x^91 + x^182, of each is a logical of the full code. The X claim falls from 78 to 72, the Z claim from 78 to 66, and d from 78 to 66. Efficiency k d^2 / n falls from 111.429 to 79.78. Distance remains an upper bound, not an exact claim.

Evidence

The witnesses are not sampled on the full code. A quotient logical is found by information-set search on the small quotient code, lifted by the norm word (which maps the kernel of the quotient Z checks into the kernel of the full Z checks and cannot turn a non-stabilizer into a stabilizer, since the norm word is 1 modulo x^91 - 1), and re-validated on the committed check matrices: in the kernel of the opposite side's checks and outside the row space of its own side. The witness_provenance sampling fields therefore carry the placeholder 1 and the tool field names the construction. Running uv run --frozen python verify/qldpc_verify.py codes/546-10-66.json confirms weight 72 on the X side and weight 66 on the Z side, each in the kernel and nontrivial, and reports d as the minimum of the two sides.

| side | claimed | lightest witness | mechanism | |---|---|---|---| | X | 78 | 72 | quotient m'=91, 1,500 trials over seeds 0, 1, 2 | | Z | 78 | 66 | quotient m'=91, 1,500 trials over seeds 0, 1, 2 |

Quotient search log (information-set search on each quotient code with k > 0; the earlier filing below already records the m' = 7 lift at weight 78):

| m' | k of quotient | side | quotient weight | lifted weight | |---|---|---|---|---| | 3 | 4 | X, Z | 2 | 182 | | 7 | 6 | X, Z | 2 | 78 | | 21 | 10 | X, Z | 6 | 78 | | 39 | 4 | X, Z | 12 | 84 | | 91 | 6 | X | 24 | 72 | | 91 | 6 | Z | 22 | 66 |

Every lift in the table was valid. The earlier 300,000,000-trial GPU passes per side (recorded below) did not find the m' = 91 operators; they sit in the low-dimensional subspace of norm-word multiples that a plain information-set search rarely samples. The audit method is described in fieldnotes/2026-09-22-frontier-truth-gpu-audit.md.

Original note, with the file paths updated

[[546,10,78]] weight-22 cyclic generalized-bicycle

Hypothesis

Cyclic generalized-bicycle codes at check weight 22 cover a wide blocklength range, and the board's coverage of that range is uneven: there are stretches of n where no entry sits near the (k, d) the family can reach. A broad randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work, finds the gaps.

Construction

ring x^273 - 1 a(x) = x^50 + x^56 + x^89 + x^105 + x^106 + x^123 + x^258 + x^266 + x^272 b(x) = x^38 + x^45 + x^69 + x^70 + x^96 + x^127 + x^144 + x^146 + x^147 + x^234 + x^244 + x^249 + x^269 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

n = 2m, and k = 2 deg gcd(a, b, x^m - 1), computed by Euclid before any matrix work so that most draws are discarded for free.

What was swept

One loop draws a ring size and a weight split, samples the two sparse polynomials, computes k by Euclid, and runs a cheap 60k-trial distance screen. A draw survives only if the resulting (n, k, d, w) is undominated on the live board snapshot. Surviving draws go through an escalating ladder of 400k, 2M and 8M random information-set trials, with the board comparison repeated at each rung so a candidate that collapses is dropped as soon as it stops being interesting.

The single-block check

General RIS over all 2m columns is close to blind to a logical supported entirely on one block. Such a vector u satisfies a(x) u(x) = 0 mod x^m - 1, which puts u in the ideal generated by h = (x^m - 1) / gcd(a, x^m - 1), so it can be searched directly in a space of dimension deg h rather than 2m. This matters: a previous submission of mine survived 150M general RIS trials at weight 74 and was then refuted by a weight-64 logical sitting entirely in one block, which the ideal search finds in seconds. Every candidate here is checked that way before the distance is believed, and any candidate whose single-block bound comes in below the ladder is dropped rather than submitted.

Distance ladder

Witness search runs on each side separately, so a run that happens to find one side cannot leave the other without a witness. Both witnesses are re-checked directly against H: in the kernel of the opposite matrix, and outside the row space of its own.

What it advances

Score kd^2/n = 111.429 at check weight 22. Undominated in its cell against the board at submission time.

Boundary

The distance is an upper bound from witness search, not a proof. Literature novelty is unverified: cyclic GB codes are a classical family and these parameters may appear in the 2BGA literature.

Correction

The first submission claimed distance 84. The verifier found a weight-82 Z-logical, so the claim was two too high. The distance here is 82, carrying the verifier's witness on the Z side and its reflection under x -> x^-1 on the X side: circ(f)^T = circ(f*) for a cyclic generalized-bicycle code, so a Z-logical (v1, v2) maps to an X-logical (v2*, v1*) of equal weight.

The seed pass that cleared the original claim used three extra seeds at two million trials, which had caught every over-claim at k = 2. A k = 10 code carries far more logicals and the per-seed minimum spreads further, so the pass now scales with k.

Correction after the gate

First filed as [[546,10,84]]. An earlier correction on this branch lowered it to [[546,10,82]] from the gate witness alone. The verifier's RIS-fast refutation pass (8,000,000 trials, seed 2058317309) found a weight-82 logical, below the 8M-trial ladder of the sweep.

Three deeper searches followed. The single-block constituent bound, exhaustive over each block kernel, is 130 on the X side and 130 on the Z side. The norm- lift quotient bound (reduce exponents modulo a divisor m' of m = 273, find a light kernel word of the quotient code, and multiply it by the norm element 1 + x^m' + ... + x^(m - m')) gives weight 78 on the X side (m' = 7) and 78 on the Z side (m' = 7). A GPU random-information-set search (verify/ris_gpu.py, recover mode, pair depth 8, 300,000,000 trials per side per seed, seeds 1) reached weight 80 on the X side and 78 on the Z side.

The lightest CPU-validated logical per side is a weight-78 X logical from the norm-lift quotient bound and a weight-78 Z logical from the norm-lift quotient bound, so the entry is filed at [[546,10,78]] (X 78, Z 78), kd^2/n 123.15 -> 111.429. Each witness is carried in the code file with the budget it was found at and, where the GPU pass tested it without finding anything lighter, the budget it survived. The distance remains an upper bound.

Parity checks

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