number of state = 32