exemplo de geracao de prova aleatoria usando arquivo texto