2.20/2.29	YES
2.20/2.29	
2.20/2.29	
2.20/2.29	Termination: (Ranking Functions Found)
2.20/2.29	------------
2.20/2.29	f83_0_doSum_NONNULL: < < arg1 > >
2.20/2.29	f160_0_factorial_GT: < < arg6 >, < - arg4 + arg5 > >
2.20/2.29	
2.20/2.29	
2.27/2.35	EOF