1.21/1.27	YES
1.21/1.27	
1.21/1.27	
1.21/1.27	Termination: (Ranking Functions Found)
1.21/1.27	------------
1.21/1.27	f127_0_eq_LE: < < arg2 > >
1.21/1.27	
1.21/1.27	
1.31/1.33	EOF