A small Haskell program using DP to numerically test the Collatz Conjecture