run.mini.in 540 Bytes