forall.py 12.1 KB