4.80/4.83	MAYBE
4.80/4.83	
4.80/4.83	
4.80/4.83	Termination: (Ranking Functions Found)
4.80/4.83	------------
4.80/4.83	f122_0_even_EQ: < < arg1 > >
4.80/4.83	
4.80/4.83	
4.80/4.83	Connected Subgraphs where we couldn't prove Termination:
4.80/4.83	--------------------------------------------------------
4.80/4.83	SCC:
4.80/4.83	+--transitions: t3
4.80/4.83	+--nodes: n_n_n_f146_0_even_EQ___1___1___1
4.80/4.83	
4.80/4.83	
4.87/4.90	EOF