4.20/4.29	MAYBE
4.20/4.29	
4.20/4.29	
4.20/4.29	Termination: (Ranking Functions Found)
4.20/4.29	------------
4.20/4.29	n_f62_0_loop_EQ___2: < < arg1 > >
4.20/4.29	
4.20/4.29	
4.20/4.29	Connected Subgraphs where we couldn't prove Termination:
4.20/4.29	--------------------------------------------------------
4.20/4.29	SCC:
4.20/4.29	+--transitions: t1
4.20/4.29	+--nodes: n_n_n_f62_0_loop_EQ___1___1___1
4.20/4.29	
4.20/4.29	
4.26/4.35	EOF