update collatz conjecture