run.mini.in 576 Bytes