Câmbio de PROVE para EUL| Converter Succinct para Euler no SimpleSwap