final RunCollatz.out