3.66/3.76	MAYBE
3.66/3.76	
3.66/3.76	
3.66/3.76	Termination: (Ranking Functions Found)
3.66/3.76	------------
3.66/3.76	n_f47_0_increase_LE___2: < < arg1 > >
3.66/3.76	
3.66/3.76	
3.66/3.76	Connected Subgraphs where we couldn't prove Termination:
3.66/3.76	--------------------------------------------------------
3.66/3.76	SCC:
3.66/3.76	+--transitions: t1
3.66/3.76	+--nodes: n_n_n_f47_0_increase_LE___1___1___1
3.66/3.76	
3.66/3.76	
3.80/3.82	EOF