1.80/1.90	YES
1.80/1.90	
1.80/1.90	
1.80/1.90	Termination: (Ranking Functions Found)
1.80/1.90	------------
1.80/1.90	l3: < < 8 - i_22_0 > >
1.80/1.90	l1: < < 9 - i_14_0 > >
1.80/1.90	
1.80/1.90	
1.90/1.96	EOF