digraph G { a_1-> a_2 -> a_3 -> a_1; }