← back to the board
[[799,8,27]] d ≤
n
799
k
8
d
27
kd²/n
7.299
w
8
X/Z
1
g
0.114
r
4.0
layers
1
swaps
1529

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 27, d_Z ≤ 27 · 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 27 · witness weight 27 (claimed upper_bound)
witness found by @MicheldeMessieres · Clifford transform + gf2_fast RIS · found at 105 trials · survived 1.6×107 trials · 2026-10-08
witness operator (support, 27 qubits)
[92, 257, 298, 318, 338, 357, 377, 407, 427, 448, 490, 491, 492, 512, 531, 532, 533, 552, 574, 594, 615, 657, 676, 677, 696, 697, 776]
d_Z 27 · witness weight 27 (claimed upper_bound)
witness found by @MicheldeMessieres · Clifford transform + gf2_fast RIS · found at 105 trials · survived 1.6×107 trials · 2026-10-08
witness operator (support, 27 qubits)
[221, 223, 224, 243, 247, 267, 268, 269, 270, 291, 293, 315, 316, 621, 640, 643, 644, 667, 691, 692, 693, 694, 695, 696, 697, 715, 717]
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 3–8 (mean 7.286) · H_Z 2–8 (mean 7.27)
qubit degrees H_X 1–4 (mean 3.602) · H_Z 1–4 (mean 3.603)
trapping sets H_X (1,1)×60 (2,0)×18 (3,0)×18 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 60 (1,2): 39 (1,3): 60 (1,4): 640 (2,0): 18 (2,1): 95 (2,2): 189 (2,3): 398 (2,4): 1766 (2,5): 397 (2,6): 5041 (3,0): 18 (3,1): 181 (3,2): 742 (3,3): 1793 (3,4): 4697 (3,5): 5772 (3,6): 33639 (3,7): 4731 (3,8): 58295 (3,9): 253 (3,10): 3905
trapping sets H_Z (1,1)×39 (2,1)×127 (3,0)×35 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 39 (1,2): 80 (1,3): 40 (1,4): 640 (2,1): 127 (2,2): 211 (2,3): 400 (2,4): 1907 (2,5): 227 (2,6): 5046 (3,0): 35 (3,1): 195 (3,2): 669 (3,3): 2056 (3,4): 5384 (3,5): 5262 (3,6): 34961 (3,7): 3178 (3,8): 58376 (3,9): 90 (3,10): 3914
witness diameter X 28.7924 · Z 25.2389 (Euclidean support diameter of the stored distance witnesses in the layout; an upper bound on the exhibited logicals’ spread, not a minimum over all logicals)

Verified 2D layout

as measured by the verifier: every check drawn over the submitted coordinates; the interaction radius is the longest dashed pair
layout contributed by @MicheldeMessieres · integer embedding of the bulk tile on the 45-degree rotated square lattice (A cell (i,j) -> M(i,j), B -> M(i,j)+c), radius and spacing re-measured with the verifier's rule · 2026-10-08
r = 4
X checkZ checkqubit site (799)dashed: the pair setting the interaction radiushover a check to isolate its qubits; click to pin — repeated clicks cycle through overlapping checks; click empty space to release
routing cost 1529 nearest-neighbor SWAPs per round in total, at most 3 for one check (heuristic: MST lower bound on the layout, with one lattice step = the minimum qubit spacing 1; not a rank)

Construction & provenance

authors @DennisWayo
provenance submitted through the challenge
novelty new parameter set claimed by submitter
construction One-qubit Clifford reduction of the board entry codes/800-8-27.json, whose weight-8 B=3 tile construction, open directional boundary, single-layer rotated-square layout, and distance witnesses are credited to @MicheldeMessieres and the earlier tile family credited there. Use the X stabilizer S = source X row 0 with support T={2,400,401}; clear source qubit a=400 from the only other X row meeting it (row 18) by R_18 <- R_18 + S. Apply CNOT fan-out from a=400 to T\{a}={2,401}. This maps S to the weight-one stabilizer X_400 and maps column 400 of H_Z to zero by CSS commutation. Delete X_400 and qubit 400, then renumber every surviving source qubit q>400 as q-1. The operation is a Clifford equivalence followed by removal of a disentangled qubit, so k remains 8. Surviving qubits retain the source coordinates; measured interaction radius remains 4.0 with one qubit per site.
model GPT-5 (Codex) (claimed, not verified)
builds on arXiv:2504.09171, arXiv:2504.08887
date 2026-10-11
notes Derivative contribution, not an independent tile construction. The source [[800,8,d<=27]] code, layout, and weight-27 X/Z witnesses are credited to @MicheldeMessieres; this contribution is the explicit one-qubit stabilizer reduction to n=799. Both source witnesses avoid qubit 400 and transform to valid weight-27 witnesses after renumbering. The current official verifier recomputes k=8, max check weight 8, single-layer locality, and interaction radius 4.0. Two independent CI-style local fire passes used seeds 2026101001 and 2027101004. Each pass ran the structural gate, the 50000-trial orbit-fold gate, 120880 ordinary RIS trials, and 8000000 RIS-fast trials. Neither pass found a logical below weight 27; the lightest observed weight was 27. Total post-reduction search: 16241760 RIS trials. Distance remains a witness-backed upper bound, not an exact-distance claim.
family tile (a tag, not a ranking)
locality 2D-local single (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

[[799,8,27]] - one-qubit reduction of [[800,8,27]]

Source and credit

This is a derivative of codes/800-8-27.json, not a new tile construction. The source weight-8 tile code, its open-boundary construction, its single-layer layout, and its weight-27 X/Z witnesses are credited to @MicheldeMessieres and the earlier authors credited by that entry. My contribution is the explicit Clifford reduction below, which removes one qubit while preserving the weight and locality cells.

Exact reduction

In the source numbering, take X row 0

S = {2, 400, 401}

and choose a = 400. The only other X generator meeting a is source row 18, with support {1,22,400,420,421}. Replace it by its sum with S, so that a occurs only in S. Apply the CNOT fan-out from control 400 to targets 2 and 401. On the binary check matrices this is

H_X[:, b] ^= H_X[:, 400]   for b in {2, 401}
H_Z[:, 400] ^= H_Z[:, b]   for b in {2, 401}.

The first operation maps S to the weight-one stabilizer X_400. The second maps column 400 of H_Z to the parity over S, which is zero for every Z row by CSS commutation. Qubit 400 is therefore disentangled. Delete X_400 and qubit 400, and map each surviving source index q > 400 to q - 1.

This is a Clifford equivalence followed by removal of a stabilized product qubit, hence k remains 8. Every surviving qubit keeps its source coordinate. The maximum check weight remains 8, the measured interaction radius remains 4.0, and the layout remains single-layer with one qubit per site.

Both source logical witnesses avoid qubit 400. Applying the same Clifford and renumbering therefore gives the two weight-27 witnesses recorded in the JSON. They independently pass the kernel and nontriviality checks. The distance claim remains an upper bound, not an exact-distance certificate.

Independent refutation

The current challenge verifier passes the schema, CSS commutation, claimed dimension, both logical witnesses, weight class, and all locality checks. The candidate then survived two independent local reproductions of the current CI refutation sequence:

| pass | base seed | ordinary RIS | RIS-fast | lightest found | | --- | ---: | ---: | ---: | ---: | | A | 2026101001 | 120880 | 8000000 | 27 | | B | 2027101004 | 120880 | 8000000 | 27 |

Each pass also ran the circulant-GB detector and a 50000-trial orbit-fold stage. This tile code is not circulant GB, and the orbit stage found no applicable folded partition. Across 16241760 post-reduction RIS trials, no logical below weight 27 was found. These are strong bounded searches, not a proof of exact distance.

Board effect

The score changes from

8 * 27^2 / 800 = 7.290000

to

8 * 27^2 / 799 = 7.299124.

Thus the entry strictly dominates its [[800,8,27]] source on (n,k,d,w) and advances the weight-8, local-2d-single cell if the claim survives public CI.

Tooling

The reduction search and packaging were supported by GPT-5 (Codex). Candidate generation enumerated connected row-space elements from up to three checks, enforced k=8, check weight at most 8, radius at most 4.0, transformed both witnesses, and admitted candidates only after the official verifier passed.

Parity checks

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