Algoritmo altamente otimizado para fatoração de inteiros
