1.48/1.50	YES
1.48/1.50	
1.48/1.50	
1.48/1.50	Termination: (Ranking Functions Found)
1.48/1.50	------------
1.48/1.50	f163_0_factorial_GT: < < arg1 > >
1.48/1.50	f149_0_doSum_LT: < < arg1 > >
1.48/1.50	
1.48/1.50	
1.52/1.56	EOF