5.08/5.11	MAYBE
5.08/5.11	
5.08/5.11	
5.08/5.11	Termination: (Ranking Functions Found)
5.08/5.11	------------
5.08/5.11	l2: < < x_5_0 > >
5.08/5.11	l3: < < x_5_0 > >
5.08/5.11	n_l1___1: < < x_5_0 > >
5.08/5.11	l1: < < x_5_0 > >
5.08/5.11	
5.08/5.11	
5.08/5.11	Connected Subgraphs where we couldn't prove Termination:
5.08/5.11	--------------------------------------------------------
5.08/5.11	SCC:
5.08/5.11	+--transitions: t5
5.08/5.11	+--nodes: n_n_n_l1___2___1___1
5.08/5.11	
5.08/5.11	
5.10/5.17	EOF