← back to the board
[[372,12,28]] d ≤
n
372
k
12
d
28
kd²/n
25.29
w
8
X/Z
1.07

Share this result

Distance

X/Z asymmetry 1.07 · d_X ≤ 30, d_Z ≤ 28 · 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 30 · witness weight 30 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (build/ris_gpu, NVIDIA A40) · found at 5×107 trials · 2026-09-25
witness operator (support, 30 qubits)
[3, 4, 5, 9, 10, 11, 54, 55, 56, 57, 58, 59, 96, 97, 98, 102, 103, 104, 147, 148, 149, 150, 151, 152, 198, 199, 200, 291, 292, 293]
d_Z 28 · witness weight 28 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py (build/ris_gpu, NVIDIA A40) · found at 5×107 trials · 2026-09-25
witness operator (support, 28 qubits)
[5, 18, 20, 41, 54, 66, 69, 79, 109, 114, 119, 129, 131, 145, 157, 178, 194, 201, 203, 237, 239, 263, 278, 300, 333, 352, 357, 364]
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 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 8 · H_Z 8
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×372 (2,6)×5208 (3,6)×2604 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 372 (2,6): 5208 (3,6): 2604 (3,8): 101556 (3,10): 10416
trapping sets H_Z (1,4)×372 (2,6)×5208 (3,6)×2604 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 372 (2,6): 5208 (3,6): 2604 (3,8): 101556 (3,10): 10416

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Periodic bivariate-bicycle code on Z_62 x Z_3 (n = 2*l*m = 372): x = S_62 tensor I_3, y = I_62 tensor S_3 (cyclic shifts), qubit index i*m + j in each block; A = x0y0 + x16y0 + x41y1 + x58y2, B = x0y0 + x15y2 + x32y1 + x44y1; H_X = [A|B], H_Z = [B^T|A^T] (research/kit/bb.py build_bb(62, 3, [[0, 0], [16, 0], [41, 1], [58, 2]], [[0, 0], [15, 2], [32, 1], [44, 1]])). gcd(62, 3) = 1, so Z_62 x Z_3 is cyclic of order 186 and the code is the cyclic generalized-bicycle code over Z_186 with a(z) = z0 + z78 + z103 + z182, b(z) = z0 + z77 + z94 + z106 (CRT relabeling x^a y^b -> z^t, t = a mod 62, t = b mod 3).
model Claude Claude Fable 5.1 (Claude Code) (claimed, not verified)
date 2026-09-25
notes Found by the third LER-objective search (coprime bivariate-bicycle codes (gcd(l, m) = 1) at 100 <= n <= 420, weight 6 and 8, k >= 8): circuit-level logical error rate at 3 rounds under the board's depolarizing recipe, interleaved schedule, decoded with CUDA-Q QEC nv-qldpc-decoder (BP+OSD-CS order 10). At p = 0.002, 100000 shots per basis: Z memory 70 failures, X memory 55 failures, against 12 copies of the distance-7 rotated surface code (1164 physical qubits, same builder and decoder) with 119 and 110 failures. Decoder-based d_circ estimate at 3 rounds: 75. Distance: RIS at 20,000 trials (gf2_fast) and a 300,000,000-trial verify/ris_gpu.py pass per side; upper bounds. Details in the accompanying note.
family other (a tag, not a ranking)
locality unrestricted (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

[[372,12,28]] weight-8 coprime bivariate-bicycle code on Z_62 x Z_3

Direction & hypothesis

Objective: at 3 syndrome rounds under the board's depolarizing recipe at p = 0.002, interleaved schedule, both memories, a logical error rate per round below that of k copies of the rotated surface code at equal or greater physical qubit count (data plus ancilla), with separated 95 percent Poisson intervals. The target board cell is weight-8 x unrestricted (no layout). This code comes from part 2, coprime bivariate bicycle, weight 6/8, k >= 8 of the third LER-objective search, the ground the first two searches (weight-6 two-block codes at n <= 300 with k >= 8; the existing board pool and generated weight-8 lifted-product, pair-partition, and non-abelian two-block codes at n <= 300) did not cover. The baseline's distance is set by the qubit budget (k12-d7: 12 copies of d = 7, 1164 qubits against the candidate's 744), and the decoder is the same BP+OSD configuration for both.

What was searched

Stage 1 admitted 579 candidates from part 1, weight-6/7 two-block, 300 < n <= 420, k >= 12, 707 candidates from part 2, coprime bivariate bicycle, weight 6/8, k >= 8, 24 candidates from part 3, hypergraph product, proven distance (1,310 generator hits with the required k, connected, and d >= 10 at 300 RIS trials; 0 repeats within the search, 0 already candidates of the first two searches, 0 exact board duplicates). Funnel: RIS at 2,000 trials (keep d >= 10; 271 of 271), RIS at 20,000 trials (247 kept), WL dedup against the board (20 dropped), 3-round circuit with the tier checks (257 built), GPU decode of 10,000 shots per basis at p = 0.002 against the matched surface baseline (8 of 13 beat it in both bases), the decoder-based d_circ estimate (8 kept, 0 more than 2 below d), then up to 100,000 shots per basis at p = 0.001 and 0.002 (fitted to a 90-minute GPU budget at the measured throughput) and a 300,000,000-trial ris_gpu pass per side.

Construction

Periodic bivariate-bicycle code on Z_62 x Z_3 (n = 2*l*m = 372): x = S_62 tensor I_3, y = I_62 tensor S_3 (cyclic shifts), qubit index i*m + j in each block; A = x^0y^0 + x^16y^0 + x^41y^1 + x^58y^2, B = x^0y^0 + x^15y^2 + x^32y^1 + x^44y^1; H_X = [A|B], H_Z = [B^T|A^T] (research/kit/bb.py build_bb(62, 3, [[0, 0], [16, 0], [41, 1], [58, 2]], [[0, 0], [15, 2], [32, 1], [44, 1]])). gcd(62, 3) = 1, so Z_62 x Z_3 is cyclic of order 186 and the code is the cyclic generalized-bicycle code over Z_186 with a(z) = z^0 + z^78 + z^103 + z^182, b(z) = z^0 + z^77 + z^94 + z^106 (CRT relabeling x^a y^b -> z^t, t = a mod 62, t = b mod 3).

Schedule: interleaved; two-block interleaved (A: 4 terms, B: 4 terms), 9 CX layers per round; terms by bb_decompose translations on Z_62 x Z_3; X-check term slots [2, 7, 6, 1, 3, 5, 8, 4], Z-check term slots [6, 1, 2, 7, 4, 3, 0, 5] over terms A_0..A_3, B_0..B_3; RIS screen at 2 rounds: {'Z': 235, 'X': 248}

Evidence trail

RIS ladder for the submitted code (lightest logical found, both sides):

| RIS trials per side | seed | lightest logical found | |---|---|---| | 2,000 | 2137379062 | 38 | | 20,000 | 13504069 | 34 | | 300,000,000 (GPU, verify/ris_gpu.py) | 1681214693 | X 30, Z 28 |

Claim: d <= 28, a witness-backed upper bound.

Decoder-based circuit fault-distance estimate at 3 rounds (a stacked BP+OSD search on the committed DEM, GPU, 2 seeds; our decoder-based estimator, not part of this repo): 75 (per basis {'Z': 75, 'X': 85}); an upper bound on d_circ.

Logical error rate per round at 3 rounds (exact 95 percent Poisson intervals on the failure count; the surface baseline is 12 copies of the distance-7 rotated surface code, 1164 physical qubits, geometric interleaved schedule, same noise recipe and decoder):

| p | basis | candidate | surface baseline | ratio | separated | |---|---|---|---|---|---| | 0.002 | Z | 4.67e-04 [3.64e-04, 5.90e-04] (70/50000) | 7.95e-04 [6.58e-04, 9.51e-04] (119/50000) | 0.588 | yes | | 0.002 | X | 3.67e-04 [2.76e-04, 4.78e-04] (55/50000) | 7.34e-04 [6.03e-04, 8.85e-04] (110/50000) | 0.500 | yes | | 0.001 | Z | 0 [0, 2.46e-05] (0/50000) | 8.67e-05 [4.62e-05, 1.48e-04] (13/50000) | 0.000 | yes | | 0.001 | X | 0 [0, 2.46e-05] (0/50000) | 8.00e-05 [4.13e-05, 1.40e-04] (12/50000) | 0.000 | yes |

Stage-4 screen (10,000 shots per basis at p = 0.002): Z 10 vs 22, X 11 vs 21 failures.

Objective at p = 0.002: met (both bases separated: True).

Gate verdict (verify/validate_candidate.py, refute off): passed = True, labels: advances the weight-8 x unrestricted board; literature novelty UNVERIFIED. Duplicate check: exact None, WL None. Board cell ['weight-8', 'unrestricted']: board_advancing = True.

Dead ends

Of the candidates that reached the GPU screen, 5 did not beat their surface baseline in both bases at 10,000 shots; 0 had a d_circ estimate more than 2 below d; 0 produced no deterministic schedule or failed a tier check; 0 fell below d = 10 in the RIS ladder. Nearest stage-4 misses (candidate failures vs baseline failures, Z and X):

  • [[420,8,49]] bivariate-bicycle (p2) vs k8-d9: Z 7 vs 4, X 10 vs 4
  • [[420,8,48]] bivariate-bicycle (p2) vs k8-d9: Z 10 vs 4, X 5 vs 4
  • [[406,8,44]] bivariate-bicycle (p2) vs k8-d9: Z 6 vs 4, X 14 vs 4
  • [[400,16,8]] hypergraph-product (p3) vs k16-d5: Z 3593 vs 144, X 3617 vs 153
  • [[400,16,8]] hypergraph-product (p3) vs k16-d5: Z 3751 vs 144, X 3672 vs 153

Tools

Claude (Claude Code, model Fable 5.1) as the agent in an unattended search: generation and circuits on the laptop, GPU decoding on RunPod A40 pods. Repo tooling: research/kit/bb.py, research/cyclic_gb.py, research/kit/group_algebra.py, and research/kit/products.py (constructions), research/kit/css.py and verify/gf2_fast.cpp (k and the RIS distance screen), verify/qldpc_verify.py fingerprint and WL signature (dedup against the board), the schedule chain of PR 1859's interleaved two-block builder (research/circuit_autogen.py), a SAT coloring, and the board's sequential builder with verify/circuit_verify.py's tier checks, our decoder-based d_circ estimator (not part of this repo), ler-pilot's rotated-surface matched baseline (pilot.py, build_interleaved.py), CUDA-Q QEC nv-qldpc-decoder (BP min-sum 30 iterations, scale 0.625, OSD combination sweep order 10, the configuration validated against bposd-cs-10), verify/ris_gpu.py on the A40 for the deep rung, verify/sat_certify.py for the exact check of part-3 distances, and verify/validate_candidate.py for the verdict.

Reproduction

import sys; sys.path.insert(0, "research/kit")
from bb import build_bb
HX, HZ = build_bb(l=62, m=3, A_terms=[[0, 0], [16, 0], [41, 1], [58, 2]], B_terms=[[0, 0], [15, 2], [32, 1], [44, 1]])   # [[372,12]]

Circuits: PR 1859's interleaved two-block builder (research/circuit_autogen.py) at 3 rounds, 9.0 CX layers per round, with the term slots listed under Construction. Decoding: strip the noise, reapply circuit_tools.apply_noise at p, derive the DEM, sample with the stim seed recorded in the receipts, decode with nv-qldpc-decoder as configured above; a failure is any logical observable decoded wrong.

Parity checks

X-checks 186 (max weight 8) · Z-checks 186 (max weight 8)
H_X (186 checks, sparse supports)
[0, 48, 124, 176, 186, 233, 283, 319] [1, 49, 125, 174, 187, 231, 284, 320] [2, 50, 123, 175, 188, 232, 282, 318] [3, 51, 127, 179, 189, 236, 286, 322] [4, 52, 128, 177, 190, 234, 287, 323] [5, 53, 126, 178, 191, 235, 285, 321] [6, 54, 130, 182, 192, 239, 289, 325] [7, 55, 131, 180, 193, 237, 290, 326] [8, 56, 129, 181, 194, 238, 288, 324] [9, 57, 133, 185, 195, 242, 292, 328] [10, 58, 134, 183, 196, 240, 293, 329] [11, 59, 132, 184, 197, 241, 291, 327] [2, 12, 60, 136, 198, 245, 295, 331] [0, 13, 61, 137, 199, 243, 296, 332] [1, 14, 62, 135, 200, 244, 294, 330] [5, 15, 63, 139, 201, 248, 298, 334] [3, 16, 64, 140, 202, 246, 299, 335] [4, 17, 65, 138, 203, 247, 297, 333] [8, 18, 66, 142, 204, 251, 301, 337] [6, 19, 67, 143, 205, 249, 302, 338] [7, 20, 68, 141, 206, 250, 300, 336] [11, 21, 69, 145, 207, 254, 304, 340] [9, 22, 70, 146, 208, 252, 305, 341] [10, 23, 71, 144, 209, 253, 303, 339] [14, 24, 72, 148, 210, 257, 307, 343] [12, 25, 73, 149, 211, 255, 308, 344] [13, 26, 74, 147, 212, 256, 306, 342] [17, 27, 75, 151, 213, 260, 310, 346] [15, 28, 76, 152, 214, 258, 311, 347] [16, 29, 77, 150, 215, 259, 309, 345] [20, 30, 78, 154, 216, 263, 313, 349] [18, 31, 79, 155, 217, 261, 314, 350] [19, 32, 80, 153, 218, 262, 312, 348] [23, 33, 81, 157, 219, 266, 316, 352] [21, 34, 82, 158, 220, 264, 317, 353] [22, 35, 83, 156, 221, 265, 315, 351] [26, 36, 84, 160, 222, 269, 319, 355] [24, 37, 85, 161, 223, 267, 320, 356] [25, 38, 86, 159, 224, 268, 318, 354] [29, 39, 87, 163, 225, 272, 322, 358] [27, 40, 88, 164, 226, 270, 323, 359] [28, 41, 89, 162, 227, 271, 321, 357] [32, 42, 90, 166, 228, 275, 325, 361] [30, 43, 91, 167, 229, 273, 326, 362] [31, 44, 92, 165, 230, 274, 324, 360] [35, 45, 93, 169, 231, 278, 328, 364] [33, 46, 94, 170, 232, 276, 329, 365] [34, 47, 95, 168, 233, 277, 327, 363] [38, 48, 96, 172, 234, 281, 331, 367] [36, 49, 97, 173, 235, 279, 332, 368] [37, 50, 98, 171, 236, 280, 330, 366] [41, 51, 99, 175, 237, 284, 334, 370] [39, 52, 100, 176, 238, 282, 335, 371] [40, 53, 101, 174, 239, 283, 333, 369] [44, 54, 102, 178, 187, 240, 287, 337] [42, 55, 103, 179, 188, 241, 285, 338] [43, 56, 104, 177, 186, 242, 286, 336] [47, 57, 105, 181, 190, 243, 290, 340] [45, 58, 106, 182, 191, 244, 288, 341] [46, 59, 107, 180, 189, 245, 289, 339] [50, 60, 108, 184, 193, 246, 293, 343] [48, 61, 109, 185, 194, 247, 291, 344] [49, 62, 110, 183, 192, 248, 292, 342] [1, 53, 63, 111, 196, 249, 296, 346] [2, 51, 64, 112, 197, 250, 294, 347] [0, 52, 65, 113, 195, 251, 295, 345] [4, 56, 66, 114, 199, 252, 299, 349] [5, 54, 67, 115, 200, 253, 297, 350] [3, 55, 68, 116, 198, 254, 298, 348] [7, 59, 69, 117, 202, 255, 302, 352] [8, 57, 70, 118, 203, 256, 300, 353] [6, 58, 71, 119, 201, 257, 301, 351] [10, 62, 72, 120, 205, 258, 305, 355] [11, 60, 73, 121, 206, 259, 303, 356] [9, 61, 74, 122, 204, 260, 304, 354] [13, 65, 75, 123, 208, 261, 308, 358] [14, 63, 76, 124, 209, 262, 306, 359] [12, 64, 77, 125, 207, 263, 307, 357] [16, 68, 78, 126, 211, 264, 311, 361] [17, 66, 79, 127, 212, 265, 309, 362] [15, 67, 80, 128, 210, 266, 310, 360] [19, 71, 81, 129, 214, 267, 314, 364] [20, 69, 82, 130, 215, 268, 312, 365] [18, 70, 83, 131, 213, 269, 313, 363] [22, 74, 84, 132, 217, 270, 317, 367] [23, 72, 85, 133, 218, 271, 315, 368] [21, 73, 86, 134, 216, 272, 316, 366] [25, 77, 87, 135, 220, 273, 320, 370] [26, 75, 88, 136, 221, 274, 318, 371] [24, 76, 89, 137, 219, 275, 319, 369] [28, 80, 90, 138, 187, 223, 276, 323] [29, 78, 91, 139, 188, 224, 277, 321] [27, 79, 92, 140, 186, 222, 278, 322] [31, 83, 93, 141, 190, 226, 279, 326] [32, 81, 94, 142, 191, 227, 280, 324] [30, 82, 95, 143, 189, 225, 281, 325] [34, 86, 96, 144, 193, 229, 282, 329] [35, 84, 97, 145, 194, 230, 283, 327] [33, 85, 98, 146, 192, 228, 284, 328] [37, 89, 99, 147, 196, 232, 285, 332] [38, 87, 100, 148, 197, 233, 286, 330] [36, 88, 101, 149, 195, 231, 287, 331] [40, 92, 102, 150, 199, 235, 288, 335] [41, 90, 103, 151, 200, 236, 289, 333] [39, 91, 104, 152, 198, 234, 290, 334] [43, 95, 105, 153, 202, 238, 291, 338] [44, 93, 106, 154, 203, 239, 292, 336] [42, 94, 107, 155, 201, 237, 293, 337] [46, 98, 108, 156, 205, 241, 294, 341] [47, 96, 109, 157, 206, 242, 295, 339] [45, 97, 110, 158, 204, 240, 296, 340] [49, 101, 111, 159, 208, 244, 297, 344] [50, 99, 112, 160, 209, 245, 298, 342] [48, 100, 113, 161, 207, 243, 299, 343] [52, 104, 114, 162, 211, 247, 300, 347] [53, 102, 115, 163, 212, 248, 301, 345] [51, 103, 116, 164, 210, 246, 302, 346] [55, 107, 117, 165, 214, 250, 303, 350] [56, 105, 118, 166, 215, 251, 304, 348] [54, 106, 119, 167, 213, 249, 305, 349] [58, 110, 120, 168, 217, 253, 306, 353] [59, 108, 121, 169, 218, 254, 307, 351] [57, 109, 122, 170, 216, 252, 308, 352] [61, 113, 123, 171, 220, 256, 309, 356] [62, 111, 124, 172, 221, 257, 310, 354] [60, 112, 125, 173, 219, 255, 311, 355] [64, 116, 126, 174, 223, 259, 312, 359] [65, 114, 127, 175, 224, 260, 313, 357] [63, 115, 128, 176, 222, 258, 314, 358] [67, 119, 129, 177, 226, 262, 315, 362] [68, 117, 130, 178, 227, 263, 316, 360] [66, 118, 131, 179, 225, 261, 317, 361] [70, 122, 132, 180, 229, 265, 318, 365] [71, 120, 133, 181, 230, 266, 319, 363] [69, 121, 134, 182, 228, 264, 320, 364] [73, 125, 135, 183, 232, 268, 321, 368] [74, 123, 136, 184, 233, 269, 322, 366] [72, 124, 137, 185, 231, 267, 323, 367] [0, 76, 128, 138, 235, 271, 324, 371] [1, 77, 126, 139, 236, 272, 325, 369] [2, 75, 127, 140, 234, 270, 326, 370] [3, 79, 131, 141, 188, 238, 274, 327] [4, 80, 129, 142, 186, 239, 275, 328] [5, 78, 130, 143, 187, 237, 273, 329] [6, 82, 134, 144, 191, 241, 277, 330] [7, 83, 132, 145, 189, 242, 278, 331] [8, 81, 133, 146, 190, 240, 276, 332] [9, 85, 137, 147, 194, 244, 280, 333] [10, 86, 135, 148, 192, 245, 281, 334] [11, 84, 136, 149, 193, 243, 279, 335] [12, 88, 140, 150, 197, 247, 283, 336] [13, 89, 138, 151, 195, 248, 284, 337] [14, 87, 139, 152, 196, 246, 282, 338] [15, 91, 143, 153, 200, 250, 286, 339] [16, 92, 141, 154, 198, 251, 287, 340] [17, 90, 142, 155, 199, 249, 285, 341] [18, 94, 146, 156, 203, 253, 289, 342] [19, 95, 144, 157, 201, 254, 290, 343] [20, 93, 145, 158, 202, 252, 288, 344] [21, 97, 149, 159, 206, 256, 292, 345] [22, 98, 147, 160, 204, 257, 293, 346] [23, 96, 148, 161, 205, 255, 291, 347] [24, 100, 152, 162, 209, 259, 295, 348] [25, 101, 150, 163, 207, 260, 296, 349] [26, 99, 151, 164, 208, 258, 294, 350] [27, 103, 155, 165, 212, 262, 298, 351] [28, 104, 153, 166, 210, 263, 299, 352] [29, 102, 154, 167, 211, 261, 297, 353] [30, 106, 158, 168, 215, 265, 301, 354] [31, 107, 156, 169, 213, 266, 302, 355] [32, 105, 157, 170, 214, 264, 300, 356] [33, 109, 161, 171, 218, 268, 304, 357] [34, 110, 159, 172, 216, 269, 305, 358] [35, 108, 160, 173, 217, 267, 303, 359] [36, 112, 164, 174, 221, 271, 307, 360] [37, 113, 162, 175, 219, 272, 308, 361] [38, 111, 163, 176, 220, 270, 306, 362] [39, 115, 167, 177, 224, 274, 310, 363] [40, 116, 165, 178, 222, 275, 311, 364] [41, 114, 166, 179, 223, 273, 309, 365] [42, 118, 170, 180, 227, 277, 313, 366] [43, 119, 168, 181, 225, 278, 314, 367] [44, 117, 169, 182, 226, 276, 312, 368] [45, 121, 173, 183, 230, 280, 316, 369] [46, 122, 171, 184, 228, 281, 317, 370] [47, 120, 172, 185, 229, 279, 315, 371]
H_Z (186 checks, sparse supports)
[0, 56, 92, 142, 186, 199, 251, 324] [1, 54, 90, 143, 187, 200, 249, 325] [2, 55, 91, 141, 188, 198, 250, 326] [3, 59, 95, 145, 189, 202, 254, 327] [4, 57, 93, 146, 190, 203, 252, 328] [5, 58, 94, 144, 191, 201, 253, 329] [6, 62, 98, 148, 192, 205, 257, 330] [7, 60, 96, 149, 193, 206, 255, 331] [8, 61, 97, 147, 194, 204, 256, 332] [9, 65, 101, 151, 195, 208, 260, 333] [10, 63, 99, 152, 196, 209, 258, 334] [11, 64, 100, 150, 197, 207, 259, 335] [12, 68, 104, 154, 198, 211, 263, 336] [13, 66, 102, 155, 199, 212, 261, 337] [14, 67, 103, 153, 200, 210, 262, 338] [15, 71, 107, 157, 201, 214, 266, 339] [16, 69, 105, 158, 202, 215, 264, 340] [17, 70, 106, 156, 203, 213, 265, 341] [18, 74, 110, 160, 204, 217, 269, 342] [19, 72, 108, 161, 205, 218, 267, 343] [20, 73, 109, 159, 206, 216, 268, 344] [21, 77, 113, 163, 207, 220, 272, 345] [22, 75, 111, 164, 208, 221, 270, 346] [23, 76, 112, 162, 209, 219, 271, 347] [24, 80, 116, 166, 210, 223, 275, 348] [25, 78, 114, 167, 211, 224, 273, 349] [26, 79, 115, 165, 212, 222, 274, 350] [27, 83, 119, 169, 213, 226, 278, 351] [28, 81, 117, 170, 214, 227, 276, 352] [29, 82, 118, 168, 215, 225, 277, 353] [30, 86, 122, 172, 216, 229, 281, 354] [31, 84, 120, 173, 217, 230, 279, 355] [32, 85, 121, 171, 218, 228, 280, 356] [33, 89, 125, 175, 219, 232, 284, 357] [34, 87, 123, 176, 220, 233, 282, 358] [35, 88, 124, 174, 221, 231, 283, 359] [36, 92, 128, 178, 222, 235, 287, 360] [37, 90, 126, 179, 223, 236, 285, 361] [38, 91, 127, 177, 224, 234, 286, 362] [39, 95, 131, 181, 225, 238, 290, 363] [40, 93, 129, 182, 226, 239, 288, 364] [41, 94, 130, 180, 227, 237, 289, 365] [42, 98, 134, 184, 228, 241, 293, 366] [43, 96, 132, 185, 229, 242, 291, 367] [44, 97, 133, 183, 230, 240, 292, 368] [1, 45, 101, 137, 231, 244, 296, 369] [2, 46, 99, 135, 232, 245, 294, 370] [0, 47, 100, 136, 233, 243, 295, 371] [4, 48, 104, 140, 186, 234, 247, 299] [5, 49, 102, 138, 187, 235, 248, 297] [3, 50, 103, 139, 188, 236, 246, 298] [7, 51, 107, 143, 189, 237, 250, 302] [8, 52, 105, 141, 190, 238, 251, 300] [6, 53, 106, 142, 191, 239, 249, 301] [10, 54, 110, 146, 192, 240, 253, 305] [11, 55, 108, 144, 193, 241, 254, 303] [9, 56, 109, 145, 194, 242, 252, 304] [13, 57, 113, 149, 195, 243, 256, 308] [14, 58, 111, 147, 196, 244, 257, 306] [12, 59, 112, 148, 197, 245, 255, 307] [16, 60, 116, 152, 198, 246, 259, 311] [17, 61, 114, 150, 199, 247, 260, 309] [15, 62, 115, 151, 200, 248, 258, 310] [19, 63, 119, 155, 201, 249, 262, 314] [20, 64, 117, 153, 202, 250, 263, 312] [18, 65, 118, 154, 203, 251, 261, 313] [22, 66, 122, 158, 204, 252, 265, 317] [23, 67, 120, 156, 205, 253, 266, 315] [21, 68, 121, 157, 206, 254, 264, 316] [25, 69, 125, 161, 207, 255, 268, 320] [26, 70, 123, 159, 208, 256, 269, 318] [24, 71, 124, 160, 209, 257, 267, 319] [28, 72, 128, 164, 210, 258, 271, 323] [29, 73, 126, 162, 211, 259, 272, 321] [27, 74, 127, 163, 212, 260, 270, 322] [31, 75, 131, 167, 213, 261, 274, 326] [32, 76, 129, 165, 214, 262, 275, 324] [30, 77, 130, 166, 215, 263, 273, 325] [34, 78, 134, 170, 216, 264, 277, 329] [35, 79, 132, 168, 217, 265, 278, 327] [33, 80, 133, 169, 218, 266, 276, 328] [37, 81, 137, 173, 219, 267, 280, 332] [38, 82, 135, 171, 220, 268, 281, 330] [36, 83, 136, 172, 221, 269, 279, 331] [40, 84, 140, 176, 222, 270, 283, 335] [41, 85, 138, 174, 223, 271, 284, 333] [39, 86, 139, 175, 224, 272, 282, 334] [43, 87, 143, 179, 225, 273, 286, 338] [44, 88, 141, 177, 226, 274, 287, 336] [42, 89, 142, 178, 227, 275, 285, 337] [46, 90, 146, 182, 228, 276, 289, 341] [47, 91, 144, 180, 229, 277, 290, 339] [45, 92, 145, 181, 230, 278, 288, 340] [49, 93, 149, 185, 231, 279, 292, 344] [50, 94, 147, 183, 232, 280, 293, 342] [48, 95, 148, 184, 233, 281, 291, 343] [2, 52, 96, 152, 234, 282, 295, 347] [0, 53, 97, 150, 235, 283, 296, 345] [1, 51, 98, 151, 236, 284, 294, 346] [5, 55, 99, 155, 237, 285, 298, 350] [3, 56, 100, 153, 238, 286, 299, 348] [4, 54, 101, 154, 239, 287, 297, 349] [8, 58, 102, 158, 240, 288, 301, 353] [6, 59, 103, 156, 241, 289, 302, 351] [7, 57, 104, 157, 242, 290, 300, 352] [11, 61, 105, 161, 243, 291, 304, 356] [9, 62, 106, 159, 244, 292, 305, 354] [10, 60, 107, 160, 245, 293, 303, 355] [14, 64, 108, 164, 246, 294, 307, 359] [12, 65, 109, 162, 247, 295, 308, 357] [13, 63, 110, 163, 248, 296, 306, 358] [17, 67, 111, 167, 249, 297, 310, 362] [15, 68, 112, 165, 250, 298, 311, 360] [16, 66, 113, 166, 251, 299, 309, 361] [20, 70, 114, 170, 252, 300, 313, 365] [18, 71, 115, 168, 253, 301, 314, 363] [19, 69, 116, 169, 254, 302, 312, 364] [23, 73, 117, 173, 255, 303, 316, 368] [21, 74, 118, 171, 256, 304, 317, 366] [22, 72, 119, 172, 257, 305, 315, 367] [26, 76, 120, 176, 258, 306, 319, 371] [24, 77, 121, 174, 259, 307, 320, 369] [25, 75, 122, 175, 260, 308, 318, 370] [29, 79, 123, 179, 188, 261, 309, 322] [27, 80, 124, 177, 186, 262, 310, 323] [28, 78, 125, 178, 187, 263, 311, 321] [32, 82, 126, 182, 191, 264, 312, 325] [30, 83, 127, 180, 189, 265, 313, 326] [31, 81, 128, 181, 190, 266, 314, 324] [35, 85, 129, 185, 194, 267, 315, 328] [33, 86, 130, 183, 192, 268, 316, 329] [34, 84, 131, 184, 193, 269, 317, 327] [2, 38, 88, 132, 197, 270, 318, 331] [0, 36, 89, 133, 195, 271, 319, 332] [1, 37, 87, 134, 196, 272, 320, 330] [5, 41, 91, 135, 200, 273, 321, 334] [3, 39, 92, 136, 198, 274, 322, 335] [4, 40, 90, 137, 199, 275, 323, 333] [8, 44, 94, 138, 203, 276, 324, 337] [6, 42, 95, 139, 201, 277, 325, 338] [7, 43, 93, 140, 202, 278, 326, 336] [11, 47, 97, 141, 206, 279, 327, 340] [9, 45, 98, 142, 204, 280, 328, 341] [10, 46, 96, 143, 205, 281, 329, 339] [14, 50, 100, 144, 209, 282, 330, 343] [12, 48, 101, 145, 207, 283, 331, 344] [13, 49, 99, 146, 208, 284, 332, 342] [17, 53, 103, 147, 212, 285, 333, 346] [15, 51, 104, 148, 210, 286, 334, 347] [16, 52, 102, 149, 211, 287, 335, 345] [20, 56, 106, 150, 215, 288, 336, 349] [18, 54, 107, 151, 213, 289, 337, 350] [19, 55, 105, 152, 214, 290, 338, 348] [23, 59, 109, 153, 218, 291, 339, 352] [21, 57, 110, 154, 216, 292, 340, 353] [22, 58, 108, 155, 217, 293, 341, 351] [26, 62, 112, 156, 221, 294, 342, 355] [24, 60, 113, 157, 219, 295, 343, 356] [25, 61, 111, 158, 220, 296, 344, 354] [29, 65, 115, 159, 224, 297, 345, 358] [27, 63, 116, 160, 222, 298, 346, 359] [28, 64, 114, 161, 223, 299, 347, 357] [32, 68, 118, 162, 227, 300, 348, 361] [30, 66, 119, 163, 225, 301, 349, 362] [31, 67, 117, 164, 226, 302, 350, 360] [35, 71, 121, 165, 230, 303, 351, 364] [33, 69, 122, 166, 228, 304, 352, 365] [34, 70, 120, 167, 229, 305, 353, 363] [38, 74, 124, 168, 233, 306, 354, 367] [36, 72, 125, 169, 231, 307, 355, 368] [37, 73, 123, 170, 232, 308, 356, 366] [41, 77, 127, 171, 236, 309, 357, 370] [39, 75, 128, 172, 234, 310, 358, 371] [40, 76, 126, 173, 235, 311, 359, 369] [44, 80, 130, 174, 187, 239, 312, 360] [42, 78, 131, 175, 188, 237, 313, 361] [43, 79, 129, 176, 186, 238, 314, 362] [47, 83, 133, 177, 190, 242, 315, 363] [45, 81, 134, 178, 191, 240, 316, 364] [46, 82, 132, 179, 189, 241, 317, 365] [50, 86, 136, 180, 193, 245, 318, 366] [48, 84, 137, 181, 194, 243, 319, 367] [49, 85, 135, 182, 192, 244, 320, 368] [53, 89, 139, 183, 196, 248, 321, 369] [51, 87, 140, 184, 197, 246, 322, 370] [52, 88, 138, 185, 195, 247, 323, 371]
Code ID 372-12-28 · download JSON · raw on GitHub