3.37/3.41	MAYBE
3.37/3.41	
3.37/3.41	
3.37/3.41	Termination: (Ranking Functions Found)
3.37/3.41	------------
3.37/3.41	f47_0_f_LE: < < arg1 > >
3.37/3.41	
3.37/3.41	
3.37/3.41	Connected Subgraphs where we couldn't prove Termination:
3.37/3.41	--------------------------------------------------------
3.37/3.41	SCC:
3.37/3.41	+--transitions: t1
3.37/3.41	+--nodes: n_n_n_f71_0_main_LE___1___1___1
3.37/3.41	
3.37/3.41	
3.37/3.47	EOF