Banco de dados PARI necessário para calcular grupo de Galois
