From 6ffc0a0ed38a6818d8ff0b5e1e8de65b6d91c558 Mon Sep 17 00:00:00 2001 From: yfc Date: Sat, 31 Oct 2026 01:46:04 +0800 Subject: [PATCH] Rename eight tier5 stems with GH-157/GH-162/GH-183/GH-181 CC lower bounds PI decision 2026-10-31. Same matrices (git mv of Hx/Hz/Gx/Gz; only the Gx/Gz header comment changes). Upper bounds unchanged. TN_360_4_17to24 -> TN_360_4_23to24 (GH-157) TN_396_4_17to26 -> TN_396_4_23to26 (GH-157) TN_504_2_17to34 -> TN_504_2_24to34 (GH-157) TN_648_10_9to32 -> TN_648_10_22to32 (GH-157) BB_1080_4_30to48 -> BB_1080_4_32to48 (GH-162, reproduced by GH-183) BB_756_16_30to34 -> BB_756_16_32to34 (GH-183) BB_864_4_30to40 -> BB_864_4_32to40 (GH-183) TN_496_2_23to30 -> TN_496_2_27to30 (GH-181) Lower bounds: DistQLDPC's optional CC engine with rules that were opt-in when the bounds were found (charge, default on main since PR #161; tiebreak with mrv / -cc-roworder=bfs, PRs #180 / #204, and sparse,sparseov,sparsemrv, PR #203, not on main), each reproduced with a different search order or binary of the same engine (not an independent second method). Updated: data/matrices/README.md (tier5 list, rename history, open items), NOTICE, README naming example, name columns of optimization/baselines/SERVER.md and main_server_reference.json. The upper-bound witnesses for these eight stems are copied under the new stems to optimization/experiments/GH-146/witnesses/renamed-2026-10-31/ (VERIFY.txt: 8/8 VALID). Historical experiment records are unchanged. Co-Authored-By: Claude Opus 5.5 --- NOTICE | 11 +++++ README.md | 2 +- data/matrices/README.md | 28 +++++++++-- ..._30to48_Gx.txt => BB_1080_4_32to48_Gx.txt} | 2 +- ..._30to48_Gz.txt => BB_1080_4_32to48_Gz.txt} | 2 +- ..._30to48_Hx.txt => BB_1080_4_32to48_Hx.txt} | 0 ..._30to48_Hz.txt => BB_1080_4_32to48_Hz.txt} | 0 ..._30to34_Gx.txt => BB_756_16_32to34_Gx.txt} | 2 +- ..._30to34_Gz.txt => BB_756_16_32to34_Gz.txt} | 2 +- ..._30to34_Hx.txt => BB_756_16_32to34_Hx.txt} | 0 ..._30to34_Hz.txt => BB_756_16_32to34_Hz.txt} | 0 ...4_30to40_Gx.txt => BB_864_4_32to40_Gx.txt} | 2 +- ...4_30to40_Gz.txt => BB_864_4_32to40_Gz.txt} | 2 +- ...4_30to40_Hx.txt => BB_864_4_32to40_Hx.txt} | 0 ...4_30to40_Hz.txt => BB_864_4_32to40_Hz.txt} | 0 ...4_17to24_Gx.txt => TN_360_4_23to24_Gx.txt} | 2 +- ...4_17to24_Gz.txt => TN_360_4_23to24_Gz.txt} | 2 +- ...4_17to24_Hx.txt => TN_360_4_23to24_Hx.txt} | 0 ...4_17to24_Hz.txt => TN_360_4_23to24_Hz.txt} | 0 ...4_17to26_Gx.txt => TN_396_4_23to26_Gx.txt} | 2 +- ...4_17to26_Gz.txt => TN_396_4_23to26_Gz.txt} | 2 +- ...4_17to26_Hx.txt => TN_396_4_23to26_Hx.txt} | 0 ...4_17to26_Hz.txt => TN_396_4_23to26_Hz.txt} | 0 ...2_23to30_Gx.txt => TN_496_2_27to30_Gx.txt} | 2 +- ...2_23to30_Gz.txt => TN_496_2_27to30_Gz.txt} | 2 +- ...2_23to30_Hx.txt => TN_496_2_27to30_Hx.txt} | 0 ...2_23to30_Hz.txt => TN_496_2_27to30_Hz.txt} | 0 ...2_17to34_Gx.txt => TN_504_2_24to34_Gx.txt} | 2 +- ...2_17to34_Gz.txt => TN_504_2_24to34_Gz.txt} | 2 +- ...2_17to34_Hx.txt => TN_504_2_24to34_Hx.txt} | 0 ...2_17to34_Hz.txt => TN_504_2_24to34_Hz.txt} | 0 ...0_9to32_Gx.txt => TN_648_10_22to32_Gx.txt} | 2 +- ...0_9to32_Gz.txt => TN_648_10_22to32_Gz.txt} | 2 +- ...0_9to32_Hx.txt => TN_648_10_22to32_Hx.txt} | 0 ...0_9to32_Hz.txt => TN_648_10_22to32_Hz.txt} | 0 optimization/baselines/SERVER.md | 48 +++++++++---------- .../baselines/main_server_reference.json | 32 ++++++------- .../BB_1080_4_32to48.X.w48.txt | 5 ++ .../BB_756_16_32to34.X.w34.txt | 5 ++ .../BB_864_4_32to40.X.w40.txt | 5 ++ .../TN_360_4_23to24.Z.w24.txt | 5 ++ .../TN_396_4_23to26.X.w26.txt | 5 ++ .../TN_496_2_27to30.Z.w30.txt | 6 +++ .../TN_504_2_24to34.X.w34.txt | 5 ++ .../TN_648_10_22to32.X.w32.txt | 5 ++ .../witnesses/renamed-2026-10-31/VERIFY.txt | 9 ++++ 46 files changed, 142 insertions(+), 61 deletions(-) rename data/matrices/tier5/{BB_1080_4_30to48_Gx.txt => BB_1080_4_32to48_Gx.txt} (99%) rename data/matrices/tier5/{BB_1080_4_30to48_Gz.txt => BB_1080_4_32to48_Gz.txt} (99%) rename data/matrices/tier5/{BB_1080_4_30to48_Hx.txt => BB_1080_4_32to48_Hx.txt} (100%) rename data/matrices/tier5/{BB_1080_4_30to48_Hz.txt => BB_1080_4_32to48_Hz.txt} (100%) rename data/matrices/tier5/{BB_756_16_30to34_Gx.txt => BB_756_16_32to34_Gx.txt} (99%) rename data/matrices/tier5/{BB_756_16_30to34_Gz.txt => BB_756_16_32to34_Gz.txt} (99%) rename data/matrices/tier5/{BB_756_16_30to34_Hx.txt => BB_756_16_32to34_Hx.txt} (100%) rename data/matrices/tier5/{BB_756_16_30to34_Hz.txt => BB_756_16_32to34_Hz.txt} (100%) rename data/matrices/tier5/{BB_864_4_30to40_Gx.txt => BB_864_4_32to40_Gx.txt} (99%) rename data/matrices/tier5/{BB_864_4_30to40_Gz.txt => BB_864_4_32to40_Gz.txt} (99%) rename data/matrices/tier5/{BB_864_4_30to40_Hx.txt => BB_864_4_32to40_Hx.txt} (100%) rename data/matrices/tier5/{BB_864_4_30to40_Hz.txt => BB_864_4_32to40_Hz.txt} (100%) rename data/matrices/tier5/{TN_360_4_17to24_Gx.txt => TN_360_4_23to24_Gx.txt} (97%) rename data/matrices/tier5/{TN_360_4_17to24_Gz.txt => TN_360_4_23to24_Gz.txt} (97%) rename data/matrices/tier5/{TN_360_4_17to24_Hx.txt => TN_360_4_23to24_Hx.txt} (100%) rename data/matrices/tier5/{TN_360_4_17to24_Hz.txt => TN_360_4_23to24_Hz.txt} (100%) rename data/matrices/tier5/{TN_396_4_17to26_Gx.txt => TN_396_4_23to26_Gx.txt} (97%) rename data/matrices/tier5/{TN_396_4_17to26_Gz.txt => TN_396_4_23to26_Gz.txt} (97%) rename data/matrices/tier5/{TN_396_4_17to26_Hx.txt => TN_396_4_23to26_Hx.txt} (100%) rename data/matrices/tier5/{TN_396_4_17to26_Hz.txt => TN_396_4_23to26_Hz.txt} (100%) rename data/matrices/tier5/{TN_496_2_23to30_Gx.txt => TN_496_2_27to30_Gx.txt} (99%) rename data/matrices/tier5/{TN_496_2_23to30_Gz.txt => TN_496_2_27to30_Gz.txt} (99%) rename data/matrices/tier5/{TN_496_2_23to30_Hx.txt => TN_496_2_27to30_Hx.txt} (100%) rename data/matrices/tier5/{TN_496_2_23to30_Hz.txt => TN_496_2_27to30_Hz.txt} (100%) rename data/matrices/tier5/{TN_504_2_17to34_Gx.txt => TN_504_2_24to34_Gx.txt} (96%) rename data/matrices/tier5/{TN_504_2_17to34_Gz.txt => TN_504_2_24to34_Gz.txt} (96%) rename data/matrices/tier5/{TN_504_2_17to34_Hx.txt => TN_504_2_24to34_Hx.txt} (100%) rename data/matrices/tier5/{TN_504_2_17to34_Hz.txt => TN_504_2_24to34_Hz.txt} (100%) rename data/matrices/tier5/{TN_648_10_9to32_Gx.txt => TN_648_10_22to32_Gx.txt} (99%) rename data/matrices/tier5/{TN_648_10_9to32_Gz.txt => TN_648_10_22to32_Gz.txt} (99%) rename data/matrices/tier5/{TN_648_10_9to32_Hx.txt => TN_648_10_22to32_Hx.txt} (100%) rename data/matrices/tier5/{TN_648_10_9to32_Hz.txt => TN_648_10_22to32_Hz.txt} (100%) create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_1080_4_32to48.X.w48.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_756_16_32to34.X.w34.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_864_4_32to40.X.w40.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_360_4_23to24.Z.w24.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_396_4_23to26.X.w26.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_496_2_27to30.Z.w30.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_504_2_24to34.X.w34.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_648_10_22to32.X.w32.txt create mode 100644 optimization/experiments/GH-146/witnesses/renamed-2026-10-31/VERIFY.txt diff --git a/NOTICE b/NOTICE index 5bd213c6..172903dd 100644 --- a/NOTICE +++ b/NOTICE @@ -292,6 +292,17 @@ TN_288_2_22to24 (was TN_288_2_9to24), TN_324_4_22to25 (was TN_324_4_9to25), TN_4 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). +Renamed 2026-10-31 (PI decision; same matrices, upper bounds unchanged): lower bounds raised by +DistQLDPC's optional CC engine with rules that were opt-in when the bounds were found (charge, +GH-157 #157, default CC rule on main since PR #161; tiebreak, GH-162 #162 / PR #180, with mrv and +-cc-roworder=bfs, GH-183 #183 / PR #204; sparse,sparseov,sparsemrv, GH-181 #181 / PR #203; the last +three are not on main), each reproduced with a different search order or binary of the same engine +(not an independent second method): TN_360_4_23to24 (was TN_360_4_17to24), +TN_396_4_23to26 (was TN_396_4_17to26), TN_504_2_24to34 (was TN_504_2_17to34), TN_648_10_22to32 +(was TN_648_10_9to32) [GH-157]; BB_1080_4_32to48 (was BB_1080_4_30to48) [GH-162, reproduced by +GH-183]; BB_756_16_32to34 (was BB_756_16_30to34), BB_864_4_32to40 (was BB_864_4_30to40) [GH-183]; +TN_496_2_27to30 (was TN_496_2_23to30) [GH-181]. + 9. Triangular 6.6.6 color-code matrices (GH-156, untiered) -------------------------------------------------------- diff --git a/README.md b/README.md index 5ee1338f..d25e7f36 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ For a code named ``, put four text files in one directory (default: `data/ **File format:** each line is one binary row; entries are `0` or `1` separated by spaces. Lines starting with `#` are comments. All four matrices must have the same number of columns `n` (qubits). -**Stem names** use `{family}_{n}_{k}_{d}` (e.g. `BB_72_12_6`, `LP_34_20_2`), family in `BB`, `GB`, `LP`, `TN`. When the distance is not known, the last field holds the current proven bounds: `{lb}to{ub}` or `ge{lb}` (e.g. `TN_648_10_9to32`, `BB_756_16_30to34`; upper bounds from verified witnesses, see [data/matrices/README.md](data/matrices/README.md)). Upstream `AJ_*` / `xu_*` / `PK_*` ids and renames are recorded in [NOTICE](NOTICE) and [data/matrices/README.md](data/matrices/README.md). +**Stem names** use `{family}_{n}_{k}_{d}` (e.g. `BB_72_12_6`, `LP_34_20_2`), family in `BB`, `GB`, `LP`, `TN`. When the distance is not known, the last field holds the current proven bounds: `{lb}to{ub}` or `ge{lb}` (e.g. `TN_648_10_22to32`, `BB_756_16_32to34`; upper bounds from verified witnesses, see [data/matrices/README.md](data/matrices/README.md)). Upstream `AJ_*` / `xu_*` / `PK_*` ids and renames are recorded in [NOTICE](NOTICE) and [data/matrices/README.md](data/matrices/README.md). Example layout: diff --git a/data/matrices/README.md b/data/matrices/README.md index 8dc56600..25e80603 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_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]] | +| 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_23to24 [[360,4,23–24]], TN_396_4_23to26 [[396,4,23–26]], TN_432_8_23to29 [[432,8,23–29]], TN_468_4_17to29 [[468,4,17–29]], TN_496_2_27to30 [[496,2,27–30]], TN_504_2_24to34 [[504,2,24–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_22to32 [[648,10,22–32]], TN_648_14_9to28 [[648,14,9–28]], TN_684_2_9to29 [[684,2,9–29]], BB_756_16_32to34 [[756,16,32–34]], BB_864_4_32to40 [[864,4,32–40]], LP_1020_136_16 [[1020,136,16]], LP_1054_140_20 [[1054,140,20]], BB_1080_4_32to48 [[1080,4,32–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,14 @@ section 5. | Date | Old | New | Note | |------|-----|-----|------| +| 2026-10-31 | TN_360_4_17to24 | TN_360_4_23to24 | lb 23: CC lower bound from GH-157 (issue #157, PR #161): DistQLDPC's optional CC engine with the `charge` rule (fractional LP-dual node bound; opt-in when found, default CC rule on main since PR #161); levels up to 22 completed EMPTY on both halves (yfclab2, 6 h, binary c3c315d). Reproduction: same binary c3c315d and labels, different search order (`-cc-rules=excl,pack,orbf,parity,leaf,overlap,charge,mrv`, 12 h), every level EMPTY, same lb; same engine and rule, not an independent second method; `optimization/experiments/GH-157/REPRODUCTION.md`. ub unchanged (GH-146 witness; copy under the new stem in `optimization/experiments/GH-146/witnesses/renamed-2026-10-31/`) (PI 2026-10-31) | +| 2026-10-31 | TN_396_4_17to26 | TN_396_4_23to26 | lb 23 (GH-157 CC lower bound with `charge`, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-31 | TN_504_2_17to34 | TN_504_2_24to34 | lb 24 (GH-157 CC lower bound with `charge`, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-31 | TN_648_10_9to32 | TN_648_10_22to32 | lb 22 (GH-157 CC lower bound with `charge`, no symmetry used, reproduced with the `mrv` order, as above); ub unchanged | +| 2026-10-31 | BB_1080_4_30to48 | BB_1080_4_32to48 | lb 32: CC lower bound from GH-162 (issue #162, PR #180): opt-in `tiebreak` rule (orbit-compatible even-weight overlap tie-break; not on main), seed 0, lb 32 at 19 378 s (yfclab2, 6 h, binary 97c8629); levels 2-30 EMPTY (X half under the verified dual map; odd levels skipped by the parity rule). Reproduction: two GH-183 Tier 5 runs (issue #183, PR #204, binary d26070d) with a different search order (`tiebreak,mrv`, `-cc-roworder=bfs`, one also `-cc-tbbase=asc`): lb 32 at 7 127 s and 6 739 s, every level EMPTY, node counts differ at every level from 6 on; same engine and `tiebreak` rule, not an independent second method. ub unchanged (GH-146 witness, copy as above) (PI 2026-10-31) | +| 2026-10-31 | BB_756_16_30to34 | BB_756_16_32to34 | lb 32: CC lower bound from GH-183 (issue #183, PR #204): opt-in `tiebreak` (GH-162) with `mrv` and `-cc-roworder=bfs` (not on main), binary d26070d, 6 h, lb 32 at 10 437 s; level 30 EMPTY certifies 32 (all column weights odd, parity rule). Reproduction: same binary and configuration with relabeled seeds 1-3 (different qubit and row order, different orbit representatives), 8 h, all three reach lb 32 with every level EMPTY (GH-183 cross-check, 9/9 runs REPRODUCED); same engine and rules, not an independent second method; `optimization/experiments/GH-183/S3_xcheck/` on branch `experiment/gh-183-cc-roworder`. ub unchanged (GH-146 witness, copy as above) (PI 2026-10-31) | +| 2026-10-31 | BB_864_4_30to40 | BB_864_4_32to40 | lb 32 (GH-183 CC lower bound, 6 h lb 32 at 9 951 s; reproduced with relabeled seeds 1-3, 8 h, as above); ub unchanged | +| 2026-10-31 | TN_496_2_23to30 | TN_496_2_27to30 | lb 27: CC lower bound from GH-181 (issue #181, PR #203): opt-in `sparse,sparseov,sparsemrv` rules (redundant pair-sum checks; not on main), 6 h, seeds 0, 1 and 2 all reach lb 27 (X half under the verified XZ-dual map). Cross-check by a different binary (`sparse,sparseov,sparsemrv,tiebreak`, scratch merge with GH-162 97c86299), seeds 0 and 3, 8 h: lb 27 at 11 864 s and 10 739 s, every level 1-26 EMPTY; same engine, not an independent second method; `optimization/experiments/GH-181/XC27/` on branch `experiment/gh-181-cc-sparse-rows` (commit f0afded3). ub unchanged (GH-146 witness, copy as above) (PI 2026-10-31) | | 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 | @@ -164,8 +172,8 @@ section 5. ## Open items - **Former numeric tier5 names** (BB_756_16_34, BB_864_4_40, BB_1080_4_54, TN_180_2_17 ... TN_684_2_29): the old third field may be a literature value or an upstream index; it is kept in the rename history but not in the stem until DistQLDPC confirms the distance. -- **TN_648_10_9to32:** d <= 32 (GH-146 verified witness; the bundled bases contain weight-52 - nontrivial logicals); the exact distance is unknown. +- **TN_648_10_22to32:** d <= 32 (GH-146 verified witness; the bundled bases contain weight-52 + nontrivial logicals); lb 22 from GH-157 (2026-10-31); the exact distance is unknown. - **Upper-bound witnesses (`{lb}to{ub}` stems):** the upper bounds of the tier5 `{lb}to{ub}` stems renamed on 2026-10-23 come from the GH-146 finder; one nontrivial logical per stem is stored as `optimization/experiments/GH-146/witnesses/renamed/..w.txt` (0-based qubit indices) and can be @@ -176,8 +184,20 @@ section 5. 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`. + Eight stems were renamed on 2026-10-31 (TN_360_4_23to24, TN_396_4_23to26, TN_504_2_24to34, TN_648_10_22to32, + BB_1080_4_32to48, BB_756_16_32to34, BB_864_4_32to40, TN_496_2_27to30); their older copies in `renamed/` and + `GH-152/witnesses/` no longer resolve, and copies under the current stems are in + `optimization/experiments/GH-146/witnesses/renamed-2026-10-31/` (same supports, `VERIFY.txt`: 8/8 VALID), checked + with the same command on `optimization/experiments/GH-146/witnesses/renamed-2026-10-31/*.w*.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`). + `optimization/experiments/GH-152/REPRODUCTION.md` (branch `experiment/gh-152-tanner-aut`). TN_496 was renamed + again on 2026-10-31 (TN_496_2_27to30, GH-181). +- **2026-10-31 lower bounds (GH-157, GH-162/GH-183, GH-181):** each lower bound of the eight stems renamed that day + comes from DistQLDPC's own CC engine with a rule that was opt-in when the bound was found: `charge` (GH-157, the + default CC rule on main since PR #161), and `tiebreak` with `mrv` / `-cc-roworder=bfs` (PRs #180 / #204) and + `sparse,sparseov,sparsemrv` (PR #203), which are not yet on main. Each was reproduced with a different search order + or binary of the same engine. This is not an independent second method. Records: issues + #157, #162, #183, #181 and the rename-history rows above. - **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/BB_1080_4_30to48_Gx.txt b/data/matrices/tier5/BB_1080_4_32to48_Gx.txt similarity index 99% rename from data/matrices/tier5/BB_1080_4_30to48_Gx.txt rename to data/matrices/tier5/BB_1080_4_32to48_Gx.txt index cf90cab1..382b34f4 100644 --- a/data/matrices/tier5/BB_1080_4_30to48_Gx.txt +++ b/data/matrices/tier5/BB_1080_4_32to48_Gx.txt @@ -1,4 +1,4 @@ -# n=1080 Z-type logical rows ker(Hx)/row(Hz) parity BB_1080_4_30to48_Hx.txt +# n=1080 Z-type logical rows ker(Hx)/row(Hz) parity BB_1080_4_32to48_Hx.txt 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 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 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 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 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 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 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 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 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_1080_4_30to48_Gz.txt b/data/matrices/tier5/BB_1080_4_32to48_Gz.txt similarity index 99% rename from data/matrices/tier5/BB_1080_4_30to48_Gz.txt rename to data/matrices/tier5/BB_1080_4_32to48_Gz.txt index c6e60ef3..0984fae6 100644 --- a/data/matrices/tier5/BB_1080_4_30to48_Gz.txt +++ b/data/matrices/tier5/BB_1080_4_32to48_Gz.txt @@ -1,4 +1,4 @@ -# n=1080 X-type logical rows ker(Hz)/row(Hx) parity BB_1080_4_30to48_Hz.txt +# n=1080 X-type logical rows ker(Hz)/row(Hx) parity BB_1080_4_32to48_Hz.txt 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_1080_4_30to48_Hx.txt b/data/matrices/tier5/BB_1080_4_32to48_Hx.txt similarity index 100% rename from data/matrices/tier5/BB_1080_4_30to48_Hx.txt rename to data/matrices/tier5/BB_1080_4_32to48_Hx.txt diff --git a/data/matrices/tier5/BB_1080_4_30to48_Hz.txt b/data/matrices/tier5/BB_1080_4_32to48_Hz.txt similarity index 100% rename from data/matrices/tier5/BB_1080_4_30to48_Hz.txt rename to data/matrices/tier5/BB_1080_4_32to48_Hz.txt diff --git a/data/matrices/tier5/BB_756_16_30to34_Gx.txt b/data/matrices/tier5/BB_756_16_32to34_Gx.txt similarity index 99% rename from data/matrices/tier5/BB_756_16_30to34_Gx.txt rename to data/matrices/tier5/BB_756_16_32to34_Gx.txt index be0165a6..c13bc333 100644 --- a/data/matrices/tier5/BB_756_16_30to34_Gx.txt +++ b/data/matrices/tier5/BB_756_16_32to34_Gx.txt @@ -1,4 +1,4 @@ -# n=756 Z-type logical rows ker(Hx)/row(Hz) parity BB_756_16_30to34_Hx.txt +# n=756 Z-type logical rows ker(Hx)/row(Hz) parity BB_756_16_32to34_Hx.txt 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_756_16_30to34_Gz.txt b/data/matrices/tier5/BB_756_16_32to34_Gz.txt similarity index 99% rename from data/matrices/tier5/BB_756_16_30to34_Gz.txt rename to data/matrices/tier5/BB_756_16_32to34_Gz.txt index 650898c8..91ab4527 100644 --- a/data/matrices/tier5/BB_756_16_30to34_Gz.txt +++ b/data/matrices/tier5/BB_756_16_32to34_Gz.txt @@ -1,4 +1,4 @@ -# n=756 X-type logical rows ker(Hz)/row(Hx) parity BB_756_16_30to34_Hz.txt +# n=756 X-type logical rows ker(Hz)/row(Hx) parity BB_756_16_32to34_Hz.txt 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 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 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 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 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_756_16_30to34_Hx.txt b/data/matrices/tier5/BB_756_16_32to34_Hx.txt similarity index 100% rename from data/matrices/tier5/BB_756_16_30to34_Hx.txt rename to data/matrices/tier5/BB_756_16_32to34_Hx.txt diff --git a/data/matrices/tier5/BB_756_16_30to34_Hz.txt b/data/matrices/tier5/BB_756_16_32to34_Hz.txt similarity index 100% rename from data/matrices/tier5/BB_756_16_30to34_Hz.txt rename to data/matrices/tier5/BB_756_16_32to34_Hz.txt diff --git a/data/matrices/tier5/BB_864_4_30to40_Gx.txt b/data/matrices/tier5/BB_864_4_32to40_Gx.txt similarity index 99% rename from data/matrices/tier5/BB_864_4_30to40_Gx.txt rename to data/matrices/tier5/BB_864_4_32to40_Gx.txt index ab350d74..c39498cd 100644 --- a/data/matrices/tier5/BB_864_4_30to40_Gx.txt +++ b/data/matrices/tier5/BB_864_4_32to40_Gx.txt @@ -1,4 +1,4 @@ -# n=864 Z-type logical rows ker(Hx)/row(Hz) parity BB_864_4_30to40_Hx.txt +# n=864 Z-type logical rows ker(Hx)/row(Hz) parity BB_864_4_32to40_Hx.txt 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_864_4_30to40_Gz.txt b/data/matrices/tier5/BB_864_4_32to40_Gz.txt similarity index 99% rename from data/matrices/tier5/BB_864_4_30to40_Gz.txt rename to data/matrices/tier5/BB_864_4_32to40_Gz.txt index 12915a7d..fda50f47 100644 --- a/data/matrices/tier5/BB_864_4_30to40_Gz.txt +++ b/data/matrices/tier5/BB_864_4_32to40_Gz.txt @@ -1,4 +1,4 @@ -# n=864 X-type logical rows ker(Hz)/row(Hx) parity BB_864_4_30to40_Hz.txt +# n=864 X-type logical rows ker(Hz)/row(Hx) parity BB_864_4_32to40_Hz.txt 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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/BB_864_4_30to40_Hx.txt b/data/matrices/tier5/BB_864_4_32to40_Hx.txt similarity index 100% rename from data/matrices/tier5/BB_864_4_30to40_Hx.txt rename to data/matrices/tier5/BB_864_4_32to40_Hx.txt diff --git a/data/matrices/tier5/BB_864_4_30to40_Hz.txt b/data/matrices/tier5/BB_864_4_32to40_Hz.txt similarity index 100% rename from data/matrices/tier5/BB_864_4_30to40_Hz.txt rename to data/matrices/tier5/BB_864_4_32to40_Hz.txt diff --git a/data/matrices/tier5/TN_360_4_17to24_Gx.txt b/data/matrices/tier5/TN_360_4_23to24_Gx.txt similarity index 97% rename from data/matrices/tier5/TN_360_4_17to24_Gx.txt rename to data/matrices/tier5/TN_360_4_23to24_Gx.txt index 3236b93f..a06e45b2 100644 --- a/data/matrices/tier5/TN_360_4_17to24_Gx.txt +++ b/data/matrices/tier5/TN_360_4_23to24_Gx.txt @@ -1,4 +1,4 @@ -# n=360 Z-type logical rows ker(Hx)/row(Hz) parity TN_360_4_17to24_Hx.txt +# n=360 Z-type logical rows ker(Hx)/row(Hz) parity TN_360_4_23to24_Hx.txt 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 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 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 diff --git a/data/matrices/tier5/TN_360_4_17to24_Gz.txt b/data/matrices/tier5/TN_360_4_23to24_Gz.txt similarity index 97% rename from data/matrices/tier5/TN_360_4_17to24_Gz.txt rename to data/matrices/tier5/TN_360_4_23to24_Gz.txt index d3c71a96..b4e512a6 100644 --- a/data/matrices/tier5/TN_360_4_17to24_Gz.txt +++ b/data/matrices/tier5/TN_360_4_23to24_Gz.txt @@ -1,4 +1,4 @@ -# n=360 X-type logical rows ker(Hz)/row(Hx) parity TN_360_4_17to24_Hz.txt +# n=360 X-type logical rows ker(Hz)/row(Hx) parity TN_360_4_23to24_Hz.txt 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 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 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 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 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 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 diff --git a/data/matrices/tier5/TN_360_4_17to24_Hx.txt b/data/matrices/tier5/TN_360_4_23to24_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_360_4_17to24_Hx.txt rename to data/matrices/tier5/TN_360_4_23to24_Hx.txt diff --git a/data/matrices/tier5/TN_360_4_17to24_Hz.txt b/data/matrices/tier5/TN_360_4_23to24_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_360_4_17to24_Hz.txt rename to data/matrices/tier5/TN_360_4_23to24_Hz.txt diff --git a/data/matrices/tier5/TN_396_4_17to26_Gx.txt b/data/matrices/tier5/TN_396_4_23to26_Gx.txt similarity index 97% rename from data/matrices/tier5/TN_396_4_17to26_Gx.txt rename to data/matrices/tier5/TN_396_4_23to26_Gx.txt index b9ded6f3..f46ce5ca 100644 --- a/data/matrices/tier5/TN_396_4_17to26_Gx.txt +++ b/data/matrices/tier5/TN_396_4_23to26_Gx.txt @@ -1,4 +1,4 @@ -# n=396 Z-type logical rows ker(Hx)/row(Hz) parity TN_396_4_17to26_Hx.txt +# n=396 Z-type logical rows ker(Hx)/row(Hz) parity TN_396_4_23to26_Hx.txt 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 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 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 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 diff --git a/data/matrices/tier5/TN_396_4_17to26_Gz.txt b/data/matrices/tier5/TN_396_4_23to26_Gz.txt similarity index 97% rename from data/matrices/tier5/TN_396_4_17to26_Gz.txt rename to data/matrices/tier5/TN_396_4_23to26_Gz.txt index e20f26ed..21561f55 100644 --- a/data/matrices/tier5/TN_396_4_17to26_Gz.txt +++ b/data/matrices/tier5/TN_396_4_23to26_Gz.txt @@ -1,4 +1,4 @@ -# n=396 X-type logical rows ker(Hz)/row(Hx) parity TN_396_4_17to26_Hz.txt +# n=396 X-type logical rows ker(Hz)/row(Hx) parity TN_396_4_23to26_Hz.txt 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 1 1 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 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 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 diff --git a/data/matrices/tier5/TN_396_4_17to26_Hx.txt b/data/matrices/tier5/TN_396_4_23to26_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_396_4_17to26_Hx.txt rename to data/matrices/tier5/TN_396_4_23to26_Hx.txt diff --git a/data/matrices/tier5/TN_396_4_17to26_Hz.txt b/data/matrices/tier5/TN_396_4_23to26_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_396_4_17to26_Hz.txt rename to data/matrices/tier5/TN_396_4_23to26_Hz.txt diff --git a/data/matrices/tier5/TN_496_2_23to30_Gx.txt b/data/matrices/tier5/TN_496_2_27to30_Gx.txt similarity index 99% rename from data/matrices/tier5/TN_496_2_23to30_Gx.txt rename to data/matrices/tier5/TN_496_2_27to30_Gx.txt index 2eb3a30c..2d0d6f39 100644 --- a/data/matrices/tier5/TN_496_2_23to30_Gx.txt +++ b/data/matrices/tier5/TN_496_2_27to30_Gx.txt @@ -1,3 +1,3 @@ -# n=496 Z-type logical rows ker(Hx)/row(Hz) parity TN_496_2_23to30_Hx.txt +# n=496 Z-type logical rows ker(Hx)/row(Hz) parity TN_496_2_27to30_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_23to30_Gz.txt b/data/matrices/tier5/TN_496_2_27to30_Gz.txt similarity index 99% rename from data/matrices/tier5/TN_496_2_23to30_Gz.txt rename to data/matrices/tier5/TN_496_2_27to30_Gz.txt index 5e1c0104..05b2b749 100644 --- a/data/matrices/tier5/TN_496_2_23to30_Gz.txt +++ b/data/matrices/tier5/TN_496_2_27to30_Gz.txt @@ -1,3 +1,3 @@ -# n=496 X-type logical rows ker(Hz)/row(Hx) parity TN_496_2_23to30_Hz.txt +# n=496 X-type logical rows ker(Hz)/row(Hx) parity TN_496_2_27to30_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_23to30_Hx.txt b/data/matrices/tier5/TN_496_2_27to30_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_496_2_23to30_Hx.txt rename to data/matrices/tier5/TN_496_2_27to30_Hx.txt diff --git a/data/matrices/tier5/TN_496_2_23to30_Hz.txt b/data/matrices/tier5/TN_496_2_27to30_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_496_2_23to30_Hz.txt rename to data/matrices/tier5/TN_496_2_27to30_Hz.txt diff --git a/data/matrices/tier5/TN_504_2_17to34_Gx.txt b/data/matrices/tier5/TN_504_2_24to34_Gx.txt similarity index 96% rename from data/matrices/tier5/TN_504_2_17to34_Gx.txt rename to data/matrices/tier5/TN_504_2_24to34_Gx.txt index 50313ebe..5299efdc 100644 --- a/data/matrices/tier5/TN_504_2_17to34_Gx.txt +++ b/data/matrices/tier5/TN_504_2_24to34_Gx.txt @@ -1,3 +1,3 @@ -# n=504 Z-type logical rows ker(Hx)/row(Hz) parity TN_504_2_17to34_Hx.txt +# n=504 Z-type logical rows ker(Hx)/row(Hz) parity TN_504_2_24to34_Hx.txt 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 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 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 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 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 diff --git a/data/matrices/tier5/TN_504_2_17to34_Gz.txt b/data/matrices/tier5/TN_504_2_24to34_Gz.txt similarity index 96% rename from data/matrices/tier5/TN_504_2_17to34_Gz.txt rename to data/matrices/tier5/TN_504_2_24to34_Gz.txt index d2e54f98..f714ba1a 100644 --- a/data/matrices/tier5/TN_504_2_17to34_Gz.txt +++ b/data/matrices/tier5/TN_504_2_24to34_Gz.txt @@ -1,3 +1,3 @@ -# n=504 X-type logical rows ker(Hz)/row(Hx) parity TN_504_2_17to34_Hz.txt +# n=504 X-type logical rows ker(Hz)/row(Hx) parity TN_504_2_24to34_Hz.txt 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 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 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 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 diff --git a/data/matrices/tier5/TN_504_2_17to34_Hx.txt b/data/matrices/tier5/TN_504_2_24to34_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_504_2_17to34_Hx.txt rename to data/matrices/tier5/TN_504_2_24to34_Hx.txt diff --git a/data/matrices/tier5/TN_504_2_17to34_Hz.txt b/data/matrices/tier5/TN_504_2_24to34_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_504_2_17to34_Hz.txt rename to data/matrices/tier5/TN_504_2_24to34_Hz.txt diff --git a/data/matrices/tier5/TN_648_10_9to32_Gx.txt b/data/matrices/tier5/TN_648_10_22to32_Gx.txt similarity index 99% rename from data/matrices/tier5/TN_648_10_9to32_Gx.txt rename to data/matrices/tier5/TN_648_10_22to32_Gx.txt index 5a25534f..7eef8f40 100644 --- a/data/matrices/tier5/TN_648_10_9to32_Gx.txt +++ b/data/matrices/tier5/TN_648_10_22to32_Gx.txt @@ -1,4 +1,4 @@ -# n=648 Z-type logical rows ker(Hx)/row(Hz) parity TN_648_10_9to32_Hx.txt +# n=648 Z-type logical rows ker(Hx)/row(Hz) parity TN_648_10_22to32_Hx.txt 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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_648_10_9to32_Gz.txt b/data/matrices/tier5/TN_648_10_22to32_Gz.txt similarity index 99% rename from data/matrices/tier5/TN_648_10_9to32_Gz.txt rename to data/matrices/tier5/TN_648_10_22to32_Gz.txt index 60ff3123..c5eec571 100644 --- a/data/matrices/tier5/TN_648_10_9to32_Gz.txt +++ b/data/matrices/tier5/TN_648_10_22to32_Gz.txt @@ -1,4 +1,4 @@ -# n=648 X-type logical rows ker(Hz)/row(Hx) parity TN_648_10_9to32_Hz.txt +# n=648 X-type logical rows ker(Hz)/row(Hx) parity TN_648_10_22to32_Hz.txt 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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_648_10_9to32_Hx.txt b/data/matrices/tier5/TN_648_10_22to32_Hx.txt similarity index 100% rename from data/matrices/tier5/TN_648_10_9to32_Hx.txt rename to data/matrices/tier5/TN_648_10_22to32_Hx.txt diff --git a/data/matrices/tier5/TN_648_10_9to32_Hz.txt b/data/matrices/tier5/TN_648_10_22to32_Hz.txt similarity index 100% rename from data/matrices/tier5/TN_648_10_9to32_Hz.txt rename to data/matrices/tier5/TN_648_10_22to32_Hz.txt diff --git a/optimization/baselines/SERVER.md b/optimization/baselines/SERVER.md index b375c233..fbf31557 100644 --- a/optimization/baselines/SERVER.md +++ b/optimization/baselines/SERVER.md @@ -61,14 +61,14 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | Case | Mode | Wall s | Result | Final lb | Final ub | lb reached at (s) | vs cbb0642 (result, lb/ub, wall) | |---|---|---:|---|---:|---:|---|---| -| BB_1080_4_30to48 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@2720, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | -| BB_1080_4_30to48 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@3516, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_1080_4_32to48 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@2720, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_1080_4_32to48 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@3516, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | | BB_360_12_24 | card-mto | 21600 | TIMEOUT | 18 | 24 | 2@0, 4@0, 6@0, 10@0, 18@89, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | | BB_360_12_24 | no-card | 21600 | TIMEOUT | 18 | 24 | 2@0, 4@0, 6@0, 10@0, 18@88, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | -| BB_756_16_30to34 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@695, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | -| BB_756_16_30to34 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@752, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | -| BB_864_4_30to40 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@941, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | -| BB_864_4_30to40 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@904, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_756_16_32to34 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@695, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_756_16_32to34 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@1, 18@752, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_864_4_32to40 | card-mto | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@941, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | +| BB_864_4_32to40 | no-card | 21600 | TIMEOUT | 18 | - | 2@0, 4@0, 6@0, 10@0, 18@904, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | | LP_1020_136_16 | card-mto | 1309 | solved | 16 | 16 | 2@0, 4@1, 6@2, 10@7, 15@1309, 16@1309 | solved 2316 s -> 1309 s (0.57x) | | LP_1020_136_16 | no-card | 1331 | solved | 16 | 16 | 2@0, 4@1, 6@2, 10@12, 15@1331, 16@1331 | solved 8955 s -> 1331 s (0.15x) | | LP_1054_140_20 | card-mto | 21600 | TIMEOUT | 18 | 32 | 2@0, 4@1, 6@2, 10@10, 18@9275, 18@21600 | TIMEOUT both; lb 17 -> 18, ub = | @@ -91,26 +91,26 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | 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_360_4_23to24 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@5435, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_360_4_23to24 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@5, 17@5672, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_396_4_23to26 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@8, 17@4423, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_396_4_23to26 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@4649, 17@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_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_496_2_27to30 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@11949, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_496_2_27to30 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@6, 17@10690, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_504_2_24to34 | card-mto | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@0, 9@10, 17@5416, 17@21600 | TIMEOUT both; lb =, ub = | +| TN_504_2_24to34 | no-card | 21600 | TIMEOUT | 17 | - | 2@0, 3@0, 5@1, 9@7, 17@5210, 17@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 = | -| TN_648_10_9to32 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@1, 5@8, 9@70, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_648_10_22to32 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@6, 9@64, 9@21600 | TIMEOUT both; lb =, ub = | +| TN_648_10_22to32 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@1, 5@8, 9@70, 9@21600 | TIMEOUT both; lb =, ub = | | TN_648_14_9to28 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@8, 9@62, 9@21600 | TIMEOUT both; lb =, ub = | | TN_648_14_9to28 | no-card | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@6, 9@74, 9@21600 | TIMEOUT both; lb =, ub = | | TN_684_2_9to29 | card-mto | 21600 | TIMEOUT | 9 | - | 2@0, 3@0, 5@1, 9@15, 9@21600 | TIMEOUT both; lb =, ub = | @@ -144,10 +144,10 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | TN_144_2_13 | 3 | card-mto | 514.77 | 3 | no | | LP_714_100_16 | 4 | card-mto | 626.02 | 3 | tier4 -> tier3 | | TN_250_10_15 | 4 | card-mto | 2865.61 | 4 | no | -| BB_1080_4_30to48 | 5 | card-mto | unsolved | 5 | no | +| BB_1080_4_32to48 | 5 | card-mto | unsolved | 5 | no | | BB_360_12_24 | 5 | card-mto | unsolved | 5 | no | -| BB_756_16_30to34 | 5 | card-mto | unsolved | 5 | no | -| BB_864_4_30to40 | 5 | card-mto | unsolved | 5 | no | +| BB_756_16_32to34 | 5 | card-mto | unsolved | 5 | no | +| BB_864_4_32to40 | 5 | card-mto | unsolved | 5 | no | | LP_1020_136_16 | 5 | no-card | 1331.10 | 3 | tier5 -> tier3 | | LP_1054_140_20 | 5 | card-mto | unsolved | 5 | no | | LP_1122_148_20 | 5 | card-mto | unsolved | 5 | no | @@ -159,16 +159,16 @@ Binary: main c914ef5 (PR #137: -oddcap-skip=on default; PR #136 re-tier) built o | TN_252_2_21 | 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_360_4_23to24 | 5 | card-mto | unsolved | 5 | no | +| TN_396_4_23to26 | 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_23to30 | 5 | card-mto | unsolved | 5 | no | -| TN_504_2_17to34 | 5 | card-mto | unsolved | 5 | no | +| TN_496_2_27to30 | 5 | card-mto | unsolved | 5 | no | +| TN_504_2_24to34 | 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_10_22to32 | 5 | card-mto | unsolved | 5 | no | | TN_648_14_9to28 | 5 | card-mto | unsolved | 5 | no | | TN_684_2_9to29 | 5 | card-mto | unsolved | 5 | no | diff --git a/optimization/baselines/main_server_reference.json b/optimization/baselines/main_server_reference.json index 973f5d4f..cec91092 100644 --- a/optimization/baselines/main_server_reference.json +++ b/optimization/baselines/main_server_reference.json @@ -1496,7 +1496,7 @@ }, { "tier": 5, - "case": "BB_1080_4_30to48", + "case": "BB_1080_4_32to48", "mode": "card-mto", "n": 1, "median_s": 21600.1, @@ -1544,7 +1544,7 @@ }, { "tier": 5, - "case": "BB_1080_4_30to48", + "case": "BB_1080_4_32to48", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -1720,7 +1720,7 @@ }, { "tier": 5, - "case": "BB_756_16_30to34", + "case": "BB_756_16_32to34", "mode": "card-mto", "n": 1, "median_s": 21600.1, @@ -1768,7 +1768,7 @@ }, { "tier": 5, - "case": "BB_756_16_30to34", + "case": "BB_756_16_32to34", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -1816,7 +1816,7 @@ }, { "tier": 5, - "case": "BB_864_4_30to40", + "case": "BB_864_4_32to40", "mode": "card-mto", "n": 1, "median_s": 21600.1, @@ -1864,7 +1864,7 @@ }, { "tier": 5, - "case": "BB_864_4_30to40", + "case": "BB_864_4_32to40", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -3087,7 +3087,7 @@ }, { "tier": 5, - "case": "TN_360_4_17to24", + "case": "TN_360_4_23to24", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3135,7 +3135,7 @@ }, { "tier": 5, - "case": "TN_360_4_17to24", + "case": "TN_360_4_23to24", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3183,7 +3183,7 @@ }, { "tier": 5, - "case": "TN_396_4_17to26", + "case": "TN_396_4_23to26", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3231,7 +3231,7 @@ }, { "tier": 5, - "case": "TN_396_4_17to26", + "case": "TN_396_4_23to26", "mode": "no-card", "n": 1, "median_s": 21600.1, @@ -3463,7 +3463,7 @@ }, { "tier": 5, - "case": "TN_496_2_23to30", + "case": "TN_496_2_27to30", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3511,7 +3511,7 @@ }, { "tier": 5, - "case": "TN_496_2_23to30", + "case": "TN_496_2_27to30", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3559,7 +3559,7 @@ }, { "tier": 5, - "case": "TN_504_2_17to34", + "case": "TN_504_2_24to34", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3607,7 +3607,7 @@ }, { "tier": 5, - "case": "TN_504_2_17to34", + "case": "TN_504_2_24to34", "mode": "no-card", "n": 1, "median_s": 21600.2, @@ -3927,7 +3927,7 @@ }, { "tier": 5, - "case": "TN_648_10_9to32", + "case": "TN_648_10_22to32", "mode": "card-mto", "n": 1, "median_s": 21600.2, @@ -3971,7 +3971,7 @@ }, { "tier": 5, - "case": "TN_648_10_9to32", + "case": "TN_648_10_22to32", "mode": "no-card", "n": 1, "median_s": 21600.2, diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_1080_4_32to48.X.w48.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_1080_4_32to48.X.w48.txt new file mode 100644 index 00000000..6fdd862a --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_1080_4_32to48.X.w48.txt @@ -0,0 +1,5 @@ +# BB_1080_4_32to48 (renamed from BB_1080_4_30to48 on 2026-10-31, GH-162/GH-183 CC lower bound): copy of ../renamed/BB_1080_4_30to48.X.w48.txt; the upper bound in the stem comes from this witness +# BB_1080_4_30to48 (renamed from BB_1080_4_ge30 on 2026-10-23): copy of ../BB_1080_4_ge30.X.w48.txt; the upper bound in the stem comes from this witness +# BB_1080_4_ge30: X-type logical operator of weight 48 (0-based qubit indices), so d <= 48 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): long.BB_1080_4_ge30.s5.log at 8226.331 s (ub-search) +14 28 37 51 80 140 182 186 200 242 258 268 314 320 328 343 380 403 422 426 440 463 475 479 482 498 508 521 531 535 568 585 586 641 642 744 746 817 818 819 820 924 966 997 998 1022 1069 1070 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_756_16_32to34.X.w34.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_756_16_32to34.X.w34.txt new file mode 100644 index 00000000..40623ccd --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_756_16_32to34.X.w34.txt @@ -0,0 +1,5 @@ +# BB_756_16_32to34 (renamed from BB_756_16_30to34 on 2026-10-31, GH-183 CC lower bound): copy of ../renamed/BB_756_16_30to34.X.w34.txt; the upper bound in the stem comes from this witness +# BB_756_16_30to34 (renamed from BB_756_16_ge30 on 2026-10-23): copy of ../BB_756_16_ge30.X.w34.txt; the upper bound in the stem comes from this witness +# BB_756_16_ge30: 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.BB_756_16_ge30.s0.log at 1.284 s (ub-search) +21 37 51 94 129 140 145 190 195 201 206 247 297 308 365 370 375 397 400 402 424 453 457 477 481 525 531 549 573 604 631 684 688 751 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_864_4_32to40.X.w40.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_864_4_32to40.X.w40.txt new file mode 100644 index 00000000..b19c7825 --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/BB_864_4_32to40.X.w40.txt @@ -0,0 +1,5 @@ +# BB_864_4_32to40 (renamed from BB_864_4_30to40 on 2026-10-31, GH-183 CC lower bound): copy of ../renamed/BB_864_4_30to40.X.w40.txt; the upper bound in the stem comes from this witness +# BB_864_4_30to40 (renamed from BB_864_4_ge30 on 2026-10-23): copy of ../BB_864_4_ge30.X.w40.txt; the upper bound in the stem comes from this witness +# BB_864_4_ge30: X-type logical operator of weight 40 (0-based qubit indices), so d <= 40 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.BB_864_4_ge30.s0.log at 301.695 s (ub-search) +49 64 66 79 175 265 370 372 391 421 442 444 446 457 472 474 523 547 568 570 572 598 600 602 613 658 660 662 688 690 692 709 739 784 786 788 799 814 816 829 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_360_4_23to24.Z.w24.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_360_4_23to24.Z.w24.txt new file mode 100644 index 00000000..c0bada16 --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_360_4_23to24.Z.w24.txt @@ -0,0 +1,5 @@ +# TN_360_4_23to24 (renamed from TN_360_4_17to24 on 2026-10-31, GH-157 CC lower bound): copy of ../renamed/TN_360_4_17to24.Z.w24.txt; the upper bound in the stem comes from this witness +# TN_360_4_17to24 (renamed from TN_360_4_ge17 on 2026-10-23): copy of ../TN_360_4_ge17.Z.w24.txt; the upper bound in the stem comes from this witness +# TN_360_4_ge17: 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_360_4_ge17.s0.log at 0.364 s (ub-search) +32 36 39 75 99 106 116 117 129 139 152 185 212 215 217 227 276 302 305 312 335 336 337 347 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_396_4_23to26.X.w26.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_396_4_23to26.X.w26.txt new file mode 100644 index 00000000..d1468fa4 --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_396_4_23to26.X.w26.txt @@ -0,0 +1,5 @@ +# TN_396_4_23to26 (renamed from TN_396_4_17to26 on 2026-10-31, GH-157 CC lower bound): copy of ../renamed/TN_396_4_17to26.X.w26.txt; the upper bound in the stem comes from this witness +# TN_396_4_17to26 (renamed from TN_396_4_ge17 on 2026-10-23): copy of ../TN_396_4_ge17.X.w26.txt; the upper bound in the stem comes from this witness +# TN_396_4_ge17: X-type logical operator of weight 26 (0-based qubit indices), so d <= 26 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_396_4_ge17.s0.log at 6.117 s (ub-search) +21 47 50 69 76 127 135 142 164 179 193 207 214 218 225 228 229 243 247 254 264 311 322 354 361 387 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_496_2_27to30.Z.w30.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_496_2_27to30.Z.w30.txt new file mode 100644 index 00000000..133383ef --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_496_2_27to30.Z.w30.txt @@ -0,0 +1,6 @@ +# TN_496_2_27to30 (renamed from TN_496_2_23to30 on 2026-10-31, GH-181 CC lower bound): copy of ../../../GH-152/witnesses/TN_496_2_23to30.Z.w30.txt; the upper bound in the stem comes from this witness +# 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-146/witnesses/renamed-2026-10-31/TN_504_2_24to34.X.w34.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_504_2_24to34.X.w34.txt new file mode 100644 index 00000000..ebd188f1 --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_504_2_24to34.X.w34.txt @@ -0,0 +1,5 @@ +# TN_504_2_24to34 (renamed from TN_504_2_17to34 on 2026-10-31, GH-157 CC lower bound): copy of ../renamed/TN_504_2_17to34.X.w34.txt; the upper bound in the stem comes from this witness +# TN_504_2_17to34 (renamed from TN_504_2_ge17 on 2026-10-23): copy of ../TN_504_2_ge17.X.w34.txt; the upper bound in the stem comes from this witness +# TN_504_2_ge17: 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_504_2_ge17.s0.log at 1598.075 s (ub-search) +47 70 75 81 120 157 159 161 163 241 245 247 249 266 267 268 285 287 288 294 296 315 316 350 411 412 415 419 482 493 495 496 501 503 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_648_10_22to32.X.w32.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_648_10_22to32.X.w32.txt new file mode 100644 index 00000000..ab1189fd --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/TN_648_10_22to32.X.w32.txt @@ -0,0 +1,5 @@ +# TN_648_10_22to32 (renamed from TN_648_10_9to32 on 2026-10-31, GH-157 CC lower bound): copy of ../renamed/TN_648_10_9to32.X.w32.txt; the upper bound in the stem comes from this witness +# TN_648_10_9to32 (renamed from TN_648_10_9to52 on 2026-10-23): copy of ../TN_648_10_9to52.X.w32.txt; the upper bound in the stem comes from this witness +# TN_648_10_9to52: X-type logical operator of weight 32 (0-based qubit indices), so d <= 32 +# found by the DistQLDPC finder (GH-146 S0/S1, binary 4f16e0d): old.TN_648_10_9to52.s0.log at 1200.531 s (ub-search) +1 15 37 68 87 111 136 137 143 165 171 183 209 228 229 242 282 283 300 301 313 314 325 339 361 379 411 487 500 564 606 607 diff --git a/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/VERIFY.txt b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/VERIFY.txt new file mode 100644 index 00000000..e0ca1d73 --- /dev/null +++ b/optimization/experiments/GH-146/witnesses/renamed-2026-10-31/VERIFY.txt @@ -0,0 +1,9 @@ +BB_1080_4_32to48.X.w48.txt: n 1080, weight 48, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 48 +BB_756_16_32to34.X.w34.txt: n 756, weight 34, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 34 +BB_864_4_32to40.X.w40.txt: n 864, weight 40, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 40 +TN_360_4_23to24.Z.w24.txt: n 360, weight 24, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 24 +TN_396_4_23to26.X.w26.txt: n 396, weight 26, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 26 +TN_496_2_27to30.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_504_2_24to34.X.w34.txt: n 504, weight 34, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 34 +TN_648_10_22to32.X.w32.txt: n 648, weight 32, CSS True, H e = 0 True, not in rowspace(S) True, odd overlap with G True -> VALID: d <= 32 +ALL VALID