1.35/1.38	YES
1.35/1.38	
1.35/1.38	
1.35/1.38	Termination: (Ranking Functions Found)
1.35/1.38	------------
1.35/1.38	f218_0_main_LE: < < - arg1 - arg2 + arg3 > >
1.35/1.38	
1.35/1.38	
1.41/1.44	EOF