1.82/1.90	YES
1.82/1.90	
1.82/1.90	
1.82/1.90	Termination: (Ranking Functions Found)
1.82/1.90	------------
1.82/1.90	l3: < < x_14_0 > >
1.82/1.90	l1: < < x_14_0 > >
1.82/1.90	
1.82/1.90	
1.91/1.96	EOF