PROGRAMS BY MagicSolver