1.46/1.48	YES
1.46/1.48	
1.46/1.48	
1.46/1.48	Termination: (Ranking Functions Found)
1.46/1.48	------------
1.46/1.48	f256_0_log_LT': < < -1 + arg1 > >
1.46/1.48	f256_0_log_LT: < < arg1 > >
1.46/1.48	
1.46/1.48	
1.51/1.53	EOF