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