11.52/11.60	YES
11.52/11.60	
11.52/11.60	
11.52/11.60	Termination: (Ranking Functions Found)
11.52/11.60	------------
11.52/11.60	f101_0_main_GE: < < 2 -2 * arg2 + 2 * arg3 > >
11.52/11.60	f292_0_main_LT: < < -2 * arg2 + 2 * arg6 >, < - arg4 + 2 * arg6 >, < 4 + 2 * arg2 - arg4 + 4 * arg5 > >
11.52/11.60	f255_0_main_GE: < < - arg4 + 2 * arg5 >, < 1 - arg3 + 2 * arg5 > >
11.52/11.60	f448_0_main_LT: < < -2 * arg2 + 2 * arg9 >, < - arg4 + 2 * arg9 >, < -4 * arg4 + arg6 >, < -1 + arg6 - arg7 >, < arg8 > >
11.52/11.60	f422_0_main_GE: < < -2 * arg2 + 2 * arg8 >, < - arg4 + 2 * arg8 >, < 2 * arg2 - arg4 + 4 * arg5 >, < arg3 + 3 * arg4 + 4 * arg5 - arg6 > >
11.52/11.60	
11.52/11.60	
11.58/11.66	EOF