1.68/1.70 YES 1.68/1.70 1.68/1.70 1.68/1.70 Termination: (Ranking Functions Found) 1.68/1.70 ------------ 1.68/1.70 f260_0_loop_LE: < < 2 - arg2, - arg1 + arg2 > > 1.68/1.70 1.68/1.70 1.73/1.76 EOF