← back to the board
[[717,8,25]] d ≤
n
717
k
8
d
25
kd²/n
6.974
w
8
X/Z
1
g
0.109
r
4.0
layers
1
swaps
1370

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 25, d_Z ≤ 25 · 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 25 · witness weight 25 (claimed upper_bound)
witness found by @vprusso · RIS on 719-qubit ancestor; projected through later pivots · found at 105 trials · 2026-10-16
witness operator (support, 25 qubits)
[1, 3, 6, 7, 8, 9, 22, 23, 30, 36, 37, 52, 360, 361, 365, 367, 379, 381, 387, 388, 389, 390, 395, 409, 450]
d_Z 25 · witness weight 25 (claimed upper_bound)
witness found by @fullymiddleaged and @vprusso · Inherited from codes/722-8-25.json via five pivots · found at 1 trials · 2026-10-16
witness operator (support, 25 qubits)
[20, 21, 40, 59, 97, 172, 174, 191, 192, 193, 250, 270, 289, 310, 330, 362, 418, 456, 475, 493, 512, 551, 571, 686, 706]
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.228) · H_Z 3–8 (mean 7.283)
qubit degrees H_X 1–4 (mean 3.589) · H_Z 1–5 (mean 3.586)
trapping sets H_X (1,1)×36 (2,1)×115 (3,0)×31 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 36 (1,2): 75 (1,3): 37 (1,4): 569 (2,1): 115 (2,2): 193 (2,3): 369 (2,4): 1717 (2,5): 211 (2,6): 4448 (3,0): 31 (3,1): 179 (3,2): 612 (3,3): 1880 (3,4): 4914 (3,5): 4869 (3,6): 31035 (3,7): 2942 (3,8): 51108 (3,9): 85 (3,10): 3430
trapping sets H_Z (1,1)×56 (2,0)×17 (3,0)×18 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 56 (1,2): 37 (1,3): 57 (1,4): 565 (1,5): 2 (2,0): 17 (2,1): 90 (2,2): 180 (2,3): 379 (2,4): 1569 (2,5): 384 (2,6): 4420 (2,7): 15 (3,0): 18 (3,1): 176 (3,2): 696 (3,3): 1709 (3,4): 4324 (3,5): 5474 (3,6): 29629 (3,7): 4601 (3,8): 50773 (3,9): 405 (3,10): 3404 (3,11): 7
witness diameter X 24.8395 · 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 (717)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 1370 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 From codes/722-8-25.json, successively pivot out: qubit 0 with Z row 289 support [0,362,363]; qubit 18 with Z row 289 support [1,18,361,380,381]; qubit 357 with Z row 350 support [356,357,716]; qubit 357 with Z row 353 support [356,357,715,716]; qubit 17 with X row 291 support [16,17,35,393,412,413]. At each step, XOR the pivot row into same-side checks containing the target, delete that row and qubit, shorten opposite-side checks, and remove the coordinate.
model GPT-6 (Codex) (claimed, not verified)
builds on arXiv:2504.09171
date 2026-10-16
notes X logical descends from RIS on the 719-qubit ancestor; Z logical descends from codes/722-8-25.json.
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

[[717,8,25]] — five local reductions of a planar tile code

Direction & hypothesis

The published codes/722-8-25.json is a weight-8, single-layer 2D tile code with eight logical qubits and explicit weight-25 logical operators. Local stabilizer pivots can remove physical qubits while retaining its checks, layout class, and logical witnesses. We sought a smaller n in that board cell. The reported distance is a witness-backed upper bound.

What was searched

Four compatible pivots reduced the 722-qubit code to a staged 718-qubit ancestor. A fifth single-pivot scan found 95 structural 717-qubit variants preserving check weight at most 8, radius at most 4, and at least one inherited weight-25 logical with neither side below 25. Sixty-one retained k=8, Tanner and stabilizer-block connectivity, and valid logicals. Projection of 283 light ancestor logicals, including stabilizer-row translates and RIS witnesses lifted from the children, refuted seven variants with validated weight-24 logicals. A 10,000-trial, pair-depth-8 screen of the 59 initial survivors found one of those refutations. We tested X17/pivot291, Z375/pivot350, and Z717/pivot288 at 100,000 trials and pair depth 512: X17 and Z717 returned weight 25; Z375 returned a validated weight-24 X logical. We selected X17/pivot291.

Evidence trail

The unchanged trusted candidate gate passed the X17/pivot291 JSON with seed 894136645. It checked CSS commutation, n=717, k=8, maximum check weight 8, a connected one-layer radius-4 layout, the two weight-25 logicals, deduplication, and an 8,000-trial RIS refutation search. It marked the weight-8, local-2d-single cell as advancing by lower n. An independent five-pivot reconstruction from codes/722-8-25.json matched the submitted checks and coordinates. The Z witness matches the published parent's projection; the X witness descends from a validated RIS result on the 719-qubit ancestor.

On the exact 717-qubit matrices, accelerated RIS found no logical below 25 in 10,000 pair-depth-8 trials (seed 725011991), 100,000 pair-depth-512 trials (seed 1229101991), 1,000,000 pair-depth-512 trials (seed 1230001991), and 1,000,000 pair-depth-4096 trials (seed 4814001991). Every returned logical was checked against those matrices. The 718-qubit ancestor also returned weight 25 in two independent million-trial runs (pair depths 512 and 4096).

d≤25 is a witness-backed upper bound. The bounded searches do not prove a minimum distance of 25. The witnessed score is 8 × 25² / 717 = 6.974, versus 6.925 for the 722-qubit parent.

Dead ends

The Z375/pivot350 fifth reduction found a weight-24 X logical at 100,000 pair-depth-512 trials (seed 1229237850). Several other 717-qubit variants found weight-24 logicals by short RIS or projection. The remaining shallow-screen survivors have not been deeply confirmed.

Tools

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

Reproduction

Start from codes/722-8-25.json. At each step, XOR the named pivot row into every other same-side check containing the target qubit; delete the pivot row and qubit, shorten opposite-side checks, delete that coordinate, and renumber surviving qubits. In order:

1. Z row 289, support {0,362,363}, target qubit 0. 2. Z row 289, support {1,18,361,380,381}, target qubit 18. 3. Z row 350, support {356,357,716}, target qubit 357. 4. Z row 353, support {356,357,715,716}, target qubit 357. 5. X row 291, support {16,17,35,393,412,413}, target qubit 17.

Project the published Z witness through all five pivots. The X witness in the submitted JSON comes from accelerated RIS on the 719-qubit intermediate and is projected through the final two pivots. The JSON contains the final checks, coordinates, and both witness supports.

Parity checks

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