1.30/1.39	YES
1.30/1.39	
1.30/1.39	
1.30/1.39	Termination: (Ranking Functions Found)
1.30/1.39	------------
1.30/1.39	f224_0_main_LT: < < arg2 - arg3 > >
1.30/1.39	
1.30/1.39	
1.30/1.44	EOF