4.07/4.09	MAYBE
4.07/4.09	
4.07/4.09	
4.07/4.09	Termination: (Ranking Functions Found)
4.07/4.09	------------
4.07/4.09	f32_0_increase_GE: < < - arg1 > >
4.07/4.09	
4.07/4.09	
4.07/4.09	Connected Subgraphs where we couldn't prove Termination:
4.07/4.09	--------------------------------------------------------
4.07/4.09	SCC:
4.07/4.09	+--transitions: t3
4.07/4.09	+--nodes: n_n_n_f91_0_increase_aux_LE___1___1___1
4.07/4.09	
4.07/4.09	
4.13/4.15	EOF