1.96/2.02	YES
1.96/2.02	
1.96/2.02	
1.96/2.02	Termination: (Ranking Functions Found)
1.96/2.02	------------
1.96/2.02	l3: < < __const_10_0 - i_0 > >
1.96/2.02	l2: < < __const_10_0 - i_0 > >
1.96/2.02	
1.96/2.02	
2.03/2.08	EOF