Número de funcionários públicos atingiu máximo histórico no segundo trimestre.