1.60/1.69	YES
1.60/1.69	
1.60/1.69	
1.60/1.69	Termination: (Ranking Functions Found)
1.60/1.69	------------
1.60/1.69	f152_0_gcd_LE: < < arg2 > >
1.60/1.69	f219_0_mod_LT: < < -1 + arg2 >, < arg1 > >
1.60/1.69	
1.60/1.69	
1.68/1.74	EOF