Estatísticas para Bruxaria e feitiçaria: As práticas de pacto com demônios na Inquisição de Coimbra (1720-1740)