collatz almost solved