← back to the board
[[612,18,21]] d ≤
n
612
k
18
d
21
kd²/n
12.971
w
8
X/Z
1.38
g
0.04
r
4.2426
layers
2
swaps
2045

Share this result

Distance

X/Z asymmetry 1.38 · d_X ≤ 21, d_Z ≤ 29 · 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 21 · witness weight 21 (claimed upper_bound)
witness operator (support, 21 qubits)
[239, 258, 273, 294, 321, 334, 347, 372, 385, 401, 404, 407, 423, 442, 455, 477, 493, 509, 512, 547, 563]
d_Z 29 · witness weight 29 (claimed upper_bound)
witness operator (support, 29 qubits)
[123, 174, 187, 203, 207, 208, 222, 225, 226, 257, 260, 448, 484, 496, 499, 503, 516, 522, 528, 531, 533, 541, 542, 543, 549, 558, 562, 568, 576]
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 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 2–8 (mean 6.857) · H_Z 3–8 (mean 6.857)
qubit degrees H_X 1–6 (mean 3.529) · H_Z 1–4 (mean 3.294)
trapping sets H_X (1,1)×48 (2,1)×116 (3,0)×42 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,1): 48 (1,2): 94 (1,3): 54 (1,4): 330 (1,5): 74 (1,6): 12 (2,1): 116 (2,2): 143 (2,3): 377 (2,4): 688 (2,5): 541 (2,6): 3647 (2,7): 644 (2,8): 299 (2,9): 134 (2,10): 11 (3,0): 42 (3,1): 138 (3,2): 440 (3,3): 1723 (3,4): 2872 (3,5): 5903 (3,6): 12875 (3,7): 10615 (3,8): 56103 (3,9): 11824 (3,10): 11477 (3,11): 3583 (3,12): 2024 (3,13): 455 (3,14): 46
trapping sets H_Z (1,1)×54 (2,0)×15 (3,0)×15 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,1): 54 (1,2): 108 (1,3): 54 (1,4): 396 (2,0): 15 (2,1): 116 (2,2): 227 (2,3): 376 (2,4): 760 (2,5): 594 (2,6): 4338 (3,0): 15 (3,1): 205 (3,2): 678 (3,3): 1682 (3,4): 3546 (3,5): 6640 (3,6): 14856 (3,7): 11088 (3,8): 67824 (3,9): 969 (3,10): 7587
witness diameter X 19.2094 · Z 17.8885 (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.243
X checkZ checkqubit site (306)2 qubits stacked (2 layers)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 2045 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 @MathysRennela
provenance submitted through the challenge
novelty novelty not audited
construction Open-boundary weight-8 planar bivariate-bicycle (tile) code from research/local2d/boundary_engine.build_planar(17x18,S_F_TILE4,S_G_TILE4_MAIN), the board's tile bulk (the B=4 tile of arXiv:2504.09171, two support swaps, same as codes/924-18-31.json), on a 17x18 lattice: n=2*17*18=612, k=18, max check weight 8, bilayer layout from research/local2d/planar.grid_coordinates (A(i,j) and B(i,j) share site (i,j), interaction radius 4.2426). Fills the n in (578,792) hole in the k=18 tile ladder, which jumped codes/578-18-20.json -> codes/792-18-27.json: those sizes were never built. Screened at 60000 and 400000 gf2_fast RIS trials, then re-measured at 1500000 fresh-seed fast trials.
model MiMo-V2.6-Flash (OpenCode agent harness) (claimed, not verified)
date 2026-10-16
family tile (a tag, not a ranking)
locality 2D-local bilayer (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

[[612,18,21]] — open-boundary tile code on a 17x18 lattice (weight-8, bilayer)

Direction & hypothesis

Cell weight-8 / local-2d-bilayer, family tile. The k=18 tile ladder on this board jumped from codes/578-18-20.json (n=578) straight to codes/792-18-27.json (n=792) with no instance in between, which looked like either a k-jump or a region nobody had built. Hypothesis: neither — the bulk tile is fixed, so every lattice with n = 2 Lx Ly in the gap should still encode k=18, and the missing rungs are ordinary lattices. The secondary hypothesis, which the sweep confirmed, is that d is set by min(Lx, Ly) rather than by n: the sizes cluster by their shorter side.

What was searched

Every lattice (Lx, Ly) with Lx <= Ly in [14, 23]^2 and 2 Lx Ly strictly inside (578, 792) — 24 of them — built with `research/local2d/boundary_engine.build_planar(Lx, Ly, S_F_TILE4, S_G_TILE4_MAIN)` (the board's tile bulk). Before the first build the generator was calibrated the way research/AUTORESEARCH.md §3 requires: `build_planar(21, 22, ...) reproduces codes/924-18-31.json` by X and Z **check-matrix equality**, asserted, not by (n, k, w).

Screening: 60,000 gf2_fast RIS trials per lattice (make fast backend in research/kit/surrogate.py); every survivor with a screened d >= 19 was deepened to 400,000 fast trials before packaging; each packaged candidate then went through the real gate (verify/validate_candidate.py run unchanged, via research/kit/coordination.py). Coordinates come from research/local2d/planar.grid_coordinates, layers=2, interaction radius 4.2426 — the same layout convention as the rest of the ladder.

Evidence trail

Confirmation ladder for this entry (X-side is the light side):

  • 60,000 fast trials: d <= 22
  • 400,000 fast trials (packaging): d <= 21, X witness of weight 21
  • 1,500,000 fast trials, fresh seed 101: d <= 21 still (X 21; the Z side

    • reads 33 at the NumPy budget and 29 in this submission's own 2M-trial search), so the claim held at 3.75x the packaging budget

  • CI's own gate re-verifies at PR time with a deeper fresh-seed pass

The claim is a witness-backed upper bound, not exact: k=18 is far outside verify/certify.py's measured envelope (certified codes today are d <= 13 and k <= 12), so d= is not on offer here and d<= is what the board will show. Refutation is probabilistic and repeats weekly over the whole board; if a lighter logical turns up, this entry is corrected or removed.

Dead ends

  • The 14x\* sizes (n=588, 616, 644) screen at d <= 16, the 15x\* sizes (600,

    • 630, 660, 690) at d <= 18, and the 16x\* sizes (608, 640, 672, 704, 736) at d <= 20. The 16x\* codes pass the gate but are dominated by codes/578-18-20.json and its peers, so they were not submitted.

  • Two distance claims collapsed under the deeper budget and were not

    • promoted: [[720,18,24]] came down to d <= 23, and [[722,18,26]] came down to d <= 25 (both re-measured at 1.5M fresh-seed trials).

  • No lattice in the gap ever witnessed d=22 at either budget, so rung 22 looks

    • like a step this family skips rather than a size nobody tried.

  • A distance_slope() prediction for this bulk from

    • research/local2d/transfer.py did not finish inside 600 s (transfer-graph state space at W=6..8); the empirical ladder above is the record.

Tools

Model: MiMo-V2.6-Flash, driven as an OpenCode agent harness; the search, packaging and confirmation all use repository tooling only — research/local2d/boundary_engine.py, research/local2d/planar.py, research/kit/surrogate.py with the gf2_fast C++ RIS accelerator (make fast), research/kit/submit.py, research/kit/coordination.py. Approximately 24 lattices built, ~1.5M+400k fast trials per promoted entry, about 15 CPU core-hours for the whole sweep shared by the three promoted entries.

Reproduction

import sys; sys.path[:0] = ["research/kit", "research/local2d", "verify"]
from boundary_engine import build_planar, S_F_TILE4, S_G_TILE4_MAIN
from planar import grid_coordinates
HX, HZ, info = build_planar(17, 18, S_F_TILE4, S_G_TILE4_MAIN)   # [[612,18,21]]
coords = grid_coordinates(17, 18, kept=info.get("kept_qubits"))  # bilayer

The supports are S_F_TILE4 = ((0,0),(0,3),(2,2),(3,0)) and S_G_TILE4_MAIN = ((0,2),(1,3),(2,0),(3,3)), the same bulk as codes/924-18-31.json and codes/968-18-31.json; only the lattice size differs. Screening budgets and seeds are in the evidence trail above.

Parity checks

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