diff --git a/NOTICE b/NOTICE index 7c651091..f03eed94 100644 --- a/NOTICE +++ b/NOTICE @@ -264,6 +264,14 @@ Renamed 2026-10-23 (PI decision; same matrices, lower bounds unchanged): upper b nontrivial logical operators found by DistQLDPC's GH-146 finder and independently verified (optimization/experiments/GH-146/witnesses/): BB_1080_4_30to48 (was BB_1080_4_ge30), BB_756_16_30to34 (was BB_756_16_ge30), BB_864_4_30to40 (was BB_864_4_ge30), TN_288_2_9to24 (was TN_288_2_ge9), TN_324_4_9to25 (was TN_324_4_ge9), TN_360_4_17to24 (was TN_360_4_ge17), TN_396_4_17to26 (was TN_396_4_ge17), TN_432_8_9to29 (was TN_432_8_ge9), TN_468_4_17to29 (was TN_468_4_ge17), TN_496_2_17to30 (was TN_496_2_ge17), TN_504_2_17to34 (was TN_504_2_ge17), TN_540_4_9to34 (was TN_540_4_ge9), TN_576_2_9to37 (was TN_576_2_ge9), TN_612_2_17to40 (was TN_612_2_ge17), TN_648_10_9to32 (was TN_648_10_9to52), TN_648_14_9to28 (was TN_648_14_ge9), TN_684_2_9to29 (was TN_684_2_ge9). +Renamed 2026-10-29 (PI decision; same matrices, upper bounds unchanged): lower bounds raised by +DistQLDPC's optional CC engine with -cc-aut=on (GH-152, issue #152: Tanner-graph automorphism +candidates, GF(2)-verified before use), reproduced with a different search order (mrv) on the same +labels (optimization/experiments/GH-152/REPRODUCTION.md, branch experiment/gh-152-tanner-aut): +TN_288_2_22to24 (was TN_288_2_9to24), TN_324_4_22to25 (was TN_324_4_9to25), TN_432_8_23to29 (was +TN_432_8_9to29), TN_496_2_23to30 (was TN_496_2_17to30), TN_540_4_23to34 (was TN_540_4_9to34), +TN_576_2_24to37 (was TN_576_2_9to37). + 9. Triangular 6.6.6 color-code matrices (GH-156, untiered) -------------------------------------------------------- diff --git a/data/matrices/README.md b/data/matrices/README.md index 144574e6..8dc56600 100644 --- a/data/matrices/README.md +++ b/data/matrices/README.md @@ -29,7 +29,7 @@ certified). | tier2 | medium filter; main 10–100 s on yfclab2 | TN_108_2_12 [[108,2,12]], BB_144_14_14 [[144,14,14]], GB_144_12_12 [[144,12,12]], TN_200_10_10 [[200,10,10]], BB_288_12_18 [[288,12,18]], LP_544_80_12 [[544,80,12]] | | tier3 | decisive set; main 100–2000 s on yfclab2 | TN_144_2_13 [[144,2,13]], LP_714_100_16 [[714,100,16]] | | tier4 | hard; main 2000–5000 s on yfclab2; timeout 2000 s Mac / 5000 s yfclab2 | TN_250_10_15 [[250,10,15]] | -| tier5 | open set; main > 5000 s or unsolved on yfclab2; timeout 21600 s (6 h) | TN_180_2_17 [[180,2,17]], TN_216_4_18 [[216,4,18]], TN_252_2_21 [[252,2,21]], TN_288_2_9to24 [[288,2,9–24]], TN_324_4_9to25 [[324,4,9–25]], BB_360_12_24 [[360,12,24]], TN_360_4_17to24 [[360,4,17–24]], TN_396_4_17to26 [[396,4,17–26]], TN_432_8_9to29 [[432,8,9–29]], TN_468_4_17to29 [[468,4,17–29]], TN_496_2_17to30 [[496,2,17–30]], TN_504_2_17to34 [[504,2,17–34]], TN_540_4_9to34 [[540,4,9–34]], TN_576_2_9to37 [[576,2,9–37]], TN_612_2_17to40 [[612,2,17–40]], TN_648_10_9to32 [[648,10,9–32]], TN_648_14_9to28 [[648,14,9–28]], TN_684_2_9to29 [[684,2,9–29]], BB_756_16_30to34 [[756,16,30–34]], BB_864_4_30to40 [[864,4,30–40]], LP_1020_136_16 [[1020,136,16]], LP_1054_140_20 [[1054,140,20]], BB_1080_4_30to48 [[1080,4,30–48]], LP_1428_184_24 [[1428,184,24]], LP_1768_224_22 [[1768,224,22]], LP_1122_148_20 [[1122,148,20]], LP_2610_744_16 [[2610,744,16]] | +| tier5 | open set; main > 5000 s or unsolved on yfclab2; timeout 21600 s (6 h) | TN_180_2_17 [[180,2,17]], TN_216_4_18 [[216,4,18]], TN_252_2_21 [[252,2,21]], TN_288_2_22to24 [[288,2,22–24]], TN_324_4_22to25 [[324,4,22–25]], BB_360_12_24 [[360,12,24]], TN_360_4_17to24 [[360,4,17–24]], TN_396_4_17to26 [[396,4,17–26]], TN_432_8_23to29 [[432,8,23–29]], TN_468_4_17to29 [[468,4,17–29]], TN_496_2_23to30 [[496,2,23–30]], TN_504_2_17to34 [[504,2,17–34]], TN_540_4_23to34 [[540,4,23–34]], TN_576_2_24to37 [[576,2,24–37]], TN_612_2_17to40 [[612,2,17–40]], TN_648_10_9to32 [[648,10,9–32]], TN_648_14_9to28 [[648,14,9–28]], TN_684_2_9to29 [[684,2,9–29]], BB_756_16_30to34 [[756,16,30–34]], BB_864_4_30to40 [[864,4,30–40]], LP_1020_136_16 [[1020,136,16]], LP_1054_140_20 [[1054,140,20]], BB_1080_4_30to48 [[1080,4,30–48]], LP_1428_184_24 [[1428,184,24]], LP_1768_224_22 [[1768,224,22]], LP_1122_148_20 [[1122,148,20]], LP_2610_744_16 [[2610,744,16]] | Counts: tier0 13, tier1 2, tier2 6, tier3 2, tier4 1, tier5 27 (total 51). @@ -54,6 +54,12 @@ section 5. | Date | Old | New | Note | |------|-----|-----|------| +| 2026-10-29 | TN_288_2_9to24 | TN_288_2_22to24 | lb 22: CC lower bound from GH-152 (issue #152): DistQLDPC's optional CC engine with `-cc-aut=on` (Tanner-graph automorphism candidates for the orbit seeds and the XZ-dual map, each GF(2)-verified before use); levels up to 21 completed EMPTY (yfclab2, 6 h, binary dfd0717). Reproduction: same binary and labels, different search order (`-cc-rules=excl,pack,orbf,parity,leaf,overlap,mrv`, 12 h), every level EMPTY, same lb; genuinely different tree (node counts differ at every level), same algorithm, not a second method; `optimization/experiments/GH-152/REPRODUCTION.md` on branch `experiment/gh-152-tanner-aut`. ub unchanged (GH-146 witness; copy under the new stem in `optimization/experiments/GH-152/witnesses/`) (PI 2026-10-29) | +| 2026-10-29 | TN_324_4_9to25 | TN_324_4_22to25 | lb 22 (GH-152 CC lower bound with `-cc-aut=on`, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-29 | TN_432_8_9to29 | TN_432_8_23to29 | lb 23 (GH-152 CC lower bound with `-cc-aut=on`, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-29 | TN_496_2_17to30 | TN_496_2_23to30 | lb 23 (GH-152 CC lower bound with `-cc-aut=on`, X half only under the verified Tanner XZ-swap map; reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-29 | TN_540_4_9to34 | TN_540_4_23to34 | lb 23 (GH-152 CC lower bound with `-cc-aut=on`, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-29 | TN_576_2_9to37 | TN_576_2_24to37 | lb 24 (GH-152 CC lower bound with `-cc-aut=on`, reproduced with the `mrv` order, as above); ub unchanged | | 2026-10-23 | BB_1080_4_ge30 | BB_1080_4_30to48 | ub 48: nontrivial logical of weight 48 from the GH-146 finder, independently verified (pure-Python GF(2) check `verify_witnesses.py`: Hz e = 0 / Hx e = 0 and e not in the stabilizer row space); witnesses in `optimization/experiments/GH-146/witnesses/renamed/`; lower bound unchanged (PI 2026-10-23) | | 2026-10-23 | BB_756_16_ge30 | BB_756_16_30to34 | ub 34 (GH-146 verified witness, as above); lb unchanged | | 2026-10-23 | BB_864_4_ge30 | BB_864_4_30to40 | ub 40 (GH-146 verified witness, as above); lb unchanged | @@ -165,4 +171,13 @@ section 5. `optimization/experiments/GH-146/witnesses/renamed/..w.txt` (0-based qubit indices) and can be re-checked with `python3 optimization/experiments/GH-146/witnesses/verify_witnesses.py data/matrices optimization/experiments/GH-146/witnesses/renamed/*.txt` (pure Python, independent of DistQLDPC's code). + Six of those stems were renamed again on 2026-10-29 (GH-152 lower bounds; TN_288_2_22to24, TN_324_4_22to25, + TN_432_8_23to29, TN_496_2_23to30, TN_540_4_23to34, TN_576_2_24to37). Their 2026-10-23 copies in `renamed/` keep + the older stem and no longer resolve under `data/matrices`; copies under the current stems are in + `optimization/experiments/GH-152/witnesses/` (same supports, `VERIFY.txt`: 6/6 VALID) and are checked with the same + command on `optimization/experiments/GH-152/witnesses/*.txt`. +- **GH-152 lower bounds (2026-10-29):** the lower bounds of the six stems above come from the optional CC engine with + `-cc-aut=on` (6 h, yfclab2) and were reproduced with a different search order (`mrv`, 12 h) on the same labels; + this is the same algorithm, not an independent method. Record: issue #152 and + `optimization/experiments/GH-152/REPRODUCTION.md` (branch `experiment/gh-152-tanner-aut`). - **BB_288_12_18 / LP_714_100_16:** distances from main's solver (PI 2026-10-11: no strict cross-verification; partial internal checks agreed so far — `-no-symbreak` reached lb 17 / ub 18 on BB_288 and ub 16 on LP_714; re-check if a later run disagrees). diff --git a/data/matrices/tier5/TN_288_2_9to24_Gx.txt b/data/matrices/tier5/TN_288_2_22to24_Gx.txt similarity index 93% rename from data/matrices/tier5/TN_288_2_9to24_Gx.txt rename to data/matrices/tier5/TN_288_2_22to24_Gx.txt index 228ba541..30f4736f 100644 --- a/data/matrices/tier5/TN_288_2_9to24_Gx.txt +++ b/data/matrices/tier5/TN_288_2_22to24_Gx.txt @@ -1,3 +1,3 @@ -# n=288 Z-type logical rows ker(Hx)/row(Hz) parity TN_288_2_9to24_Hx.txt +# n=288 Z-type logical rows ker(Hx)/row(Hz) parity TN_288_2_22to24_Hx.txt 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_288_2_9to24_Gz.txt b/data/matrices/tier5/TN_288_2_22to24_Gz.txt similarity index 93% rename from data/matrices/tier5/TN_288_2_9to24_Gz.txt rename to data/matrices/tier5/TN_288_2_22to24_Gz.txt index 567e0b10..ab10118d 100644 --- a/data/matrices/tier5/TN_288_2_9to24_Gz.txt +++ b/data/matrices/tier5/TN_288_2_22to24_Gz.txt @@ -1,3 +1,3 @@ -# n=288 X-type logical rows ker(Hz)/row(Hx) parity TN_288_2_9to24_Hz.txt +# n=288 X-type logical rows ker(Hz)/row(Hx) parity TN_288_2_22to24_Hz.txt 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_288_2_9to24_Hx.txt b/data/matrices/tier5/TN_288_2_22to24_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_288_2_9to24_Hx.txt rename to data/matrices/tier5/TN_288_2_22to24_Hx.txt diff --git a/data/matrices/tier5/TN_288_2_9to24_Hz.txt b/data/matrices/tier5/TN_288_2_22to24_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_288_2_9to24_Hz.txt rename to data/matrices/tier5/TN_288_2_22to24_Hz.txt diff --git a/data/matrices/tier5/TN_324_4_9to25_Gx.txt b/data/matrices/tier5/TN_324_4_22to25_Gx.txt similarity index 97% rename from data/matrices/tier5/TN_324_4_9to25_Gx.txt rename to data/matrices/tier5/TN_324_4_22to25_Gx.txt index 9c5144f7..f23f7a07 100644 --- a/data/matrices/tier5/TN_324_4_9to25_Gx.txt +++ b/data/matrices/tier5/TN_324_4_22to25_Gx.txt @@ -1,4 +1,4 @@ -# n=324 Z-type logical rows ker(Hx)/row(Hz) parity TN_324_4_9to25_Hx.txt +# n=324 Z-type logical rows ker(Hx)/row(Hz) parity TN_324_4_22to25_Hx.txt 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_324_4_9to25_Gz.txt b/data/matrices/tier5/TN_324_4_22to25_Gz.txt similarity index 97% rename from data/matrices/tier5/TN_324_4_9to25_Gz.txt rename to data/matrices/tier5/TN_324_4_22to25_Gz.txt index 5dd0dce1..619e1c37 100644 --- a/data/matrices/tier5/TN_324_4_9to25_Gz.txt +++ b/data/matrices/tier5/TN_324_4_22to25_Gz.txt @@ -1,4 +1,4 @@ -# n=324 X-type logical rows ker(Hz)/row(Hx) parity TN_324_4_9to25_Hz.txt +# n=324 X-type logical rows ker(Hz)/row(Hx) parity TN_324_4_22to25_Hz.txt 1 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_324_4_9to25_Hx.txt b/data/matrices/tier5/TN_324_4_22to25_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_324_4_9to25_Hx.txt rename to data/matrices/tier5/TN_324_4_22to25_Hx.txt diff --git a/data/matrices/tier5/TN_324_4_9to25_Hz.txt b/data/matrices/tier5/TN_324_4_22to25_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_324_4_9to25_Hz.txt rename to data/matrices/tier5/TN_324_4_22to25_Hz.txt diff --git a/data/matrices/tier5/TN_432_8_9to29_Gx.txt b/data/matrices/tier5/TN_432_8_23to29_Gx.txt similarity index 98% rename from data/matrices/tier5/TN_432_8_9to29_Gx.txt rename to data/matrices/tier5/TN_432_8_23to29_Gx.txt index f53fc00b..fc964d2d 100644 --- a/data/matrices/tier5/TN_432_8_9to29_Gx.txt +++ b/data/matrices/tier5/TN_432_8_23to29_Gx.txt @@ -1,4 +1,4 @@ -# n=432 Z-type logical rows ker(Hx)/row(Hz) parity TN_432_8_9to29_Hx.txt +# n=432 Z-type logical rows ker(Hx)/row(Hz) parity TN_432_8_23to29_Hx.txt 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_432_8_9to29_Gz.txt b/data/matrices/tier5/TN_432_8_23to29_Gz.txt similarity index 98% rename from data/matrices/tier5/TN_432_8_9to29_Gz.txt rename to data/matrices/tier5/TN_432_8_23to29_Gz.txt index 3897bff0..91f76139 100644 --- a/data/matrices/tier5/TN_432_8_9to29_Gz.txt +++ b/data/matrices/tier5/TN_432_8_23to29_Gz.txt @@ -1,4 +1,4 @@ -# n=432 X-type logical rows ker(Hz)/row(Hx) parity TN_432_8_9to29_Hz.txt +# n=432 X-type logical rows ker(Hz)/row(Hx) parity TN_432_8_23to29_Hz.txt 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_432_8_9to29_Hx.txt b/data/matrices/tier5/TN_432_8_23to29_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_432_8_9to29_Hx.txt rename to data/matrices/tier5/TN_432_8_23to29_Hx.txt diff --git a/data/matrices/tier5/TN_432_8_9to29_Hz.txt b/data/matrices/tier5/TN_432_8_23to29_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_432_8_9to29_Hz.txt rename to data/matrices/tier5/TN_432_8_23to29_Hz.txt diff --git a/data/matrices/tier5/TN_496_2_17to30_Gx.txt b/data/matrices/tier5/TN_496_2_23to30_Gx.txt similarity index 96% rename from data/matrices/tier5/TN_496_2_17to30_Gx.txt rename to data/matrices/tier5/TN_496_2_23to30_Gx.txt index d83ea69d..2eb3a30c 100644 --- a/data/matrices/tier5/TN_496_2_17to30_Gx.txt +++ b/data/matrices/tier5/TN_496_2_23to30_Gx.txt @@ -1,3 +1,3 @@ -# n=496 Z-type logical rows ker(Hx)/row(Hz) parity TN_496_2_17to30_Hx.txt +# n=496 Z-type logical rows ker(Hx)/row(Hz) parity TN_496_2_23to30_Hx.txt 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_496_2_17to30_Gz.txt b/data/matrices/tier5/TN_496_2_23to30_Gz.txt similarity index 96% rename from data/matrices/tier5/TN_496_2_17to30_Gz.txt rename to data/matrices/tier5/TN_496_2_23to30_Gz.txt index f603372c..5e1c0104 100644 --- a/data/matrices/tier5/TN_496_2_17to30_Gz.txt +++ b/data/matrices/tier5/TN_496_2_23to30_Gz.txt @@ -1,3 +1,3 @@ -# n=496 X-type logical rows ker(Hz)/row(Hx) parity TN_496_2_17to30_Hz.txt +# n=496 X-type logical rows ker(Hz)/row(Hx) parity TN_496_2_23to30_Hz.txt 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_496_2_17to30_Hx.txt b/data/matrices/tier5/TN_496_2_23to30_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_496_2_17to30_Hx.txt rename to data/matrices/tier5/TN_496_2_23to30_Hx.txt diff --git a/data/matrices/tier5/TN_496_2_17to30_Hz.txt b/data/matrices/tier5/TN_496_2_23to30_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_496_2_17to30_Hz.txt rename to data/matrices/tier5/TN_496_2_23to30_Hz.txt diff --git a/data/matrices/tier5/TN_540_4_9to34_Gx.txt b/data/matrices/tier5/TN_540_4_23to34_Gx.txt similarity index 98% rename from data/matrices/tier5/TN_540_4_9to34_Gx.txt rename to data/matrices/tier5/TN_540_4_23to34_Gx.txt index 5c9892d1..18468072 100644 --- a/data/matrices/tier5/TN_540_4_9to34_Gx.txt +++ b/data/matrices/tier5/TN_540_4_23to34_Gx.txt @@ -1,4 +1,4 @@ -# n=540 Z-type logical rows ker(Hx)/row(Hz) parity TN_540_4_9to34_Hx.txt +# n=540 Z-type logical rows ker(Hx)/row(Hz) parity TN_540_4_23to34_Hx.txt 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_540_4_9to34_Gz.txt b/data/matrices/tier5/TN_540_4_23to34_Gz.txt similarity index 98% rename from data/matrices/tier5/TN_540_4_9to34_Gz.txt rename to data/matrices/tier5/TN_540_4_23to34_Gz.txt index 082da322..f1575fc1 100644 --- a/data/matrices/tier5/TN_540_4_9to34_Gz.txt +++ b/data/matrices/tier5/TN_540_4_23to34_Gz.txt @@ -1,4 +1,4 @@ -# n=540 X-type logical rows ker(Hz)/row(Hx) parity TN_540_4_9to34_Hz.txt +# n=540 X-type logical rows ker(Hz)/row(Hx) parity TN_540_4_23to34_Hz.txt 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_540_4_9to34_Hx.txt b/data/matrices/tier5/TN_540_4_23to34_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_540_4_9to34_Hx.txt rename to data/matrices/tier5/TN_540_4_23to34_Hx.txt diff --git a/data/matrices/tier5/TN_540_4_9to34_Hz.txt b/data/matrices/tier5/TN_540_4_23to34_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_540_4_9to34_Hz.txt rename to data/matrices/tier5/TN_540_4_23to34_Hz.txt diff --git a/data/matrices/tier5/TN_576_2_9to37_Gx.txt b/data/matrices/tier5/TN_576_2_24to37_Gx.txt similarity index 96% rename from data/matrices/tier5/TN_576_2_9to37_Gx.txt rename to data/matrices/tier5/TN_576_2_24to37_Gx.txt index acd2e8aa..794b1e43 100644 --- a/data/matrices/tier5/TN_576_2_9to37_Gx.txt +++ b/data/matrices/tier5/TN_576_2_24to37_Gx.txt @@ -1,3 +1,3 @@ -# n=576 Z-type logical rows ker(Hx)/row(Hz) parity TN_576_2_9to37_Hx.txt +# n=576 Z-type logical rows ker(Hx)/row(Hz) parity TN_576_2_24to37_Hx.txt 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_576_2_9to37_Gz.txt b/data/matrices/tier5/TN_576_2_24to37_Gz.txt similarity index 96% rename from data/matrices/tier5/TN_576_2_9to37_Gz.txt rename to data/matrices/tier5/TN_576_2_24to37_Gz.txt index ef30c3cd..410f8bd6 100644 --- a/data/matrices/tier5/TN_576_2_9to37_Gz.txt +++ b/data/matrices/tier5/TN_576_2_24to37_Gz.txt @@ -1,3 +1,3 @@ -# n=576 X-type logical rows ker(Hz)/row(Hx) parity TN_576_2_9to37_Hz.txt +# n=576 X-type logical rows ker(Hz)/row(Hx) parity TN_576_2_24to37_Hz.txt 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 diff --git a/data/matrices/tier5/TN_576_2_9to37_Hx.txt b/data/matrices/tier5/TN_576_2_24to37_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_576_2_9to37_Hx.txt rename to data/matrices/tier5/TN_576_2_24to37_Hx.txt diff --git a/data/matrices/tier5/TN_576_2_9to37_Hz.txt b/data/matrices/tier5/TN_576_2_24to37_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_576_2_9to37_Hz.txt rename to data/matrices/tier5/TN_576_2_24to37_Hz.txt diff --git a/optimization/baselines/SERVER.md b/optimization/baselines/SERVER.md index 1eec2082..b375c233 100644 --- a/optimization/baselines/SERVER.md +++ b/optimization/baselines/SERVER.md @@ -87,26 +87,26 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | TN_216_4_18 | no-card | 14842 | solved | 18 | 18 | 2@0, 3@0, 5@0, 9@6, 17@3443, 18@14842 | solved 13499 s -> 14842 s (1.10x) | | TN_252_2_21 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@5, 17@8759, 17@21600 | TIMEOUT both; lb =, ub = | | TN_252_2_21 | no-card | 21600 | TIMEOUT | 17 | 28 | 2@0, 3@0, 5@0, 9@7, 17@10656, 17@21600 | TIMEOUT both; lb =, ub = | -| TN_288_2_9to24 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@12, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_288_2_9to24 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@14, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_324_4_9to25 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@17, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_324_4_9to25 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@14, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_288_2_22to24 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@12, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_288_2_22to24 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@14, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_324_4_22to25 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@17, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_324_4_22to25 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@14, 9@21600 | TIMEOUT both; lb =, ub = | | TN_360_4_17to24 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@5435, 17@21600 | TIMEOUT both; lb =, ub = | | TN_360_4_17to24 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@5, 17@5672, 17@21600 | TIMEOUT both; lb =, ub = | | TN_396_4_17to26 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@8, 17@4423, 17@21600 | TIMEOUT both; lb =, ub = | | TN_396_4_17to26 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@4649, 17@21600 | TIMEOUT both; lb =, ub = | -| TN_432_8_9to29 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@2, 9@22, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_432_8_9to29 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@3, 9@22, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_432_8_23to29 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@2, 9@22, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_432_8_23to29 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@3, 9@22, 9@21600 | TIMEOUT both; lb =, ub = | | TN_468_4_17to29 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@10900, 17@21600 | TIMEOUT both; lb =, ub = | | TN_468_4_17to29 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@9129, 17@21600 | TIMEOUT both; lb =, ub = | -| TN_496_2_17to30 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@11949, 17@21600 | TIMEOUT both; lb =, ub = | -| TN_496_2_17to30 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@10690, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_496_2_23to30 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@11949, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_496_2_23to30 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@10690, 17@21600 | TIMEOUT both; lb =, ub = | | TN_504_2_17to34 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@5416, 17@21600 | TIMEOUT both; lb =, ub = | | TN_504_2_17to34 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@1, 9@7, 17@5210, 17@21600 | TIMEOUT both; lb =, ub = | -| TN_540_4_9to34 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@4, 9@31, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_540_4_9to34 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@3, 9@34, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_576_2_9to37 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@5, 9@34, 9@21600 | TIMEOUT both; lb =, ub = | -| TN_576_2_9to37 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@6, 9@39, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_540_4_23to34 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@4, 9@31, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_540_4_23to34 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@3, 9@34, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_576_2_24to37 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@5, 9@34, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_576_2_24to37 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@6, 9@39, 9@21600 | TIMEOUT both; lb =, ub = | | TN_612_2_17to40 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@1, 9@9, 17@5635, 17@21600 | TIMEOUT both; lb =, ub = | | TN_612_2_17to40 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@1, 9@10, 17@4640, 17@21600 | TIMEOUT both; lb =, ub = | | TN_648_10_9to32 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@6, 9@64, 9@21600 | TIMEOUT both; lb =, ub = | @@ -157,16 +157,16 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | TN_180_2_17 | 5 | card-mto | unsolved | 5 | no | | TN_216_4_18 | 5 | card-mto | 19298.00 | 5 | no | | TN_252_2_21 | 5 | card-mto | unsolved | 5 | no | -| TN_288_2_9to24 | 5 | card-mto | unsolved | 5 | no | -| TN_324_4_9to25 | 5 | card-mto | unsolved | 5 | no | +| TN_288_2_22to24 | 5 | card-mto | unsolved | 5 | no | +| TN_324_4_22to25 | 5 | card-mto | unsolved | 5 | no | | TN_360_4_17to24 | 5 | card-mto | unsolved | 5 | no | | TN_396_4_17to26 | 5 | card-mto | unsolved | 5 | no | -| TN_432_8_9to29 | 5 | card-mto | unsolved | 5 | no | +| TN_432_8_23to29 | 5 | card-mto | unsolved | 5 | no | | TN_468_4_17to29 | 5 | card-mto | unsolved | 5 | no | -| TN_496_2_17to30 | 5 | card-mto | unsolved | 5 | no | +| TN_496_2_23to30 | 5 | card-mto | unsolved | 5 | no | | TN_504_2_17to34 | 5 | card-mto | unsolved | 5 | no | -| TN_540_4_9to34 | 5 | card-mto | unsolved | 5 | no | -| TN_576_2_9to37 | 5 | card-mto | unsolved | 5 | no | +| TN_540_4_23to34 | 5 | card-mto | unsolved | 5 | no | +| TN_576_2_24to37 | 5 | card-mto | unsolved | 5 | no | | TN_612_2_17to40 | 5 | card-mto | unsolved | 5 | no | | TN_648_10_9to32 | 5 | card-mto | unsolved | 5 | no | | TN_648_14_9to28 | 5 | card-mto | unsolved | 5 | no | diff --git a/optimization/baselines/main_server_reference.json b/optimization/baselines/main_server_reference.json index 87103482..973f5d4f 100644 --- a/optimization/baselines/main_server_reference.json +++ b/optimization/baselines/main_server_reference.json @@ -2911,7 +2911,7 @@ }, { "tier": 5, - "case": "TN_288_2_9to24", + "case": "TN_288_2_22to24", "mode": "card-mto", "n": 1, "median_s": 21600.1, @@ -2955,7 +2955,7 @@ }, { "tier": 5, - "case": "TN_288_2_9to24", + "case": "TN_288_2_22to24", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -2999,7 +2999,7 @@ }, { "tier": 5, - "case": "TN_324_4_9to25", + "case": "TN_324_4_22to25", "mode": "card-mto", "n": 1, "median_s": 21600.1, @@ -3043,7 +3043,7 @@ }, { "tier": 5, - "case": "TN_324_4_9to25", + "case": "TN_324_4_22to25", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -3279,7 +3279,7 @@ }, { "tier": 5, - "case": "TN_432_8_9to29", + "case": "TN_432_8_23to29", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3323,7 +3323,7 @@ }, { "tier": 5, - "case": "TN_432_8_9to29", + "case": "TN_432_8_23to29", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3463,7 +3463,7 @@ }, { "tier": 5, - "case": "TN_496_2_17to30", + "case": "TN_496_2_23to30", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3511,7 +3511,7 @@ }, { "tier": 5, - "case": "TN_496_2_17to30", + "case": "TN_496_2_23to30", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3655,7 +3655,7 @@ }, { "tier": 5, - "case": "TN_540_4_9to34", + "case": "TN_540_4_23to34", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3699,7 +3699,7 @@ }, { "tier": 5, - "case": "TN_540_4_9to34", + "case": "TN_540_4_23to34", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3743,7 +3743,7 @@ }, { "tier": 5, - "case": "TN_576_2_9to37", + "case": "TN_576_2_24to37", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3787,7 +3787,7 @@ }, { "tier": 5, - "case": "TN_576_2_9to37", + "case": "TN_576_2_24to37", "mode": "no-card", "n": 1, "median_s": 21600.2, diff --git a/optimization/experiments/GH-152/witnesses/TN_288_2_22to24.Z.w24.txt b/optimization/experiments/GH-152/witnesses/TN_288_2_22to24.Z.w24.txt new file mode 100644 index 00000000..0d62c9d3 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_288_2_22to24.Z.w24.txt @@ -0,0 +1,5 @@ +# TN_288_2_22to24 (renamed from TN_288_2_9to24 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_288_2_9to24.Z.w24.txt; the upper bound in the stem comes from this witness +# TN_288_2_9to24 (renamed from TN_288_2_ge9 on 2026-10-23): copy of ../TN_288_2_ge9.Z.w24.txt; the upper bound in the stem comes from this witness +# TN_288_2_ge9: Z-type logical operator of weight 24 (0-based qubit indices), so d <= 24 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_288_2_ge9.s0.log at 0.219 s (ub-search) +9 17 33 35 39 47 49 53 57 61 127 129 134 137 173 179 183 191 227 230 269 278 279 287 diff --git a/optimization/experiments/GH-152/witnesses/TN_324_4_22to25.X.w25.txt b/optimization/experiments/GH-152/witnesses/TN_324_4_22to25.X.w25.txt new file mode 100644 index 00000000..b2055a15 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_324_4_22to25.X.w25.txt @@ -0,0 +1,5 @@ +# TN_324_4_22to25 (renamed from TN_324_4_9to25 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_324_4_9to25.X.w25.txt; the upper bound in the stem comes from this witness +# TN_324_4_9to25 (renamed from TN_324_4_ge9 on 2026-10-23): copy of ../TN_324_4_ge9.X.w25.txt; the upper bound in the stem comes from this witness +# TN_324_4_ge9: X-type logical operator of weight 25 (0-based qubit indices), so d <= 25 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_324_4_ge9.s0.log at 0.081 s (ub-search) +20 93 102 110 113 122 161 168 182 186 195 204 221 230 231 240 262 274 281 292 299 301 304 313 319 diff --git a/optimization/experiments/GH-152/witnesses/TN_432_8_23to29.X.w29.txt b/optimization/experiments/GH-152/witnesses/TN_432_8_23to29.X.w29.txt new file mode 100644 index 00000000..71444b3f --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_432_8_23to29.X.w29.txt @@ -0,0 +1,5 @@ +# TN_432_8_23to29 (renamed from TN_432_8_9to29 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_432_8_9to29.X.w29.txt; the upper bound in the stem comes from this witness +# TN_432_8_9to29 (renamed from TN_432_8_ge9 on 2026-10-23): copy of ../TN_432_8_ge9.X.w29.txt; the upper bound in the stem comes from this witness +# TN_432_8_ge9: X-type logical operator of weight 29 (0-based qubit indices), so d <= 29 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_432_8_ge9.s0.log at 59.063 s (ub-search) +4 26 84 93 119 131 145 168 191 195 205 207 222 228 240 251 263 274 280 286 317 330 351 362 372 377 384 401 428 diff --git a/optimization/experiments/GH-152/witnesses/TN_496_2_23to30.Z.w30.txt b/optimization/experiments/GH-152/witnesses/TN_496_2_23to30.Z.w30.txt new file mode 100644 index 00000000..5b47e239 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_496_2_23to30.Z.w30.txt @@ -0,0 +1,5 @@ +# TN_496_2_23to30 (renamed from TN_496_2_17to30 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_496_2_17to30.Z.w30.txt; the upper bound in the stem comes from this witness +# TN_496_2_17to30 (renamed from TN_496_2_ge17 on 2026-10-23): copy of ../TN_496_2_ge17.Z.w30.txt; the upper bound in the stem comes from this witness +# TN_496_2_ge17: Z-type logical operator of weight 30 (0-based qubit indices), so d <= 30 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_496_2_ge17.s0.log at 7.949 s (ub-search) +64 65 67 74 85 93 97 105 119 127 130 138 241 249 256 263 266 269 307 310 311 314 371 375 376 380 417 425 439 447 diff --git a/optimization/experiments/GH-152/witnesses/TN_540_4_23to34.X.w34.txt b/optimization/experiments/GH-152/witnesses/TN_540_4_23to34.X.w34.txt new file mode 100644 index 00000000..62ac9369 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_540_4_23to34.X.w34.txt @@ -0,0 +1,5 @@ +# TN_540_4_23to34 (renamed from TN_540_4_9to34 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_540_4_9to34.X.w34.txt; the upper bound in the stem comes from this witness +# TN_540_4_9to34 (renamed from TN_540_4_ge9 on 2026-10-23): copy of ../TN_540_4_ge9.X.w34.txt; the upper bound in the stem comes from this witness +# TN_540_4_ge9: X-type logical operator of weight 34 (0-based qubit indices), so d <= 34 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_540_4_ge9.s0.log at 3240.171 s (ub-search) +3 54 55 80 85 119 125 143 175 222 233 238 248 256 312 324 339 408 413 418 428 433 441 453 454 455 467 474 504 514 515 527 531 534 diff --git a/optimization/experiments/GH-152/witnesses/TN_576_2_24to37.X.w37.txt b/optimization/experiments/GH-152/witnesses/TN_576_2_24to37.X.w37.txt new file mode 100644 index 00000000..979e5434 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/TN_576_2_24to37.X.w37.txt @@ -0,0 +1,5 @@ +# TN_576_2_24to37 (renamed from TN_576_2_9to37 on 2026-10-29, GH-152 CC lower bound): copy of ../../GH-146/witnesses/renamed/TN_576_2_9to37.X.w37.txt; the upper bound in the stem comes from this witness +# TN_576_2_9to37 (renamed from TN_576_2_ge9 on 2026-10-23): copy of ../TN_576_2_ge9.X.w37.txt; the upper bound in the stem comes from this witness +# TN_576_2_ge9: X-type logical operator of weight 37 (0-based qubit indices), so d <= 37 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): stern.TN_576_2_ge9.s2.log at 57.145 s (ub-search) +18 22 30 34 42 58 93 104 112 116 126 138 159 174 187 208 210 295 303 316 319 338 353 377 392 394 415 440 475 481 490 502 519 522 531 533 549 diff --git a/optimization/experiments/GH-152/witnesses/VERIFY.txt b/optimization/experiments/GH-152/witnesses/VERIFY.txt new file mode 100644 index 00000000..65ee6c03 --- /dev/null +++ b/optimization/experiments/GH-152/witnesses/VERIFY.txt @@ -0,0 +1,7 @@ +TN_288_2_22to24.Z.w24.txt: n 288, weight 24, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 24 +TN_324_4_22to25.X.w25.txt: n 324, weight 25, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 25 +TN_432_8_23to29.X.w29.txt: n 432, weight 29, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 29 +TN_496_2_23to30.Z.w30.txt: n 496, weight 30, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 30 +TN_540_4_23to34.X.w34.txt: n 540, weight 34, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 34 +TN_576_2_24to37.X.w37.txt: n 576, weight 37, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 37 +ALL VALID