5.52/5.56	YES
5.52/5.56	
5.52/5.56	
5.52/5.56	Termination: (Ranking Functions Found)
5.52/5.56	------------
5.52/5.56	n_f398_0_minus_EQ___1: < < arg5 > >
5.52/5.56	f398_0_minus_EQ: < < arg3 - arg4 > >
5.52/5.56	f370_0_div_LT: < < arg2 > >
5.52/5.56	
5.52/5.56	
5.58/5.62	EOF