6.67/6.72	MAYBE
6.67/6.72	
6.67/6.72	
6.67/6.72	Termination: (Ranking Functions Found)
6.67/6.72	------------
6.67/6.72	n_f98_0_loop_EQ___5: < < -2 - arg1 > >
6.67/6.72	n_f98_0_loop_EQ___1: < < arg1 > >
6.67/6.72	
6.67/6.72	
6.67/6.72	Connected Subgraphs where we couldn't prove Termination:
6.67/6.72	--------------------------------------------------------
6.67/6.72	SCC:
6.67/6.72	+--transitions: t3
6.67/6.72	+--nodes: n_n_n_f98_0_loop_EQ___4___2___3
6.67/6.72	
6.67/6.72	
6.67/6.78	EOF