Pumping number: 80