4.74/4.79	YES
4.74/4.79	
4.74/4.79	
4.74/4.79	Termination: (Ranking Functions Found)
4.74/4.79	------------
4.74/4.79	f1201_0_entry_GT: < < - arg1 + arg2 >, < - arg1 + arg2 > >
4.74/4.79	f1099_0_entry_LE: < < arg1 >, < arg1 > >
4.74/4.79	
4.74/4.79	
4.81/4.85	EOF