randpermute.py download