MagicHaskeller-0.9.6.6.1: Automatic inductive functional programmer by systematic search