1.84/1.94	YES
1.84/1.94	
1.84/1.94	
1.84/1.94	Termination: (Ranking Functions Found)
1.84/1.94	------------
1.84/1.94	l0: < < 90 + 10 * e_0 - n_0 >, < n_0 > >
1.84/1.94	l2: < < 90 + 10 * e_0 - n_0 >, < n_0 > >
1.84/1.94	l1: < < 90 + 10 * e_0 - n_0 > >
1.84/1.94	
1.84/1.94	
1.97/2.00	EOF