Updating skc853-TestCollatz.out with coverage stats