18.44/18.54	YES
18.44/18.54	
18.44/18.54	
18.44/18.54	Termination: (Ranking Functions Found)
18.44/18.54	------------
18.44/18.54	f3201_0_entry_GT: < < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
18.44/18.54	f2986_0_entry_LE: < < arg2 >, < arg2 >, < arg2 >, < arg2 + arg8 >, < arg2 > >
18.44/18.54	
18.44/18.54	
18.57/18.60	EOF