File:AT start state.png