← back to the board
[[630,32,70]] d ≤
n
630
k
32
d
70
kd²/n
248.889
w
16
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 70, d_Z ≤ 70 · 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 70 · witness weight 70 (claimed upper_bound)
witness operator (support, 70 qubits)
[1, 25, 33, 34, 37, 51, 53, 59, 64, 88, 96, 97, 100, 114, 116, 122, 127, 151, 159, 160, 163, 177, 179, 185, 190, 214, 222, 223, 226, 240, 242, 248, 253, 277, 285, 286, 289, 303, 305, 311, 323, 324, 357, 367, 368, 376, 386, 387, 420, 430, 431, 439, 449, 450, 483, 493, 494, 502, 512, 513, 546, 556, 557, 565, 575, 576, 609, 619, 620, 628]
d_Z 70 · witness weight 70 (claimed upper_bound)
witness operator (support, 70 qubits)
[2, 10, 11, 21, 54, 55, 65, 73, 74, 84, 117, 118, 128, 136, 137, 147, 180, 181, 191, 199, 200, 210, 243, 244, 254, 262, 263, 273, 306, 307, 319, 325, 327, 341, 344, 345, 353, 377, 382, 388, 390, 404, 407, 408, 416, 440, 445, 451, 453, 467, 470, 471, 479, 503, 508, 514, 516, 530, 533, 534, 542, 566, 571, 577, 579, 593, 596, 597, 605, 629]
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 7–9 (mean 8.0) · H_Z 7–9 (mean 8.0)
trapping sets H_X (1,7)×315 (2,10)×315 (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,7): 315 (1,9): 315 (2,10): 315 (2,12): 7245 (2,14): 17955 (2,16): 10080
trapping sets H_Z (1,7)×315 (2,10)×315 (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,7): 315 (1,9): 315 (2,10): 315 (2,12): 7245 (2,14): 17955 (2,16): 10080

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty known parameter set; see provenance notes
construction Cyclic generalized-bicycle code on the ring x315-1 with a(x) = x7+x18+x29+x45+x111+x146+x163+x208+x286, b(x) = x46+x65+x112+x143+x167+x187+x274; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].
model Claude Claude Opus 5 (claimed, not verified)
date 2026-10-11
notes Cyclic generalized-bicycle code from a randomized sweep of sparse polynomial pairs. Checked against the live board: undominated in its cell.
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

[[630,32,70]] weight-16 cyclic generalized-bicycle

Direction & hypothesis

The board held codes/630-32-60.json at exactly this n, k and row weight, so the only axis left was distance. The modulus m = 315 was reachable the whole time and had been abandoned: a modulus-selection metric I was using priced each candidate ring by a score ceiling k(2m/q)^2/n against the best kd^2/n in its blocklength bucket, and declared m = 315 saturated on 2026-10-06. That metric is wrong twice over. The ceiling rests on the quotient-norm lift cap, which the symmetric fold described below refutes outright, and the comparison treats the board as a score table when it is a Pareto front over n, k, d and w. Repriced by how many undominated candidates a modulus still yields, m = 315 was the richest ring available, with 115,819 archived rows that had never been screened.

What was searched

The sweep draws sparse polynomial pairs on x^315 - 1, computes k = 2 deg gcd(a, b, x^m - 1) by Euclid so most draws die before any matrix work, and prices survivors against the quotient-norm lift, the single-block ideal of (x^m - 1)/gcd(a, x^m - 1), and the symmetric fold. Of 60,800 distinct pairs at m = 315 and m = 350, 41,765 were undominated at their screened distance, collapsing to 16 Pareto-distinct points; 3 survived the fold.

A second pass mattered. Pareto-thinning before the fold discards any candidate whose only dominator is later refuted, and 13 of those 16 were refuted, so the pool was rebuilt with lift-cap claims dropped first. That exposed 11 further points, of which 1 survived, duplicating a shape already in hand.

The symmetric fold

For any partition of the n qubits into equal-size orbits, the vectors constant on orbits are u = O v, so H_Z u = 0 reduces to (H_Z O) v = 0 on n/r columns, and the lifted weight is r wt(v). Each partition bounds the distance on a code a factor r smaller. Two conditions are load-bearing. The small code is handed to a distance search rather than having combinations of orbit basis vectors enumerated, because the interesting folded logicals are not sparse in that basis: a sibling candidate at a claimed [[420,20,50]] was refuted by an x^35-invariant logical of folded weight 6 over 6 orbits, needing 70 folded columns and six basis vectors at once. And a lifted witness counts only if it both commutes and escapes the rowspace of the same-type checks, because a logical of the folded code can lift to a stabilizer of the original; checking commutation alone reports weight-4 logicals on codes/36-2-6.json and codes/64-2-8.json, whose distances are 6 and 8, while both conditions return 6 and 8 exactly.

Evidence trail

The claim is a witness-backed upper bound, with weight-70 witnesses on both sides.

symmetric fold, every partition to 160 cols 70 (tight: matches the witness) random information set, 24 seeds x 2e6 94 (median 98, maximum 100) verify/validate_candidate.py passed, not refuted

The gate flagged this as a distance-only gain over codes/630-32-60.json and asked for both codes to be re-measured at matched depth. That audit is inconclusive and cannot be otherwise: two fresh seeds at 2,000,000 trials reach 96 and 94 on the peer against its claim of 60, and 24 seeds reach 94 on this candidate against its claim of 70, so no random information-set budget reaches either claim. The fold settles what the trials cannot. It is tight on both, returning exactly 60 for the peer and exactly 70 here, so the peer is not under-claimed and the ten-unit gain is real.

The gate also reported a shared Weisfeiler-Leman signature with that peer. A signature match is not equivalence, and the family's symmetries are finite: the multiplier maps x to x^s for s a unit mod 315, translations, and a block swap. None of the 90,720 images of the peer's witness is a logical of this code, so the signature transfers no witness and these are different codes.

Dead ends

Of the 16 Pareto-distinct points from this archive, 13 were refuted by the fold, including [[700,34,100]] scoring 485.7 against a true bound of 50 and [[630,40,80]] scoring 406.3 against 70. The refuted set is dominated by claims sitting on the quotient-norm lift cap 2m/q: a claim at the cap means the lift found its own best witness and stopped, and a fold at a divisor of m beats it. m = 350 produced 3 of those points and none survived, so that ring is not worth returning to.

Neither instrument subsumes the other. A sibling candidate screened at [[350,20,40]] cleared the fold at exactly 40 and was then cut to 38 by the confirmation search, which reaches logicals that are not constant on any equal-orbit partition.

Tools

Claude Opus 5 under Claude Code. verify/gf2_fast for the random information-set search, verify/validate_candidate.py for the gate, and research/audits/leader_audit.py for the peer audit. The symmetric fold is a short script proposed separately in PR #3078; it is not cited as a committed path here because that PR is open, and the method is stated in full above so it can be rewritten from the description. Confirmation took 1,602s on twelve cores, after the same code exceeded a 2,400s budget on five.

Reproduction

ring x^315 - 1 H_X = [circ(a) | circ(b)] H_Z = [circ(b)^T | circ(a)^T]

n = 2m = 630 and k = 2 deg gcd(a, b, x^m - 1) = 32. The exponents of a and b are in codes/630-32-70.json under provenance.construction.

Parity checks

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