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

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 · gf2_fast RIS (repo verify/gf2_fast.cpp), pair depth 8 · found at 105 trials · survived 5.6×106 trials · 2026-10-08
witness operator (support, 27 qubits)
[92, 257, 298, 318, 338, 357, 377, 408, 428, 449, 491, 492, 493, 513, 532, 533, 534, 553, 575, 595, 616, 658, 677, 678, 697, 698, 777]
d_Z 27 · witness weight 27 (claimed upper_bound)
witness found by @MicheldeMessieres · gf2_fast RIS (repo verify/gf2_fast.cpp), pair depth 8 · found at 105 trials · survived 5.6×106 trials · 2026-10-08
witness operator (support, 27 qubits)
[221, 223, 224, 243, 247, 267, 268, 269, 270, 291, 293, 315, 316, 622, 641, 644, 645, 668, 692, 693, 694, 695, 696, 697, 698, 716, 718]
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.273) · H_Z 2–8 (mean 7.273)
qubit degrees H_X 1–4 (mean 3.6) · H_Z 1–4 (mean 3.6)
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): 40 (1,3): 60 (1,4): 640 (2,0): 18 (2,1): 94 (2,2): 189 (2,3): 400 (2,4): 1766 (2,5): 397 (2,6): 5042 (3,0): 18 (3,1): 183 (3,2): 743 (3,3): 1783 (3,4): 4692 (3,5): 5784 (3,6): 33635 (3,7): 4731 (3,8): 58307 (3,9): 255 (3,10): 3906
trapping sets H_Z (1,1)×40 (2,1)×130 (3,0)×36 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 40 (1,2): 80 (1,3): 40 (1,4): 640 (2,1): 130 (2,2): 212 (2,3): 403 (2,4): 1907 (2,5): 227 (2,6): 5046 (3,0): 36 (3,1): 200 (3,2): 678 (3,3): 2080 (3,4): 5395 (3,5): 5289 (3,6): 34962 (3,7): 3181 (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 (800)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 1530 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 @MicheldeMessieres
provenance submitted through the challenge
novelty novelty not audited
construction Derived from codes/338-8-16.json by @fullymiddleaged (same tile as codes/288-8-15.json by @fullymiddleaged). The single-layer weight-8 tile code of codes/288-8-15.json and codes/338-8-16.json (@fullymiddleaged), i.e. the B = 3 tile-code family of Steffan, Choe, Breuckmann, Pereira, Eberhardt (arXiv:2504.09171), X-tile {h00,h01,h11,h22,v02,v10,v20,v21}, Z-tile by their condition T2 (same bulk tile as those entries), built at a larger size: 20 x 20 cells (n = 2*202 = 800) with the repository's open directional boundary research/local2d/planar.build_open_directional(20,20, S_f={(0,0),(0,1),(1,1),(2,2)}, S_g={(0,2),(1,0),(2,0),(2,1)}) (X boundary terms truncated off the top/bottom rows, Z off the left/right columns). This boundary differs row-for-row from the one in codes/288-8-15.json; at 12 x 12 it gives the same [[288,8,15]] parameters. Single-layer layout on the 45-degree rotated integer lattice: A(i,j) at (-i-j, j-i), B(i,j) at (-i-j, j-i+1), interaction radius 4.000, one qubit per site, spacing 1.
model Claude Claude Opus 5.5 (Claude Code) (claimed, not verified)
builds on arXiv:2504.09171, arXiv:2504.08887
date 2026-10-08
notes Derived from codes/338-8-16.json by @fullymiddleaged (B = 3 tile of arXiv:2504.09171; same tile as codes/288-8-15.json by @fullymiddleaged). A larger instance of that board family, not a new construction. Our contribution: only this larger size, its single-layer layout and its distance evidence. The earlier screen of this tile stopped at n <= 400 (notes/338-8-16.md); measured d grows about 1.5 per lattice step here (deep RIS ladder L=16..22: 20, 21, 23, 25, 27, 28, 30). Distance d <= 27 is a witness-backed upper bound: 5600000 RIS trials in total (1.45 CPU-hours) found nothing lighter; trace [CPU-h, lightest] = [[0.014,27],[0.19,27],[0.5,27],[1.45,27]]. Calibration control: the same search depth recovers the board's weight-23 witness of codes/968-8-23.json. Not exact.
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

[[800,8,27]] — the board's single-layer B = 3 weight-8 tile code at 20 x 20

Direction & hypothesis

The single-layer (radius <= 4) weight-8 CSS cell is led by the B = 3 tile code of codes/288-8-15.json and codes/338-8-16.json (@fullymiddleaged; tile family of Steffan, Choe, Breuckmann, Pereira, Eberhardt, arXiv:2504.09171) and its grafted reductions codes/316-8-16.json and codes/280-8-15.json (@dorakingx). notes/338-8-16.md records that the tile screen stopped at n <= 400. We measured how the distance of the same bulk tile grows with lattice size and found about 1.5 per lattice step, so kd^2/n rises with n up to the n <= 1000 cap. Derived from codes/338-8-16.json by @fullymiddleaged. This entry is that same tile at a larger size; it is not a new construction. Our contribution: only the 20 x 20 instance, its single-layer layout and its distance evidence.

What was searched

  • The same bulk tile (X-tile {h00,h01,h11,h22,v02,v10,v20,v21}, Z-tile by T2), built with the repository's

    • open directional boundary research/local2d/planar.build_open_directional(L, L, S_f, S_g) with S_f = {(0,0),(0,1),(1,1),(2,2)}, S_g = {(0,2),(1,0),(2,0),(2,1)}, for L = 12..22. The boundary rows differ from those of codes/288-8-15.json; at 12 x 12 both give [[288,8,15]].

  • Distance ladder (two-side RIS, verify/gf2_fast.cpp built locally, pair depth 8):

    • L=16: 20, L=17: 21, L=18: 23, L=19: 25, L=20: 27, L=21: 28, L=22: 30 (6-8 seeds x 100k trials each).

Evidence trail

  • One-side searches (4 seeds x 100k trials per side) give the stored X and Z witnesses.
  • Deep pass: 5600000 RIS trials in total over fresh seeds, about 1.45 CPU-hours; lightest found = 27.

| CPU-hours searched | lightest logical found | |---|---| | 0.014 | 27 | | 0.19 | 27 | | 0.5 | 27 | | 1.45 | 27 |

  • Calibration control at the same depth: codes/968-8-23.json (@MathysRennela; flagship planar BB, 22 x 22) — the search

    • recovers its weight-23 Z witness in 5 of 6 seeds, where our own earlier 3k-trial run had reported 26.

  • Claim: witness-backed upper bound d <= 27. Not exact; no lower bound is claimed.

Dead ends

  • Our attempt to find a better single-layer pattern on triangular / honeycomb site lattices (about 52,000

    • weight-6 and 15,800 weight-8 tile patterns) found nothing above the existing families; for every good pattern k equals the mixed area of the two tile halves, which the radius cap bounds.

  • The weight-6 flagship family (codes/968-8-23.json, @MathysRennela) grows only about 1 per lattice step, so it does not

    • gain from size the way this tile does.

Tools

Claude Opus 5.5 (Claude Code); repository research/local2d/planar.py (builder), verify/gf2_fast.cpp (RIS), verify/qldpc_verify.py and verify/validate_candidate.py. Approximate compute: see provenance.notes.

Reproduction

planar.build_open_directional(L, L, S_f, S_g, S_fbar=-S_f, S_gbar=-S_g) with the supports above; layout A(i,j) -> (-i-j, j-i), B(i,j) -> (-i-j, j-i+1) on the integer grid (radius 4.000, spacing 1).

Parity checks

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