Corrected longest-collatz solution.