3.60/3.68 YES 3.60/3.68 3.60/3.68 3.60/3.68 Termination: (Ranking Functions Found) 3.60/3.68 ------------ 3.60/3.68 f892_0_loop_LT: < < 2 * arg2 -3 * arg3 >, < arg6 - arg7 >, < arg6 - arg7 > > 3.60/3.68 3.60/3.68 3.68/3.74 EOF