a  ¬ óztop_down..)rrrr rr rr s  ÿr cs,t|jdƒ\‰‰‰‰‡‡‡‡‡fdd„}|S)z$ Strategic all - apply rule to args )ÚopÚnewÚchildrenÚleafc3sJˆ|ƒr|Vn6ˆ|ƒ}ttˆˆ|ƒƒŽ}|D]}ˆ|g|¢RŽVq.dSr)rÚmap)r ZmyopZargssÚargs©r rrrrrrÚall_rls zsall..all_rl)rÚget)r rrrrrr sr N) Ú__doc__Ú itertoolsrZsympy.strategies.utilrÚcorerrrr r rrrrÚs