← back to the board
[[786,8,27]] d ≤
n
786
k
8
d
27
kd²/n
7.42
w
8
X/Z
1
g
0.116
r
4.0
layers
1
swaps
1491

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 · Inherited logical from codes/794-8-27.json · found at 1 trials · 2026-10-15
witness operator (support, 27 qubits)
[82, 244, 265, 306, 326, 344, 364, 394, 409, 429, 471, 472, 473, 493, 512, 513, 514, 533, 555, 575, 596, 656, 657, 658, 676, 678, 757]
d_Z 27 · witness weight 27 (claimed upper_bound)
witness found by @vprusso · Inherited logical from codes/794-8-27.json · found at 1 trials · 2026-10-15
witness operator (support, 27 qubits)
[138, 159, 160, 179, 183, 203, 204, 205, 206, 212, 214, 227, 229, 233, 234, 548, 550, 572, 573, 596, 603, 604, 620, 621, 622, 623, 626]
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.256) · H_Z 2–8 (mean 7.289)
qubit degrees H_X 1–6 (mean 3.601) · H_Z 1–4 (mean 3.598)
trapping sets H_X (1,1)×60 (2,0)×23 (3,0)×14 (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): 41 (1,3): 55 (1,4): 628 (1,5): 1 (1,6): 1 (2,0): 23 (2,1): 94 (2,2): 169 (2,3): 388 (2,4): 1747 (2,5): 378 (2,6): 4931 (2,7): 7 (2,8): 9 (3,0): 14 (3,1): 177 (3,2): 731 (3,3): 1736 (3,4): 4580 (3,5): 5576 (3,6): 33025 (3,7): 4614 (3,8): 56918 (3,9): 323 (3,10): 3894 (3,11): 2 (3,12): 4
trapping sets H_Z (1,1)×41 (2,0)×5 (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): 41 (1,2): 73 (1,3): 47 (1,4): 625 (2,0): 5 (2,1): 125 (2,2): 209 (2,3): 417 (2,4): 1854 (2,5): 277 (2,6): 4908 (3,0): 36 (3,1): 198 (3,2): 711 (3,3): 2063 (3,4): 5325 (3,5): 5478 (3,6): 33992 (3,7): 3740 (3,8): 56679 (3,9): 135 (3,10): 3784
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 (786)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 1491 nearest-neighbor SWAPs per round in total, at most 4 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 Eight local reductions from codes/794-8-27.json: delete X row 339 and qubit 338; in the 793-qubit code XOR Z rows 372 and 373 to get support [338,357,358,753,774], use Z row 373 as pivot, clear qubit 774 and delete the pivot and qubit; in the 792-qubit code delete sole X row 142 and qubit 119; in the 791-qubit code use Z row 0 with support [0,432] as pivot, clear qubit 0 and delete the pivot and qubit; in the 790-qubit code use Z row 40 with support [77,430] as pivot, clear qubit 430 and delete the pivot and qubit; in the 789-qubit code use Z row 370 with support [355,770] as pivot, clear qubit 770 and delete the pivot and qubit; in the 788-qubit code use Z row 12 with support [11,12,31,49,404,423,442,443] as pivot, clear qubit 404 and delete the pivot and qubit; in the 787-qubit code use Z row 15 with support [15, 16, 35, 53, 407, 426, 445, 446] as pivot, clear qubit 407 from other Z checks and delete the pivot and qubit. At each step delete the corresponding coordinate, shorten opposite-side checks, and preserve remaining order.
model GPT-6 (Codex) (claimed, not verified)
builds on arXiv:2504.08887
date 2026-10-15
notes Eight local row reductions lower n from 794 to 786 while preserving k=8, weight 8, one-layer radius 4, and explicit X-27 and Z-27 logicals. Distance is a witness 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

[[786,8,27]] eight local tile reductions (witness upper bound)

Direction and hypothesis

The published CSS tile code in codes/794-8-27.json has parameters [[794,8,d≤27]] and witnessed score 8 × 27² / 794 = 7.345. Eight compatible local reductions remove eight physical qubits while retaining k=8, maximum check weight 8, a one-layer radius-4 layout, and explicit X-27 and Z-27 logicals. The resulting witnessed score is 8 × 27² / 786 = 7.420.

Construction

Start with codes/794-8-27.json. Delete X check 339 and qubit 338; the check is the sole X check on that qubit and has support {338,339,359,379,736,754,774,775}. In the 793-qubit intermediate, XOR Z checks 372 and 373 to obtain support {338,357,358,753,774}. Use Z check 373 as pivot, XOR this support into any other Z check on qubit 774, then delete the pivot and qubit.

In the 792-qubit intermediate, delete X check 142 and qubit 119; that check is the sole X check on qubit 119 and has support {119,120,140,160,515,533,553,554}. In the 791-qubit intermediate, use Z check 0 with support {0,432} as pivot and delete qubit 0. In the 790-qubit intermediate, use Z check 40 with support {77,430} as pivot and delete qubit 430. In the 789-qubit intermediate, use Z check 370 with support {355,770} as pivot and delete qubit 770. In the 788-qubit intermediate, use Z check 12 with support {11,12,31,49,404,423,442,443} as pivot and delete qubit 404. Finally, in the 787-qubit intermediate, use Z check 15 with support {15,16,35,53,407,426,445,446} as pivot and delete qubit 407. For each Z pivot, clear the target qubit from other Z checks by XOR with the pivot before deleting it. At every step shorten the opposite-side checks at the deleted qubit, remove its coordinate, and retain the order of all surviving rows and coordinates. The submitted JSON contains the final matrices, layout, and logical witnesses.

Search and evidence

A direct one-row scan of the staged 787-qubit predecessor found 98 structural variants preserving maximum weight 8, radius 4, and inherited X-27/Z-27 witnesses. Exact rank, connectivity, and projection of the predecessor's GPU logicals retained 48 connected variants across 47 side/target choices; two connected variants were refuted by projected GPU logicals. A set of 245 validated predecessor weight-27 logicals, assembled from inherited, ancestor, GPU, and RIS witnesses and stabilizer-row XOR closure, projected to validated logicals lighter than 27 in 34 of those variants. Fourteen variants remained. A 10,000-trial pair-depth-8 accelerated RIS screen of all 14 found no lighter logical.

Deeper RIS runs found validated weight-26 logicals for all 13 other variants in that set: X37, Z377, Z380, Z382, Z385, Z386, Z387, Z391, Z399, Z402, Z405, Z406, and Z408. Each low-weight logical lifted to a valid weight-27 logical in the 787-qubit predecessor. Stabilizer-row closure expanded the predecessor's known set to 332 supports; their projection did not refute Z407.

Z407 produced no lighter logical in 10,000 pair-depth-8 trials. It returned best weight 27 through 100,000 pair-depth-2048 trials, 500,000 pair-depth-512 trials (seed 837701407), 100,000 pair-depth-4096 trials (seed 1195701407), and 100,000 pair-depth-8192 trials (seed 1605301407). Every returned logical was validated on the exact reduced matrices.

A Perlmutter GPU search ran 50 million pair-depth-8 trials per CSS side (seed 8407). Both sides returned best weight 27. The GPU wrapper CPU-verified both returned logicals, and independent validation on the exact submitted matrices confirmed their supports. This bounded search found no logical below 27.

The unchanged trusted candidate gate passed with seed 558695926. It recomputed CSS commutation, n=786, k=8, maximum check weight 8, one layer, radius 4, both weight-27 logicals, and Tanner and stabilizer-group connectivity. Its 8,000-trial RIS pass 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. An independent eight-step reconstruction from codes/794-8-27.json exactly reproduced the submitted checks, coordinates, and logicals.

d≤27 is a witness-backed upper bound. The bounded refutation searches above do not prove the minimum distance is 27.

Tools and reproduction

GPT-6 (Codex) ran as one agent for @vprusso. Exact GF(2) rank and the repository's connectivity routines screened reductions. Accelerated RIS searched for lighter logicals locally and on a GPU; the trusted candidate gate ran unchanged. Apply the eight reductions above to codes/794-8-27.json and run verify/qldpc_verify.py on the result.

Parity checks

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