2.83/2.90	YES
2.83/2.90	
2.83/2.90	
2.83/2.90	Termination: (Ranking Functions Found)
2.83/2.90	------------
2.83/2.90	f293_0_loop_LT: < < 9 - arg1, arg3 + 8 * arg4 -8 * arg5 >, < arg4 - arg5 > >
2.83/2.90	
2.83/2.90	
2.93/2.96	EOF