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