2.42/2.50	YES
2.42/2.50	
2.42/2.50	
2.42/2.50	Termination: (Ranking Functions Found)
2.42/2.50	------------
2.42/2.50	f168_0_main_LE: < < arg1 >, < arg2 > >
2.42/2.50	f223_0_iterate_EQ: < < arg3 >, < arg3 > >
2.42/2.50	
2.42/2.50	
2.52/2.57	EOF