1.54/1.55	YES
1.54/1.55	
1.54/1.55	
1.54/1.55	Termination: (Ranking Functions Found)
1.54/1.55	------------
1.54/1.55	f262_0_take_GE: < < - arg3 + arg5 > >
1.54/1.55	
1.54/1.55	
1.54/1.61	EOF