Rename map4542-RunCollatz.out.txt to map4542-RunCollatz.out