Execução de sentença – José Francisco de Souza; Antônio José de Lima (1763)