1.90/1.95	YES
1.90/1.95	
1.90/1.95	
1.90/1.95	Termination: (Ranking Functions Found)
1.90/1.95	------------
1.90/1.95	l0: < < - x_5_0 + y_6_0 > >
1.90/1.95	l1: < < -1 - x_5_0 + y_6_0 > >
1.90/1.95	
1.90/1.95	
1.98/2.00	EOF