5.50/5.55	MAYBE
5.50/5.55	
5.50/5.55	
5.50/5.55	Termination: (Ranking Functions Found)
5.50/5.55	------------
5.50/5.55	f182_0_middle_EQ: < < arg1 - arg2 > >
5.50/5.55	n_f182_0_middle_EQ___1: < < arg1 - arg2 > >
5.50/5.55	
5.50/5.55	
5.50/5.55	Connected Subgraphs where we couldn't prove Termination:
5.50/5.55	--------------------------------------------------------
5.50/5.55	SCC:
5.50/5.55	+--transitions: t5
5.50/5.55	+--nodes: n_n_n_f182_0_middle_EQ___2___1___1
5.50/5.55	
5.50/5.55	
5.59/5.61	EOF