4.10/4.18	MAYBE
4.10/4.18	
4.10/4.18	
4.10/4.18	Termination: (Ranking Functions Found)
4.10/4.18	------------
4.10/4.18	n_f55_0_main_GE___2: < < 10 - arg1 > >
4.10/4.18	f55_0_main_GE: < < 10 - arg1 > >
4.10/4.18	
4.10/4.18	
4.10/4.18	Connected Subgraphs where we couldn't prove Termination:
4.10/4.18	--------------------------------------------------------
4.10/4.18	SCC:
4.10/4.18	+--transitions: t3
4.10/4.18	+--nodes: n_n_n_f55_0_main_GE___1___1___1
4.10/4.18	
4.10/4.18	
4.17/4.24	EOF