1.21/1.23	YES
1.21/1.23	
1.21/1.23	
1.21/1.23	Termination: (Ranking Functions Found)
1.21/1.23	------------
1.21/1.23	f74_0_factorial_GE: < < arg1 > >
1.21/1.23	
1.21/1.23	
1.27/1.29	EOF