updated with automaton identically numbered to Raman's