[[674,86,92]] · QEC Challenge

[[674,86,92]] d ≤

674

kd²/n

1079.976

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 92, d_Z ≤ 92 · 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 92 · witness weight 92 (claimed upper_bound)

witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16

witness operator (support, 92 qubits)

[10, 24, 38, 39, 57, 71, 78, 84, 89, 90, 91, 95, 121, 124, 125, 131, 132, 134, 136, 140, 147, 158, 160, 174, 184, 198, 200, 205, 212, 232, 240, 250, 251, 257, 260, 266, 282, 284, 298, 306, 314, 319, 323, 342, 347, 362, 383, 395, 401, 407, 409, 418, 425, 428, 429, 432, 439, 440, 441, 448, 452, 453, 454, 462, 470, 471, 474, 488, 491, 494, 504, 505, 510, 516, 520, 523, 543, 548, 558, 573, 575, 577, 592, 598, 611, 623, 625, 646, 649, 655, 664, 669]

d_Z 92 · witness weight 92 (claimed upper_bound)

witness found by @vprusso · research/kit/surrogate.lightest_logical · found at 400 trials · survived 400 trials · 2026-10-16

witness operator (support, 92 qubits)

[5, 10, 19, 25, 28, 49, 51, 63, 76, 82, 97, 99, 101, 116, 126, 131, 151, 154, 158, 164, 169, 170, 180, 183, 186, 200, 203, 204, 212, 220, 221, 222, 226, 233, 234, 235, 242, 245, 246, 249, 256, 265, 267, 273, 279, 291, 312, 327, 332, 351, 355, 360, 368, 376, 390, 392, 408, 414, 417, 423, 424, 434, 442, 462, 469, 474, 476, 490, 500, 514, 516, 527, 534, 538, 540, 542, 543, 549, 550, 553, 579, 583, 584, 585, 590, 596, 603, 617, 635, 636, 650, 664]

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)×674 (2,14)×337 (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): 674 (2,14): 337 (2,16): 5729 (2,18): 51561

trapping sets H_Z (1,10)×674 (2,14)×337 (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): 674 (2,14): 337 (2,16): 5729 (2,18): 51561

Construction & provenance

authors @vprusso

provenance submitted through the challenge

novelty novelty not audited

construction Cyclic generalized bicycle at m=337, with ord_2(m)=21, so x³³⁷ - 1 factors over GF(2) into 17 cyclotomic cosets, 1 of size 1, 16 of size 21. The divisor g is assembled from coset minimal polynomials to degree 43, which fixes k = 2 deg g = 86 by construction, and (a,b) was drawn from the ideal (g) by information-set decoding over sparse supports, keeping weight 10 and weight 10 in the two blocks. Both weights are even, so x+1 divides the gcd; x+1 is x¹ - 1, so the only block logical this forces has weight m and is far above the claim. m is prime, so the quotient fold has no proper divisor to act on; an orbit fold over every equal-orbit partition of the qubits returns nothing lighter than 218. H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 674 qubits at uniform row weight 20, with a = [65, 83, 114, 138, 178, 248, 292, 313, 331, 333] and b = [30, 125, 168, 200, 204, 205, 210, 249, 270, 309].

model Claude Opus 5 (claimed, not verified)

date 2026-10-16

family generalized bicycle (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight > 8 (computed)

How this code was found

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

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

[[674,86,92]] at row weight 20: cyclic generalized-bicycle code from a designed divisor ideal at m = 337

Five entries already sit at n = 674, k = 86: 93 at row weight 26, 91 at row weight 22, 90 at row weight 30, 89 at row weight 24 and 56 at row weight 16. This one reaches 92 at row weight 20, which dominates the 91, the 90 and the 89 on weight and distance together. At row weight 20 or lighter the previous best in this n and k range was 56.

Direction & hypothesis

For a cyclic generalized-bicycle code on x^m - 1, k = 2 deg gcd(a, b, x^m - 1), so the dimension is designed rather than observed: assemble a divisor g of chosen degree from cyclotomic coset minimal polynomials and draw a and b as low-weight members of its ideal.

Two mechanisms cap this family from opposite ends, and a prime modulus removes one. A proper divisor t of m gives a quotient-fold ceiling that binds at low dimension; m = 337 is prime, so the only proper divisor is 1 and the corresponding x + 1 forces nothing lighter than a weight-m block logical. That leaves the single-block cyclic code of dimension deg g as the only structural ceiling.

The cell this aims at is open for a reason worth stating, because it is not a weight cliff. At n = 674 the best distance for k >= 84 runs 92 at row weight 18, 54 at row weight 20 and 91 at row weight 22, which looks inconsistent until the dimensions are read: the row-weight-18 entry holding 92 is [[674,84,92]] at k = 84, one coset below, so it fails k >= against a k = 86 candidate, and the row-weight-22 entry is too heavy to dominate anything at 20. A k = 86 draw at row weight 20 is out of reach of both, and the bar it has to clear is 56.

What was searched

m = 337 with ord_2(337) = 21, so x^337 - 1 factors over GF(2) into 17 cyclotomic cosets, one of size 1 and sixteen of size 21. The reachable divisor degrees are multiples of 21 with an optional 1, and the usable ones in the productive band are 42 and 43. Degree 43 is two size-21 cosets together with the size-1 coset at the origin, which fixes k = 2 deg g = 86; degree 42 gives k = 84, the dimension that forfeits the immunity above.

a and b are drawn from the ideal by Prange information-set decoding and both came back at weight 10, giving uniform row weight 20. That is the floor at this design point rather than a choice: 219 draws at weight targets 6 and 8, which ask for row weights 14 and 18, never produced anything below row weight 20, and a further 105 draws at target 10 all landed at exactly 20. Degrees 21 and 22 at this modulus do reach row weight 14 and degree 42 reaches 18, so the floor belongs to the degree, not the modulus.

Across 105 recorded draws at this degree and row weight the 20,000-trial screen clustered between 95 and 106, so the design point yields a narrow band and the submitted draw sits near its top rather than being an outlier.

Both block weights are even, so (x + 1) divides the common gcd. At a prime modulus that is harmless: x + 1 is x^1 - 1, and the lightest block logical it can force has weight m = 337.

Evidence trail

deg gcd(a, x^337 - 1) = 43, deg gcd(b, x^337 - 1) = 43 and deg gcd(a, b, x^337 - 1) = 43, so the leak between the two single-block kernels and k is 0 on both sides.

| instrument | trials | reading | |---|---|---| | screen | 20,000, 1 seed | 105 | | probe | 250,000, 3 seeds | 96 | | 24-seed gate | 2,000,000 per seed | 93 | | single long run | 8,000,000, 1 seed | 92 on Z |

The claim is the minimum of these, 92, and it comes from the single uninterrupted 8,000,000-trial run rather than from the gate. That matters for how much weight to give it: the verifier's own refutation pass is a single search at that depth, so the instrument that set this claim is the one the submission will be checked against. The 24-seed gate at 48,000,000 trials across fresh seeds settled one unit higher at 93, with the spread 1 seed at 93, 5 at 94, 9 at 95, 6 at 96, 2 at 97 and 1 at 98.

The single-block logicals form the cyclic code of dimension 43 whose zeros are the 294 residues the divisor omits. The longest run of consecutive residues among them is 56, so the Bose-Chaudhuri-Hocquenghem bound puts the lightest single-block logical at 57 or above. That is well below the claim, so the channel was searched directly rather than argued: a search confined to one circulant block at 12 seeds of 600,000 trials finds nothing below 105, and a deeper pass at 24 seeds of 2,000,000 finds nothing below 96. An orbit fold over every equal-orbit partition of the qubits returns nothing lighter than 218, and the quotient fold has no proper divisor of m to act on.

The claim is 92 as a witness-backed upper bound, not an exact distance. The Z witness is the one the long run found; the X witness is its mirror under the construction's own symmetry, since H_X = [circ(a) | circ(b)] and H_Z = [circ(b)^T | circ(a)^T] means swapping the blocks and negating the index inside each carries one side's logicals onto the other's. Both were validated against the opposite check matrix and against their own row space before being written.

Dead ends

A sibling draw at the same degree and row weight gated to 88 against this one's 93, from a 24-seed spread running 88, 90, 91, 93, 94, 94, 95, 95, 95, 96, 96, 96, 97 and up. Both occupy this single cell, so only the better one is submitted. Its own 8,000,000-trial run read 93, above its gate's 88, where this draw's run read below its gate; the deep run is not uniformly the stronger or weaker instrument and both have to be taken.
Degree 42 at this modulus reaches row weight 18 and gives k = 84, where [[674,84,92]] already sits. A draw there screened 104, which after this modulus's measured screen-to-verified fall of 14 projects to 90, below the 92 already held.
Degree 22 gives k = 44 and reaches row weight 12, where [[674,44,89]] sits. A draw there screened 110, projecting to 96 against that 89, a margin too thin to spend a gate on.
Weight targets of 6 and 8 at degree 43 return the same row-weight-20 draws rather than lighter ones. The information-set routine returns whatever it has when it cannot meet the target, so a lower target looks like progress while producing nothing new.
[[674,86,93]] at row weight 26 keeps its cell: this entry's 92 does not reach it, and its row weight cannot defend row weight 20, so the two coexist.

Tools

Claude Opus 5 driving a Claude Code session. Distance readings and single-block searches use the repository's verify/gf2_fast extension. Divisor assembly, coset selection, the information-set draws and the orbit fold are session tooling outside this repository, described above in enough detail to rewrite. Roughly 22 core-hours for the gate, 6 for the single-block passes, 1 for the long run and under 2 for the screens and folds.

Reproduction

m = 337, n = 2m = 674. With a = {65, 83, 114, 138, 178, 248, 292, 313, 331, 333} and b = {30, 125, 168, 200, 204, 205, 210, 249, 270, 309} 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/674-86-92.json carries both matrices row by row and both distance witnesses.

Parity checks

X-checks 337 (max weight 20) · Z-checks 337 (max weight 20)

H_X (337 checks, sparse supports)

[65, 83, 114, 138, 178, 248, 292, 313, 331, 333, 367, 462, 505, 537, 541, 542, 547, 586, 607, 646] [66, 84, 115, 139, 179, 249, 293, 314, 332, 334, 368, 463, 506, 538, 542, 543, 548, 587, 608, 647] [67, 85, 116, 140, 180, 250, 294, 315, 333, 335, 369, 464, 507, 539, 543, 544, 549, 588, 609, 648] [68, 86, 117, 141, 181, 251, 295, 316, 334, 336, 370, 465, 508, 540, 544, 545, 550, 589, 610, 649] [0, 69, 87, 118, 142, 182, 252, 296, 317, 335, 371, 466, 509, 541, 545, 546, 551, 590, 611, 650] [1, 70, 88, 119, 143, 183, 253, 297, 318, 336, 372, 467, 510, 542, 546, 547, 552, 591, 612, 651] [0, 2, 71, 89, 120, 144, 184, 254, 298, 319, 373, 468, 511, 543, 547, 548, 553, 592, 613, 652] [1, 3, 72, 90, 121, 145, 185, 255, 299, 320, 374, 469, 512, 544, 548, 549, 554, 593, 614, 653] [2, 4, 73, 91, 122, 146, 186, 256, 300, 321, 375, 470, 513, 545, 549, 550, 555, 594, 615, 654] [3, 5, 74, 92, 123, 147, 187, 257, 301, 322, 376, 471, 514, 546, 550, 551, 556, 595, 616, 655] [4, 6, 75, 93, 124, 148, 188, 258, 302, 323, 377, 472, 515, 547, 551, 552, 557, 596, 617, 656] [5, 7, 76, 94, 125, 149, 189, 259, 303, 324, 378, 473, 516, 548, 552, 553, 558, 597, 618, 657] [6, 8, 77, 95, 126, 150, 190, 260, 304, 325, 379, 474, 517, 549, 553, 554, 559, 598, 619, 658] [7, 9, 78, 96, 127, 151, 191, 261, 305, 326, 380, 475, 518, 550, 554, 555, 560, 599, 620, 659] [8, 10, 79, 97, 128, 152, 192, 262, 306, 327, 381, 476, 519, 551, 555, 556, 561, 600, 621, 660] [9, 11, 80, 98, 129, 153, 193, 263, 307, 328, 382, 477, 520, 552, 556, 557, 562, 601, 622, 661] [10, 12, 81, 99, 130, 154, 194, 264, 308, 329, 383, 478, 521, 553, 557, 558, 563, 602, 623, 662] [11, 13, 82, 100, 131, 155, 195, 265, 309, 330, 384, 479, 522, 554, 558, 559, 564, 603, 624, 663] [12, 14, 83, 101, 132, 156, 196, 266, 310, 331, 385, 480, 523, 555, 559, 560, 565, 604, 625, 664] [13, 15, 84, 102, 133, 157, 197, 267, 311, 332, 386, 481, 524, 556, 560, 561, 566, 605, 626, 665] [14, 16, 85, 103, 134, 158, 198, 268, 312, 333, 387, 482, 525, 557, 561, 562, 567, 606, 627, 666] [15, 17, 86, 104, 135, 159, 199, 269, 313, 334, 388, 483, 526, 558, 562, 563, 568, 607, 628, 667] [16, 18, 87, 105, 136, 160, 200, 270, 314, 335, 389, 484, 527, 559, 563, 564, 569, 608, 629, 668] [17, 19, 88, 106, 137, 161, 201, 271, 315, 336, 390, 485, 528, 560, 564, 565, 570, 609, 630, 669] [0, 18, 20, 89, 107, 138, 162, 202, 272, 316, 391, 486, 529, 561, 565, 566, 571, 610, 631, 670] [1, 19, 21, 90, 108, 139, 163, 203, 273, 317, 392, 487, 530, 562, 566, 567, 572, 611, 632, 671] [2, 20, 22, 91, 109, 140, 164, 204, 274, 318, 393, 488, 531, 563, 567, 568, 573, 612, 633, 672] [3, 21, 23, 92, 110, 141, 165, 205, 275, 319, 394, 489, 532, 564, 568, 569, 574, 613, 634, 673] [4, 22, 24, 93, 111, 142, 166, 206, 276, 320, 337, 395, 490, 533, 565, 569, 570, 575, 614, 635] [5, 23, 25, 94, 112, 143, 167, 207, 277, 321, 338, 396, 491, 534, 566, 570, 571, 576, 615, 636] [6, 24, 26, 95, 113, 144, 168, 208, 278, 322, 339, 397, 492, 535, 567, 571, 572, 577, 616, 637] [7, 25, 27, 96, 114, 145, 169, 209, 279, 323, 340, 398, 493, 536, 568, 572, 573, 578, 617, 638] [8, 26, 28, 97, 115, 146, 170, 210, 280, 324, 341, 399, 494, 537, 569, 573, 574, 579, 618, 639] [9, 27, 29, 98, 116, 147, 171, 211, 281, 325, 342, 400, 495, 538, 570, 574, 575, 580, 619, 640] [10, 28, 30, 99, 117, 148, 172, 212, 282, 326, 343, 401, 496, 539, 571, 575, 576, 581, 620, 641] [11, 29, 31, 100, 118, 149, 173, 213, 283, 327, 344, 402, 497, 540, 572, 576, 577, 582, 621, 642] [12, 30, 32, 101, 119, 150, 174, 214, 284, 328, 345, 403, 498, 541, 573, 577, 578, 583, 622, 643] [13, 31, 33, 102, 120, 151, 175, 215, 285, 329, 346, 404, 499, 542, 574, 578, 579, 584, 623, 644] [14, 32, 34, 103, 121, 152, 176, 216, 286, 330, 347, 405, 500, 543, 575, 579, 580, 585, 624, 645] [15, 33, 35, 104, 122, 153, 177, 217, 287, 331, 348, 406, 501, 544, 576, 580, 581, 586, 625, 646] [16, 34, 36, 105, 123, 154, 178, 218, 288, 332, 349, 407, 502, 545, 577, 581, 582, 587, 626, 647] [17, 35, 37, 106, 124, 155, 179, 219, 289, 333, 350, 408, 503, 546, 578, 582, 583, 588, 627, 648] [18, 36, 38, 107, 125, 156, 180, 220, 290, 334, 351, 409, 504, 547, 579, 583, 584, 589, 628, 649] [19, 37, 39, 108, 126, 157, 181, 221, 291, 335, 352, 410, 505, 548, 580, 584, 585, 590, 629, 650] [20, 38, 40, 109, 127, 158, 182, 222, 292, 336, 353, 411, 506, 549, 581, 585, 586, 591, 630, 651] [0, 21, 39, 41, 110, 128, 159, 183, 223, 293, 354, 412, 507, 550, 582, 586, 587, 592, 631, 652] [1, 22, 40, 42, 111, 129, 160, 184, 224, 294, 355, 413, 508, 551, 583, 587, 588, 593, 632, 653] [2, 23, 41, 43, 112, 130, 161, 185, 225, 295, 356, 414, 509, 552, 584, 588, 589, 594, 633, 654] [3, 24, 42, 44, 113, 131, 162, 186, 226, 296, 357, 415, 510, 553, 585, 589, 590, 595, 634, 655] [4, 25, 43, 45, 114, 132, 163, 187, 227, 297, 358, 416, 511, 554, 586, 590, 591, 596, 635, 656] [5, 26, 44, 46, 115, 133, 164, 188, 228, 298, 359, 417, 512, 555, 587, 591, 592, 597, 636, 657] [6, 27, 45, 47, 116, 134, 165, 189, 229, 299, 360, 418, 513, 556, 588, 592, 593, 598, 637, 658] [7, 28, 46, 48, 117, 135, 166, 190, 230, 300, 361, 419, 514, 557, 589, 593, 594, 599, 638, 659] [8, 29, 47, 49, 118, 136, 167, 191, 231, 301, 362, 420, 515, 558, 590, 594, 595, 600, 639, 660] [9, 30, 48, 50, 119, 137, 168, 192, 232, 302, 363, 421, 516, 559, 591, 595, 596, 601, 640, 661] [10, 31, 49, 51, 120, 138, 169, 193, 233, 303, 364, 422, 517, 560, 592, 596, 597, 602, 641, 662] [11, 32, 50, 52, 121, 139, 170, 194, 234, 304, 365, 423, 518, 561, 593, 597, 598, 603, 642, 663] [12, 33, 51, 53, 122, 140, 171, 195, 235, 305, 366, 424, 519, 562, 594, 598, 599, 604, 643, 664] [13, 34, 52, 54, 123, 141, 172, 196, 236, 306, 367, 425, 520, 563, 595, 599, 600, 605, 644, 665] [14, 35, 53, 55, 124, 142, 173, 197, 237, 307, 368, 426, 521, 564, 596, 600, 601, 606, 645, 666] [15, 36, 54, 56, 125, 143, 174, 198, 238, 308, 369, 427, 522, 565, 597, 601, 602, 607, 646, 667] [16, 37, 55, 57, 126, 144, 175, 199, 239, 309, 370, 428, 523, 566, 598, 602, 603, 608, 647, 668] [17, 38, 56, 58, 127, 145, 176, 200, 240, 310, 371, 429, 524, 567, 599, 603, 604, 609, 648, 669] [18, 39, 57, 59, 128, 146, 177, 201, 241, 311, 372, 430, 525, 568, 600, 604, 605, 610, 649, 670] [19, 40, 58, 60, 129, 147, 178, 202, 242, 312, 373, 431, 526, 569, 601, 605, 606, 611, 650, 671] [20, 41, 59, 61, 130, 148, 179, 203, 243, 313, 374, 432, 527, 570, 602, 606, 607, 612, 651, 672] [21, 42, 60, 62, 131, 149, 180, 204, 244, 314, 375, 433, 528, 571, 603, 607, 608, 613, 652, 673] [22, 43, 61, 63, 132, 150, 181, 205, 245, 315, 337, 376, 434, 529, 572, 604, 608, 609, 614, 653] [23, 44, 62, 64, 133, 151, 182, 206, 246, 316, 338, 377, 435, 530, 573, 605, 609, 610, 615, 654] [24, 45, 63, 65, 134, 152, 183, 207, 247, 317, 339, 378, 436, 531, 574, 606, 610, 611, 616, 655] [25, 46, 64, 66, 135, 153, 184, 208, 248, 318, 340, 379, 437, 532, 575, 607, 611, 612, 617, 656] [26, 47, 65, 67, 136, 154, 185, 209, 249, 319, 341, 380, 438, 533, 576, 608, 612, 613, 618, 657] [27, 48, 66, 68, 137, 155, 186, 210, 250, 320, 342, 381, 439, 534, 577, 609, 613, 614, 619, 658] [28, 49, 67, 69, 138, 156, 187, 211, 251, 321, 343, 382, 440, 535, 578, 610, 614, 615, 620, 659] [29, 50, 68, 70, 139, 157, 188, 212, 252, 322, 344, 383, 441, 536, 579, 611, 615, 616, 621, 660] [30, 51, 69, 71, 140, 158, 189, 213, 253, 323, 345, 384, 442, 537, 580, 612, 616, 617, 622, 661] [31, 52, 70, 72, 141, 159, 190, 214, 254, 324, 346, 385, 443, 538, 581, 613, 617, 618, 623, 662] [32, 53, 71, 73, 142, 160, 191, 215, 255, 325, 347, 386, 444, 539, 582, 614, 618, 619, 624, 663] [33, 54, 72, 74, 143, 161, 192, 216, 256, 326, 348, 387, 445, 540, 583, 615, 619, 620, 625, 664] [34, 55, 73, 75, 144, 162, 193, 217, 257, 327, 349, 388, 446, 541, 584, 616, 620, 621, 626, 665] [35, 56, 74, 76, 145, 163, 194, 218, 258, 328, 350, 389, 447, 542, 585, 617, 621, 622, 627, 666] [36, 57, 75, 77, 146, 164, 195, 219, 259, 329, 351, 390, 448, 543, 586, 618, 622, 623, 628, 667] [37, 58, 76, 78, 147, 165, 196, 220, 260, 330, 352, 391, 449, 544, 587, 619, 623, 624, 629, 668] [38, 59, 77, 79, 148, 166, 197, 221, 261, 331, 353, 392, 450, 545, 588, 620, 624, 625, 630, 669] [39, 60, 78, 80, 149, 167, 198, 222, 262, 332, 354, 393, 451, 546, 589, 621, 625, 626, 631, 670] [40, 61, 79, 81, 150, 168, 199, 223, 263, 333, 355, 394, 452, 547, 590, 622, 626, 627, 632, 671] [41, 62, 80, 82, 151, 169, 200, 224, 264, 334, 356, 395, 453, 548, 591, 623, 627, 628, 633, 672] [42, 63, 81, 83, 152, 170, 201, 225, 265, 335, 357, 396, 454, 549, 592, 624, 628, 629, 634, 673] [43, 64, 82, 84, 153, 171, 202, 226, 266, 336, 337, 358, 397, 455, 550, 593, 625, 629, 630, 635] [0, 44, 65, 83, 85, 154, 172, 203, 227, 267, 338, 359, 398, 456, 551, 594, 626, 630, 631, 636] [1, 45, 66, 84, 86, 155, 173, 204, 228, 268, 339, 360, 399, 457, 552, 595, 627, 631, 632, 637] [2, 46, 67, 85, 87, 156, 174, 205, 229, 269, 340, 361, 400, 458, 553, 596, 628, 632, 633, 638] [3, 47, 68, 86, 88, 157, 175, 206, 230, 270, 341, 362, 401, 459, 554, 597, 629, 633, 634, 639] [4, 48, 69, 87, 89, 158, 176, 207, 231, 271, 342, 363, 402, 460, 555, 598, 630, 634, 635, 640] [5, 49, 70, 88, 90, 159, 177, 208, 232, 272, 343, 364, 403, 461, 556, 599, 631, 635, 636, 641] [6, 50, 71, 89, 91, 160, 178, 209, 233, 273, 344, 365, 404, 462, 557, 600, 632, 636, 637, 642] [7, 51, 72, 90, 92, 161, 179, 210, 234, 274, 345, 366, 405, 463, 558, 601, 633, 637, 638, 643] [8, 52, 73, 91, 93, 162, 180, 211, 235, 275, 346, 367, 406, 464, 559, 602, 634, 638, 639, 644] [9, 53, 74, 92, 94, 163, 181, 212, 236, 276, 347, 368, 407, 465, 560, 603, 635, 639, 640, 645] [10, 54, 75, 93, 95, 164, 182, 213, 237, 277, 348, 369, 408, 466, 561, 604, 636, 640, 641, 646] [11, 55, 76, 94, 96, 165, 183, 214, 238, 278, 349, 370, 409, 467, 562, 605, 637, 641, 642, 647] [12, 56, 77, 95, 97, 166, 184, 215, 239, 279, 350, 371, 410, 468, 563, 606, 638, 642, 643, 648] [13, 57, 78, 96, 98, 167, 185, 216, 240, 280, 351, 372, 411, 469, 564, 607, 639, 643, 644, 649] [14, 58, 79, 97, 99, 168, 186, 217, 241, 281, 352, 373, 412, 470, 565, 608, 640, 644, 645, 650] [15, 59, 80, 98, 100, 169, 187, 218, 242, 282, 353, 374, 413, 471, 566, 609, 641, 645, 646, 651] [16, 60, 81, 99, 101, 170, 188, 219, 243, 283, 354, 375, 414, 472, 567, 610, 642, 646, 647, 652] [17, 61, 82, 100, 102, 171, 189, 220, 244, 284, 355, 376, 415, 473, 568, 611, 643, 647, 648, 653] [18, 62, 83, 101, 103, 172, 190, 221, 245, 285, 356, 377, 416, 474, 569, 612, 644, 648, 649, 654] [19, 63, 84, 102, 104, 173, 191, 222, 246, 286, 357, 378, 417, 475, 570, 613, 645, 649, 650, 655] [20, 64, 85, 103, 105, 174, 192, 223, 247, 287, 358, 379, 418, 476, 571, 614, 646, 650, 651, 656] [21, 65, 86, 104, 106, 175, 193, 224, 248, 288, 359, 380, 419, 477, 572, 615, 647, 651, 652, 657] [22, 66, 87, 105, 107, 176, 194, 225, 249, 289, 360, 381, 420, 478, 573, 616, 648, 652, 653, 658] [23, 67, 88, 106, 108, 177, 195, 226, 250, 290, 361, 382, 421, 479, 574, 617, 649, 653, 654, 659] [24, 68, 89, 107, 109, 178, 196, 227, 251, 291, 362, 383, 422, 480, 575, 618, 650, 654, 655, 660] [25, 69, 90, 108, 110, 179, 197, 228, 252, 292, 363, 384, 423, 481, 576, 619, 651, 655, 656, 661] [26, 70, 91, 109, 111, 180, 198, 229, 253, 293, 364, 385, 424, 482, 577, 620, 652, 656, 657, 662] [27, 71, 92, 110, 112, 181, 199, 230, 254, 294, 365, 386, 425, 483, 578, 621, 653, 657, 658, 663] [28, 72, 93, 111, 113, 182, 200, 231, 255, 295, 366, 387, 426, 484, 579, 622, 654, 658, 659, 664] [29, 73, 94, 112, 114, 183, 201, 232, 256, 296, 367, 388, 427, 485, 580, 623, 655, 659, 660, 665] [30, 74, 95, 113, 115, 184, 202, 233, 257, 297, 368, 389, 428, 486, 581, 624, 656, 660, 661, 666] [31, 75, 96, 114, 116, 185, 203, 234, 258, 298, 369, 390, 429, 487, 582, 625, 657, 661, 662, 667] [32, 76, 97, 115, 117, 186, 204, 235, 259, 299, 370, 391, 430, 488, 583, 626, 658, 662, 663, 668] [33, 77, 98, 116, 118, 187, 205, 236, 260, 300, 371, 392, 431, 489, 584, 627, 659, 663, 664, 669] [34, 78, 99, 117, 119, 188, 206, 237, 261, 301, 372, 393, 432, 490, 585, 628, 660, 664, 665, 670] [35, 79, 100, 118, 120, 189, 207, 238, 262, 302, 373, 394, 433, 491, 586, 629, 661, 665, 666, 671] [36, 80, 101, 119, 121, 190, 208, 239, 263, 303, 374, 395, 434, 492, 587, 630, 662, 666, 667, 672] [37, 81, 102, 120, 122, 191, 209, 240, 264, 304, 375, 396, 435, 493, 588, 631, 663, 667, 668, 673] [38, 82, 103, 121, 123, 192, 210, 241, 265, 305, 337, 376, 397, 436, 494, 589, 632, 664, 668, 669] [39, 83, 104, 122, 124, 193, 211, 242, 266, 306, 338, 377, 398, 437, 495, 590, 633, 665, 669, 670] [40, 84, 105, 123, 125, 194, 212, 243, 267, 307, 339, 378, 399, 438, 496, 591, 634, 666, 670, 671] [41, 85, 106, 124, 126, 195, 213, 244, 268, 308, 340, 379, 400, 439, 497, 592, 635, 667, 671, 672] [42, 86, 107, 125, 127, 196, 214, 245, 269, 309, 341, 380, 401, 440, 498, 593, 636, 668, 672, 673] [43, 87, 108, 126, 128, 197, 215, 246, 270, 310, 337, 342, 381, 402, 441, 499, 594, 637, 669, 673] [44, 88, 109, 127, 129, 198, 216, 247, 271, 311, 337, 338, 343, 382, 403, 442, 500, 595, 638, 670] [45, 89, 110, 128, 130, 199, 217, 248, 272, 312, 338, 339, 344, 383, 404, 443, 501, 596, 639, 671] [46, 90, 111, 129, 131, 200, 218, 249, 273, 313, 339, 340, 345, 384, 405, 444, 502, 597, 640, 672] [47, 91, 112, 130, 132, 201, 219, 250, 274, 314, 340, 341, 346, 385, 406, 445, 503, 598, 641, 673] [48, 92, 113, 131, 133, 202, 220, 251, 275, 315, 337, 341, 342, 347, 386, 407, 446, 504, 599, 642] [49, 93, 114, 132, 134, 203, 221, 252, 276, 316, 338, 342, 343, 348, 387, 408, 447, 505, 600, 643] [50, 94, 115, 133, 135, 204, 222, 253, 277, 317, 339, 343, 344, 349, 388, 409, 448, 506, 601, 644] [51, 95, 116, 134, 136, 205, 223, 254, 278, 318, 340, 344, 345, 350, 389, 410, 449, 507, 602, 645] [52, 96, 117, 135, 137, 206, 224, 255, 279, 319, 341, 345, 346, 351, 390, 411, 450, 508, 603, 646] [53, 97, 118, 136, 138, 207, 225, 256, 280, 320, 342, 346, 347, 352, 391, 412, 451, 509, 604, 647] [54, 98, 119, 137, 139, 208, 226, 257, 281, 321, 343, 347, 348, 353, 392, 413, 452, 510, 605, 648] [55, 99, 120, 138, 140, 209, 227, 258, 282, 322, 344, 348, 349, 354, 393, 414, 453, 511, 606, 649] [56, 100, 121, 139, 141, 210, 228, 259, 283, 323, 345, 349, 350, 355, 394, 415, 454, 512, 607, 650] [57, 101, 122, 140, 142, 211, 229, 260, 284, 324, 346, 350, 351, 356, 395, 416, 455, 513, 608, 651] [58, 102, 123, 141, 143, 212, 230, 261, 285, 325, 347, 351, 352, 357, 396, 417, 456, 514, 609, 652] [59, 103, 124, 142, 144, 213, 231, 262, 286, 326, 348, 352, 353, 358, 397, 418, 457, 515, 610, 653] [60, 104, 125, 143, 145, 214, 232, 263, 287, 327, 349, 353, 354, 359, 398, 419, 458, 516, 611, 654] [61, 105, 126, 144, 146, 215, 233, 264, 288, 328, 350, 354, 355, 360, 399, 420, 459, 517, 612, 655] [62, 106, 127, 145, 147, 216, 234, 265, 289, 329, 351, 355, 356, 361, 400, 421, 460, 518, 613, 656] [63, 107, 128, 146, 148, 217, 235, 266, 290, 330, 352, 356, 357, 362, 401, 422, 461, 519, 614, 657] [64, 108, 129, 147, 149, 218, 236, 267, 291, 331, 353, 357, 358, 363, 402, 423, 462, 520, 615, 658] [65, 109, 130, 148, 150, 219, 237, 268, 292, 332, 354, 358, 359, 364, 403, 424, 463, 521, 616, 659] [66, 110, 131, 149, 151, 220, 238, 269, 293, 333, 355, 359, 360, 365, 404, 425, 464, 522, 617, 660] [67, 111, 132, 150, 152, 221, 239, 270, 294, 334, 356, 360, 361, 366, 405, 426, 465, 523, 618, 661] [68, 112, 133, 151, 153, 222, 240, 271, 295, 335, 357, 361, 362, 367, 406, 427, 466, 524, 619, 662] [69, 113, 134, 152, 154, 223, 241, 272, 296, 336, 358, 362, 363, 368, 407, 428, 467, 525, 620, 663] [0, 70, 114, 135, 153, 155, 224, 242, 273, 297, 359, 363, 364, 369, 408, 429, 468, 526, 621, 664] [1, 71, 115, 136, 154, 156, 225, 243, 274, 298, 360, 364, 365, 370, 409, 430, 469, 527, 622, 665] [2, 72, 116, 137, 155, 157, 226, 244, 275, 299, 361, 365, 366, 371, 410, 431, 470, 528, 623, 666] [3, 73, 117, 138, 156, 158, 227, 245, 276, 300, 362, 366, 367, 372, 411, 432, 471, 529, 624, 667] [4, 74, 118, 139, 157, 159, 228, 246, 277, 301, 363, 367, 368, 373, 412, 433, 472, 530, 625, 668] [5, 75, 119, 140, 158, 160, 229, 247, 278, 302, 364, 368, 369, 374, 413, 434, 473, 531, 626, 669] [6, 76, 120, 141, 159, 161, 230, 248, 279, 303, 365, 369, 370, 375, 414, 435, 474, 532, 627, 670] [7, 77, 121, 142, 160, 162, 231, 249, 280, 304, 366, 370, 371, 376, 415, 436, 475, 533, 628, 671] [8, 78, 122, 143, 161, 163, 232, 250, 281, 305, 367, 371, 372, 377, 416, 437, 476, 534, 629, 672] [9, 79, 123, 144, 162, 164, 233, 251, 282, 306, 368, 372, 373, 378, 417, 438, 477, 535, 630, 673] [10, 80, 124, 145, 163, 165, 234, 252, 283, 307, 337, 369, 373, 374, 379, 418, 439, 478, 536, 631] [11, 81, 125, 146, 164, 166, 235, 253, 284, 308, 338, 370, 374, 375, 380, 419, 440, 479, 537, 632] [12, 82, 126, 147, 165, 167, 236, 254, 285, 309, 339, 371, 375, 376, 381, 420, 441, 480, 538, 633] [13, 83, 127, 148, 166, 168, 237, 255, 286, 310, 340, 372, 376, 377, 382, 421, 442, 481, 539, 634] [14, 84, 128, 149, 167, 169, 238, 256, 287, 311, 341, 373, 377, 378, 383, 422, 443, 482, 540, 635] [15, 85, 129, 150, 168, 170, 239, 257, 288, 312, 342, 374, 378, 379, 384, 423, 444, 483, 541, 636] [16, 86, 130, 151, 169, 171, 240, 258, 289, 313, 343, 375, 379, 380, 385, 424, 445, 484, 542, 637] [17, 87, 131, 152, 170, 172, 241, 259, 290, 314, 344, 376, 380, 381, 386, 425, 446, 485, 543, 638] [18, 88, 132, 153, 171, 173, 242, 260, 291, 315, 345, 377, 381, 382, 387, 426, 447, 486, 544, 639] [19, 89, 133, 154, 172, 174, 243, 261, 292, 316, 346, 378, 382, 383, 388, 427, 448, 487, 545, 640] [20, 90, 134, 155, 173, 175, 244, 262, 293, 317, 347, 379, 383, 384, 389, 428, 449, 488, 546, 641] [21, 91, 135, 156, 174, 176, 245, 263, 294, 318, 348, 380, 384, 385, 390, 429, 450, 489, 547, 642] [22, 92, 136, 157, 175, 177, 246, 264, 295, 319, 349, 381, 385, 386, 391, 430, 451, 490, 548, 643] [23, 93, 137, 158, 176, 178, 247, 265, 296, 320, 350, 382, 386, 387, 392, 431, 452, 491, 549, 644] [24, 94, 138, 159, 177, 179, 248, 266, 297, 321, 351, 383, 387, 388, 393, 432, 453, 492, 550, 645] [25, 95, 139, 160, 178, 180, 249, 267, 298, 322, 352, 384, 388, 389, 394, 433, 454, 493, 551, 646] [26, 96, 140, 161, 179, 181, 250, 268, 299, 323, 353, 385, 389, 390, 395, 434, 455, 494, 552, 647] [27, 97, 141, 162, 180, 182, 251, 269, 300, 324, 354, 386, 390, 391, 396, 435, 456, 495, 553, 648] [28, 98, 142, 163, 181, 183, 252, 270, 301, 325, 355, 387, 391, 392, 397, 436, 457, 496, 554, 649] [29, 99, 143, 164, 182, 184, 253, 271, 302, 326, 356, 388, 392, 393, 398, 437, 458, 497, 555, 650] [30, 100, 144, 165, 183, 185, 254, 272, 303, 327, 357, 389, 393, 394, 399, 438, 459, 498, 556, 651] [31, 101, 145, 166, 184, 186, 255, 273, 304, 328, 358, 390, 394, 395, 400, 439, 460, 499, 557, 652] [32, 102, 146, 167, 185, 187, 256, 274, 305, 329, 359, 391, 395, 396, 401, 440, 461, 500, 558, 653] [33, 103, 147, 168, 186, 188, 257, 275, 306, 330, 360, 392, 396, 397, 402, 441, 462, 501, 559, 654] [34, 104, 148, 169, 187, 189, 258, 276, 307, 331, 361, 393, 397, 398, 403, 442, 463, 502, 560, 655] [35, 105, 149, 170, 188, 190, 259, 277, 308, 332, 362, 394, 398, 399, 404, 443, 464, 503, 561, 656] [36, 106, 150, 171, 189, 191, 260, 278, 309, 333, 363, 395, 399, 400, 405, 444, 465, 504, 562, 657] [37, 107, 151, 172, 190, 192, 261, 279, 310, 334, 364, 396, 400, 401, 406, 445, 466, 505, 563, 658] [38, 108, 152, 173, 191, 193, 262, 280, 311, 335, 365, 397, 401, 402, 407, 446, 467, 506, 564, 659] [39, 109, 153, 174, 192, 194, 263, 281, 312, 336, 366, 398, 402, 403, 408, 447, 468, 507, 565, 660] [0, 40, 110, 154, 175, 193, 195, 264, 282, 313, 367, 399, 403, 404, 409, 448, 469, 508, 566, 661] [1, 41, 111, 155, 176, 194, 196, 265, 283, 314, 368, 400, 404, 405, 410, 449, 470, 509, 567, 662] [2, 42, 112, 156, 177, 195, 197, 266, 284, 315, 369, 401, 405, 406, 411, 450, 471, 510, 568, 663] [3, 43, 113, 157, 178, 196, 198, 267, 285, 316, 370, 402, 406, 407, 412, 451, 472, 511, 569, 664] [4, 44, 114, 158, 179, 197, 199, 268, 286, 317, 371, 403, 407, 408, 413, 452, 473, 512, 570, 665] [5, 45, 115, 159, 180, 198, 200, 269, 287, 318, 372, 404, 408, 409, 414, 453, 474, 513, 571, 666] [6, 46, 116, 160, 181, 199, 201, 270, 288, 319, 373, 405, 409, 410, 415, 454, 475, 514, 572, 667] [7, 47, 117, 161, 182, 200, 202, 271, 289, 320, 374, 406, 410, 411, 416, 455, 476, 515, 573, 668] [8, 48, 118, 162, 183, 201, 203, 272, 290, 321, 375, 407, 411, 412, 417, 456, 477, 516, 574, 669] [9, 49, 119, 163, 184, 202, 204, 273, 291, 322, 376, 408, 412, 413, 418, 457, 478, 517, 575, 670] [10, 50, 120, 164, 185, 203, 205, 274, 292, 323, 377, 409, 413, 414, 419, 458, 479, 518, 576, 671] [11, 51, 121, 165, 186, 204, 206, 275, 293, 324, 378, 410, 414, 415, 420, 459, 480, 519, 577, 672] [12, 52, 122, 166, 187, 205, 207, 276, 294, 325, 379, 411, 415, 416, 421, 460, 481, 520, 578, 673] [13, 53, 123, 167, 188, 206, 208, 277, 295, 326, 337, 380, 412, 416, 417, 422, 461, 482, 521, 579] [14, 54, 124, 168, 189, 207, 209, 278, 296, 327, 338, 381, 413, 417, 418, 423, 462, 483, 522, 580] [15, 55, 125, 169, 190, 208, 210, 279, 297, 328, 339, 382, 414, 418, 419, 424, 463, 484, 523, 581] [16, 56, 126, 170, 191, 209, 211, 280, 298, 329, 340, 383, 415, 419, 420, 425, 464, 485, 524, 582] [17, 57, 127, 171, 192, 210, 212, 281, 299, 330, 341, 384, 416, 420, 421, 426, 465, 486, 525, 583] [18, 58, 128, 172, 193, 211, 213, 282, 300, 331, 342, 385, 417, 421, 422, 427, 466, 487, 526, 584] [19, 59, 129, 173, 194, 212, 214, 283, 301, 332, 343, 386, 418, 422, 423, 428, 467, 488, 527, 585] [20, 60, 130, 174, 195, 213, 215, 284, 302, 333, 344, 387, 419, 423, 424, 429, 468, 489, 528, 586] [21, 61, 131, 175, 196, 214, 216, 285, 303, 334, 345, 388, 420, 424, 425, 430, 469, 490, 529, 587] [22, 62, 132, 176, 197, 215, 217, 286, 304, 335, 346, 389, 421, 425, 426, 431, 470, 491, 530, 588] [23, 63, 133, 177, 198, 216, 218, 287, 305, 336, 347, 390, 422, 426, 427, 432, 471, 492, 531, 589] [0, 24, 64, 134, 178, 199, 217, 219, 288, 306, 348, 391, 423, 427, 428, 433, 472, 493, 532, 590] [1, 25, 65, 135, 179, 200, 218, 220, 289, 307, 349, 392, 424, 428, 429, 434, 473, 494, 533, 591] [2, 26, 66, 136, 180, 201, 219, 221, 290, 308, 350, 393, 425, 429, 430, 435, 474, 495, 534, 592] [3, 27, 67, 137, 181, 202, 220, 222, 291, 309, 351, 394, 426, 430, 431, 436, 475, 496, 535, 593] [4, 28, 68, 138, 182, 203, 221, 223, 292, 310, 352, 395, 427, 431, 432, 437, 476, 497, 536, 594] [5, 29, 69, 139, 183, 204, 222, 224, 293, 311, 353, 396, 428, 432, 433, 438, 477, 498, 537, 595] [6, 30, 70, 140, 184, 205, 223, 225, 294, 312, 354, 397, 429, 433, 434, 439, 478, 499, 538, 596] [7, 31, 71, 141, 185, 206, 224, 226, 295, 313, 355, 398, 430, 434, 435, 440, 479, 500, 539, 597] [8, 32, 72, 142, 186, 207, 225, 227, 296, 314, 356, 399, 431, 435, 436, 441, 480, 501, 540, 598] [9, 33, 73, 143, 187, 208, 226, 228, 297, 315, 357, 400, 432, 436, 437, 442, 481, 502, 541, 599] [10, 34, 74, 144, 188, 209, 227, 229, 298, 316, 358, 401, 433, 437, 438, 443, 482, 503, 542, 600] [11, 35, 75, 145, 189, 210, 228, 230, 299, 317, 359, 402, 434, 438, 439, 444, 483, 504, 543, 601] [12, 36, 76, 146, 190, 211, 229, 231, 300, 318, 360, 403, 435, 439, 440, 445, 484, 505, 544, 602] [13, 37, 77, 147, 191, 212, 230, 232, 301, 319, 361, 404, 436, 440, 441, 446, 485, 506, 545, 603] [14, 38, 78, 148, 192, 213, 231, 233, 302, 320, 362, 405, 437, 441, 442, 447, 486, 507, 546, 604] [15, 39, 79, 149, 193, 214, 232, 234, 303, 321, 363, 406, 438, 442, 443, 448, 487, 508, 547, 605] [16, 40, 80, 150, 194, 215, 233, 235, 304, 322, 364, 407, 439, 443, 444, 449, 488, 509, 548, 606] [17, 41, 81, 151, 195, 216, 234, 236, 305, 323, 365, 408, 440, 444, 445, 450, 489, 510, 549, 607] [18, 42, 82, 152, 196, 217, 235, 237, 306, 324, 366, 409, 441, 445, 446, 451, 490, 511, 550, 608] [19, 43, 83, 153, 197, 218, 236, 238, 307, 325, 367, 410, 442, 446, 447, 452, 491, 512, 551, 609] [20, 44, 84, 154, 198, 219, 237, 239, 308, 326, 368, 411, 443, 447, 448, 453, 492, 513, 552, 610] [21, 45, 85, 155, 199, 220, 238, 240, 309, 327, 369, 412, 444, 448, 449, 454, 493, 514, 553, 611] [22, 46, 86, 156, 200, 221, 239, 241, 310, 328, 370, 413, 445, 449, 450, 455, 494, 515, 554, 612] [23, 47, 87, 157, 201, 222, 240, 242, 311, 329, 371, 414, 446, 450, 451, 456, 495, 516, 555, 613] [24, 48, 88, 158, 202, 223, 241, 243, 312, 330, 372, 415, 447, 451, 452, 457, 496, 517, 556, 614] [25, 49, 89, 159, 203, 224, 242, 244, 313, 331, 373, 416, 448, 452, 453, 458, 497, 518, 557, 615] [26, 50, 90, 160, 204, 225, 243, 245, 314, 332, 374, 417, 449, 453, 454, 459, 498, 519, 558, 616] [27, 51, 91, 161, 205, 226, 244, 246, 315, 333, 375, 418, 450, 454, 455, 460, 499, 520, 559, 617] [28, 52, 92, 162, 206, 227, 245, 247, 316, 334, 376, 419, 451, 455, 456, 461, 500, 521, 560, 618] [29, 53, 93, 163, 207, 228, 246, 248, 317, 335, 377, 420, 452, 456, 457, 462, 501, 522, 561, 619] [30, 54, 94, 164, 208, 229, 247, 249, 318, 336, 378, 421, 453, 457, 458, 463, 502, 523, 562, 620] [0, 31, 55, 95, 165, 209, 230, 248, 250, 319, 379, 422, 454, 458, 459, 464, 503, 524, 563, 621] [1, 32, 56, 96, 166, 210, 231, 249, 251, 320, 380, 423, 455, 459, 460, 465, 504, 525, 564, 622] [2, 33, 57, 97, 167, 211, 232, 250, 252, 321, 381, 424, 456, 460, 461, 466, 505, 526, 565, 623] [3, 34, 58, 98, 168, 212, 233, 251, 253, 322, 382, 425, 457, 461, 462, 467, 506, 527, 566, 624] [4, 35, 59, 99, 169, 213, 234, 252, 254, 323, 383, 426, 458, 462, 463, 468, 507, 528, 567, 625] [5, 36, 60, 100, 170, 214, 235, 253, 255, 324, 384, 427, 459, 463, 464, 469, 508, 529, 568, 626] [6, 37, 61, 101, 171, 215, 236, 254, 256, 325, 385, 428, 460, 464, 465, 470, 509, 530, 569, 627] [7, 38, 62, 102, 172, 216, 237, 255, 257, 326, 386, 429, 461, 465, 466, 471, 510, 531, 570, 628] [8, 39, 63, 103, 173, 217, 238, 256, 258, 327, 387, 430, 462, 466, 467, 472, 511, 532, 571, 629] [9, 40, 64, 104, 174, 218, 239, 257, 259, 328, 388, 431, 463, 467, 468, 473, 512, 533, 572, 630] [10, 41, 65, 105, 175, 219, 240, 258, 260, 329, 389, 432, 464, 468, 469, 474, 513, 534, 573, 631] [11, 42, 66, 106, 176, 220, 241, 259, 261, 330, 390, 433, 465, 469, 470, 475, 514, 535, 574, 632] [12, 43, 67, 107, 177, 221, 242, 260, 262, 331, 391, 434, 466, 470, 471, 476, 515, 536, 575, 633] [13, 44, 68, 108, 178, 222, 243, 261, 263, 332, 392, 435, 467, 471, 472, 477, 516, 537, 576, 634] [14, 45, 69, 109, 179, 223, 244, 262, 264, 333, 393, 436, 468, 472, 473, 478, 517, 538, 577, 635] [15, 46, 70, 110, 180, 224, 245, 263, 265, 334, 394, 437, 469, 473, 474, 479, 518, 539, 578, 636] [16, 47, 71, 111, 181, 225, 246, 264, 266, 335, 395, 438, 470, 474, 475, 480, 519, 540, 579, 637] [17, 48, 72, 112, 182, 226, 247, 265, 267, 336, 396, 439, 471, 475, 476, 481, 520, 541, 580, 638] [0, 18, 49, 73, 113, 183, 227, 248, 266, 268, 397, 440, 472, 476, 477, 482, 521, 542, 581, 639] [1, 19, 50, 74, 114, 184, 228, 249, 267, 269, 398, 441, 473, 477, 478, 483, 522, 543, 582, 640] [2, 20, 51, 75, 115, 185, 229, 250, 268, 270, 399, 442, 474, 478, 479, 484, 523, 544, 583, 641] [3, 21, 52, 76, 116, 186, 230, 251, 269, 271, 400, 443, 475, 479, 480, 485, 524, 545, 584, 642] [4, 22, 53, 77, 117, 187, 231, 252, 270, 272, 401, 444, 476, 480, 481, 486, 525, 546, 585, 643] [5, 23, 54, 78, 118, 188, 232, 253, 271, 273, 402, 445, 477, 481, 482, 487, 526, 547, 586, 644] [6, 24, 55, 79, 119, 189, 233, 254, 272, 274, 403, 446, 478, 482, 483, 488, 527, 548, 587, 645] [7, 25, 56, 80, 120, 190, 234, 255, 273, 275, 404, 447, 479, 483, 484, 489, 528, 549, 588, 646] [8, 26, 57, 81, 121, 191, 235, 256, 274, 276, 405, 448, 480, 484, 485, 490, 529, 550, 589, 647] [9, 27, 58, 82, 122, 192, 236, 257, 275, 277, 406, 449, 481, 485, 486, 491, 530, 551, 590, 648] [10, 28, 59, 83, 123, 193, 237, 258, 276, 278, 407, 450, 482, 486, 487, 492, 531, 552, 591, 649] [11, 29, 60, 84, 124, 194, 238, 259, 277, 279, 408, 451, 483, 487, 488, 493, 532, 553, 592, 650] [12, 30, 61, 85, 125, 195, 239, 260, 278, 280, 409, 452, 484, 488, 489, 494, 533, 554, 593, 651] [13, 31, 62, 86, 126, 196, 240, 261, 279, 281, 410, 453, 485, 489, 490, 495, 534, 555, 594, 652] [14, 32, 63, 87, 127, 197, 241, 262, 280, 282, 411, 454, 486, 490, 491, 496, 535, 556, 595, 653] [15, 33, 64, 88, 128, 198, 242, 263, 281, 283, 412, 455, 487, 491, 492, 497, 536, 557, 596, 654] [16, 34, 65, 89, 129, 199, 243, 264, 282, 284, 413, 456, 488, 492, 493, 498, 537, 558, 597, 655] [17, 35, 66, 90, 130, 200, 244, 265, 283, 285, 414, 457, 489, 493, 494, 499, 538, 559, 598, 656] [18, 36, 67, 91, 131, 201, 245, 266, 284, 286, 415, 458, 490, 494, 495, 500, 539, 560, 599, 657] [19, 37, 68, 92, 132, 202, 246, 267, 285, 287, 416, 459, 491, 495, 496, 501, 540, 561, 600, 658] [20, 38, 69, 93, 133, 203, 247, 268, 286, 288, 417, 460, 492, 496, 497, 502, 541, 562, 601, 659] [21, 39, 70, 94, 134, 204, 248, 269, 287, 289, 418, 461, 493, 497, 498, 503, 542, 563, 602, 660] [22, 40, 71, 95, 135, 205, 249, 270, 288, 290, 419, 462, 494, 498, 499, 504, 543, 564, 603, 661] [23, 41, 72, 96, 136, 206, 250, 271, 289, 291, 420, 463, 495, 499, 500, 505, 544, 565, 604, 662] [24, 42, 73, 97, 137, 207, 251, 272, 290, 292, 421, 464, 496, 500, 501, 506, 545, 566, 605, 663] [25, 43, 74, 98, 138, 208, 252, 273, 291, 293, 422, 465, 497, 501, 502, 507, 546, 567, 606, 664] [26, 44, 75, 99, 139, 209, 253, 274, 292, 294, 423, 466, 498, 502, 503, 508, 547, 568, 607, 665] [27, 45, 76, 100, 140, 210, 254, 275, 293, 295, 424, 467, 499, 503, 504, 509, 548, 569, 608, 666] [28, 46, 77, 101, 141, 211, 255, 276, 294, 296, 425, 468, 500, 504, 505, 510, 549, 570, 609, 667] [29, 47, 78, 102, 142, 212, 256, 277, 295, 297, 426, 469, 501, 505, 506, 511, 550, 571, 610, 668] [30, 48, 79, 103, 143, 213, 257, 278, 296, 298, 427, 470, 502, 506, 507, 512, 551, 572, 611, 669] [31, 49, 80, 104, 144, 214, 258, 279, 297, 299, 428, 471, 503, 507, 508, 513, 552, 573, 612, 670] [32, 50, 81, 105, 145, 215, 259, 280, 298, 300, 429, 472, 504, 508, 509, 514, 553, 574, 613, 671] [33, 51, 82, 106, 146, 216, 260, 281, 299, 301, 430, 473, 505, 509, 510, 515, 554, 575, 614, 672] [34, 52, 83, 107, 147, 217, 261, 282, 300, 302, 431, 474, 506, 510, 511, 516, 555, 576, 615, 673] [35, 53, 84, 108, 148, 218, 262, 283, 301, 303, 337, 432, 475, 507, 511, 512, 517, 556, 577, 616] [36, 54, 85, 109, 149, 219, 263, 284, 302, 304, 338, 433, 476, 508, 512, 513, 518, 557, 578, 617] [37, 55, 86, 110, 150, 220, 264, 285, 303, 305, 339, 434, 477, 509, 513, 514, 519, 558, 579, 618] [38, 56, 87, 111, 151, 221, 265, 286, 304, 306, 340, 435, 478, 510, 514, 515, 520, 559, 580, 619] [39, 57, 88, 112, 152, 222, 266, 287, 305, 307, 341, 436, 479, 511, 515, 516, 521, 560, 581, 620] [40, 58, 89, 113, 153, 223, 267, 288, 306, 308, 342, 437, 480, 512, 516, 517, 522, 561, 582, 621] [41, 59, 90, 114, 154, 224, 268, 289, 307, 309, 343, 438, 481, 513, 517, 518, 523, 562, 583, 622] [42, 60, 91, 115, 155, 225, 269, 290, 308, 310, 344, 439, 482, 514, 518, 519, 524, 563, 584, 623] [43, 61, 92, 116, 156, 226, 270, 291, 309, 311, 345, 440, 483, 515, 519, 520, 525, 564, 585, 624] [44, 62, 93, 117, 157, 227, 271, 292, 310, 312, 346, 441, 484, 516, 520, 521, 526, 565, 586, 625] [45, 63, 94, 118, 158, 228, 272, 293, 311, 313, 347, 442, 485, 517, 521, 522, 527, 566, 587, 626] [46, 64, 95, 119, 159, 229, 273, 294, 312, 314, 348, 443, 486, 518, 522, 523, 528, 567, 588, 627] [47, 65, 96, 120, 160, 230, 274, 295, 313, 315, 349, 444, 487, 519, 523, 524, 529, 568, 589, 628] [48, 66, 97, 121, 161, 231, 275, 296, 314, 316, 350, 445, 488, 520, 524, 525, 530, 569, 590, 629] [49, 67, 98, 122, 162, 232, 276, 297, 315, 317, 351, 446, 489, 521, 525, 526, 531, 570, 591, 630] [50, 68, 99, 123, 163, 233, 277, 298, 316, 318, 352, 447, 490, 522, 526, 527, 532, 571, 592, 631] [51, 69, 100, 124, 164, 234, 278, 299, 317, 319, 353, 448, 491, 523, 527, 528, 533, 572, 593, 632] [52, 70, 101, 125, 165, 235, 279, 300, 318, 320, 354, 449, 492, 524, 528, 529, 534, 573, 594, 633] [53, 71, 102, 126, 166, 236, 280, 301, 319, 321, 355, 450, 493, 525, 529, 530, 535, 574, 595, 634] [54, 72, 103, 127, 167, 237, 281, 302, 320, 322, 356, 451, 494, 526, 530, 531, 536, 575, 596, 635] [55, 73, 104, 128, 168, 238, 282, 303, 321, 323, 357, 452, 495, 527, 531, 532, 537, 576, 597, 636] [56, 74, 105, 129, 169, 239, 283, 304, 322, 324, 358, 453, 496, 528, 532, 533, 538, 577, 598, 637] [57, 75, 106, 130, 170, 240, 284, 305, 323, 325, 359, 454, 497, 529, 533, 534, 539, 578, 599, 638] [58, 76, 107, 131, 171, 241, 285, 306, 324, 326, 360, 455, 498, 530, 534, 535, 540, 579, 600, 639] [59, 77, 108, 132, 172, 242, 286, 307, 325, 327, 361, 456, 499, 531, 535, 536, 541, 580, 601, 640] [60, 78, 109, 133, 173, 243, 287, 308, 326, 328, 362, 457, 500, 532, 536, 537, 542, 581, 602, 641] [61, 79, 110, 134, 174, 244, 288, 309, 327, 329, 363, 458, 501, 533, 537, 538, 543, 582, 603, 642] [62, 80, 111, 135, 175, 245, 289, 310, 328, 330, 364, 459, 502, 534, 538, 539, 544, 583, 604, 643] [63, 81, 112, 136, 176, 246, 290, 311, 329, 331, 365, 460, 503, 535, 539, 540, 545, 584, 605, 644] [64, 82, 113, 137, 177, 247, 291, 312, 330, 332, 366, 461, 504, 536, 540, 541, 546, 585, 606, 645]

H_Z (337 checks, sparse supports)

[28, 67, 88, 127, 132, 133, 137, 169, 212, 307, 341, 343, 361, 382, 426, 496, 536, 560, 591, 609] [29, 68, 89, 128, 133, 134, 138, 170, 213, 308, 342, 344, 362, 383, 427, 497, 537, 561, 592, 610] [30, 69, 90, 129, 134, 135, 139, 171, 214, 309, 343, 345, 363, 384, 428, 498, 538, 562, 593, 611] [31, 70, 91, 130, 135, 136, 140, 172, 215, 310, 344, 346, 364, 385, 429, 499, 539, 563, 594, 612] [32, 71, 92, 131, 136, 137, 141, 173, 216, 311, 345, 347, 365, 386, 430, 500, 540, 564, 595, 613] [33, 72, 93, 132, 137, 138, 142, 174, 217, 312, 346, 348, 366, 387, 431, 501, 541, 565, 596, 614] [34, 73, 94, 133, 138, 139, 143, 175, 218, 313, 347, 349, 367, 388, 432, 502, 542, 566, 597, 615] [35, 74, 95, 134, 139, 140, 144, 176, 219, 314, 348, 350, 368, 389, 433, 503, 543, 567, 598, 616] [36, 75, 96, 135, 140, 141, 145, 177, 220, 315, 349, 351, 369, 390, 434, 504, 544, 568, 599, 617] [37, 76, 97, 136, 141, 142, 146, 178, 221, 316, 350, 352, 370, 391, 435, 505, 545, 569, 600, 618] [38, 77, 98, 137, 142, 143, 147, 179, 222, 317, 351, 353, 371, 392, 436, 506, 546, 570, 601, 619] [39, 78, 99, 138, 143, 144, 148, 180, 223, 318, 352, 354, 372, 393, 437, 507, 547, 571, 602, 620] [40, 79, 100, 139, 144, 145, 149, 181, 224, 319, 353, 355, 373, 394, 438, 508, 548, 572, 603, 621] [41, 80, 101, 140, 145, 146, 150, 182, 225, 320, 354, 356, 374, 395, 439, 509, 549, 573, 604, 622] [42, 81, 102, 141, 146, 147, 151, 183, 226, 321, 355, 357, 375, 396, 440, 510, 550, 574, 605, 623] [43, 82, 103, 142, 147, 148, 152, 184, 227, 322, 356, 358, 376, 397, 441, 511, 551, 575, 606, 624] [44, 83, 104, 143, 148, 149, 153, 185, 228, 323, 357, 359, 377, 398, 442, 512, 552, 576, 607, 625] [45, 84, 105, 144, 149, 150, 154, 186, 229, 324, 358, 360, 378, 399, 443, 513, 553, 577, 608, 626] [46, 85, 106, 145, 150, 151, 155, 187, 230, 325, 359, 361, 379, 400, 444, 514, 554, 578, 609, 627] [47, 86, 107, 146, 151, 152, 156, 188, 231, 326, 360, 362, 380, 401, 445, 515, 555, 579, 610, 628] [48, 87, 108, 147, 152, 153, 157, 189, 232, 327, 361, 363, 381, 402, 446, 516, 556, 580, 611, 629] [49, 88, 109, 148, 153, 154, 158, 190, 233, 328, 362, 364, 382, 403, 447, 517, 557, 581, 612, 630] [50, 89, 110, 149, 154, 155, 159, 191, 234, 329, 363, 365, 383, 404, 448, 518, 558, 582, 613, 631] [51, 90, 111, 150, 155, 156, 160, 192, 235, 330, 364, 366, 384, 405, 449, 519, 559, 583, 614, 632] [52, 91, 112, 151, 156, 157, 161, 193, 236, 331, 365, 367, 385, 406, 450, 520, 560, 584, 615, 633] [53, 92, 113, 152, 157, 158, 162, 194, 237, 332, 366, 368, 386, 407, 451, 521, 561, 585, 616, 634] [54, 93, 114, 153, 158, 159, 163, 195, 238, 333, 367, 369, 387, 408, 452, 522, 562, 586, 617, 635] [55, 94, 115, 154, 159, 160, 164, 196, 239, 334, 368, 370, 388, 409, 453, 523, 563, 587, 618, 636] [56, 95, 116, 155, 160, 161, 165, 197, 240, 335, 369, 371, 389, 410, 454, 524, 564, 588, 619, 637] [57, 96, 117, 156, 161, 162, 166, 198, 241, 336, 370, 372, 390, 411, 455, 525, 565, 589, 620, 638] [0, 58, 97, 118, 157, 162, 163, 167, 199, 242, 371, 373, 391, 412, 456, 526, 566, 590, 621, 639] [1, 59, 98, 119, 158, 163, 164, 168, 200, 243, 372, 374, 392, 413, 457, 527, 567, 591, 622, 640] [2, 60, 99, 120, 159, 164, 165, 169, 201, 244, 373, 375, 393, 414, 458, 528, 568, 592, 623, 641] [3, 61, 100, 121, 160, 165, 166, 170, 202, 245, 374, 376, 394, 415, 459, 529, 569, 593, 624, 642] [4, 62, 101, 122, 161, 166, 167, 171, 203, 246, 375, 377, 395, 416, 460, 530, 570, 594, 625, 643] [5, 63, 102, 123, 162, 167, 168, 172, 204, 247, 376, 378, 396, 417, 461, 531, 571, 595, 626, 644] [6, 64, 103, 124, 163, 168, 169, 173, 205, 248, 377, 379, 397, 418, 462, 532, 572, 596, 627, 645] [7, 65, 104, 125, 164, 169, 170, 174, 206, 249, 378, 380, 398, 419, 463, 533, 573, 597, 628, 646] [8, 66, 105, 126, 165, 170, 171, 175, 207, 250, 379, 381, 399, 420, 464, 534, 574, 598, 629, 647] [9, 67, 106, 127, 166, 171, 172, 176, 208, 251, 380, 382, 400, 421, 465, 535, 575, 599, 630, 648] [10, 68, 107, 128, 167, 172, 173, 177, 209, 252, 381, 383, 401, 422, 466, 536, 576, 600, 631, 649] [11, 69, 108, 129, 168, 173, 174, 178, 210, 253, 382, 384, 402, 423, 467, 537, 577, 601, 632, 650] [12, 70, 109, 130, 169, 174, 175, 179, 211, 254, 383, 385, 403, 424, 468, 538, 578, 602, 633, 651] [13, 71, 110, 131, 170, 175, 176, 180, 212, 255, 384, 386, 404, 425, 469, 539, 579, 603, 634, 652] [14, 72, 111, 132, 171, 176, 177, 181, 213, 256, 385, 387, 405, 426, 470, 540, 580, 604, 635, 653] [15, 73, 112, 133, 172, 177, 178, 182, 214, 257, 386, 388, 406, 427, 471, 541, 581, 605, 636, 654] [16, 74, 113, 134, 173, 178, 179, 183, 215, 258, 387, 389, 407, 428, 472, 542, 582, 606, 637, 655] [17, 75, 114, 135, 174, 179, 180, 184, 216, 259, 388, 390, 408, 429, 473, 543, 583, 607, 638, 656] [18, 76, 115, 136, 175, 180, 181, 185, 217, 260, 389, 391, 409, 430, 474, 544, 584, 608, 639, 657] [19, 77, 116, 137, 176, 181, 182, 186, 218, 261, 390, 392, 410, 431, 475, 545, 585, 609, 640, 658] [20, 78, 117, 138, 177, 182, 183, 187, 219, 262, 391, 393, 411, 432, 476, 546, 586, 610, 641, 659] [21, 79, 118, 139, 178, 183, 184, 188, 220, 263, 392, 394, 412, 433, 477, 547, 587, 611, 642, 660] [22, 80, 119, 140, 179, 184, 185, 189, 221, 264, 393, 395, 413, 434, 478, 548, 588, 612, 643, 661] [23, 81, 120, 141, 180, 185, 186, 190, 222, 265, 394, 396, 414, 435, 479, 549, 589, 613, 644, 662] [24, 82, 121, 142, 181, 186, 187, 191, 223, 266, 395, 397, 415, 436, 480, 550, 590, 614, 645, 663] [25, 83, 122, 143, 182, 187, 188, 192, 224, 267, 396, 398, 416, 437, 481, 551, 591, 615, 646, 664] [26, 84, 123, 144, 183, 188, 189, 193, 225, 268, 397, 399, 417, 438, 482, 552, 592, 616, 647, 665] [27, 85, 124, 145, 184, 189, 190, 194, 226, 269, 398, 400, 418, 439, 483, 553, 593, 617, 648, 666] [28, 86, 125, 146, 185, 190, 191, 195, 227, 270, 399, 401, 419, 440, 484, 554, 594, 618, 649, 667] [29, 87, 126, 147, 186, 191, 192, 196, 228, 271, 400, 402, 420, 441, 485, 555, 595, 619, 650, 668] [30, 88, 127, 148, 187, 192, 193, 197, 229, 272, 401, 403, 421, 442, 486, 556, 596, 620, 651, 669] [31, 89, 128, 149, 188, 193, 194, 198, 230, 273, 402, 404, 422, 443, 487, 557, 597, 621, 652, 670] [32, 90, 129, 150, 189, 194, 195, 199, 231, 274, 403, 405, 423, 444, 488, 558, 598, 622, 653, 671] [33, 91, 130, 151, 190, 195, 196, 200, 232, 275, 404, 406, 424, 445, 489, 559, 599, 623, 654, 672] [34, 92, 131, 152, 191, 196, 197, 201, 233, 276, 405, 407, 425, 446, 490, 560, 600, 624, 655, 673] [35, 93, 132, 153, 192, 197, 198, 202, 234, 277, 337, 406, 408, 426, 447, 491, 561, 601, 625, 656] [36, 94, 133, 154, 193, 198, 199, 203, 235, 278, 338, 407, 409, 427, 448, 492, 562, 602, 626, 657] [37, 95, 134, 155, 194, 199, 200, 204, 236, 279, 339, 408, 410, 428, 449, 493, 563, 603, 627, 658] [38, 96, 135, 156, 195, 200, 201, 205, 237, 280, 340, 409, 411, 429, 450, 494, 564, 604, 628, 659] [39, 97, 136, 157, 196, 201, 202, 206, 238, 281, 341, 410, 412, 430, 451, 495, 565, 605, 629, 660] [40, 98, 137, 158, 197, 202, 203, 207, 239, 282, 342, 411, 413, 431, 452, 496, 566, 606, 630, 661] [41, 99, 138, 159, 198, 203, 204, 208, 240, 283, 343, 412, 414, 432, 453, 497, 567, 607, 631, 662] [42, 100, 139, 160, 199, 204, 205, 209, 241, 284, 344, 413, 415, 433, 454, 498, 568, 608, 632, 663] [43, 101, 140, 161, 200, 205, 206, 210, 242, 285, 345, 414, 416, 434, 455, 499, 569, 609, 633, 664] [44, 102, 141, 162, 201, 206, 207, 211, 243, 286, 346, 415, 417, 435, 456, 500, 570, 610, 634, 665] [45, 103, 142, 163, 202, 207, 208, 212, 244, 287, 347, 416, 418, 436, 457, 501, 571, 611, 635, 666] [46, 104, 143, 164, 203, 208, 209, 213, 245, 288, 348, 417, 419, 437, 458, 502, 572, 612, 636, 667] [47, 105, 144, 165, 204, 209, 210, 214, 246, 289, 349, 418, 420, 438, 459, 503, 573, 613, 637, 668] [48, 106, 145, 166, 205, 210, 211, 215, 247, 290, 350, 419, 421, 439, 460, 504, 574, 614, 638, 669] [49, 107, 146, 167, 206, 211, 212, 216, 248, 291, 351, 420, 422, 440, 461, 505, 575, 615, 639, 670] [50, 108, 147, 168, 207, 212, 213, 217, 249, 292, 352, 421, 423, 441, 462, 506, 576, 616, 640, 671] [51, 109, 148, 169, 208, 213, 214, 218, 250, 293, 353, 422, 424, 442, 463, 507, 577, 617, 641, 672] [52, 110, 149, 170, 209, 214, 215, 219, 251, 294, 354, 423, 425, 443, 464, 508, 578, 618, 642, 673] [53, 111, 150, 171, 210, 215, 216, 220, 252, 295, 337, 355, 424, 426, 444, 465, 509, 579, 619, 643] [54, 112, 151, 172, 211, 216, 217, 221, 253, 296, 338, 356, 425, 427, 445, 466, 510, 580, 620, 644] [55, 113, 152, 173, 212, 217, 218, 222, 254, 297, 339, 357, 426, 428, 446, 467, 511, 581, 621, 645] [56, 114, 153, 174, 213, 218, 219, 223, 255, 298, 340, 358, 427, 429, 447, 468, 512, 582, 622, 646] [57, 115, 154, 175, 214, 219, 220, 224, 256, 299, 341, 359, 428, 430, 448, 469, 513, 583, 623, 647] [58, 116, 155, 176, 215, 220, 221, 225, 257, 300, 342, 360, 429, 431, 449, 470, 514, 584, 624, 648] [59, 117, 156, 177, 216, 221, 222, 226, 258, 301, 343, 361, 430, 432, 450, 471, 515, 585, 625, 649] [60, 118, 157, 178, 217, 222, 223, 227, 259, 302, 344, 362, 431, 433, 451, 472, 516, 586, 626, 650] [61, 119, 158, 179, 218, 223, 224, 228, 260, 303, 345, 363, 432, 434, 452, 473, 517, 587, 627, 651] [62, 120, 159, 180, 219, 224, 225, 229, 261, 304, 346, 364, 433, 435, 453, 474, 518, 588, 628, 652] [63, 121, 160, 181, 220, 225, 226, 230, 262, 305, 347, 365, 434, 436, 454, 475, 519, 589, 629, 653] [64, 122, 161, 182, 221, 226, 227, 231, 263, 306, 348, 366, 435, 437, 455, 476, 520, 590, 630, 654] [65, 123, 162, 183, 222, 227, 228, 232, 264, 307, 349, 367, 436, 438, 456, 477, 521, 591, 631, 655] [66, 124, 163, 184, 223, 228, 229, 233, 265, 308, 350, 368, 437, 439, 457, 478, 522, 592, 632, 656] [67, 125, 164, 185, 224, 229, 230, 234, 266, 309, 351, 369, 438, 440, 458, 479, 523, 593, 633, 657] [68, 126, 165, 186, 225, 230, 231, 235, 267, 310, 352, 370, 439, 441, 459, 480, 524, 594, 634, 658] [69, 127, 166, 187, 226, 231, 232, 236, 268, 311, 353, 371, 440, 442, 460, 481, 525, 595, 635, 659] [70, 128, 167, 188, 227, 232, 233, 237, 269, 312, 354, 372, 441, 443, 461, 482, 526, 596, 636, 660] [71, 129, 168, 189, 228, 233, 234, 238, 270, 313, 355, 373, 442, 444, 462, 483, 527, 597, 637, 661] [72, 130, 169, 190, 229, 234, 235, 239, 271, 314, 356, 374, 443, 445, 463, 484, 528, 598, 638, 662] [73, 131, 170, 191, 230, 235, 236, 240, 272, 315, 357, 375, 444, 446, 464, 485, 529, 599, 639, 663] [74, 132, 171, 192, 231, 236, 237, 241, 273, 316, 358, 376, 445, 447, 465, 486, 530, 600, 640, 664] [75, 133, 172, 193, 232, 237, 238, 242, 274, 317, 359, 377, 446, 448, 466, 487, 531, 601, 641, 665] [76, 134, 173, 194, 233, 238, 239, 243, 275, 318, 360, 378, 447, 449, 467, 488, 532, 602, 642, 666] [77, 135, 174, 195, 234, 239, 240, 244, 276, 319, 361, 379, 448, 450, 468, 489, 533, 603, 643, 667] [78, 136, 175, 196, 235, 240, 241, 245, 277, 320, 362, 380, 449, 451, 469, 490, 534, 604, 644, 668] [79, 137, 176, 197, 236, 241, 242, 246, 278, 321, 363, 381, 450, 452, 470, 491, 535, 605, 645, 669] [80, 138, 177, 198, 237, 242, 243, 247, 279, 322, 364, 382, 451, 453, 471, 492, 536, 606, 646, 670] [81, 139, 178, 199, 238, 243, 244, 248, 280, 323, 365, 383, 452, 454, 472, 493, 537, 607, 647, 671] [82, 140, 179, 200, 239, 244, 245, 249, 281, 324, 366, 384, 453, 455, 473, 494, 538, 608, 648, 672] [83, 141, 180, 201, 240, 245, 246, 250, 282, 325, 367, 385, 454, 456, 474, 495, 539, 609, 649, 673] [84, 142, 181, 202, 241, 246, 247, 251, 283, 326, 337, 368, 386, 455, 457, 475, 496, 540, 610, 650] [85, 143, 182, 203, 242, 247, 248, 252, 284, 327, 338, 369, 387, 456, 458, 476, 497, 541, 611, 651] [86, 144, 183, 204, 243, 248, 249, 253, 285, 328, 339, 370, 388, 457, 459, 477, 498, 542, 612, 652] [87, 145, 184, 205, 244, 249, 250, 254, 286, 329, 340, 371, 389, 458, 460, 478, 499, 543, 613, 653] [88, 146, 185, 206, 245, 250, 251, 255, 287, 330, 341, 372, 390, 459, 461, 479, 500, 544, 614, 654] [89, 147, 186, 207, 246, 251, 252, 256, 288, 331, 342, 373, 391, 460, 462, 480, 501, 545, 615, 655] [90, 148, 187, 208, 247, 252, 253, 257, 289, 332, 343, 374, 392, 461, 463, 481, 502, 546, 616, 656] [91, 149, 188, 209, 248, 253, 254, 258, 290, 333, 344, 375, 393, 462, 464, 482, 503, 547, 617, 657] [92, 150, 189, 210, 249, 254, 255, 259, 291, 334, 345, 376, 394, 463, 465, 483, 504, 548, 618, 658] [93, 151, 190, 211, 250, 255, 256, 260, 292, 335, 346, 377, 395, 464, 466, 484, 505, 549, 619, 659] [94, 152, 191, 212, 251, 256, 257, 261, 293, 336, 347, 378, 396, 465, 467, 485, 506, 550, 620, 660] [0, 95, 153, 192, 213, 252, 257, 258, 262, 294, 348, 379, 397, 466, 468, 486, 507, 551, 621, 661] [1, 96, 154, 193, 214, 253, 258, 259, 263, 295, 349, 380, 398, 467, 469, 487, 508, 552, 622, 662] [2, 97, 155, 194, 215, 254, 259, 260, 264, 296, 350, 381, 399, 468, 470, 488, 509, 553, 623, 663] [3, 98, 156, 195, 216, 255, 260, 261, 265, 297, 351, 382, 400, 469, 471, 489, 510, 554, 624, 664] [4, 99, 157, 196, 217, 256, 261, 262, 266, 298, 352, 383, 401, 470, 472, 490, 511, 555, 625, 665] [5, 100, 158, 197, 218, 257, 262, 263, 267, 299, 353, 384, 402, 471, 473, 491, 512, 556, 626, 666] [6, 101, 159, 198, 219, 258, 263, 264, 268, 300, 354, 385, 403, 472, 474, 492, 513, 557, 627, 667] [7, 102, 160, 199, 220, 259, 264, 265, 269, 301, 355, 386, 404, 473, 475, 493, 514, 558, 628, 668] [8, 103, 161, 200, 221, 260, 265, 266, 270, 302, 356, 387, 405, 474, 476, 494, 515, 559, 629, 669] [9, 104, 162, 201, 222, 261, 266, 267, 271, 303, 357, 388, 406, 475, 477, 495, 516, 560, 630, 670] [10, 105, 163, 202, 223, 262, 267, 268, 272, 304, 358, 389, 407, 476, 478, 496, 517, 561, 631, 671] [11, 106, 164, 203, 224, 263, 268, 269, 273, 305, 359, 390, 408, 477, 479, 497, 518, 562, 632, 672] [12, 107, 165, 204, 225, 264, 269, 270, 274, 306, 360, 391, 409, 478, 480, 498, 519, 563, 633, 673] [13, 108, 166, 205, 226, 265, 270, 271, 275, 307, 337, 361, 392, 410, 479, 481, 499, 520, 564, 634] [14, 109, 167, 206, 227, 266, 271, 272, 276, 308, 338, 362, 393, 411, 480, 482, 500, 521, 565, 635] [15, 110, 168, 207, 228, 267, 272, 273, 277, 309, 339, 363, 394, 412, 481, 483, 501, 522, 566, 636] [16, 111, 169, 208, 229, 268, 273, 274, 278, 310, 340, 364, 395, 413, 482, 484, 502, 523, 567, 637] [17, 112, 170, 209, 230, 269, 274, 275, 279, 311, 341, 365, 396, 414, 483, 485, 503, 524, 568, 638] [18, 113, 171, 210, 231, 270, 275, 276, 280, 312, 342, 366, 397, 415, 484, 486, 504, 525, 569, 639] [19, 114, 172, 211, 232, 271, 276, 277, 281, 313, 343, 367, 398, 416, 485, 487, 505, 526, 570, 640] [20, 115, 173, 212, 233, 272, 277, 278, 282, 314, 344, 368, 399, 417, 486, 488, 506, 527, 571, 641] [21, 116, 174, 213, 234, 273, 278, 279, 283, 315, 345, 369, 400, 418, 487, 489, 507, 528, 572, 642] [22, 117, 175, 214, 235, 274, 279, 280, 284, 316, 346, 370, 401, 419, 488, 490, 508, 529, 573, 643] [23, 118, 176, 215, 236, 275, 280, 281, 285, 317, 347, 371, 402, 420, 489, 491, 509, 530, 574, 644] [24, 119, 177, 216, 237, 276, 281, 282, 286, 318, 348, 372, 403, 421, 490, 492, 510, 531, 575, 645] [25, 120, 178, 217, 238, 277, 282, 283, 287, 319, 349, 373, 404, 422, 491, 493, 511, 532, 576, 646] [26, 121, 179, 218, 239, 278, 283, 284, 288, 320, 350, 374, 405, 423, 492, 494, 512, 533, 577, 647] [27, 122, 180, 219, 240, 279, 284, 285, 289, 321, 351, 375, 406, 424, 493, 495, 513, 534, 578, 648] [28, 123, 181, 220, 241, 280, 285, 286, 290, 322, 352, 376, 407, 425, 494, 496, 514, 535, 579, 649] [29, 124, 182, 221, 242, 281, 286, 287, 291, 323, 353, 377, 408, 426, 495, 497, 515, 536, 580, 650] [30, 125, 183, 222, 243, 282, 287, 288, 292, 324, 354, 378, 409, 427, 496, 498, 516, 537, 581, 651] [31, 126, 184, 223, 244, 283, 288, 289, 293, 325, 355, 379, 410, 428, 497, 499, 517, 538, 582, 652] [32, 127, 185, 224, 245, 284, 289, 290, 294, 326, 356, 380, 411, 429, 498, 500, 518, 539, 583, 653] [33, 128, 186, 225, 246, 285, 290, 291, 295, 327, 357, 381, 412, 430, 499, 501, 519, 540, 584, 654] [34, 129, 187, 226, 247, 286, 291, 292, 296, 328, 358, 382, 413, 431, 500, 502, 520, 541, 585, 655] [35, 130, 188, 227, 248, 287, 292, 293, 297, 329, 359, 383, 414, 432, 501, 503, 521, 542, 586, 656] [36, 131, 189, 228, 249, 288, 293, 294, 298, 330, 360, 384, 415, 433, 502, 504, 522, 543, 587, 657] [37, 132, 190, 229, 250, 289, 294, 295, 299, 331, 361, 385, 416, 434, 503, 505, 523, 544, 588, 658] [38, 133, 191, 230, 251, 290, 295, 296, 300, 332, 362, 386, 417, 435, 504, 506, 524, 545, 589, 659] [39, 134, 192, 231, 252, 291, 296, 297, 301, 333, 363, 387, 418, 436, 505, 507, 525, 546, 590, 660] [40, 135, 193, 232, 253, 292, 297, 298, 302, 334, 364, 388, 419, 437, 506, 508, 526, 547, 591, 661] [41, 136, 194, 233, 254, 293, 298, 299, 303, 335, 365, 389, 420, 438, 507, 509, 527, 548, 592, 662] [42, 137, 195, 234, 255, 294, 299, 300, 304, 336, 366, 390, 421, 439, 508, 510, 528, 549, 593, 663] [0, 43, 138, 196, 235, 256, 295, 300, 301, 305, 367, 391, 422, 440, 509, 511, 529, 550, 594, 664] [1, 44, 139, 197, 236, 257, 296, 301, 302, 306, 368, 392, 423, 441, 510, 512, 530, 551, 595, 665] [2, 45, 140, 198, 237, 258, 297, 302, 303, 307, 369, 393, 424, 442, 511, 513, 531, 552, 596, 666] [3, 46, 141, 199, 238, 259, 298, 303, 304, 308, 370, 394, 425, 443, 512, 514, 532, 553, 597, 667] [4, 47, 142, 200, 239, 260, 299, 304, 305, 309, 371, 395, 426, 444, 513, 515, 533, 554, 598, 668] [5, 48, 143, 201, 240, 261, 300, 305, 306, 310, 372, 396, 427, 445, 514, 516, 534, 555, 599, 669] [6, 49, 144, 202, 241, 262, 301, 306, 307, 311, 373, 397, 428, 446, 515, 517, 535, 556, 600, 670] [7, 50, 145, 203, 242, 263, 302, 307, 308, 312, 374, 398, 429, 447, 516, 518, 536, 557, 601, 671] [8, 51, 146, 204, 243, 264, 303, 308, 309, 313, 375, 399, 430, 448, 517, 519, 537, 558, 602, 672] [9, 52, 147, 205, 244, 265, 304, 309, 310, 314, 376, 400, 431, 449, 518, 520, 538, 559, 603, 673] [10, 53, 148, 206, 245, 266, 305, 310, 311, 315, 337, 377, 401, 432, 450, 519, 521, 539, 560, 604] [11, 54, 149, 207, 246, 267, 306, 311, 312, 316, 338, 378, 402, 433, 451, 520, 522, 540, 561, 605] [12, 55, 150, 208, 247, 268, 307, 312, 313, 317, 339, 379, 403, 434, 452, 521, 523, 541, 562, 606] [13, 56, 151, 209, 248, 269, 308, 313, 314, 318, 340, 380, 404, 435, 453, 522, 524, 542, 563, 607] [14, 57, 152, 210, 249, 270, 309, 314, 315, 319, 341, 381, 405, 436, 454, 523, 525, 543, 564, 608] [15, 58, 153, 211, 250, 271, 310, 315, 316, 320, 342, 382, 406, 437, 455, 524, 526, 544, 565, 609] [16, 59, 154, 212, 251, 272, 311, 316, 317, 321, 343, 383, 407, 438, 456, 525, 527, 545, 566, 610] [17, 60, 155, 213, 252, 273, 312, 317, 318, 322, 344, 384, 408, 439, 457, 526, 528, 546, 567, 611] [18, 61, 156, 214, 253, 274, 313, 318, 319, 323, 345, 385, 409, 440, 458, 527, 529, 547, 568, 612] [19, 62, 157, 215, 254, 275, 314, 319, 320, 324, 346, 386, 410, 441, 459, 528, 530, 548, 569, 613] [20, 63, 158, 216, 255, 276, 315, 320, 321, 325, 347, 387, 411, 442, 460, 529, 531, 549, 570, 614] [21, 64, 159, 217, 256, 277, 316, 321, 322, 326, 348, 388, 412, 443, 461, 530, 532, 550, 571, 615] [22, 65, 160, 218, 257, 278, 317, 322, 323, 327, 349, 389, 413, 444, 462, 531, 533, 551, 572, 616] [23, 66, 161, 219, 258, 279, 318, 323, 324, 328, 350, 390, 414, 445, 463, 532, 534, 552, 573, 617] [24, 67, 162, 220, 259, 280, 319, 324, 325, 329, 351, 391, 415, 446, 464, 533, 535, 553, 574, 618] [25, 68, 163, 221, 260, 281, 320, 325, 326, 330, 352, 392, 416, 447, 465, 534, 536, 554, 575, 619] [26, 69, 164, 222, 261, 282, 321, 326, 327, 331, 353, 393, 417, 448, 466, 535, 537, 555, 576, 620] [27, 70, 165, 223, 262, 283, 322, 327, 328, 332, 354, 394, 418, 449, 467, 536, 538, 556, 577, 621] [28, 71, 166, 224, 263, 284, 323, 328, 329, 333, 355, 395, 419, 450, 468, 537, 539, 557, 578, 622] [29, 72, 167, 225, 264, 285, 324, 329, 330, 334, 356, 396, 420, 451, 469, 538, 540, 558, 579, 623] [30, 73, 168, 226, 265, 286, 325, 330, 331, 335, 357, 397, 421, 452, 470, 539, 541, 559, 580, 624] [31, 74, 169, 227, 266, 287, 326, 331, 332, 336, 358, 398, 422, 453, 471, 540, 542, 560, 581, 625] [0, 32, 75, 170, 228, 267, 288, 327, 332, 333, 359, 399, 423, 454, 472, 541, 543, 561, 582, 626] [1, 33, 76, 171, 229, 268, 289, 328, 333, 334, 360, 400, 424, 455, 473, 542, 544, 562, 583, 627] [2, 34, 77, 172, 230, 269, 290, 329, 334, 335, 361, 401, 425, 456, 474, 543, 545, 563, 584, 628] [3, 35, 78, 173, 231, 270, 291, 330, 335, 336, 362, 402, 426, 457, 475, 544, 546, 564, 585, 629] [0, 4, 36, 79, 174, 232, 271, 292, 331, 336, 363, 403, 427, 458, 476, 545, 547, 565, 586, 630] [0, 1, 5, 37, 80, 175, 233, 272, 293, 332, 364, 404, 428, 459, 477, 546, 548, 566, 587, 631] [1, 2, 6, 38, 81, 176, 234, 273, 294, 333, 365, 405, 429, 460, 478, 547, 549, 567, 588, 632] [2, 3, 7, 39, 82, 177, 235, 274, 295, 334, 366, 406, 430, 461, 479, 548, 550, 568, 589, 633] [3, 4, 8, 40, 83, 178, 236, 275, 296, 335, 367, 407, 431, 462, 480, 549, 551, 569, 590, 634] [4, 5, 9, 41, 84, 179, 237, 276, 297, 336, 368, 408, 432, 463, 481, 550, 552, 570, 591, 635] [0, 5, 6, 10, 42, 85, 180, 238, 277, 298, 369, 409, 433, 464, 482, 551, 553, 571, 592, 636] [1, 6, 7, 11, 43, 86, 181, 239, 278, 299, 370, 410, 434, 465, 483, 552, 554, 572, 593, 637] [2, 7, 8, 12, 44, 87, 182, 240, 279, 300, 371, 411, 435, 466, 484, 553, 555, 573, 594, 638] [3, 8, 9, 13, 45, 88, 183, 241, 280, 301, 372, 412, 436, 467, 485, 554, 556, 574, 595, 639] [4, 9, 10, 14, 46, 89, 184, 242, 281, 302, 373, 413, 437, 468, 486, 555, 557, 575, 596, 640] [5, 10, 11, 15, 47, 90, 185, 243, 282, 303, 374, 414, 438, 469, 487, 556, 558, 576, 597, 641] [6, 11, 12, 16, 48, 91, 186, 244, 283, 304, 375, 415, 439, 470, 488, 557, 559, 577, 598, 642] [7, 12, 13, 17, 49, 92, 187, 245, 284, 305, 376, 416, 440, 471, 489, 558, 560, 578, 599, 643] [8, 13, 14, 18, 50, 93, 188, 246, 285, 306, 377, 417, 441, 472, 490, 559, 561, 579, 600, 644] [9, 14, 15, 19, 51, 94, 189, 247, 286, 307, 378, 418, 442, 473, 491, 560, 562, 580, 601, 645] [10, 15, 16, 20, 52, 95, 190, 248, 287, 308, 379, 419, 443, 474, 492, 561, 563, 581, 602, 646] [11, 16, 17, 21, 53, 96, 191, 249, 288, 309, 380, 420, 444, 475, 493, 562, 564, 582, 603, 647] [12, 17, 18, 22, 54, 97, 192, 250, 289, 310, 381, 421, 445, 476, 494, 563, 565, 583, 604, 648] [13, 18, 19, 23, 55, 98, 193, 251, 290, 311, 382, 422, 446, 477, 495, 564, 566, 584, 605, 649] [14, 19, 20, 24, 56, 99, 194, 252, 291, 312, 383, 423, 447, 478, 496, 565, 567, 585, 606, 650] [15, 20, 21, 25, 57, 100, 195, 253, 292, 313, 384, 424, 448, 479, 497, 566, 568, 586, 607, 651] [16, 21, 22, 26, 58, 101, 196, 254, 293, 314, 385, 425, 449, 480, 498, 567, 569, 587, 608, 652] [17, 22, 23, 27, 59, 102, 197, 255, 294, 315, 386, 426, 450, 481, 499, 568, 570, 588, 609, 653] [18, 23, 24, 28, 60, 103, 198, 256, 295, 316, 387, 427, 451, 482, 500, 569, 571, 589, 610, 654] [19, 24, 25, 29, 61, 104, 199, 257, 296, 317, 388, 428, 452, 483, 501, 570, 572, 590, 611, 655] [20, 25, 26, 30, 62, 105, 200, 258, 297, 318, 389, 429, 453, 484, 502, 571, 573, 591, 612, 656] [21, 26, 27, 31, 63, 106, 201, 259, 298, 319, 390, 430, 454, 485, 503, 572, 574, 592, 613, 657] [22, 27, 28, 32, 64, 107, 202, 260, 299, 320, 391, 431, 455, 486, 504, 573, 575, 593, 614, 658] [23, 28, 29, 33, 65, 108, 203, 261, 300, 321, 392, 432, 456, 487, 505, 574, 576, 594, 615, 659] [24, 29, 30, 34, 66, 109, 204, 262, 301, 322, 393, 433, 457, 488, 506, 575, 577, 595, 616, 660] [25, 30, 31, 35, 67, 110, 205, 263, 302, 323, 394, 434, 458, 489, 507, 576, 578, 596, 617, 661] [26, 31, 32, 36, 68, 111, 206, 264, 303, 324, 395, 435, 459, 490, 508, 577, 579, 597, 618, 662] [27, 32, 33, 37, 69, 112, 207, 265, 304, 325, 396, 436, 460, 491, 509, 578, 580, 598, 619, 663] [28, 33, 34, 38, 70, 113, 208, 266, 305, 326, 397, 437, 461, 492, 510, 579, 581, 599, 620, 664] [29, 34, 35, 39, 71, 114, 209, 267, 306, 327, 398, 438, 462, 493, 511, 580, 582, 600, 621, 665] [30, 35, 36, 40, 72, 115, 210, 268, 307, 328, 399, 439, 463, 494, 512, 581, 583, 601, 622, 666] [31, 36, 37, 41, 73, 116, 211, 269, 308, 329, 400, 440, 464, 495, 513, 582, 584, 602, 623, 667] [32, 37, 38, 42, 74, 117, 212, 270, 309, 330, 401, 441, 465, 496, 514, 583, 585, 603, 624, 668] [33, 38, 39, 43, 75, 118, 213, 271, 310, 331, 402, 442, 466, 497, 515, 584, 586, 604, 625, 669] [34, 39, 40, 44, 76, 119, 214, 272, 311, 332, 403, 443, 467, 498, 516, 585, 587, 605, 626, 670] [35, 40, 41, 45, 77, 120, 215, 273, 312, 333, 404, 444, 468, 499, 517, 586, 588, 606, 627, 671] [36, 41, 42, 46, 78, 121, 216, 274, 313, 334, 405, 445, 469, 500, 518, 587, 589, 607, 628, 672] [37, 42, 43, 47, 79, 122, 217, 275, 314, 335, 406, 446, 470, 501, 519, 588, 590, 608, 629, 673] [38, 43, 44, 48, 80, 123, 218, 276, 315, 336, 337, 407, 447, 471, 502, 520, 589, 591, 609, 630] [0, 39, 44, 45, 49, 81, 124, 219, 277, 316, 338, 408, 448, 472, 503, 521, 590, 592, 610, 631] [1, 40, 45, 46, 50, 82, 125, 220, 278, 317, 339, 409, 449, 473, 504, 522, 591, 593, 611, 632] [2, 41, 46, 47, 51, 83, 126, 221, 279, 318, 340, 410, 450, 474, 505, 523, 592, 594, 612, 633] [3, 42, 47, 48, 52, 84, 127, 222, 280, 319, 341, 411, 451, 475, 506, 524, 593, 595, 613, 634] [4, 43, 48, 49, 53, 85, 128, 223, 281, 320, 342, 412, 452, 476, 507, 525, 594, 596, 614, 635] [5, 44, 49, 50, 54, 86, 129, 224, 282, 321, 343, 413, 453, 477, 508, 526, 595, 597, 615, 636] [6, 45, 50, 51, 55, 87, 130, 225, 283, 322, 344, 414, 454, 478, 509, 527, 596, 598, 616, 637] [7, 46, 51, 52, 56, 88, 131, 226, 284, 323, 345, 415, 455, 479, 510, 528, 597, 599, 617, 638] [8, 47, 52, 53, 57, 89, 132, 227, 285, 324, 346, 416, 456, 480, 511, 529, 598, 600, 618, 639] [9, 48, 53, 54, 58, 90, 133, 228, 286, 325, 347, 417, 457, 481, 512, 530, 599, 601, 619, 640] [10, 49, 54, 55, 59, 91, 134, 229, 287, 326, 348, 418, 458, 482, 513, 531, 600, 602, 620, 641] [11, 50, 55, 56, 60, 92, 135, 230, 288, 327, 349, 419, 459, 483, 514, 532, 601, 603, 621, 642] [12, 51, 56, 57, 61, 93, 136, 231, 289, 328, 350, 420, 460, 484, 515, 533, 602, 604, 622, 643] [13, 52, 57, 58, 62, 94, 137, 232, 290, 329, 351, 421, 461, 485, 516, 534, 603, 605, 623, 644] [14, 53, 58, 59, 63, 95, 138, 233, 291, 330, 352, 422, 462, 486, 517, 535, 604, 606, 624, 645] [15, 54, 59, 60, 64, 96, 139, 234, 292, 331, 353, 423, 463, 487, 518, 536, 605, 607, 625, 646] [16, 55, 60, 61, 65, 97, 140, 235, 293, 332, 354, 424, 464, 488, 519, 537, 606, 608, 626, 647] [17, 56, 61, 62, 66, 98, 141, 236, 294, 333, 355, 425, 465, 489, 520, 538, 607, 609, 627, 648] [18, 57, 62, 63, 67, 99, 142, 237, 295, 334, 356, 426, 466, 490, 521, 539, 608, 610, 628, 649] [19, 58, 63, 64, 68, 100, 143, 238, 296, 335, 357, 427, 467, 491, 522, 540, 609, 611, 629, 650] [20, 59, 64, 65, 69, 101, 144, 239, 297, 336, 358, 428, 468, 492, 523, 541, 610, 612, 630, 651] [0, 21, 60, 65, 66, 70, 102, 145, 240, 298, 359, 429, 469, 493, 524, 542, 611, 613, 631, 652] [1, 22, 61, 66, 67, 71, 103, 146, 241, 299, 360, 430, 470, 494, 525, 543, 612, 614, 632, 653] [2, 23, 62, 67, 68, 72, 104, 147, 242, 300, 361, 431, 471, 495, 526, 544, 613, 615, 633, 654] [3, 24, 63, 68, 69, 73, 105, 148, 243, 301, 362, 432, 472, 496, 527, 545, 614, 616, 634, 655] [4, 25, 64, 69, 70, 74, 106, 149, 244, 302, 363, 433, 473, 497, 528, 546, 615, 617, 635, 656] [5, 26, 65, 70, 71, 75, 107, 150, 245, 303, 364, 434, 474, 498, 529, 547, 616, 618, 636, 657] [6, 27, 66, 71, 72, 76, 108, 151, 246, 304, 365, 435, 475, 499, 530, 548, 617, 619, 637, 658] [7, 28, 67, 72, 73, 77, 109, 152, 247, 305, 366, 436, 476, 500, 531, 549, 618, 620, 638, 659] [8, 29, 68, 73, 74, 78, 110, 153, 248, 306, 367, 437, 477, 501, 532, 550, 619, 621, 639, 660] [9, 30, 69, 74, 75, 79, 111, 154, 249, 307, 368, 438, 478, 502, 533, 551, 620, 622, 640, 661] [10, 31, 70, 75, 76, 80, 112, 155, 250, 308, 369, 439, 479, 503, 534, 552, 621, 623, 641, 662] [11, 32, 71, 76, 77, 81, 113, 156, 251, 309, 370, 440, 480, 504, 535, 553, 622, 624, 642, 663] [12, 33, 72, 77, 78, 82, 114, 157, 252, 310, 371, 441, 481, 505, 536, 554, 623, 625, 643, 664] [13, 34, 73, 78, 79, 83, 115, 158, 253, 311, 372, 442, 482, 506, 537, 555, 624, 626, 644, 665] [14, 35, 74, 79, 80, 84, 116, 159, 254, 312, 373, 443, 483, 507, 538, 556, 625, 627, 645, 666] [15, 36, 75, 80, 81, 85, 117, 160, 255, 313, 374, 444, 484, 508, 539, 557, 626, 628, 646, 667] [16, 37, 76, 81, 82, 86, 118, 161, 256, 314, 375, 445, 485, 509, 540, 558, 627, 629, 647, 668] [17, 38, 77, 82, 83, 87, 119, 162, 257, 315, 376, 446, 486, 510, 541, 559, 628, 630, 648, 669] [18, 39, 78, 83, 84, 88, 120, 163, 258, 316, 377, 447, 487, 511, 542, 560, 629, 631, 649, 670] [19, 40, 79, 84, 85, 89, 121, 164, 259, 317, 378, 448, 488, 512, 543, 561, 630, 632, 650, 671] [20, 41, 80, 85, 86, 90, 122, 165, 260, 318, 379, 449, 489, 513, 544, 562, 631, 633, 651, 672] [21, 42, 81, 86, 87, 91, 123, 166, 261, 319, 380, 450, 490, 514, 545, 563, 632, 634, 652, 673] [22, 43, 82, 87, 88, 92, 124, 167, 262, 320, 337, 381, 451, 491, 515, 546, 564, 633, 635, 653] [23, 44, 83, 88, 89, 93, 125, 168, 263, 321, 338, 382, 452, 492, 516, 547, 565, 634, 636, 654] [24, 45, 84, 89, 90, 94, 126, 169, 264, 322, 339, 383, 453, 493, 517, 548, 566, 635, 637, 655] [25, 46, 85, 90, 91, 95, 127, 170, 265, 323, 340, 384, 454, 494, 518, 549, 567, 636, 638, 656] [26, 47, 86, 91, 92, 96, 128, 171, 266, 324, 341, 385, 455, 495, 519, 550, 568, 637, 639, 657] [27, 48, 87, 92, 93, 97, 129, 172, 267, 325, 342, 386, 456, 496, 520, 551, 569, 638, 640, 658] [28, 49, 88, 93, 94, 98, 130, 173, 268, 326, 343, 387, 457, 497, 521, 552, 570, 639, 641, 659] [29, 50, 89, 94, 95, 99, 131, 174, 269, 327, 344, 388, 458, 498, 522, 553, 571, 640, 642, 660] [30, 51, 90, 95, 96, 100, 132, 175, 270, 328, 345, 389, 459, 499, 523, 554, 572, 641, 643, 661] [31, 52, 91, 96, 97, 101, 133, 176, 271, 329, 346, 390, 460, 500, 524, 555, 573, 642, 644, 662] [32, 53, 92, 97, 98, 102, 134, 177, 272, 330, 347, 391, 461, 501, 525, 556, 574, 643, 645, 663] [33, 54, 93, 98, 99, 103, 135, 178, 273, 331, 348, 392, 462, 502, 526, 557, 575, 644, 646, 664] [34, 55, 94, 99, 100, 104, 136, 179, 274, 332, 349, 393, 463, 503, 527, 558, 576, 645, 647, 665] [35, 56, 95, 100, 101, 105, 137, 180, 275, 333, 350, 394, 464, 504, 528, 559, 577, 646, 648, 666] [36, 57, 96, 101, 102, 106, 138, 181, 276, 334, 351, 395, 465, 505, 529, 560, 578, 647, 649, 667] [37, 58, 97, 102, 103, 107, 139, 182, 277, 335, 352, 396, 466, 506, 530, 561, 579, 648, 650, 668] [38, 59, 98, 103, 104, 108, 140, 183, 278, 336, 353, 397, 467, 507, 531, 562, 580, 649, 651, 669] [0, 39, 60, 99, 104, 105, 109, 141, 184, 279, 354, 398, 468, 508, 532, 563, 581, 650, 652, 670] [1, 40, 61, 100, 105, 106, 110, 142, 185, 280, 355, 399, 469, 509, 533, 564, 582, 651, 653, 671] [2, 41, 62, 101, 106, 107, 111, 143, 186, 281, 356, 400, 470, 510, 534, 565, 583, 652, 654, 672] [3, 42, 63, 102, 107, 108, 112, 144, 187, 282, 357, 401, 471, 511, 535, 566, 584, 653, 655, 673] [4, 43, 64, 103, 108, 109, 113, 145, 188, 283, 337, 358, 402, 472, 512, 536, 567, 585, 654, 656] [5, 44, 65, 104, 109, 110, 114, 146, 189, 284, 338, 359, 403, 473, 513, 537, 568, 586, 655, 657] [6, 45, 66, 105, 110, 111, 115, 147, 190, 285, 339, 360, 404, 474, 514, 538, 569, 587, 656, 658] [7, 46, 67, 106, 111, 112, 116, 148, 191, 286, 340, 361, 405, 475, 515, 539, 570, 588, 657, 659] [8, 47, 68, 107, 112, 113, 117, 149, 192, 287, 341, 362, 406, 476, 516, 540, 571, 589, 658, 660] [9, 48, 69, 108, 113, 114, 118, 150, 193, 288, 342, 363, 407, 477, 517, 541, 572, 590, 659, 661] [10, 49, 70, 109, 114, 115, 119, 151, 194, 289, 343, 364, 408, 478, 518, 542, 573, 591, 660, 662] [11, 50, 71, 110, 115, 116, 120, 152, 195, 290, 344, 365, 409, 479, 519, 543, 574, 592, 661, 663] [12, 51, 72, 111, 116, 117, 121, 153, 196, 291, 345, 366, 410, 480, 520, 544, 575, 593, 662, 664] [13, 52, 73, 112, 117, 118, 122, 154, 197, 292, 346, 367, 411, 481, 521, 545, 576, 594, 663, 665] [14, 53, 74, 113, 118, 119, 123, 155, 198, 293, 347, 368, 412, 482, 522, 546, 577, 595, 664, 666] [15, 54, 75, 114, 119, 120, 124, 156, 199, 294, 348, 369, 413, 483, 523, 547, 578, 596, 665, 667] [16, 55, 76, 115, 120, 121, 125, 157, 200, 295, 349, 370, 414, 484, 524, 548, 579, 597, 666, 668] [17, 56, 77, 116, 121, 122, 126, 158, 201, 296, 350, 371, 415, 485, 525, 549, 580, 598, 667, 669] [18, 57, 78, 117, 122, 123, 127, 159, 202, 297, 351, 372, 416, 486, 526, 550, 581, 599, 668, 670] [19, 58, 79, 118, 123, 124, 128, 160, 203, 298, 352, 373, 417, 487, 527, 551, 582, 600, 669, 671] [20, 59, 80, 119, 124, 125, 129, 161, 204, 299, 353, 374, 418, 488, 528, 552, 583, 601, 670, 672] [21, 60, 81, 120, 125, 126, 130, 162, 205, 300, 354, 375, 419, 489, 529, 553, 584, 602, 671, 673] [22, 61, 82, 121, 126, 127, 131, 163, 206, 301, 337, 355, 376, 420, 490, 530, 554, 585, 603, 672] [23, 62, 83, 122, 127, 128, 132, 164, 207, 302, 338, 356, 377, 421, 491, 531, 555, 586, 604, 673] [24, 63, 84, 123, 128, 129, 133, 165, 208, 303, 337, 339, 357, 378, 422, 492, 532, 556, 587, 605] [25, 64, 85, 124, 129, 130, 134, 166, 209, 304, 338, 340, 358, 379, 423, 493, 533, 557, 588, 606] [26, 65, 86, 125, 130, 131, 135, 167, 210, 305, 339, 341, 359, 380, 424, 494, 534, 558, 589, 607] [27, 66, 87, 126, 131, 132, 136, 168, 211, 306, 340, 342, 360, 381, 425, 495, 535, 559, 590, 608]

Code ID 674-86-92 · download JSON · raw on GitHub