1.45/1.48	YES
1.45/1.48	
1.45/1.48	
1.45/1.48	Termination: (Ranking Functions Found)
1.45/1.48	------------
1.45/1.48	f74_0_main_GE: < < 20 - arg1 > >
1.45/1.48	f46_0_main_GE: < < 99 - arg1 > >
1.45/1.48	
1.45/1.48	
1.50/1.53	EOF