Rough Collatz solution, to be updated