4.26/4.32	MAYBE
4.26/4.32	
4.26/4.32	
4.26/4.32	Termination: (Ranking Functions Found)
4.26/4.32	------------
4.26/4.32	f64_0_main_LT: < < 5 - arg1 > >
4.26/4.32	n_f64_0_main_LT___2: < < 5 - arg1 > >
4.26/4.32	
4.26/4.32	
4.26/4.32	Connected Subgraphs where we couldn't prove Termination:
4.26/4.32	--------------------------------------------------------
4.26/4.32	SCC:
4.26/4.32	+--transitions: t3
4.26/4.32	+--nodes: n_n_n_f64_0_main_LT___1___1___1
4.26/4.32	
4.26/4.32	
4.34/4.38	EOF