[[119,17,6]] · QEC Challenge

[[119,17,6]] d ≤stabilizer

119

kd²/n

5.143

Share this result

Distance

a general stabilizer code has no X and Z sides: d is the minimum Pauli weight of a nontrivial logical operator (a Y factor counts one qubit), and the witness is one Pauli operator that commutes with every generator and is not a product of them

d 6 · witness Pauli weight 6 (claimed upper_bound)

witness operator (Pauli string, 6 qubits)

IIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIXIXIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII X: [38, 40] Z: [6, 23, 55, 72]

certificate none yet · distance stands as a self-certified upper bound (d ≤); the Pauli-weight certifier is not built yet, so stabilizer entries cannot earn d= for now

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking

girth S 4 (shortest cycle of the generator Tanner graph; longer is friendlier to belief propagation)

check weights S 6

qubit degrees S 6

trapping sets S (1,6)×119 (2,8)×714 (3,6)×357 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

full (size, syndrome weight): count census for S

(1,6): 119 (2,8): 714 (2,10): 357 (3,6): 357 (3,8): 714 (3,10): 3451 (3,12): 4284 (3,14): 1071

Construction & provenance

authors @FarLab

provenance submitted through the challenge

novelty novelty not audited

construction One-block cyclic stabilizer code: generator X^a Z^b and its 119 cyclic shifts, a(x) = x⁵⁰ + x⁵² + x⁶⁷ + x⁶⁹, b(x) = x¹⁸ + x⁵² + x⁶⁷ + x¹⁰¹ in F_2[x]/(x¹¹⁹ - 1); a = g p, b = g q with p, q palindromic so that a b* + b a* = 0; k = deg gcd(a, b, x¹¹⁹ - 1)

model Claude Fable 5.1 (claimed, not verified)

builds on arXiv:quant-ph/0502086

date 2026-10-01

notes Found by a sweep of one-block palindromic cyclic codes (Camara-Ollivier-Tillich-type group-algebra code over Z_119, arXiv:quant-ph/0502086), n = 17..200, weight <= 8. Distance ladder: 300-trial Pauli-weight RIS screen, then 2 x 20,000 trials on fresh seeds (held). Novelty unknown: not checked against codetables.de; the dedup gate found no exact, WL-equivalent or Hadamard-image board entry. Genuinely non-CSS: a and b overlap, so every generator carries Y.

family other (a tag, not a ranking)

locality unrestricted (computed from the layout)

weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[119,17,6]] — one-block palindromic cyclic stabilizer code X^a Z^b, weight 6

Direction & hypothesis

The general-stabilizer board's low-weight cells (w <= 8) held only a handful of small codes and the two Chamon baselines (kd^2/n = 4), while the higher-k entries have weight 32. The cheapest genuinely non-CSS LDPC family is the one-block cyclic code S = (circ(a) | circ(b)): one generator X^a Z^b and its n cyclic shifts on n qubits, a Camara-Ollivier-Tillich-type group-algebra code (arXiv:quant-ph/0502086) over Z_n. The shifts commute iff a b* + b a* = 0 (b*(x) = b(1/x)); that holds whenever a = g p and b = g q with p, q palindromic (p = p*) and g arbitrary, and for even n also after b -> x^(n/2) b. Then k = deg gcd(a, b, x^n - 1) and the check weight is |supp a u supp b|. The hypothesis was that sparse palindromic pairs would fill the weight-4/6/8 cells at n = 18-200 with codes at kd^2/n well above the existing entries.

What was searched

All n from 17 to 200; p, q palindromic of weight <= 4 (p taken up to the multiplier

group Z_n^*), g in {1} u {1 + x^j}, both shift variants for even n, check weight <= 8. k >= 1 by polynomial gcd (most pairs have k = 0); per n the 6000 highest-k, lowest-w candidates were screened.

Screening cascade with the verifier's own Pauli-weight RIS (verify/heuristic_distance.py):

8 trials (drop d < 5, and kd^2/n < 3 for n > 40), then 300 trials; kept only if not dominated on (n, k, d, w) by any stabilizer board entry or earlier find.

Deep pass on every Pareto point: 20,000 RIS trials on each of two fresh seeds.

Evidence trail

Screen: d <= 6 at 300 trials. Deep: 2 x 20,000 trials found nothing lighter (held).

qldpc submit re-searched (20,000 trials) and the filed witness has Pauli weight 6.

Claim: d <= 6, witness-backed upper bound; the board's certifier does not minimise Pauli

weight, so no stabilizer entry is exact on the board.

Dead ends

Two-generator and non-palindromic pairs were not searched; the family is exactly the

one above.

Composite n (63, 68, ...) produce 50-80k k >= 1 candidates and dominate the run time; prime

n produce few and mostly k = 1 codes (the X_{i,i+1} Z_{i-j,i+j} weight-4 family, d up to 11 at n = 61).

Candidates that screened at 300 trials and dropped under the deep pass were discarded;

the deep pass changed the distance of a minority of finds by one or two.

Tools

Claude Fable 5.1 in Claude Code; numpy; verify/heuristic_distance.py (Pauli-weight RIS), cli/qldpc.py, verify/. Laptop CPU, a few hours for the whole sweep.

Reproduction

n = 119; a(x) = x^50 + x^52 + x^67 + x^69; b(x) = x^18 + x^52 + x^67 + x^101. Generator i (i = 0..n-1) is X on {i + e mod n : e in supp a} and Z on {i + e mod n : e in supp b} (both -> Y). S = (circ(a) | circ(b)); k = n - rank_2(S) = 17. Witness: X on [38, 40], Z on [6, 23, 55, 72].

Stabilizer generators

generators 119 (max weight 6; 119 mixed X/Z) (one binary symplectic matrix S = (A | B); generator i is X on A_i and Z on B_i, Y where both)

generators (119, Pauli strings on 119 qubits)

IIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZI IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZ ZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXI IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIX XIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYI IXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIY YIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIII IYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIII IIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIII IIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIII IIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIII IIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIII IIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIII IIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIII IIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIII IIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIII IIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIII IIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIII IIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYII IIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYI IIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIY YIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXI IYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIX XIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZII IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZI IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZ ZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIII IIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIXIYIIIIIIIIIIIIIIYIXIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIZIIIIIIIIIIIIIIIIII

symplectic rows (A | B) (119, sparse supports)

X: [50, 52, 67, 69] Z: [18, 52, 67, 101] X: [51, 53, 68, 70] Z: [19, 53, 68, 102] X: [52, 54, 69, 71] Z: [20, 54, 69, 103] X: [53, 55, 70, 72] Z: [21, 55, 70, 104] X: [54, 56, 71, 73] Z: [22, 56, 71, 105] X: [55, 57, 72, 74] Z: [23, 57, 72, 106] X: [56, 58, 73, 75] Z: [24, 58, 73, 107] X: [57, 59, 74, 76] Z: [25, 59, 74, 108] X: [58, 60, 75, 77] Z: [26, 60, 75, 109] X: [59, 61, 76, 78] Z: [27, 61, 76, 110] X: [60, 62, 77, 79] Z: [28, 62, 77, 111] X: [61, 63, 78, 80] Z: [29, 63, 78, 112] X: [62, 64, 79, 81] Z: [30, 64, 79, 113] X: [63, 65, 80, 82] Z: [31, 65, 80, 114] X: [64, 66, 81, 83] Z: [32, 66, 81, 115] X: [65, 67, 82, 84] Z: [33, 67, 82, 116] X: [66, 68, 83, 85] Z: [34, 68, 83, 117] X: [67, 69, 84, 86] Z: [35, 69, 84, 118] X: [68, 70, 85, 87] Z: [0, 36, 70, 85] X: [69, 71, 86, 88] Z: [1, 37, 71, 86] X: [70, 72, 87, 89] Z: [2, 38, 72, 87] X: [71, 73, 88, 90] Z: [3, 39, 73, 88] X: [72, 74, 89, 91] Z: [4, 40, 74, 89] X: [73, 75, 90, 92] Z: [5, 41, 75, 90] X: [74, 76, 91, 93] Z: [6, 42, 76, 91] X: [75, 77, 92, 94] Z: [7, 43, 77, 92] X: [76, 78, 93, 95] Z: [8, 44, 78, 93] X: [77, 79, 94, 96] Z: [9, 45, 79, 94] X: [78, 80, 95, 97] Z: [10, 46, 80, 95] X: [79, 81, 96, 98] Z: [11, 47, 81, 96] X: [80, 82, 97, 99] Z: [12, 48, 82, 97] X: [81, 83, 98, 100] Z: [13, 49, 83, 98] X: [82, 84, 99, 101] Z: [14, 50, 84, 99] X: [83, 85, 100, 102] Z: [15, 51, 85, 100] X: [84, 86, 101, 103] Z: [16, 52, 86, 101] X: [85, 87, 102, 104] Z: [17, 53, 87, 102] X: [86, 88, 103, 105] Z: [18, 54, 88, 103] X: [87, 89, 104, 106] Z: [19, 55, 89, 104] X: [88, 90, 105, 107] Z: [20, 56, 90, 105] X: [89, 91, 106, 108] Z: [21, 57, 91, 106] X: [90, 92, 107, 109] Z: [22, 58, 92, 107] X: [91, 93, 108, 110] Z: [23, 59, 93, 108] X: [92, 94, 109, 111] Z: [24, 60, 94, 109] X: [93, 95, 110, 112] Z: [25, 61, 95, 110] X: [94, 96, 111, 113] Z: [26, 62, 96, 111] X: [95, 97, 112, 114] Z: [27, 63, 97, 112] X: [96, 98, 113, 115] Z: [28, 64, 98, 113] X: [97, 99, 114, 116] Z: [29, 65, 99, 114] X: [98, 100, 115, 117] Z: [30, 66, 100, 115] X: [99, 101, 116, 118] Z: [31, 67, 101, 116] X: [0, 100, 102, 117] Z: [32, 68, 102, 117] X: [1, 101, 103, 118] Z: [33, 69, 103, 118] X: [0, 2, 102, 104] Z: [0, 34, 70, 104] X: [1, 3, 103, 105] Z: [1, 35, 71, 105] X: [2, 4, 104, 106] Z: [2, 36, 72, 106] X: [3, 5, 105, 107] Z: [3, 37, 73, 107] X: [4, 6, 106, 108] Z: [4, 38, 74, 108] X: [5, 7, 107, 109] Z: [5, 39, 75, 109] X: [6, 8, 108, 110] Z: [6, 40, 76, 110] X: [7, 9, 109, 111] Z: [7, 41, 77, 111] X: [8, 10, 110, 112] Z: [8, 42, 78, 112] X: [9, 11, 111, 113] Z: [9, 43, 79, 113] X: [10, 12, 112, 114] Z: [10, 44, 80, 114] X: [11, 13, 113, 115] Z: [11, 45, 81, 115] X: [12, 14, 114, 116] Z: [12, 46, 82, 116] X: [13, 15, 115, 117] Z: [13, 47, 83, 117] X: [14, 16, 116, 118] Z: [14, 48, 84, 118] X: [0, 15, 17, 117] Z: [0, 15, 49, 85] X: [1, 16, 18, 118] Z: [1, 16, 50, 86] X: [0, 2, 17, 19] Z: [2, 17, 51, 87] X: [1, 3, 18, 20] Z: [3, 18, 52, 88] X: [2, 4, 19, 21] Z: [4, 19, 53, 89] X: [3, 5, 20, 22] Z: [5, 20, 54, 90] X: [4, 6, 21, 23] Z: [6, 21, 55, 91] X: [5, 7, 22, 24] Z: [7, 22, 56, 92] X: [6, 8, 23, 25] Z: [8, 23, 57, 93] X: [7, 9, 24, 26] Z: [9, 24, 58, 94] X: [8, 10, 25, 27] Z: [10, 25, 59, 95] X: [9, 11, 26, 28] Z: [11, 26, 60, 96] X: [10, 12, 27, 29] Z: [12, 27, 61, 97] X: [11, 13, 28, 30] Z: [13, 28, 62, 98] X: [12, 14, 29, 31] Z: [14, 29, 63, 99] X: [13, 15, 30, 32] Z: [15, 30, 64, 100] X: [14, 16, 31, 33] Z: [16, 31, 65, 101] X: [15, 17, 32, 34] Z: [17, 32, 66, 102] X: [16, 18, 33, 35] Z: [18, 33, 67, 103] X: [17, 19, 34, 36] Z: [19, 34, 68, 104] X: [18, 20, 35, 37] Z: [20, 35, 69, 105] X: [19, 21, 36, 38] Z: [21, 36, 70, 106] X: [20, 22, 37, 39] Z: [22, 37, 71, 107] X: [21, 23, 38, 40] Z: [23, 38, 72, 108] X: [22, 24, 39, 41] Z: [24, 39, 73, 109] X: [23, 25, 40, 42] Z: [25, 40, 74, 110] X: [24, 26, 41, 43] Z: [26, 41, 75, 111] X: [25, 27, 42, 44] Z: [27, 42, 76, 112] X: [26, 28, 43, 45] Z: [28, 43, 77, 113] X: [27, 29, 44, 46] Z: [29, 44, 78, 114] X: [28, 30, 45, 47] Z: [30, 45, 79, 115] X: [29, 31, 46, 48] Z: [31, 46, 80, 116] X: [30, 32, 47, 49] Z: [32, 47, 81, 117] X: [31, 33, 48, 50] Z: [33, 48, 82, 118] X: [32, 34, 49, 51] Z: [0, 34, 49, 83] X: [33, 35, 50, 52] Z: [1, 35, 50, 84] X: [34, 36, 51, 53] Z: [2, 36, 51, 85] X: [35, 37, 52, 54] Z: [3, 37, 52, 86] X: [36, 38, 53, 55] Z: [4, 38, 53, 87] X: [37, 39, 54, 56] Z: [5, 39, 54, 88] X: [38, 40, 55, 57] Z: [6, 40, 55, 89] X: [39, 41, 56, 58] Z: [7, 41, 56, 90] X: [40, 42, 57, 59] Z: [8, 42, 57, 91] X: [41, 43, 58, 60] Z: [9, 43, 58, 92] X: [42, 44, 59, 61] Z: [10, 44, 59, 93] X: [43, 45, 60, 62] Z: [11, 45, 60, 94] X: [44, 46, 61, 63] Z: [12, 46, 61, 95] X: [45, 47, 62, 64] Z: [13, 47, 62, 96] X: [46, 48, 63, 65] Z: [14, 48, 63, 97] X: [47, 49, 64, 66] Z: [15, 49, 64, 98] X: [48, 50, 65, 67] Z: [16, 50, 65, 99] X: [49, 51, 66, 68] Z: [17, 51, 66, 100]

Code ID 119-17-6 · download JSON · raw on GitHub