3.27/3.33	YES
3.27/3.33	
3.27/3.33	
3.27/3.33	Termination: (Ranking Functions Found)
3.27/3.33	------------
3.27/3.33	f474_0_rec_GE: < < 13 + arg1 >, < 13 + arg3 >, < - arg1 + arg2 > >
3.27/3.33	
3.27/3.33	
3.37/3.39	EOF