1.89/1.93	YES
1.89/1.93	
1.89/1.93	
1.89/1.93	Termination: (Ranking Functions Found)
1.89/1.93	------------
1.89/1.93	l0: < < 1 - i_0 - y_0, x_0 > >
1.89/1.93	l1: < < - z_0, x_0 > >
1.89/1.93	
1.89/1.93	
1.97/1.99	EOF