davo - RunCollatz.out