MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search