MagicHaskeller-0.9.6.4.4: Automatic inductive functional programmer by systematic search