10.56/10.65	MAYBE
10.56/10.65	
10.56/10.65	
10.56/10.65	Termination: (Ranking Functions Found)
10.56/10.65	------------
10.56/10.65	n_f111_0_fib_EQ___3: < < - arg2 + arg4 > >
10.56/10.65	f111_0_fib_EQ: < < - arg2 - arg3 + arg4, - arg3 + arg4 > >
10.56/10.65	
10.56/10.65	
10.56/10.65	Connected Subgraphs where we couldn't prove Termination:
10.56/10.65	--------------------------------------------------------
10.56/10.65	SCC:
10.56/10.65	+--transitions: t6
10.56/10.65	+--nodes: n_n_n_f111_0_fib_EQ___2___1___1
10.56/10.65	
10.56/10.65	
10.68/10.72	EOF