Delete random-taocp.reds

i