Biblioteca de utilidade para provador Tamarin
