3.64/3.72	YES
3.64/3.72	
3.64/3.72	
3.64/3.72	Termination: (Ranking Functions Found)
3.64/3.72	------------
3.64/3.72	f852_0_loop_LT: < < 2 * arg2 - arg3 >, < arg6 - arg7 >, < arg6 - arg7 > >
3.64/3.72	
3.64/3.72	
3.76/3.78	EOF