Tidy minpermdist_stochastic.py