run.mini.in 575 Bytes