data: rename seven tier5 stems with reproduced GH-225/GH-227 CC lower bounds

NOTICE

@@ -361,6 +361,17 @@ engine in the GH-217 Tier 5 runs (#217, PR #220): main 02879a93's CC default and
 (same engine, not an independent second method): TN_468_4_23to29 (was TN_468_4_17to29), TN_612_2_24to40
 (was TN_612_2_17to40), TN_648_14_21to28 (was TN_648_14_9to28), TN_684_2_22to29 (was TN_684_2_9to29).
 
+Renamed 2026-11-06 (same matrices, upper bounds unchanged): lower bounds raised by DistQLDPC's optional CC
+engine, mostly with the erasure rule (GH-195 #195 / PR #219; opt-in when the bounds were found, in the CC
+default with a cost gate since GH-227 / PR #228), first seen in single 6 h runs of GH-225 (#225) and GH-227
+(#227), and each reached by at least two runs whose search trees differ (relabelled qubits and rows with
+-seed=1 / -seed=2, a different row order with -cc-roworder=bfs, or a different binary and rule set; 12 h
+runs on main 1239e9a2's binary; records in optimization/experiments/GH-225/lb-repro/). This is the same
+engine, not an independent second method: TN_324_4_23to25 (was TN_324_4_22to25), TN_496_2_28to30 (was
+TN_496_2_27to30), TN_540_4_24to34 (was TN_540_4_23to34), TN_648_14_22to28 (was TN_648_14_21to28),
+TN_684_2_24to29 (was TN_684_2_22to29); COLOR_1027_1_31to37 (was COLOR_1027_1_28to37) and
+COLOR_2791_1_28to61 (was COLOR_2791_1_26to61), section 9.
+
 9. Triangular 6.6.6 color-code matrices (GH-156; tiered 2026-11-04)
 ------------------------------------------------------------------
 
@@ -376,6 +387,9 @@ Fig. 1, Eqs. (1)-(2). Claimed distances use the published family formula;
 DistQLDPC smoke observations are recorded separately. See
 data/matrices/untiered/COLOR666.md and optimization/experiments/GH-156/.
 Placed and renamed 2026-11-04: COLOR_7_1_3 (tier0), COLOR_19_1_5 (tier0), COLOR_127_1_13 (tier1), COLOR_331_1_21 (tier5), COLOR_1027_1_28to37 (tier5), COLOR_2791_1_26to61 (tier5).
+Renamed 2026-11-06 (same matrices, upper bounds unchanged; CC lower bounds reproduced by runs with different
+search trees, same engine, see section 5): COLOR_1027_1_31to37 (was COLOR_1027_1_28to37), COLOR_2791_1_28to61
+(was COLOR_2791_1_26to61).
 
 10. Twisted-torus generalized toric / BB matrices (GH-159; tiered 2026-11-04)
 --------------------------------------------------------------------------

data/matrices/README.md

@@ -33,11 +33,11 @@ certified).
 | tier2 | medium filter; main 10–100 s on yfclab2 | TN_108_2_12 [[108,2,12]], BB_144_14_14 [[144,14,14]], TN_144_2_13 [[144,2,13]], TN_200_10_10 [[200,10,10]], BB_248_10_18 [[248,10,18]], BB_340_16_18 [[340,16,18]], AMC_522_6_20 [[522,6,20]], LP_544_80_12 [[544,80,12]] |
 | tier3 | decisive set; main 100–2000 s on yfclab2 | TN_250_10_15 [[250,10,15]], BB_294_10_20 [[294,10,20]], HGP_481_1_16 [[481,1,16]], LP_714_100_16 [[714,100,16]], LP_1020_136_16 [[1020,136,16]], HGP_1261_121_6 [[1261,121,6]], HGP_2866_256_8 [[2866,256,8]] |
 | tier4 | hard; main 2000–5000 s on yfclab2; timeout 2000 s Mac / 5000 s yfclab2 | (none) |
-| 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]], COLOR_331_1_21 [[331,1,21]], 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_23to29 [[468,4,23–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_24to40 [[612,2,24–40]], TN_648_10_22to32 [[648,10,22–32]], TN_648_14_21to28 [[648,14,21–28]], TN_684_2_22to29 [[684,2,22–29]], BB_756_16_32to34 [[756,16,32–34]], BB_864_4_32to40 [[864,4,32–40]], COLOR_1027_1_28to37 [[1027,1,28–37]], LP_1054_140_20 [[1054,140,20]], BB_1080_4_32to48 [[1080,4,32–48]], HGP_1105_1_24 [[1105,1,24]], LP_1122_148_20 [[1122,148,20]], LP_1428_184_24 [[1428,184,24]], LP_1768_224_22 [[1768,224,22]], LP_2610_744_16 [[2610,744,16]], COLOR_2791_1_26to61 [[2791,1,26–61]] |
+| 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_23to25 [[324,4,23–25]], COLOR_331_1_21 [[331,1,21]], 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_23to29 [[468,4,23–29]], TN_496_2_28to30 [[496,2,28–30]], TN_504_2_24to34 [[504,2,24–34]], TN_540_4_24to34 [[540,4,24–34]], TN_576_2_24to37 [[576,2,24–37]], TN_612_2_24to40 [[612,2,24–40]], TN_648_10_22to32 [[648,10,22–32]], TN_648_14_22to28 [[648,14,22–28]], TN_684_2_24to29 [[684,2,24–29]], BB_756_16_32to34 [[756,16,32–34]], BB_864_4_32to40 [[864,4,32–40]], COLOR_1027_1_31to37 [[1027,1,31–37]], LP_1054_140_20 [[1054,140,20]], BB_1080_4_32to48 [[1080,4,32–48]], HGP_1105_1_24 [[1105,1,24]], LP_1122_148_20 [[1122,148,20]], LP_1428_184_24 [[1428,184,24]], LP_1768_224_22 [[1768,224,22]], LP_2610_744_16 [[2610,744,16]], COLOR_2791_1_28to61 [[2791,1,28–61]] |
 
 Counts: tier0 26, tier1 9, tier2 8, tier3 7, tier4 0, tier5 30 (total 80).
 
-**Tier assignment rule (PI 2026-10-12):** by main's time on yfclab2 (slower of no-card / card-mto, `optimization/baselines/SERVER.md`): < 1 s tier0, 1–10 s tier1, 10–100 s tier2, 100–2000 s tier3, 2000–5000 s tier4, > 5000 s or unsolved tier5. Re-check placements when main changes. 2026-11-04 (main 02879a93 baseline of all 75 codes, 5000 s panel limit for every code, `optimization/baselines/SERVER.md`; PI plan 2026-11-04): BB_288_12_18 tier2 -> tier1 (9.58 s), GB_144_12_12 tier2 -> tier1 (1.10 s), TN_144_2_13 tier3 -> tier2 (88.17 s), TN_250_10_15 tier4 -> tier3 (1283 s), LP_1020_136_16 tier5 -> tier3 (393 s); the 29 library codes placed by the same rule (tier0: COLOR_7_1_3, HGP_13_1_3, COLOR_19_1_5, BB_30_4_6, HGP_41_1_5, HGP_45_9_3, HGP_106_16_4, AMC_108_6_9, HGP_113_1_8, BB_120_8_12, AMC_216_6_12, HGP_306_36_5, AMC_330_6_14; tier1: COLOR_127_1_13, BB_186_10_14, HGP_265_1_12, AMC_438_6_17, HGP_610_64_6; tier2: BB_248_10_18, BB_340_16_18, AMC_522_6_20; tier3: BB_294_10_20, HGP_481_1_16, HGP_1261_121_6, HGP_2866_256_8; tier5: COLOR_331_1_21, COLOR_1027_1_28to37, HGP_1105_1_24, COLOR_2791_1_26to61). Codes that main solves within 6 h but over 5000 s stay in tier5 (TN_180_2_17, TN_216_4_18, BB_360_12_24, LP_1122_148_20); HGP_1105_1_24 is in tier5 because MaxSAT does not solve it in 6 h (the CC engine does, in 72-189 s). COLOR_331_1_21 goes to tier 5: MaxSAT solves it in 4300-4600 s on some seeds but its slower-mode 5-seed median is >= 5000 s (no-card seeds 0 and 2 over 5000 s; seed 0 solved after 6472 s), so tier 4 is empty after this re-tier. 2026-10-23 (main c914ef5 baseline, PR #142; PI): LP_442_68_10 tier2 -> tier1, BB_288_12_18 tier3 -> tier2, LP_714_100_16 tier4 -> tier3 (LP_1020_136_16 pending a 5-seed measurement). 2026-10-21 (main cbb0642, -frontier=auto; PI): BB_108_8_10, BB_144_12_12, LP_238_44_6 tier1 -> tier0; GB_144_12_12, LP_544_80_12, TN_200_10_10 tier3 -> tier2; LP_714_100_16 tier5 -> tier4 (optimization/baselines/SERVER.md). 2026-10-14 (main 398054e, GH-107; PI): BB_144_14_14 tier3 -> tier2 (72.7 s), BB_288_12_18 tier4 -> tier3 (919 s).
+**Tier assignment rule (PI 2026-10-12):** by main's time on yfclab2 (slower of no-card / card-mto, `optimization/baselines/SERVER.md`): < 1 s tier0, 1–10 s tier1, 10–100 s tier2, 100–2000 s tier3, 2000–5000 s tier4, > 5000 s or unsolved tier5. Re-check placements when main changes. 2026-11-04 (main 02879a93 baseline of all 75 codes, 5000 s panel limit for every code, `optimization/baselines/SERVER.md`; PI plan 2026-11-04): BB_288_12_18 tier2 -> tier1 (9.58 s), GB_144_12_12 tier2 -> tier1 (1.10 s), TN_144_2_13 tier3 -> tier2 (88.17 s), TN_250_10_15 tier4 -> tier3 (1283 s), LP_1020_136_16 tier5 -> tier3 (393 s); the 29 library codes placed by the same rule (tier0: COLOR_7_1_3, HGP_13_1_3, COLOR_19_1_5, BB_30_4_6, HGP_41_1_5, HGP_45_9_3, HGP_106_16_4, AMC_108_6_9, HGP_113_1_8, BB_120_8_12, AMC_216_6_12, HGP_306_36_5, AMC_330_6_14; tier1: COLOR_127_1_13, BB_186_10_14, HGP_265_1_12, AMC_438_6_17, HGP_610_64_6; tier2: BB_248_10_18, BB_340_16_18, AMC_522_6_20; tier3: BB_294_10_20, HGP_481_1_16, HGP_1261_121_6, HGP_2866_256_8; tier5: COLOR_331_1_21, COLOR_1027_1_31to37, HGP_1105_1_24, COLOR_2791_1_28to61). Codes that main solves within 6 h but over 5000 s stay in tier5 (TN_180_2_17, TN_216_4_18, BB_360_12_24, LP_1122_148_20); HGP_1105_1_24 is in tier5 because MaxSAT does not solve it in 6 h (the CC engine does, in 72-189 s). COLOR_331_1_21 goes to tier 5: MaxSAT solves it in 4300-4600 s on some seeds but its slower-mode 5-seed median is >= 5000 s (no-card seeds 0 and 2 over 5000 s; seed 0 solved after 6472 s), so tier 4 is empty after this re-tier. 2026-10-23 (main c914ef5 baseline, PR #142; PI): LP_442_68_10 tier2 -> tier1, BB_288_12_18 tier3 -> tier2, LP_714_100_16 tier4 -> tier3 (LP_1020_136_16 pending a 5-seed measurement). 2026-10-21 (main cbb0642, -frontier=auto; PI): BB_108_8_10, BB_144_12_12, LP_238_44_6 tier1 -> tier0; GB_144_12_12, LP_544_80_12, TN_200_10_10 tier3 -> tier2; LP_714_100_16 tier5 -> tier4 (optimization/baselines/SERVER.md). 2026-10-14 (main 398054e, GH-107; PI): BB_144_14_14 tier3 -> tier2 (72.7 s), BB_288_12_18 tier4 -> tier3 (919 s).
 
 **Timeouts.** tier4: 2000 s per instance on the Mac, 5000 s on yfclab2; tier5: 21600 s (6 h) per instance.
 tier0–tier3 are the filtering tiers of the
@@ -66,6 +66,13 @@ and [credit request and per-pass records](https://github.com/guluchen/DistQLDPC/
 
 | Date | Old | New | Note |
 |------|-----|-----|------|
+| 2026-11-06 | TN_324_4_22to25 | TN_324_4_23to25 | lb 23: CC lower bound first reached by the GH-225 erasure arm (issue #225; binary 5a201fd = the GH-217 CC default plus `erasure`, yfclab2, 6 h, seed 0): lb 23 at 20 985 s. Reproduction (12 h, main 1239e9a2 with `-cc-rules=excl,pack,orbf,parity,leaf,overlap,charge,tiebreak,sparse,sparseov,sparsemrv,erasure`, ungated): relabelled qubits and rows `-seed=1` lb 23 at 30 309 s, `-seed=2` at 31 369 s; level 22 EMPTY on both halves; node counts differ from the original at every high level; same engine, not an independent second method; records `optimization/experiments/GH-225/lb-repro/`. Without erasure: lb 22 (6 h seed 0; 12 h `-seed=1`). ub unchanged (GH-146 witness; copy under the new stem in `optimization/experiments/GH-146/witnesses/renamed-2026-11-06/`) |
+| 2026-11-06 | TN_496_2_27to30 | TN_496_2_28to30 | lb 28 (as above): GH-225 erasure arm 17 996 s; GH-227 candidate (#227, main 755e0c21, gated erasure in the default) 19 683 s; reproduction with erasure `-seed=1` 20 699 s, `-seed=2` 19 095 s (`-cc-roworder=bfs` 19 856 s, the same tree as the GH-225 run); without erasure lb 27 at seed 0 (6 h) but lb 28 with `-seed=1` (24 919 s, 12 h); X half under the verified XZ-dual map; ub unchanged |
+| 2026-11-06 | TN_540_4_23to34 | TN_540_4_24to34 | lb 24 (as above): GH-225 erasure arm 19 168 s; GH-227 candidate 18 399 s; reproduction with erasure `-seed=1` 35 026 s, `-seed=2` 32 893 s; without erasure lb 23 at seed 0 (6 h), lb 24 with `-seed=1` (42 322 s, 12 h); both halves EMPTY; ub unchanged |
+| 2026-11-06 | TN_648_14_21to28 | TN_648_14_22to28 | lb 22 (as above): GH-225 erasure arm 20 292 s; GH-227 candidate 19 331 s; reproduction with erasure `-seed=1` 35 385 s, `-seed=2` 36 573 s; without erasure lb 21 at seed 0 (6 h), lb 22 with `-seed=1` (36 164 s, 12 h); both halves EMPTY; ub unchanged |
+| 2026-11-06 | TN_684_2_22to29 | TN_684_2_24to29 | lb 24: lb 23 was reached by all four 6 h runs of GH-225 / GH-227 (with and without erasure; 16 367-21 196 s). In the 12 h reproduction (main 1239e9a2 plus `erasure`), the relabelled runs `-seed=1` and `-seed=2` reached lb 23 at 13 945 s / 14 375 s and lb 24 at 39 232 s / 39 063 s; level 23 EMPTY on both halves in both runs, with different node counts (different trees); without erasure `-seed=1` reached lb 23 (17 570 s). Same engine, not an independent second method; ub unchanged |
+| 2026-11-06 | COLOR_1027_1_28to37 | COLOR_1027_1_31to37 | lb 31 (as above): GH-225 erasure arm 16 090 s; GH-227 candidate (gated erasure) 18 190 s; reproduction with erasure and a different row order, `-cc-roworder=bfs`: lb 31 at 33 206 s (different tree). Without erasure lb 30 (6 h, seed 0). X half only (Hx = Hz, verified XZ-dual map). Relabelled runs (`-seed=1/2`) are much slower on this code and reached lb 29 in 12 h. A `-cc-roworder=index` run with erasure searched the same tree as the GH-225 erasure run and reached lb 32 at 37 190 s; lb 32 is a single tree and stays PLAUSIBLE. ub unchanged (family formula d = 37) |
+| 2026-11-06 | COLOR_2791_1_26to61 | COLOR_2791_1_28to61 | lb 28: CC default without erasure (GH-225 arm A, binary 42d7d1d: 10 312 s; GH-227 arm M, main 1239e9a2: 11 706 s; the same tree) and the GH-227 candidate (main 755e0c21, gated erasure in the default; a different tree): lb 28 at 9 612 s; 6 h, seed 0; X half only (Hx = Hz). The candidate went on to lb 29 at 20 721 s; that is a single run and stays PLAUSIBLE. Same engine, not an independent second method; ub unchanged (family formula d = 61) |
 | 2026-11-05 | TN_468_4_17to29 | TN_468_4_23to29 | lb 23: CC lower bound from GH-217 (issue #217, PR #220; yfclab2, 6 h, default seed): lb 23 at 19 263 s (main) / 19 518 s (candidate), reached both by main 02879a93's CC default (`excl,pack,orbf,parity,leaf,overlap,charge`, `-cc-roworder=index`) and by the GH-217 candidate bb3e2efc (`+tiebreak,sparse,sparseov,sparsemrv`, `-cc-roworder=auto`); every level EMPTY on both halves. Reproduction: candidate with relabelled qubits and rows (`-seed=1`, 30000 s; node counts differ at every high level); same engine, not an independent second method; `optimization/experiments/GH-217/` on branch `experiment/gh-217-cc-default-flip`. ub unchanged (GH-146 witness; copy under the new stem in `optimization/experiments/GH-146/witnesses/renamed-2026-11-05/`); relabelled lb 23 at 25 088 s |
 | 2026-11-05 | TN_612_2_17to40 | TN_612_2_24to40 | lb 24 (GH-217 CC lower bound as above: main 15 922 s, candidate 15 676 s; relabelled 24 335 s); ub unchanged |
 | 2026-11-05 | TN_648_14_9to28 | TN_648_14_21to28 | lb 21 (GH-217 CC lower bound as above: main 9 661 s, candidate 9 907 s; relabelled 12 933 s); ub unchanged |
@@ -234,6 +241,9 @@ and [credit request and per-pass records](https://github.com/guluchen/DistQLDPC/
   `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`.
+  Five TN stems were renamed on 2026-11-06 (TN_324_4_23to25, TN_496_2_28to30, TN_540_4_24to34, TN_648_14_22to28,
+  TN_684_2_24to29); copies of their witnesses under the current stems are in
+  `optimization/experiments/GH-146/witnesses/renamed-2026-11-06/` (same supports, `VERIFY.txt`: 5/5 VALID).
 - **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

data/matrices/tier5/COLOR_1027_1_28to37_Gx.txt → data/matrices/tier5/COLOR_1027_1_31to37_Gx.txt

@@ -1,2 +1,2 @@
-# n=1027  Z-type logical rows  ker(Hx)/row(Hz)  parity COLOR_1027_1_28to37_Hx.txt
+# n=1027  Z-type logical rows  ker(Hx)/row(Hz)  parity COLOR_1027_1_31to37_Hx.txt
 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 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 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

data/matrices/tier5/COLOR_1027_1_28to37_Gz.txt → data/matrices/tier5/COLOR_1027_1_31to37_Gz.txt

@@ -1,2 +1,2 @@
-# n=1027  X-type logical rows  ker(Hz)/row(Hx)  parity COLOR_1027_1_28to37_Hz.txt
+# n=1027  X-type logical rows  ker(Hz)/row(Hx)  parity COLOR_1027_1_31to37_Hz.txt
 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 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 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