← back to the board
[[630,20,72]] d ≤
n
630
k
20
d
72
kd²/n
164.571
w
14
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 72, d_Z ≤ 72 · w_X = 14, w_Z = 14 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 72 · witness weight 72 (claimed upper_bound)
witness operator (support, 72 qubits)
[8, 17, 26, 34, 43, 52, 61, 69, 78, 87, 96, 104, 113, 122, 131, 139, 148, 157, 166, 174, 183, 192, 201, 209, 218, 227, 236, 244, 253, 262, 271, 279, 288, 297, 306, 314, 316, 321, 326, 330, 351, 356, 361, 365, 386, 391, 396, 400, 421, 426, 431, 435, 456, 461, 466, 470, 491, 496, 501, 505, 526, 531, 536, 540, 561, 566, 571, 575, 596, 601, 606, 610]
d_Z 72 · witness weight 72 (claimed upper_bound)
witness operator (support, 72 qubits)
[20, 24, 29, 34, 55, 59, 64, 69, 90, 94, 99, 104, 125, 129, 134, 139, 160, 164, 169, 174, 195, 199, 204, 209, 230, 234, 239, 244, 265, 269, 274, 279, 300, 304, 309, 314, 316, 324, 333, 342, 351, 359, 368, 377, 386, 394, 403, 412, 421, 429, 438, 447, 456, 464, 473, 482, 491, 499, 508, 517, 526, 534, 543, 552, 561, 569, 578, 587, 596, 604, 613, 622]
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 14 · H_Z 14
qubit degrees H_X 7 · H_Z 7
trapping sets H_X (1,7)×630 (2,10)×1575 (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): 630 (2,10): 1575 (2,12): 25515
trapping sets H_Z (1,7)×630 (2,10)×1575 (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): 630 (2,10): 1575 (2,12): 25515

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) = x3+x34+x121+x165+x217+x278+x288, b(x) = x17+x86+x174+x208+x263+x295+x308; 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,20,72]] weight-14 cyclic generalized-bicycle

Direction & hypothesis

No board entry at n <= 630 reached d >= 72 at row weight 14 or below for any k, so the opening was distance at low check weight. This exact parameter point has a history of being claimed too high and corrected down, which shaped how the claim below was tested rather than deterred the attempt: an entry claiming [[630,20,90]] was corrected to 72 (#2914), a separate [[630,20,72]] was corrected to 66 by an orbit-fold witness (#2966), and two further entries were revised to 66 (#3003, #3007). Any new claim of 72 at this point therefore has to survive the instrument that refuted the last one, at the budget that refuted it.

The ring m = 315 was available throughout and had been written off: 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. The ceiling rests on the quotient-norm lift cap, which the fold 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.

What was searched

Sparse polynomial pairs on x^315 - 1, with k = 2 deg gcd(a, b, x^m - 1) computed by Euclid so most draws die before any matrix work, and survivors priced 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 across m = 315 and m = 350, 41,765 were undominated at their screened distance and collapsed to 16 Pareto-distinct points, of which 3 survived the fold. A second pass dropping lift-cap claims before Pareto-thinning exposed 11 more points, since thinning first discards candidates whose only dominator is later refuted; 1 of those survived and duplicated 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. Three conditions are load-bearing, and each was learned by getting it wrong.

The folded 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 candidate at a claimed [[420,20,50]] was refuted by an x^35-invariant logical of folded weight 6 over 6 orbits.

No cap on the folded dimension. A cap of 48 missed that x^35 case, which needs 70 columns, and a cap of 160 then missed an x^105-invariant logical needing 210, which is how a sibling claim of [[630,24,70]] reached a pull request before the trusted gate refuted it at weight 66.

Trials scale with the folded code rather than being constant. A flat 20,000 reported 48 on codes/672-14-56.json where the true bound is 44 and the folded code has 336 columns; the budget is now 400 trials per column above a floor.

A lifted witness counts only if it both commutes and escapes the rowspace of the same-type checks, since 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; with both conditions it returns 6 and 8 exactly, which is the calibration that the bound is not merely conservative.

Evidence trail

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

symmetric fold at 1,000,000 trials per fold 72 (tight: matches the witness) random information set, 24 seeds x 2e6 94 (median 98, maximum 102) verify/validate_candidate.py passed, not refuted

The fold budget matters here and is quoted deliberately. The witness that corrected the previous [[630,20,72]] to 66 carries the provenance "orbit-fold, 1M trials per fold", so a fold run at less than that depth would be weak evidence rather than independent confirmation. At that depth it returns 72 and finds a weight-72 logical of its own.

The gate reports this as a distance-only gain over codes/630-20-54.json and codes/630-20-66-c.json and asks for the peers to be re-measured. Both were folded at the same 1,000,000 trials per fold and both are tight, returning exactly 54 and exactly 66, so neither is under-claimed and the gain over each is real. The gate also reports a shared Weisfeiler-Leman signature with codes/630-20-54.json. A signature match is not equivalence, and this 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 either peer's witness is a logical of this code, so the signature transfers no witness.

Dead ends

Of the 16 Pareto-distinct points from this archive the fold refuted 13, 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 contributed 3 of those points and none survived, so that ring is not worth revisiting.

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 peer audits. 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,562s on twelve cores.

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) = 20. The exponents of a and b are in codes/630-20-72.json under provenance.construction.

Parity checks

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