Re: Magma benchmarks with different MaDictionaries comparison