Rename hs9234-RunCollatz.in.txt to hs9234-RunCollatz.in