<div dir="ltr">Dear Prof. Hutter, I tried different EPS_DEFAULT but this is not affecting the final result.<br><br>Thanks,<br><br>Daniele<br><br><a imageanchor="1" href="about:invalid#zClosurez" style="text-align: center; margin-left: 1em; margin-right: 1em;"><img src="cid:6224f436-697b-49b6-9778-0a327c909701" alt="Screenshot from 2018-10-04 15-38-02.png" width="400" height="275" border="0"></a></div>