Binary search component working, but useless

The assumption was that the number of divisors is monotinically increasing. That appears to not be the case. The options are to find a good heuristic for factorization, or to try a completely different approach. Will probably go for the later