updating TestCollatz.out