randpermute.py