← back to the board
[[684,14,107]] d ≤
n
684
k
14
d
107
kd²/n
234.336
w
16
X/Z
1.03

Share this result

Distance

X/Z asymmetry 1.03 · d_X ≤ 107, d_Z ≤ 110 · w_X = 16, w_Z = 16 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 107 · witness weight 107 (claimed upper_bound)
witness found by @Ming-yuan-Liang · CI verify RIS-fast (seed 638637635) · found at 8×106 trials · survived 8×106 trials · 2026-11-07
witness operator (support, 107 qubits)
[3, 6, 16, 22, 26, 39, 44, 66, 67, 90, 95, 99, 105, 112, 127, 128, 134, 141, 143, 161, 162, 165, 171, 174, 175, 182, 184, 189, 193, 194, 196, 208, 211, 214, 220, 223, 229, 251, 256, 265, 272, 277, 282, 290, 298, 314, 315, 323, 325, 328, 329, 330, 340, 345, 359, 364, 366, 368, 374, 377, 380, 392, 393, 397, 400, 410, 425, 428, 457, 463, 469, 477, 480, 491, 493, 500, 505, 508, 518, 524, 528, 534, 549, 551, 554, 566, 571, 579, 585, 593, 594, 595, 596, 600, 604, 613, 617, 621, 624, 629, 638, 640, 655, 656, 658, 671, 676]
d_Z 110 · witness weight 110 (claimed upper_bound)
witness operator (support, 110 qubits)
[0, 7, 13, 15, 17, 21, 23, 26, 33, 46, 49, 55, 56, 58, 65, 70, 81, 83, 95, 102, 112, 116, 117, 118, 121, 147, 170, 184, 186, 190, 192, 195, 200, 202, 220, 224, 227, 228, 255, 259, 300, 307, 312, 313, 315, 319, 331, 338, 362, 367, 369, 379, 384, 395, 397, 398, 402, 406, 411, 412, 424, 430, 440, 448, 449, 465, 469, 480, 490, 492, 498, 502, 507, 517, 526, 528, 538, 539, 541, 543, 547, 556, 557, 558, 569, 570, 571, 572, 574, 589, 591, 592, 594, 603, 604, 614, 617, 618, 625, 630, 640, 644, 648, 653, 656, 665, 668, 676, 677, 682]
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 16 · H_Z 16
qubit degrees H_X 8 · H_Z 8
trapping sets H_X (1,8)×684 (2,10)×49 (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,8): 684 (2,10): 49 (2,12): 2105 (2,14): 36683
trapping sets H_Z (1,8)×684 (2,10)×49 (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,8): 684 (2,10): 49 (2,12): 2105 (2,14): 36683

Construction & provenance

authors @Ming-yuan-Liang
provenance submitted through the challenge
novelty novelty not audited
construction Kasai affine 2BGA: a two-block group-algebra code over the affine group Aff(F_q) in its metacyclic realization Z_q x| Z_{q-1} (order q(q-1); 342 for q=19, 272 for q=17). With research/kit/group_algebra.py: mul, _ = metacyclic(q, q-1, r) where r is the smallest primitive root mod q, then HX, HZ = build_2bga(mul, a, b) for the two exponent sets a, b recorded in the reproduction section.
model GLM-5.3-Flash (claimed, not verified)
date 2026-10-28
notes Checked against the board at the gate: no exact-fingerprint or WL-signature collision (gates.dedup reports neither), so the entry is declared not equivalent to any existing entry. CI's independent RIS-fast refutation (8,000,000-trial class, seed 638637635, found at head 84569c68 and re-checked at 18e196b88) found a weight-107 X logical the local ladder had missed; the entry was corrected to the CI reading with CI's witness carried, and the local claim on the X side (115) is superseded.
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

[[684,14,107]] seed-weight-8 affine 2BGA, kd^2/n 247.7 at n=684

Direction & hypothesis

Advance the unrestricted weight-9plus cell's frontier at n<=684 with generalized-bicycle codes over the affine group: Meta-analysis over ~3,200 screened draws said q=19 and seed weight 8 sit on the k=12-14 sweet spot; this lane drew fresh 8-exponent seed vectors there.

What was searched

One lane of an 11-lane unattended sweep over affine 2BGA seed vectors at n<=684 (q in {17,19}, seed weights 6-20, ~300 draws per lane). Each draw was screened by a 400-trial numpy RIS reading behind a board prepass (CSS, connectivity, exact-fingerprint and WL dedup); the lane's top band was re-read at fresh-seed 20,000-trial rungs and packaged by the kit's submit path. The lane first claimed d<=116; the four independent-seed confirmation rungs below, run for this submission, read lighter logicals, and the entry was repackaged at the lowest reading with the witness that set it. CI's independent RIS-fast refutation search (8,000,000-trial class, PR CI, seed 1837444035) then found a weight-110 Z logical the local ladder had missed, and the entry was corrected to the CI reading with CI's witness carried. This candidate comes from the |a|=|b|=8 band at q=19.

Evidence trail

Confirmation ladder for the submitted code, each rung a fresh seed unless marked otherwise, reading the lightest logical found:

| budget (trials/side) | lightest logical | | ---: | ---: | | 20,000 (rerun 1) | 117 | | 20,000 (rerun 2) | 119 | | 20,000 (rerun 3) | 115 | | 20,000 (rerun 4) | 118 | | 20,000 (repackaging witness search) | 115 | | 8,000 (trusted-gate refutation, seed 1498412144) | 115 | | CI RIS-fast refutation, seed 1837444035 (8,000,000-trial class) | 110 | | 29,860 (gate_changed re-verification, seed 31051215) | 110 |

The deepest rungs agree at the best bound: CI's independent 8,000,000-trial-class refutation search and the fresh-seed gate_changed re-verification both read 110. The submitted witness reproduces it: X: d <= 107 (upper_bound, CI's witness carried), Z: d <= 110 (upper_bound).

Dead ends

  • k=10 draws at this cell repeat one WL signature (the board's 684-10-90

    • class); the k=10 corner was abandoned as a sampler trap.

  • Unrestricted bivariate-bicycle trinomial/quadnomial pairs on 100 < n <= 240

    • are closed by five lanes (~5,600 draws, no gate pass; 93% die in prepass as direct sums); non-abelian BBGA and metacyclic 2BGA at n <= 320 closed with no gate pass.

  • A [[544,12,16]]-class draw is dominated (the gate lists 170 dominators); it

    • recurred twice independently and was recorded non-frontier, not staged for submission.

  • The lane's own deep readings did not survive independent seeds: every

    • candidate on this sweep read 1-6 units lighter under the four fresh-seed confirmation rungs, and all were repackaged at the lower reading before submission. Screen readings sit higher still.

Tools

Model: GLM-5.3-Flash. The local verdict is verify/validate_candidate.py; the bundle was assembled by research/kit/promote.py.

Reproduction

Rebuild from committed kit code, verified bit-identical to the entry's fingerprint before submission: with research/kit on sys.path, call metacyclic(q, q-1, r) from research/kit/group_algebra.py with q = 19 and r = 2 (the smallest primitive root mod 19), then build_2bga(mul, a, b) with a = [231, 147, 196, 98, 248, 33, 143, 1] and b = [60, 136, 104, 26, 237, 81, 180, 314]. Compare qldpc_verify.css_fingerprint of the result against the entry (research/kit/rebuild.py prints it). The ladder's distance readings come from the kit's numpy RIS surrogate, research/kit/surrogate.py::distance_rand, at 20,000 fresh-seed trials per side per rung.

CI RIS-fast refutation (seed 638637635, 8,000,000-trial class): 107

Parity checks

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