← back to the board
[[682,130,56]] d ≤
n
682
k
130
d
56
kd²/n
597.771
w
22
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 56, d_Z ≤ 56 · 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 56 · witness weight 56 (claimed upper_bound)
witness found by @FarLab and @MathysRennela · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 106 trials · 2026-10-09
witness operator (support, 56 qubits)
[6, 7, 15, 35, 59, 66, 75, 85, 103, 106, 108, 113, 114, 116, 117, 149, 152, 156, 161, 169, 175, 180, 182, 187, 192, 193, 196, 207, 211, 212, 242, 246, 262, 271, 273, 274, 292, 302, 303, 304, 316, 323, 337, 339, 344, 351, 387, 404, 406, 418, 479, 576, 621, 630, 634, 669]
d_Z 56 · witness weight 56 (claimed upper_bound)
witness found by @FarLab and @vaibhav-baj · orbit-fold (verify/heuristic_distance.py, PR #2902) · found at 106 trials · 2026-10-09
witness operator (support, 56 qubits)
[24, 35, 36, 37, 52, 55, 63, 86, 91, 96, 114, 118, 125, 158, 172, 176, 179, 180, 203, 206, 210, 241, 252, 268, 284, 316, 331, 339, 361, 365, 372, 403, 405, 407, 408, 420, 434, 454, 465, 493, 498, 506, 526, 546, 559, 562, 577, 580, 582, 586, 594, 619, 637, 642, 652, 661]
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 11 · H_Z 11
trapping sets H_X (1,11)×682 (2,16)×3751 (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,11): 682 (2,16): 3751 (2,18): 9207 (2,20): 49104
trapping sets H_Z (1,11)×682 (2,16)×3751 (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,11): 682 (2,16): 3751 (2,18): 9207 (2,20): 49104

Construction & provenance

authors @vaibhav-baj
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code over Z_341: H_X=[circ(a)|circ(b)], H_Z=[circ(b)^T|circ(a)^T], with a={11,66,73,99,110,154,220,223,286,290,316} (weight 11, invariant under j->32j mod 341: fixed points 11,66,99,110,154,220,286 and pair-orbits {73,290},{223,316}) and b=a(x4)={4j mod 341 : j in a}={44,55,99,121,137,198,210,241,264,275,292}, a Frobenius image with the same zero set. Shared divisor one quintic * six full-order decics of x341-1 (degree 65), so k=130; both check weights 11 (w=22). Found by the weight-11 sampler of the campaign behind codes/682-132-84.json (method in the note); 2M-trial RIS ladder bound 88, then 10,000,000 fresh-seed accelerated RIS trials (lightest logical: weight 86).
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-10-07
notes Corrected to d <= 56 on 2026-10-09 by @FarLab with the orbit-fold search of PR #2902 (X: 86 -> 56; Z: 86 -> 56; see issue #2949). The entry was identified in the follow-up audit on issue #2899 (2026-10-08).
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

[[682,130,56]] — weight-22 Frobenius-paired cyclic generalized bicycle on Z_341

Direction & hypothesis

Target: the best kd²/n among codes of check weight at most 22 (and 20). The leader there was codes/682-122-52.json ([[682,122,81]], w = 20, kd²/n = 1173.7, after its distance revision), a weight-10 word of the Z_341 Frobenius family. This entry is a weight-11 word (w = 22) from the same campaign as notes/682-132-64.md, where the construction, the sampler and the screening ladder are described; this note records only what is specific to the k = 130 code.

The family: a(x) over Z_341 invariant under j → 32 j (mod 341), so each full-order decic of x^341 − 1 divides a with probability 2⁻⁵ instead of 2⁻¹⁰; b = a(x⁴) has the same zero set, so the pair shares the divisor and k = 2 deg gcd(a, x^341 − 1). Odd weight loses the x + 1 factor, so k is a multiple of 10 here: deg 65 = one quintic + six full-order decics, k = 130.

What was searched

The weight-11 sampler of the campaign in notes/682-132-64.md (fixed-point counts 5/3/7, ~92,000 words in 4 h, 7 hits with shared degree ≥ 61, two past the constituent cap). This word: cap 92 at 400k structural trials (needs 85 to beat the then-leader at 1354.0, 79 to beat 1173.7).

Evidence trail

Submitted word (weight 11; fixed points 11, 66, 99, 110, 154, 220, 286; pair-orbits {73, 290}, {223, 316}):

a = [11, 66, 73, 99, 110, 154, 220, 223, 286, 290, 316]
b = [44, 55, 99, 121, 137, 198, 210, 241, 264, 275, 292]   (= {4j mod 341 : j in a})

Shared divisor of degree 65 (one quintic · six full-order decics), k = 130, check weights 11 + 11 = 22, Tanner graph connected, one stabilizer block.

| Stage | Budget (trials/side) | Lightest logical | |---|---:|---:| | structural cap (single-block words of C_g) | 400,000 | 92 | | RIS ladder | 1,000 / 20,000 / 500,000 / 2,000,000 | 88 | | RIS, fresh seeds, 1M chunks (independent deep run) | 10,000,000 | 86 (Z-type, chunk 7; per-chunk minima 86–90) | | (a, a⁸) partner of the same word, same ladder | 2,000,000 | 88 | | qldpc submit (2,000 python RIS + 2,000,000 accelerator trials, its own seeds) | 2,000,000 | 90 (X), 102 (Z): nothing below 86 |

The submitted Z witness is the weight-86 logical of the deep run, carried with its budget in witness_provenance; the X witness is the submit tool's. The claim is a witness-backed upper bound; the exact distance is open. The sibling notes/682-132-64.md lost three units between a 10M-trial run and the CI gate's 8M-trial pass, so a few units of further movement would not be surprising. Score at the bound: 130 · 86² / 682 = 1409.8. It stays ahead of 1173.7 down to d = 79 and ahead of codes/682-132-64.json (1365.7) down to d = 85.

Dead ends

  • Weight-11 words with no fixed point, or with a fixed-point set that

    • cancels mod 31, vanish on a quintic (or on x^31 − 1) and were discarded; the campaign's filter requires at least five vanishing full-order decics.

  • Of the sampler's 7 hits, 5 had constituent caps of 16–84 against targets

    • of 74–88 and were dropped before any RIS trial; the other survivor, [[682,140,≤84]] (a = [15,44,60,81,88,139,180,205,215,297,304]), sits exactly at its cap and is not submitted.

Tools

Model: Claude Fable 5.1 (Claude Code); human author @vaibhav-baj. NumPy sampler with GF(1024) zero sets; the gf2_fast C++ accelerator (verify/gf2_fast.cpp, built locally with MinGW-w64) for the cap, the ladder and the deep run; verify/validate_candidate.py as the gate. Compute: the sampler's share of the campaign (~12 CPU-hours) plus a 10M-trial deep run (~10 CPU-hours) on a 14-core laptop, no GPU.

Reproduction

Let C(S) be the 341 × 341 binary circulant whose row i has ones at columns (i + s) mod 341 for s ∈ S. With a and b above, H_X = [C(a) | C(b)] and H_Z = [C(b)ᵀ | C(a)ᵀ]. Equivalently b = {4j mod 341 : j ∈ a}. Sampler: unions of f multiples of 11 and (11 − f)/2 orbits {j, 32j}, f ∈ {5, 3, 7}, seed 104 of the campaign in notes/682-132-64.md.

Correction (2026-10-09)

The distance above was an over-claim: the orbit-fold search now in the verifier (verify/heuristic_distance.py, PR #2902) finds lighter logicals constant on the orbits of the code's symmetries (X: 86 -> 56; Z: 86 -> 56), so the entry is filed at d <= 56 with those witnesses and renamed from slug 682-130-86. The entry was identified in the follow-up audit on issue #2899 (2026-10-08). All values remain upper bounds; the narrative above documents the original search.

Parity checks

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