tutorial:aut_of_graphs