2.18/2.27	YES
2.18/2.27	
2.18/2.27	
2.18/2.27	Termination: (Ranking Functions Found)
2.18/2.27	------------
2.18/2.27	l0: < < __const_36_0 - counter_0 > >
2.18/2.27	l2: < < __const_36_0 - counter_0 > >
2.18/2.27	
2.18/2.27	
2.26/2.33	EOF