Execução de sentença – Antônio José de Cardoso; João Nepomuceno Borges (1812)