Número de trabalhadores da função pública aumentou para 745.707.