Delete random-mt19937.reds

a