shlomif/collatz-conjecture archive