run.mini.in 191 Bytes