1.63/1.67	YES
1.63/1.67	
1.63/1.67	
1.63/1.67	Termination: (Ranking Functions Found)
1.63/1.67	------------
1.63/1.67	l0: < < - x_5_0 + y_6_0 > >
1.63/1.67	l2: < < - x_5_0 + y_6_0 > >
1.63/1.67	
1.63/1.67	
1.67/1.73	EOF