Execução de sentença – José Pereira de Andrade; José da Costa Pires (1801)