random seed in run.py, updated trifiles