Dificuldade em baixar os dados do site do IBGE ou de importar o arquivo .txt  para o R?

Att
Roney