← back to the board
[[756,24,34]] d ≤
n
756
k
24
d
34
kd²/n
36.698
w
8
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 34, d_Z ≤ 34 · w_X = 8, w_Z = 8 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 34 · witness weight 34 (claimed upper_bound)
witness found by @vprusso · GPU deep kernel (full basis, pair depth 8) · found at 2×107 trials · survived 1.8×108 trials · 2026-09-23
witness operator (support, 34 qubits)
[26, 34, 38, 45, 82, 99, 117, 165, 194, 196, 201, 225, 248, 279, 285, 296, 337, 387, 400, 419, 437, 503, 508, 510, 527, 551, 570, 634, 659, 665, 676, 678, 730, 755]
d_Z 34 · witness weight 34 (claimed upper_bound)
witness found by @vprusso · GPU sketch k_sub 256 (recover), screen stage 3 · found at 5×106 trials · survived 1.8×108 trials · 2026-09-23
witness operator (support, 34 qubits)
[23, 29, 48, 77, 90, 96, 102, 150, 202, 210, 227, 239, 245, 306, 347, 353, 360, 397, 403, 416, 422, 428, 451, 470, 499, 530, 613, 619, 630, 644, 698, 721, 727, 746]
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 8 · H_Z 8
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×756 (2,2)×18 (3,4)×252 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 756 (2,2): 18 (2,4): 216 (2,6): 10098 (3,4): 252 (3,6): 7452 (3,8): 201528 (3,10): 18360
trapping sets H_Z (1,4)×756 (2,2)×18 (3,4)×252 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 756 (2,2): 18 (2,4): 216 (2,6): 10098 (3,4): 252 (3,6): 7452 (3,8): 201528 (3,10): 18360

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction Two-block group-algebra code over the metacyclic group Z_21 x| Z_18 with r = 4 (research/kit/group_algebra.py metacyclic(21, 18, 4) and build_2bga, element index i*18 + j for x^i y^j with y x y-1 = x4): a = [36, 173, 376, 131], b = [146, 364, 27, 225] as element indices, H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] with L, R the left and right regular representations. n = 2|G| = 756, k = 24, every check has weight 8.
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
builds on arXiv:2306.16400, arXiv:2111.03654
date 2026-09-23
notes Found by a GPU random-information-set screen (deep kernel: full-basis RREF plus pair sums) over metacyclic two-block group-algebra codes with weight-4 supports at n in [702, 1000]; see the research note for the ladder. Lightest logicals: X 34, Z 34; deep-kernel GPU passes (full basis, pair depth 8): X 34 at 20,000,000 trials (seed 2101); Z 34 at 20,000,000 trials (seed 2101); X 34 at 100,000,000 trials (seed 2102); Z 34 at 100,000,000 trials (seed 2102); board fast pass 34 at 8,000,000 trials. Every operator re-verified with verify/gf2.py. Distance is a witness-backed upper bound. Novelty: no isomorphic code found by a nauty canonical-form check against the board and the 2BGA, GB, BB, QECDB, and codetables data (submitter claim). Generator spec: {"family": "2bga-metacyclic", "n": 21, "k_m": 18, "r": 4, "a": [36, 173, 376, 131], "b": [146, 364, 27, 225]}
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

[[756,24,34]] two-block group-algebra code over the metacyclic group Z_21 x| Z_18

Direction & hypothesis

Cell: unrestricted x weight-8, the extended tier n in (700, 1000] with w <= 8 and d <= 40 (base tier for n <= 700). The cell's weight-8 frontier above n = 684 holds only the pair-partition CPM codes at d <= 20 and the planar tiles at k = 18; nothing with k in [21, 200] has d > 24 at n <= 1000, so a code with k in the twenties or forties and d in the thirties is a strict Pareto record even though it cannot reach the cell's kd^2/n headline (106.1, [[684,14,72]]; that regime is closed above n = 700 by the d <= 40 rule, and k <= 20 is dominated by [[684,20,48]]). The hypothesis was that two-block group-algebra codes over metacyclic groups with weight-4 supports keep distance in the thirties at n = 700 to 1000 once k is forced above 20 by construction.

What was searched

  • Two-block group-algebra codes on metacyclic groups Z_m x| Z_k of order 351 to 500 (n in [702, 1000]) with |a| = |b| = 4, drawn by research/kit/search.py sample_metacyclic (weight 4) exactly as the kit ships it.
  • 4,080 draws in the stream that produced this code (seed 23, batches of 120); 89 had k >= 21 (the least k for which any d <= 40 makes an n > 684 weight-8 code a strict record, since [[684,20,48]] dominates k <= 20), 10 survived the first GPU stage, 6 the third. 121,800,000 GPU sketch trials in total.
  • The GPU screen is verify/ris_gpu.cu (the sqetch random-sketch RIS kernel) driven through verify/ris_gpu.py's packing, in three stages per side: 300,000 trials at a 64-row sketch (estimate mode, early stop below the record threshold), 2,000,000 at a 256-row sketch, then 5,000,000 in recover mode; every recovered operator is re-verified with verify/gf2.py before it counts.
  • Record thresholds were computed against the board checkout at the time

    • (dominance over n down, k up, d up, w down); a candidate was dropped as soon as any side showed a logical lighter than the smallest record-making d for its (n, k, w), which is sound because RIS weights are upper bounds.

Evidence trail

Every operator in the table was re-verified on the CPU with verify/gf2.py (zero syndrome against the opposite checks, outside the row space of its own checks, weight recounted) before it was recorded. Weights are the lightest found by that run.

| instrument | side | trials | seed | lightest logical | |---|---|---:|---:|---:| | screen stage 1, GPU sketch, k_sub 64 | X | 300,000 | 23000031003 | 66 | | screen stage 1, GPU sketch, k_sub 64 | Z | 300,000 | 23000031004 | 115 | | screen stage 2, GPU sketch, k_sub 256 | X | 2,000,000 | 23000031300 | 99 | | screen stage 2, GPU sketch, k_sub 256 | Z | 2,000,000 | 23000031301 | 96 | | screen stage 3, GPU sketch (recover), k_sub 256 | X | 5,000,000 | 23000031600 | 38 | | screen stage 3, GPU sketch (recover), k_sub 256 | Z | 5,000,000 | 23000031601 | 34 | | gf2_fast CPU RIS, pair depth 8, 4 threads, both sides | X | 200,000 | 876 | 42 | | finalist GPU sketch, k_sub 256 | X | 50,000,000 | 777 | 36 | | finalist GPU sketch, k_sub 256 | Z | 50,000,000 | 778 | 34 | | GPU deep kernel, full basis, pair depth 8 | X | 20,000,000 | 2101 | 34 | | GPU deep kernel, full basis, pair depth 8 | Z | 20,000,000 | 2101 | 34 | | GPU deep kernel, full basis, pair depth 8 | X | 100,000,000 | 2102 | 34 | | GPU deep kernel, full basis, pair depth 8 | Z | 100,000,000 | 2102 | 34 | | board fast pass, gf2_fast pair depth 8, 3 threads, both sides | both | 8,000,000 | 2209 | 34 |

Board CPU gate (verify/validate_candidate.py, then verify/gate_changed.py's structural and fast passes, run out of CI on the candidate file):

  • first pass (fast pass wall-clock capped at 30 minutes): validate_candidate passed = True (its 8000-trial pure-Python refute_check found nothing lighter); gf2_fast fast pass: lightest logical 34 at 3,910,000 trials (1867 s).
  • full pass (8,000,000-trial fast pass, uncapped): validate_candidate passed = True (its 8000-trial pure-Python refute_check found nothing lighter); gf2_fast fast pass: lightest logical 34 at 8,000,000 trials (6504 s).

Claim: witness-backed upper bound d <= 34 (X <= 34, Z <= 34), not exact. The lightest logical did not move between the 5,000,000-trial screen stage, the 50,000,000-trial sketch pass, and the deep-kernel passes listed above.

Dead ends

  • Random weight-8 bivariate bicycle codes at n in [702, 1000]: k >= 21 in

    • 1 of 623 built codes; 29,716 draws gave 3 stage-3 survivors ([[980,28,35]] and [[784,22,28]] at the 5,000,000-trial sketch stage, not taken further).

  • Dihedral 2BGA with |a| = |b| = 4, n in [704, 1000]: 81,300 draws, k >= 21

    • in 526, none survived the first GPU stage (every one had a logical lighter than 25).

  • Cyclic GB pairs sharing more than the designed divisor (k = 100 to 496)

    • have d = 2 to 7; pairs whose offsets share a factor with m are direct sums.

  • GPU sketch bounds on high-rate codes inflate badly: pair-partition CPM

    • draws reading 22 to 24 at 20,000,000 sketch trials came out at 18 to 20 under a full-basis search. On the low-rate codes in this note the sketch and the full-basis instruments agree.

Tools

Model: Claude Fable 5.1 (Claude Code), matching provenance.model. Generators from research/kit (search.py samplers, group_algebra.py) and research/cyclic_gb.py; GPU RIS from verify/ris_gpu.cu built with nvcc for an NVIDIA A40, driven through verify/ris_gpu.py's input format; gf2_fast from verify/ for exact k, kernels, and the CPU RIS; verify/validate_candidate.py and verify/gate_changed.py for the gate. Compute: about 3.5 GPU hours for the stream that produced this code plus about 1 GPU hour of finalist passes, and about 4 CPU hours of gate runs.

Reproduction

Rebuild (H_X, H_Z) from the construction string in the code file's provenance: Two-block group-algebra code over the metacyclic group Z_21 x| Z_18 with r = 4 (research/kit/group_algebra.py metacyclic(21, 18, 4) and build_2bga, element index i*18 + j for x^i y^j with y x y^-1 = x^4): a = [36, 173, 376, 131], b = [146, 364, 27, 225] as element indices, H_X = [L(a) | R(b)], H_Z = [R(b)^T | L(a)^T] with L, R the left and right regular representations. n = 2|G| = 756, k = 24, every check has weight 8.

Parity checks

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