1.27/1.33	YES
1.27/1.33	
1.27/1.33	
1.27/1.33	Termination: (Ranking Functions Found)
1.27/1.33	------------
1.27/1.33	f213_0_main_LE: < < - arg1 + arg2 > >
1.27/1.33	
1.27/1.33	
1.35/1.38	EOF