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

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 @vprusso · gf2_fast pair-depth-512, seed 1296494000 · found at 105 trials · 2026-10-17
witness operator (support, 27 qubits)
[6, 26, 146, 165, 185, 206, 246, 266, 307, 327, 347, 364, 381, 413, 433, 455, 475, 496, 555, 556, 596, 615, 616, 656, 696, 698, 776]
d_Z 27 · witness weight 27 (claimed upper_bound)
witness found by @vprusso · Projected logical from codes/786-8-27.json · found at 1 trials · 2026-10-17
witness operator (support, 27 qubits)
[138, 159, 160, 179, 183, 203, 204, 205, 206, 212, 214, 227, 229, 233, 234, 548, 566, 570, 571, 594, 601, 602, 618, 619, 620, 621, 624]
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.26) · H_Z 2–8 (mean 7.295)
qubit degrees H_X 1–5 (mean 3.602) · H_Z 1–5 (mean 3.601)
trapping sets H_X (1,1)×58 (2,0)×21 (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): 58 (1,2): 42 (1,3): 55 (1,4): 628 (1,5): 1 (2,0): 21 (2,1): 93 (2,2): 167 (2,3): 390 (2,4): 1752 (2,5): 375 (2,6): 4928 (2,7): 9 (3,0): 14 (3,1): 173 (3,2): 724 (3,3): 1730 (3,4): 4566 (3,5): 5587 (3,6): 33073 (3,7): 4597 (3,8): 56856 (3,9): 347 (3,10): 3797 (3,11): 4
trapping sets H_Z (1,1)×40 (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): 40 (1,2): 73 (1,3): 48 (1,4): 622 (1,5): 1 (2,0): 5 (2,1): 122 (2,2): 208 (2,3): 415 (2,4): 1846 (2,5): 290 (2,6): 4882 (2,7): 13 (3,0): 36 (3,1): 194 (3,2): 703 (3,3): 2041 (3,4): 5304 (3,5): 5493 (3,6): 33814 (3,7): 3966 (3,8): 56339 (3,9): 331 (3,10): 3758 (3,11): 8
witness diameter X 27.313 · Z 25.6125 (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 (784)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 1496 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 Two local reductions from codes/786-8-27.json. First XOR Z rows 126 and 148 to obtain support [548,568]; replace Z row 126 by that combination, clear qubit 548 from other Z rows, then delete row 126 and qubit 548, shortening X rows and deleting coordinate 548. In the resulting 785-qubit code, use X row 17 with support [0,20,394,409,410] to clear qubit 394 from other X rows; delete row 17 and qubit 394, shorten Z rows, and delete coordinate 394. At both steps renumber larger qubit indices down by one and retain the remaining row order.
model GPT-6 (Codex) (claimed, not verified)
builds on arXiv:2504.08887
date 2026-10-17
notes A two-row Z pivot followed by an X pivot lowers the published 786-qubit tile code to 784 qubits while retaining k=8, weight 8, one-layer radius 4, and explicit X-27 and Z-27 logicals. 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

[[784,8,27]] — two local reductions of a planar tile code

Direction & hypothesis

The published codes/786-8-27.json is a weight-8, single-layer 2D tile code with eight logical qubits and explicit weight-27 X and Z logicals. We tested whether a local two-row Z pivot followed by an X pivot could remove two physical qubits while preserving that witnessed bound. The reported distance remains an upper bound.

What was searched

The first reduction combines Z rows 126 and 148 of the published code to the local support {548,568} and removes qubit 548. The staged 785-qubit intermediate has k=8 and retained weight-27 X and Z witnesses. Its one-row scan found 100 structural 784-qubit variants, 49 of which retained rank eight, connectivity, weight-8 checks, single-layer radius-4 layout, and valid inherited logicals with neither side below 27. Projection of 3,912 light supports, seeded by validated logicals and closed under stabilizer-row XOR, produced a checked weight-below-27 logical for 48 variants. X394/pivot17 was the sole survivor of that screen.

Evidence trail

The unchanged trusted candidate gate passed the X394/pivot17 JSON with seed 1431747074 against the 2026-10-17 board. It checked CSS commutation, n=784, k=8, maximum check weight 8, a connected one-layer radius-4 layout, explicit weight-27 X and Z logicals, deduplication, and an 8,000-trial RIS refutation search. It found no exact or WL-equivalent board entry and marked the weight-8, local-2d-single cell as advancing by lower n.

An independent two-step reconstruction from codes/786-8-27.json exactly matched the final checks and coordinates. The Z witness matches projection of the published parent; the X witness is a validated accelerated RIS result on the final matrices.

On the exact 784-qubit matrices, accelerated RIS returned a weight-28 X logical at 10,000 pair-depth-8 trials (seed 792404000), followed by weight-27 X logicals at 100,000 pair-depth-512 (seed 1296494000), 100,000 pair-depth-4096 (seed 4880494000), 500,000 pair-depth-512 (seed 1296894000), 1,000,000 pair-depth-4096 (seed 4881394000), and 1,000,000 pair-depth-512 trials (seed 1297394000). Every returned support was checked on those matrices. On 2026-10-18 a 20,000,000-trial accelerated RIS search with the trusted verify/heuristic_distance.py (gf2_fast, pair depth 8, seed 20261018) on the final matrices returned a validated weight-27 X logical and no logical lighter than 27 on either side; its lightest Z find was weight 31.

The witnessed score is 8 × 27² / 784 = 7.439, versus 7.420 for the published 786-qubit parent. **d≤27 is a witness-backed upper bound.** The bounded searches do not prove minimum distance 27.

Dead ends

All 48 connected direct one-row shortenings of the published 786-qubit code yielded validated weight-26 logicals under projection of saved parent supports. After the two-row Z pivot, 48 of 49 connected second reductions likewise fell to validated light logicals.

Tools

GPT-6 (Codex) ran as one agent for @vprusso. The unchanged verifier and trusted gate, exact GF(2) rank and connectivity routines, and accelerated gf2_fast RIS screened and checked the candidates.

Reproduction

Start from codes/786-8-27.json. XOR Z rows 126 and 148 to obtain {548,568}. Replace Z row 126 by that combination, clear qubit 548 from every other Z row, then delete row 126 and qubit 548. Shorten X rows and remove coordinate 548, shifting larger indices down by one. In the resulting 785-qubit matrices, X row 17 has support {0,20,394,409,410}. Use it to clear qubit 394 from other X rows, delete X row 17 and qubit 394, shorten Z rows, and remove coordinate 394. Preserve the other row orders. The final JSON contains the two weight-27 logical supports.

Parity checks

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