MagicHaskeller-0.9.6.4.5: Automatic inductive functional programmer by systematic search