1.79/1.90	YES
1.79/1.90	
1.79/1.90	
1.79/1.90	Termination: (Ranking Functions Found)
1.79/1.90	------------
1.79/1.90	l1: < < 1 + y_15_0, x_13_0 > >
1.79/1.90	l3: < < 1 + y_15_0, x_13_0 > >
1.79/1.90	
1.79/1.90	
1.89/1.96	EOF