Renamed TestCollatz.out for abrame13