1.27/1.34	YES
1.27/1.34	
1.27/1.34	
1.27/1.34	Termination: (Ranking Functions Found)
1.27/1.34	------------
1.27/1.34	l0: < < x_0 > >
1.27/1.34	l1: < < x_0 > >
1.27/1.34	
1.27/1.34	
1.37/1.40	EOF