4.18/5.00	MAYBE
4.18/5.00	
4.18/5.00	
4.18/5.00	Termination: (Ranking Functions Found)
4.18/5.00	------------
4.18/5.00	n_f53_0_loop_EQ___2: < < arg1 > >
4.18/5.00	
4.18/5.00	
4.18/5.00	Connected Subgraphs where we couldn't prove Termination:
4.18/5.00	--------------------------------------------------------
4.18/5.00	SCC:
4.18/5.00	+--transitions: t1
4.18/5.00	+--nodes: n_n_n_f53_0_loop_EQ___1___1___1
4.18/5.00	
4.18/5.00	
4.21/5.07	EOF