2.27/2.32	YES
2.27/2.32	
2.27/2.32	
2.27/2.32	Termination: (Ranking Functions Found)
2.27/2.32	------------
2.27/2.32	f152_0_gcd_EQ: < < 1 + arg2 >, < arg2 >, < - arg1 + arg2 > >
2.27/2.32	f198_0_mod_LE: < < arg2 >, < -1 + arg2 >, < arg1 - arg2 > >
2.27/2.32	
2.27/2.32	
2.35/2.38	EOF