5.70/5.81	MAYBE
5.70/5.81	
5.70/5.81	
5.70/5.81	Termination: (Ranking Functions Found)
5.70/5.81	------------
5.70/5.81	f51_0_increase_GE: < < 9 - arg1 > >
5.70/5.81	f83_0_increase_LE: < < 8 - arg1 > >
5.70/5.81	
5.70/5.81	
5.70/5.81	Connected Subgraphs where we couldn't prove Termination:
5.70/5.81	--------------------------------------------------------
5.70/5.81	SCC:
5.70/5.81	+--transitions: t4
5.70/5.81	+--nodes: n_n_n_f83_0_increase_LE___1___1___1
5.70/5.81	
5.70/5.81	
5.79/5.87	EOF