6.40/6.42	MAYBE
6.40/6.42	
6.40/6.42	
6.40/6.42	Termination: (Ranking Functions Found)
6.40/6.42	------------
6.40/6.42	f119_0_loop_LE: < < arg1 > >
6.40/6.42	n_f119_0_loop_LE___3: < < arg1 > >
6.40/6.42	f137_0_loop_GE: < < - arg1 > >
6.40/6.42	
6.40/6.42	
6.40/6.42	Connected Subgraphs where we couldn't prove Termination:
6.40/6.42	--------------------------------------------------------
6.40/6.42	SCC:
6.40/6.42	+--transitions: t7
6.40/6.42	+--nodes: n_n_n_f119_0_loop_LE___1___1___1
6.40/6.42	
6.40/6.42	
6.47/6.49	EOF