Type in Hailstone.py