Banco de dados PARI necessário para números primos grandes
