1.26/1.86	YES
1.26/1.86	
1.26/1.86	
1.26/1.86	Termination: (Ranking Functions Found)
1.26/1.86	------------
1.26/1.86	f150_0_main_LT: < < - arg1 + arg2 > >
1.26/1.86	
1.26/1.86	
1.34/1.92	EOF