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