Collatz length problem solved