[Modelo] de Mandado de Segurança | Redução de Carga Horária de Servidor Público Federal