5.51/5.58	MAYBE
5.51/5.58	
5.51/5.58	
5.51/5.58	Termination: (Ranking Functions Found)
5.51/5.58	------------
5.51/5.58	f172_0_even_NE: < < arg1 >, < -1 + arg1 > >
5.51/5.58	f137_0_odd_NE: < < -1 + arg1 >, < arg1 > >
5.51/5.58	n_f137_0_odd_NE___4: < < arg1 > >
5.51/5.58	n_f172_0_even_NE___1: < < -1 + arg1 > >
5.51/5.58	
5.51/5.58	
5.51/5.58	Connected Subgraphs where we couldn't prove Termination:
5.51/5.58	--------------------------------------------------------
5.51/5.58	SCC:
5.51/5.58	+--transitions: t1
5.51/5.58	+--nodes: n_n_n_f172_0_even_NE___3___1___1
5.51/5.58	
5.51/5.58	
5.58/5.64	EOF