1.24/1.29	YES
1.24/1.29	
1.24/1.29	
1.24/1.29	Termination: (Ranking Functions Found)
1.24/1.29	------------
1.24/1.29	f217_0_quot_LE: < < arg2 > >
1.24/1.29	
1.24/1.29	
1.32/1.34	EOF