← back to the board
[[674,44,95]] d ≤
n
674
k
44
d
95
kd²/n
589.169
w
12
X/Z
1.01

Share this result

Distance

X/Z asymmetry 1.01 · d_X ≤ 95, d_Z ≤ 96 · w_X = 12, w_Z = 12 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 95 · witness weight 95 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-24
witness operator (support, 95 qubits)
[2, 13, 19, 21, 22, 24, 26, 31, 38, 39, 42, 49, 59, 60, 62, 64, 67, 72, 74, 75, 77, 80, 83, 86, 88, 89, 92, 93, 97, 110, 112, 115, 119, 120, 122, 127, 129, 131, 132, 141, 143, 145, 146, 150, 151, 161, 162, 164, 174, 177, 186, 192, 195, 196, 204, 209, 214, 223, 229, 231, 232, 233, 235, 242, 243, 247, 249, 251, 252, 259, 262, 263, 264, 270, 276, 280, 284, 289, 290, 291, 292, 297, 308, 324, 330, 348, 349, 356, 376, 378, 386, 431, 495, 603, 611]
d_Z 96 · witness weight 96 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-24
witness operator (support, 96 qubits)
[3, 6, 9, 12, 15, 23, 27, 36, 44, 46, 47, 49, 51, 58, 59, 66, 67, 69, 76, 78, 80, 81, 87, 96, 100, 102, 103, 114, 115, 122, 124, 126, 127, 129, 133, 134, 136, 137, 149, 150, 153, 158, 164, 167, 173, 179, 190, 195, 200, 203, 205, 207, 208, 211, 215, 220, 224, 239, 240, 241, 245, 246, 250, 254, 260, 264, 271, 274, 283, 284, 290, 292, 293, 305, 307, 315, 316, 337, 338, 344, 358, 371, 375, 434, 439, 464, 471, 495, 517, 548, 563, 600, 601, 604, 613, 614]
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 12 · H_Z 12
qubit degrees H_X 6 · H_Z 6
trapping sets H_X (1,6)×674 (2,8)×1011 (3,8)×674 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,6): 674 (2,8): 1011 (2,10): 20220 (3,8): 674 (3,10): 4718 (3,12): 93012 (3,14): 961124 (3,16): 56953
trapping sets H_Z (1,6)×674 (2,8)×1011 (3,8)×674 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,6): 674 (2,8): 1011 (2,10): 20220 (3,8): 674 (3,10): 4718 (3,12): 93012 (3,14): 961124 (3,16): 56953

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized bicycle over Z_337 (n=2m=674): H_X=[circ(a)|circ(b)], H_Z=[circ(b)^T|circ(a)^T]. a and b are sparse multiples of the BCH-designed divisor g(x) of x^m-1 (g_int=3758233; zero-set run 2, complement run 56), found by Prange search inside the ideal (g). Zero-set design after arXiv:2609.22503 (BCH run-length floors); construction family per arXiv:1904.02703. a=[122, 134, 163, 259, 301, 312]; b=[8, 66, 114, 169, 257, 312].
model GLM 5.3 Flash (Zed agent) (claimed, not verified)
date 2026-09-22
notes The search_budget tool string names cyclic_defining_set.py under a research/ path; that script is kept in the authors' own repo and is not a file of this repository.
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

[[674,44,95]]: distance revision of the board's [[674,44,97]] entry

Revision history

[[674,44,95]] supersedes the board's [[674,44,97]] entry. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4102) exhibits a weight-95 X logical and a weight-96 Z logical, so the previous witness-backed bound was overstated and the honest parameter set is [[674,44,95]]. The headline falls from kd^2/n = 614.24 to 589.17. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 97 | 97 | 97 | 300,000,000 | | Z | 4101 | 102 | 97 | 97 | 300,000,000 | | X | 4102 | 97 | 95 | 95 | 300,000,000 | | Z | 4102 | 102 | 96 | 96 | 300,000,000 |

Original note, with the file paths updated

[[674,44,97]] — BCH-designed cyclic generalized bicycle over Z_337

Direction & hypothesis

Target cell: unrestricted / any-weight (the code has no 2D layout; its combinatorial locality is not the board's geometric locality). Family: cyclic generalized bicycle over Z_337 (arXiv:1904.02703), the family that produced the board's top kd^2/n codes at n ~ 670-680. The opening this campaign aimed at: choose the common divisor g(x) of x^337-1 by its zero-set structure rather than uniformly, a defining-set idea transferred from arXiv:2609.22503 (optimal dual-containing cyclic LRCs). That paper's q-ary families cannot be binary (their Euclidean case needs (r+delta-1) | (q-1), impossible at q = 2), but one ingredient transfers provably: by the BCH bound, every nonzero multiple of g has Hamming weight >= s+1, where s is the longest run of consecutive exponents in the zero set Z(g) = {i : g(w^i) = 0}. The sparse cofactors h_a = a/g and h_b = b/g are exactly such multiples, so the run length is a zero-cost feasibility filter: an ideal whose zero set contains a run of length >= the target cofactor weight cannot yield a sparse cofactor at all, and the Prange search can be skipped entirely. Dually (Lemma 2.2 there), a run of length t in the complement of Z(gcd(b, x^m-1)) floors every pure-type X-logical (c, 0) in ker(B) at t+1; that complement run (56 here) was used only as a ranking prior, never as a distance claim.

What was searched

One sweep over divisor ideals of x^m - 1 for m in {127, 251, 257, 331, 337} (n = 2m in 254..674), degree targets matched to k = 2 deg(g) bands, cofactor weight band 4-9 (check weight <= 18). Ideals were enumerated as products of irreducible factors of x^m - 1; each ideal's zero set was computed exactly by evaluating g at the m-th roots of unity in GF(2^e) (e = ord_m(2), carryless arithmetic), and ideals whose zero-run exceeded the band were pruned before any search ran. Surviving ideals got a 4000-trial Prange search for sparse cofactors; pairs of cofactors built cyclic GB codes (H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T]), screened at 1200 RIS trials/side, and every screen-surviving code that was nondominated against the full board was deep-confirmed at 100,000 RIS trials/side. 29 records were staged; the 10 mutually non-dominating ones are being submitted, this code among them. The sweep took ~92 min wall clock; the zero-run filter pruned all k = 126/168 cells and all of m in {251, 257, 331} (coset degrees 50/16/30 do not match the swept degree grid) without spending a single search trial on them.

Evidence trail

The initial ladder was: screen at 1,200 RIS trials/side -> deep confirm at 100,000 trials/side (d <= 105) -> the original submission's witness search (20,000 RIS trials/side plus a 1,000,000-trial gf2_fast accelerator pass, seed 0), which returned d <= 102. Those searches supplied upper bounds, not a proof that no lighter logical existed. The first independent CI RIS-fast refutation gate (verify/gate_changed.py) found a weight-97 X logical. Its validated support is now recorded as the X witness in codes/674-44-95.json, and this correction records d <= 97. The Z-side witness remains in the JSON. Both side values are upper bounds; the exact distance is not established. As described in verify/qldpc_verify.py, the local verifier validates supplied upper-bound witnesses but does not prove the absence of lighter logicals.

The 1,200-trial screen values ran ~5-8% above the 100,000-trial deep values (e.g. 112 -> 104 on a sibling record), consistent with the repo's distance-inflation fieldnotes.

Near-misses from the same ideal family collapsed under deepening: several [[674,44,<=112]]-screen siblings fell to d <= 104-108, and the k = 126/168 cells at n = 254/674 collapsed to d <= 8 (rate too high for the blocklength).

Dead ends

  • m = 251, 257, 331 produced nothing: their cyclotomic-coset degrees

    • (50, 16, 30) do not divide the swept degree targets, so every degree grid was empty. The feasibility filter made this costless; the lesson is to scale the degree grid by e = ord_m(2) per m.

  • High-rate cells (k = 2m/4 and above at these m) give d <= 8 across the

    • board: the BCH run-length filter admits cofactors there, but the quantum distance collapses.

  • The q-ary constructions of arXiv:2609.22503 themselves: no binary entry

    • exists (Euclidean families need (r+delta-1) | (q-1); the Hermitian q = 2 corner gives only n = 3u or 5u codes with d <= 6), so only the zero-set design principle was portable.

Tools

Model: GLM 5.3 Flash (Zed agent). Harness: research/kit (css, surrogate, gf2_fast accelerator) plus a new constructor module implementing the GF(2^e) zero-set evaluation, the BCH feasibility filter, and the sweep driver; packaging and gating through ./qldpc submit (20k RIS + 1M accelerator trials, then the full local verifier). Compute: ~92 min sweep + per-code deep confirms, on a machine shared with two concurrent campaigns (timings inflated).

Reproduction

Build the circulants over Z_337: A = circ(a), B = circ(b) with first rows a = [122, 134, 163, 259, 301, 312] and b = [8, 66, 114, 169, 257, 312] (0/1 vectors of length 337, ones at the listed indices), then H_X = [A | B] and H_Z = [B^T | A^T]. The common divisor is g_int = 3758233 (little-endian coefficient bitmask of g(x) | x^337 - 1), of degree 21; its zero set has longest consecutive run 2 and its complement 56, so the BCH floor on any cofactor is 3 and the pure-logical floor through ker(B) is 57. The cofactors above are multiples of g mod x^337 - 1; k = 2 deg(g) = 44. The sweep method (GF(2^e) zero-set evaluation, BCH feasibility filter, Prange inside the ideal) is described in full above; the parameters in this section rebuild (H_X, H_Z) directly.

Parity checks

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