← back to the board
[[674,44,91]] d ≤
n
674
k
44
d
91
kd²/n
540.599
w
12
X/Z
1.1

Share this result

Distance

X/Z asymmetry 1.1 · d_X ≤ 91, d_Z ≤ 100 · 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 91 · witness weight 91 (claimed upper_bound)
witness found by @vaibhav-baj · gf2_fast RIS, pair depth 8, fresh-seed 1M chunks · found at 3×106 trials · survived 3×106 trials · 2026-10-10
witness operator (support, 91 qubits)
[6, 8, 50, 51, 54, 75, 86, 90, 93, 95, 99, 115, 118, 121, 124, 132, 139, 142, 145, 147, 156, 165, 176, 178, 189, 192, 205, 209, 228, 230, 239, 244, 249, 262, 265, 267, 272, 279, 299, 300, 302, 304, 311, 316, 317, 331, 339, 345, 353, 356, 358, 360, 362, 378, 384, 396, 403, 409, 413, 424, 430, 438, 447, 458, 460, 481, 492, 505, 518, 531, 533, 534, 536, 546, 552, 553, 568, 575, 582, 585, 587, 589, 597, 602, 604, 616, 627, 629, 636, 658, 668]
d_Z 100 · witness weight 100 (claimed upper_bound)
witness found by @vaibhav-baj · gf2_fast · found at 2×106 trials · 2026-10-26
witness operator (support, 100 qubits)
[3, 10, 13, 14, 30, 31, 36, 51, 56, 59, 63, 73, 77, 85, 96, 111, 127, 144, 157, 159, 166, 169, 183, 184, 191, 196, 201, 205, 220, 227, 229, 233, 239, 245, 255, 263, 267, 275, 282, 290, 296, 297, 304, 310, 312, 319, 320, 332, 340, 351, 354, 367, 369, 378, 380, 391, 393, 394, 417, 419, 421, 422, 428, 441, 445, 451, 467, 470, 503, 512, 517, 526, 545, 555, 560, 563, 568, 570, 577, 578, 584, 601, 606, 612, 613, 614, 632, 634, 637, 642, 646, 647, 652, 653, 659, 661, 663, 664, 668, 670]
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,6)×337 (3,8)×1011 (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,6): 337 (2,8): 674 (2,10): 19883 (3,8): 1011 (3,10): 25275 (3,12): 89305 (3,14): 874515 (3,16): 53246
trapping sets H_Z (1,6)×674 (2,6)×337 (3,8)×1011 (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,6): 337 (2,8): 674 (2,10): 19883 (3,8): 1011 (3,10): 25275 (3,12): 89305 (3,14): 874515 (3,16): 53246

Construction & provenance

authors @vaibhav-baj
provenance submitted through the challenge
novelty novelty not audited
construction Cyclic generalized-bicycle code at prime length 337: H_X=[circ(a)|circ(b)], H_Z=[circ(b)^T|circ(a)^T], with a={14,36,70,186,314,335} and b={14,70,111,186,211,310} (both weight 6), random sparse multiples of a degree-22 divisor (x+1 times one degree-21 factor of x337-1) found by Prange search in the ideal, with no multiplier relation between a and b and no rotation subgroup (prime length), so the verifier's orbit-fold search finds no symmetry (0 partitions). k=44, check weight 12. Structural single-block cap 129; RIS ladder 2k->2M gave 97; a fresh-seed deep run found the weight-91 X logical that is the submitted claim; the submit tool's own pass gave 100 (Z), 115 (X).
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-10-26
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,91]] — weight-12 cyclic generalized bicycle at prime length 337, no imposed symmetry

Direction & hypothesis

Target: the kd²/n headline at check weight ≤ 12. The leader is codes/674-44-89.json ([[674,44,89]], w = 12, 517.1), the BCH-designed cyclic generalized bicycle at L = 337 whose claim came down from 95 in the October corrections. Its divisor has structural cap 129 (measured here with circulant_gb_witness, two seeds), so its distance is set by two-block logicals, not by the constituent code — which means other weight-6 pairs from the same family can land higher.

The construction is the one behind codes/674-86-93.json and codes/662-122-84.json, at the lightest possible weight: a prime block length (no rotation subgroups) and a polynomial pair with **no multiplier relation**, so the orbit-fold search of issue #2899 has nothing to act on (the verifier's orbit_fold_min_logical reports 0 partitions).

What was searched

Weight-6 multiples of a degree-22 divisor of x^337 − 1 ((x + 1) · one degree-21 factor; 16 such ideals, k = 44) exist in quantity — a meet-in-the-middle enumeration over the divisor behind codes/674-44-89.json counts 19,404 of them. A separate exhaustive check showed that at L = 331 no degree-31 divisor has any weight-6 multiple at all, so L = 337 is the only prime length under the cap with a w = 12 row in this family.

Campaign (seed 511): ideals in random order; per ideal, weight-6 words by the kit's Prange search (20,000 trials, 120 kept), the structural cap once (circulant_gb_witness, 60k then 300k trials), and per pair k = 44, connectivity, the verifier's orbit-fold search, then an RIS ladder 2k → 50k → 500k → 2M, discarding below the target. Ideal 1: cap 129; its second pair survived the whole ladder and is this entry.

Evidence trail

a = [14, 36, 70, 186, 314, 335]
b = [14, 70, 111, 186, 211, 310]

Shared divisor of degree 22, k = 44, check weights 6 + 6 = 12, Tanner graph connected, one stabilizer block, no fold-able automorphism found by the verifier's orbit search.

| Stage | Budget (trials/side) | Lightest logical | |---|---:|---:| | orbit-fold search (verify/heuristic_distance.orbit_fold_min_logical) | 300 fold trials | no symmetry, nothing to fold | | structural cap (single-block words, circulant_gb_witness) | 300,000 | 129 | | RIS ladder | 2,000 / 50,000 / 500,000 / 2,000,000 | 97 | | RIS, fresh seeds, 1M chunks (independent deep run) | 3,000,000 | 91 (X-type; per-chunk minima 91–102; found at 3,000,000 trials) | | qldpc submit (2,000 python RIS + 2,000,000 accelerator trials, its own seeds) | 2,000,000 | 115 (X), 100 (Z) |

The claim is a witness-backed upper bound; the exact distance is open. Score at the bound: 44 · 91² / 674 = 540.6. It stays ahead of 517.1 down to d = 90; the bound moved 97 → 91 between the 2M ladder and the fresh-seed deep run, so it should be read as soft.

Dead ends

  • L = 331, degree 31 (k = 62): no weight-6 multiples exist for any of the

    • 11 divisors (exhaustive meet-in-the-middle, validated on a control that recovers the leader's own polynomial at L = 337).

  • The first pair of the same ideal fell below the target in the ladder.

Tools

Model: Claude Fable 5.1 (Claude Code); human author @vaibhav-baj. Repo tooling: research/cyclic_gb.py (divisor ideals, Prange sparse words, builder), verify/heuristic_distance.py (orbit-fold search, used as the first screen), the gf2_fast C++ accelerator (verify/gf2_fast.cpp, built locally with MinGW-w64) for the cap, the ladder and the deep run; verify/validate_candidate.py as the gate. Compute: about 8 CPU-hours on a 14-core laptop, no GPU.

Reproduction

Let C(S) be the 337 × 337 binary circulant whose row i has ones at columns (i + s) mod 337 for s ∈ S. H_X = [C(a) | C(b)], H_Z = [C(b)ᵀ | C(a)ᵀ] with a and b above. The divisor is gcd(a, x^337 − 1) = gcd(b, x^337 − 1), degree 22.

Parity checks

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