added correct TestCollatz.out