6.67/6.77	MAYBE
6.67/6.77	
6.67/6.77	
6.67/6.77	Termination: (Ranking Functions Found)
6.67/6.77	------------
6.67/6.77	n_f81_0_loop_EQ___1: < < arg1 > >
6.67/6.77	n_f81_0_loop_EQ___5: < < -2 - arg1 > >
6.67/6.77	
6.67/6.77	
6.67/6.77	Connected Subgraphs where we couldn't prove Termination:
6.67/6.77	--------------------------------------------------------
6.67/6.77	SCC:
6.67/6.77	+--transitions: t3
6.67/6.77	+--nodes: n_n_n_f81_0_loop_EQ___4___2___3
6.67/6.77	
6.67/6.77	
6.80/6.83	EOF