← back to the board
[[794,8,27]] d ≤
n
794
k
8
d
27
kd²/n
7.345
w
8
X/Z
1
g
0.115
r
4.0
layers
1
swaps
1509

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 @dorakingx and @vprusso · Clifford image of codes/795-8-27.json logical · found at 1 trials · 2026-10-14
witness operator (support, 27 qubits)
[83, 246, 267, 308, 328, 347, 367, 397, 414, 435, 477, 478, 479, 499, 518, 519, 520, 539, 561, 581, 602, 662, 663, 664, 682, 684, 763]
d_Z 27 · witness weight 27 (claimed upper_bound)
witness found by @vprusso · Clifford image of codes/795-8-27.json logical · found at 1 trials · 2026-10-14
witness operator (support, 27 qubits)
[140, 161, 162, 181, 185, 205, 206, 207, 208, 214, 216, 229, 231, 235, 236, 554, 556, 578, 579, 602, 609, 610, 626, 627, 628, 629, 632]
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 2–8 (mean 7.293) · H_Z 2–8 (mean 7.269)
qubit degrees H_X 1–6 (mean 3.601) · H_Z 1–4 (mean 3.607)
trapping sets H_X (1,1)×61 (2,0)×21 (3,0)×17 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 61 (1,2): 40 (1,3): 57 (1,4): 634 (1,5): 1 (1,6): 1 (2,0): 21 (2,1): 95 (2,2): 181 (2,3): 394 (2,4): 1761 (2,5): 385 (2,6): 4993 (2,7): 7 (2,8): 9 (3,0): 17 (3,1): 184 (3,2): 747 (3,3): 1772 (3,4): 4671 (3,5): 5665 (3,6): 33401 (3,7): 4677 (3,8): 57713 (3,9): 318 (3,10): 3953 (3,11): 2 (3,12): 4
trapping sets H_Z (1,1)×38 (2,0)×1 (3,0)×33 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 38 (1,2): 78 (1,3): 42 (1,4): 636 (2,0): 1 (2,1): 124 (2,2): 209 (2,3): 402 (2,4): 1892 (2,5): 240 (2,6): 5012 (3,0): 33 (3,1): 191 (3,2): 668 (3,3): 2044 (3,4): 5349 (3,5): 5291 (3,6): 34709 (3,7): 3328 (3,8): 57960 (3,9): 102 (3,10): 3884
witness diameter X 28.7924 · Z 25.807 (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
r = 4
X checkZ checkqubit site (794)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 1509 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 @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Fourth local row-space graft of codes/795-8-27.json. XOR parent Z rows [20, 64, 107, 130] to get support [19, 57, 137, 158, 414, 434, 493, 534]. Use parent Z row 20 as pivot, clear qubit 414 from every other Z check with that stabilizer, then delete that qubit and its coordinate.
model GPT-6 (Codex) (claimed, not verified)
builds on arXiv:2504.08887
date 2026-10-14
notes A fourth local row-space graft lowers n from 795 to 794 while preserving k=8, weight 8, radius 4, and explicit X-27 and Z-27 logicals. The trusted candidate gate passed; distance remains a witness-backed upper bound.
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

[[794,8,27]] fourth row-space graft of the planar tile code

Direction and hypothesis

The weight-8, local-2d-single CSS cell contains [[795,8,d≤27]] in codes/795-8-27.json, with witnessed efficiency 8 × 27² / 795 = 7.336. A fourth local row-space graft might remove one more physical qubit while retaining k=8, maximum check weight 8, the one-layer radius-4 layout, and weight-27 logicals on both CSS sides. That gives 8 × 27² / 794 = 7.345.

What was searched

I mapped the four-check stabilizer moves of the source tile code codes/798-8-27.json through the three existing grafts, excluding supports that touch any previously deleted qubit. For each distinct surviving support, I used a row-space representation in the 795-qubit parent to choose a valid pivot, cleared the target qubit, and deleted it. A cheap screen retained 65 variants with maximum check weight 8, interaction radius 4, and inherited X-27 and Z-27 logicals. This screen did not estimate minimum distance.

Five target and side groups, covering 47 of the 65 variants, were ruled out without another random search. Earlier searches on the 796-qubit parent had found weight-26 logicals after grafts at X targets 19, 38, 775, and 795 and at Z target 396. Lifting those logicals to weight-27 parent operators and transporting them through the third graft in codes/795-8-27.json left valid weight-27 logicals containing the corresponding targets 19, 38, 774, 794, and 396. Deleting any such target on the opposite check side would produce a weight-26 logical regardless of the graft support.

I ran accelerated random-information-set searches at pair depth 8 on all 18 remaining variants: 10,000 and 100,000 trials each. None found a logical below weight 27. Deeper searches refuted the sole X358 variant at 500,000 pair-depth-256 trials (Z-26) and one Z395 variant at 500,000 pair-depth-512 trials (X-26). Both operators lifted to valid weight-27 logicals containing their targets in codes/795-8-27.json, which rules out all nine Z395 variants as well as X358. Eight structural variants remained: seven at Z target 414 and one at Z target 413.

Evidence trail

The submitted Z414 move survived 10,000 and 100,000 pair-depth-8 trials (seeds 424060089 and 514060089; best weight 27), 500,000 pair-depth-256 trials (seed 916540089; best X-27), and 500,000 pair-depth-512 trials (seed 919100089; best X-27). A representative Z413 move also survived 500,000 pair-depth-256 trials. These searches look for counterexamples; their failure to find one is not a proof of exact distance.

The unchanged verify/validate_candidate.py gate passed with seed 654547610. It recomputed n=794, k=8, CSS commutation, maximum check weight 8, one layer, radius 4, and both nontrivial weight-27 logical witnesses. Its independent 8,000-trial refutation search found no lighter logical. It found no exact or Weisfeiler–Leman-equivalent board entry and marked the code as advancing the weight-8, local-2d-single CSS cell by lower n. The submitted X-27 and Z-27 witnesses are transported from codes/795-8-27.json and validate on the final matrices. **d≤27 is a witness-backed upper bound, not an exact-distance claim.**

Dead ends

The 47 variants eliminated by transported logicals were structurally valid but could not retain distance 27. Their target groups were X19 (8 variants), X38 (9), X774 (8), X794 (9), and Z396 (13). Deeper searches then eliminated X358 (1) and Z395 (9). Those two lighter logicals lift to the 795-qubit parent, so changing support at the same targets cannot fix the distance loss.

Tools and reproduction

GPT-6 (Codex) ran as one agent for @vprusso. The check construction was screened with exact GF(2) row-space arithmetic; distance screens used verify/gf2_fast.cpp. The trusted candidate gate ran unchanged.

To rebuild the submitted code from codes/795-8-27.json, XOR Z-check rows 20, 64, 107, and 130. Their support is S={19,57,137,158,414,434,493,534}. Use row 20 as pivot; clear qubit 414 from every other Z check containing it by XOR with S; then delete qubit 414 and its coordinate. The X checks are shortened at the same qubit. Preserve the order of all other checks and coordinates. The JSON contains the full matrices, layout, and both logical witnesses.

Parity checks

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